Deadlock

From HPCBugBase

Contents 1 Defect Type Description 2 Entries 3 Advice 4 Symptom 5 Other Findings and Contexts

[edit] Defect Type Description

A deadlock is a type of defect in which two or more processes/threads are waiting for competing resource(s) and never get out. It is currently classified as a sub-type of the Synchronization defect.

[edit] Entries

• Potential Deadlock

[edit] Advice

An obvious deadlock always causes the program to run forever, so it can be easily noticed. In more subtle cases, however, a defect doesn't always cause an actual deadlock status.

[edit] Symptom

• Program runs forever
• Nondeterministic execution behaviors

[edit] Other Findings and Contexts