Resource Class Independent Deadlock Detection
Original Publication Date: 1983-Jun-01
Included in the Prior Art Database: 2005-Feb-07
This invention relates to an improvement in the method for detecting deadlocks in any one of a multiple of tasks, where the tasks are constrained to wait upon one or more tasks and, further, wherein resources are non-preemptively acquired by tasks from a resource class. The method was first described by Obermarck [*]. Obermarck observed that for all resource classes in which contention for the resource is allowed to suspend a task, there exists a "task-wait-for-task" relationship which can be described as a Boolean expression (logical AND/ORs). Central to the method is the logical inversion of the AND/OR task-wait relations, yielding thereby deadlock-resulting cycle information.