Assertion: condition's system | /r/AtLocation | deadlock
Facets:
Source sentences:
text: If a process is unable to change its state indefinitely because the resources requested by it are being used by another waiting process, then the system is said to be in a deadlock.
text: This approach has high overhead because after each abort an algorithm must determine whether the system is still in deadlock.