Browse Prior Art Database

Tabular Approach to Deadlock Detection in a Multiprocessor and Multiprogramming Environment

IP.com Disclosure Number: IPCOM000057601D
Original Publication Date: 1988-Jun-01
Included in the Prior Art Database: 2005-Feb-15

Publishing Venue

IBM

Related People

Authors:
Gallagher, PW Lee, VS Reeve, SM [+details]

Abstract

In multiprocessing environments locked states can occur due to contentions which arise between processors over allocated resources. Such locked states can lead to deadlocks, e.g., a processor deadlock can occur when a group of two or more processors are in a locked state. A locked state is caused when one processor wishes to access a resource that another processor holds, causing the first processor to wait until the resource is released. If each processor has the exclusive access to some resources and is trying to gain access to an additional resource held by another in that group, a deadlock could occur. In other words, if a group of processors are in a deadlock condition, each and every processor being locked out is also locking out another processor within the deadlock group.