deadlock characterezation

Continuous mutual blocking of a “set of threads” eithercompeting for resources or interacting with each other (via synchronization, cooperation or communication)

• Conflicting requests by at least 2 threads

No satisfying solution in all cases

Some standard OSes don‘t bother deadlocks at all (e.gSUN’s OS) arguing that deadlocks will occur scarcely

“a set of processes is in a deadlock state when every process in theset is waiting for an event that can be caused only by another process in the set”, Silberschatz et. al., “Operating Systems Concepts”

There is no efficient solution