Browse Prior Art Database

Resource Class Independent Deadlock Detection Disclosure Number: IPCOM000046303D
Original Publication Date: 1983-Jun-01
Included in the Prior Art Database: 2005-Feb-07

Publishing Venue


Related People

Obermarck, RL [+details]


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.