This Article 
   
 Share 
   
 Bibliographic References 
   
 Add to: 
 
Digg
Furl
Spurl
Blink
Simpy
Google
Del.icio.us
Y!MyWeb
 
 Search 
   
Subsystems of Processes with Deadlock Avoidance
May 1980 (vol. 6 no. 3)
pp. 297-304
D.B. Lomet, IBM T. J. Watson Research Center
A graph-oriented approach to deadlock avoidance, which treates both shared and exclusive locking, has been described [6]. The method is particularly suited for database systems. With enhancements introduced here, the problem of indefimite delay, i.e., the possibility that a process will not run to completion (will be delayed indefinitely) can be eliminated. The approach taken is to partition the resource system into subsystems, each of which can be scheduled independently. Indefinite delay is avoided by the construction of subsystems that guarantee the completion of a process or the granting of a resource request. Further, we show how the subsystem approach can be applied systematically so as to approximate FIFO scheduling of resource requests, while avoiding deadlock and indefmite delay. Other scheduling disciplines can also be realized. A lock manager program utilizing the FIFO method has been implemented.
Index Terms:
starvation, Database systems, deadlock, deadlock avoidance, indefinite delay, lockdng, resource allocation
Citation:
D.B. Lomet, "Subsystems of Processes with Deadlock Avoidance," IEEE Transactions on Software Engineering, vol. 6, no. 3, pp. 297-304, May 1980, doi:10.1109/TSE.1980.230476
Usage of this product signifies your acceptance of the Terms of Use.