The Community for Technology Leaders
RSS Icon
Subscribe
Issue No.05 - September (1979 vol.5)
pp: 465-471
D.J. Rypka , Bell Laboratories
ABSTRACT
Logical resources are defined as shared passive entities that can be concurrently accessed by multiple processes. Concurrency restrictions depend upon the mode or manner in which a process may manipulate a resource. Models incorporating these single unit resources can be used to analyze information locking for consistency and integrity purposes. Mode compatibility is defined and used to derive dead-lock detection and avoidance methods. These methods generalize well-known deadlock results for single unit resources by permitting greater concurrency while still guaranteeing data consistency. This model is applicable to the standard shared (read-only) and exclusive (read-write) access modes as well as a useful subset of those proposed in the CODASYL DBMS report.
INDEX TERMS
resource sharing, Allocation modes, databases, deadlock avoidance, dead-lock detection, logical resources, operating systems, resource allocation
CITATION
D.J. Rypka, A.P. Lucido, "Deadlock Detection and Avoidance for Shared Logical Resources", IEEE Transactions on Software Engineering, vol.5, no. 5, pp. 465-471, September 1979, doi:10.1109/TSE.1979.230185
17 ms
(Ver 2.0)

Marketing Automation Platform Marketing Automation Tool