Advertisement

Deadlock problems in computer system

  • E. G. CoffmanJr.
  • M. J. Elphick
  • A. Shoshani
Betriebsprogrammierung
Part of the Lecture Notes in Computer Science book series (LNCS, volume 13)

Keywords

Resource Usage State Graph Safe State Deadlock Detection NATO Advance Study Institute 
These keywords were added by machine and not by the authors. This process is experimental and the keywords may be updated as the learning algorithm improves.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. /1/.
    DIJKSTRA, E.W., (1968) "Co-operating sequential processes" In "Programming Languages: NATO Advanced Study Institute (held in Villard-de-Lans, 1966)". Ed. F. Genuys, Academic Press, LondonGoogle Scholar
  2. /2/.
    IBM System/360 Operating System, Supervisor and Data Management Services (1968) Form C28-6646-2.Google Scholar
  3. /3/.
    DENNIS, J.B., VAN HORN, E.C. (1966) "Programming Semantics for Multiprogrammed Computations" Comm. ACM, Vol. 9, pp. 143–155Google Scholar
  4. /4/.
    HAVENDER, J.W. (1968) "Avoiding deadlock in multi-tasking systems" IBM Systems Journal, Vol. 2, pp. 74–84Google Scholar
  5. /5/.
    BRAUDE, E.J. (1961) "An Algorithm for the Detection of System Deadlocks" IBM Technical Report: TR00.791. IBM Data Systems Division, Poughkeepsie, N.Y.Google Scholar
  6. /6/.
    COLLIER, W.W. (1968) "System daadlocks" IBM Technical Report TR-00.1756. IBM Systems Development Division, Poughkeepsie, N.Y.Google Scholar
  7. /7/.
    REITER, A. (1967) "A resource-allocation scheme for multi-user-on line operation of a small computer" Proc. AFIPS SJCC, Vol. 30, pp. 1-1, Thompson Book Co., Washington, D.C.Google Scholar
  8. /8/.
    MURPHY, J.E. (1968) "Resource allocation with interlock detection in a multi-task system" Proc. AFIPS FJCC, Vol. 33, Part 2, pp. 1169–1176, Thompson Book Co., Washington, D.C.Google Scholar
  9. /9/.
    MERIKALLIO, R.A., HOLLAND, F.C. (1968) "Simulation Design of a Multiprocessing System" Proc. AFIPS FJCC, Vol. 33, Part 2, pp. 1399–1410 Thompson Book Co., Washington, D.C.Google Scholar
  10. /10/.
    SHOSHANI, A., COFFMAN, E.G. (1969) "Sequencing tasks in multiprocess, multiple resource systems to avoid deadlocks" Computer Science Lab. Technical Report No. 78, Dept. of Electrical Engineering, Princeton UniversityGoogle Scholar
  11. /11/.
    HABERMANN, A.N. (1969) "Prevention of system deadlocks" Comm. ACM, Vol. 12, pp. 373–377, 385CrossRefGoogle Scholar
  12. /12/.
    NEEDHAM, R.M., HARTLEY, D.F. (1969) "Theory and Practice in Operating System Design" Proc. of 2nd ACM Symposium on Operating System Principles Princeton UniversityGoogle Scholar
  13. /13/.
    SHOSHANI, A., BERNSTEIN, A.J. (1969) "Synchronization in a parallel accessed data base" Comm. ACM, Vol. 12, pp. 604–607 [Also G.E. Report N. 69-C-138]Google Scholar
  14. /14/.
    SHOSHANI, A., COFFMAN, E.G. (1969) "Prevention, Detection, and Recovery from System Deadlocks" Computer Science Lab. Technical Report No. 80, Dept. of Electrical Engineering, Princeton UniversityGoogle Scholar
  15. /15/.
    DIJKSTRA, E.W. (1968) "The structure of the THE multiprogramming system" Comm. ACM, Vol. 11, pp. 341–346Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 1974

Authors and Affiliations

  • E. G. CoffmanJr.
  • M. J. Elphick
  • A. Shoshani

There are no affiliations available

Personalised recommendations