ACM Computing Surveys (CSUR)
Understanding operating systems (3rd ed.)
Understanding operating systems (3rd ed.)
Operating Systems: A Modern Perspective, Lab Update
Operating Systems: A Modern Perspective, Lab Update
ACM SIGOPS Operating Systems Review
Operating Systems (5th Edition)
Operating Systems (5th Edition)
On deadlocks of exclusive AND-requests for resources
Distributed Computing
The classification of deadlock prevention and avoidance is erroneous
ACM SIGOPS Operating Systems Review
Ada and the control of intrusion
ACM SIGAda Ada Letters
A new approach to deadlock avoidance in embedded system
ICESS'04 Proceedings of the First international conference on Embedded Software and Systems
Hi-index | 0.00 |
In a previous paper we discussed resource deadlock within a classification of all dead states. We differentiated between the different types of anomalies that are called deadlock in the computer science literature. Our primary aim was to correct inconsistencies that are currently being taught in operating systems' textbooks. We introduced a model that allowed us to precisely define deadlock, but we only provided a partial definition of resource deadlock, which, as we noted, was limited to deadlocks with uniquely identifiable resource units. In response to readers of OSR, we now distinguish between different types of resource deadlock and provide a comprehensive definition. We also suggest that it may be desirable to maintain separate definitions.