Object Oriented Software Engineering   View all facts   Glossary   Help

subject > problem > failure > deadlock or livelock

deadlock or livelock
subject			fact

deadlock or livelock	can be caused by over-use of locking
	can be detected by glass-box testing since you can actually study the progress and states of the various threads
	has black-box testing strategy Vary the time consumption of different threads by giving them differing amounts of input, or running them on hardware that varies in speed Run a large number of threads concurrently Deliberately deny resources to one or more threads (e.g. temporarily cut a network connection, or make a file unreadable)
	has testing strategy inspecting to detect such defects, rather than testing alone
	is a subtopic of 10.5 - Defects in Timing and Co-Ordination: Deadlock, Livelocks and Critical Races
	is a kind of failure
	may occur as a result of unusual combinations of conditions that are hard to anticipate or reproduce
	should be tested for by a person with a background in real-time systems who can apply his or her knowledge and experience to best anticipate typical defects
failure	can be the result of a violation of an implicit requirement
	has example the production of incorrect outputs, the system running too slowly, or the user having trouble finding online help
	is usually the result of a violation of those requirements that are stated explicitly in a requirements document
	may arise from violations of either functional requirements or non-functional requirements
problem	has solution which will normally entail developing software, although you may decide that it is better to purchase software or to develop a non-software solution
	should be written as a simple problem statement in one or two sentences

Kinds of deadlock or livelock :

• deadlock (7 facts) - A failure in which two or more threads are stopped, waiting for each other to do something
• livelock (5 facts) - A failure in which a system can never get out of a limited set of states, although it is not in deadlock