Issue No.03 - May (1980 vol.6)
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 . 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.
starvation, Database systems, deadlock, deadlock avoidance, indefinite delay, lockdng, resource allocation
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