Skip to Main Content
Operating Systems: Concurrent and Distributed Software Design
book

Operating Systems: Concurrent and Distributed Software Design

by Jean Bacon, Tim Harris
March 2003
Intermediate to advanced content levelIntermediate to advanced
912 pages
27h 17m
English
Pearson Business
Content preview from Operating Systems: Concurrent and Distributed Software Design

18.4. Conditions for deadlock to exist

If all of the following conditions are true at some time in a system then deadlock exists at that time (Coffman et al., 1971).

  1. A resource request can be refused

    The system's concurrency control policy is such that objects can be acquired for exclusive use or some specific shared use. It is possible for a process to be refused access to an object on the grounds that some other process has acquired it for exclusive use. It is possible for a process to be refused access to an object on the grounds that a group of processes have acquired shared access to it for a specific purpose. An example is that a process may request exclusive access to an object in order to write to it but is refused because the object is ...

Become an O’Reilly member and get unlimited access to this title plus top books and audiobooks from O’Reilly and nearly 200 top publishers, thousands of courses curated by job role, 150+ live events each month,
and much more.
Start your free trial

You might also like

Principles of Concurrent and Distributed Programming, Second Edition

Principles of Concurrent and Distributed Programming, Second Edition

M. Ben-Ari
Operating Systems in Depth

Operating Systems in Depth

Thomas W. Doeppner

Publisher Resources

ISBN: 0321117891Purchase book