ABSTRACT
This paper discusses differences in the semantics of various semaphore implementations and their ramifications in developing solutions to synchronization problems. An approach is described to insulate students from these differences and simplify the task of teaching semaphores.
- Brinch Hansen, P. The Programming Language Concurrent Pascal. IEEE Transactions on Software Engineering Vol. SE-1, No. 6, pp. 199-207, 1975.Google ScholarDigital Library
- Coffman, E. G. Jr, and Denning, P. J. Operating Systems Theory. Prentice Hall, Englewood Cliffs, N.J., 1973 Google ScholarDigital Library
- Comer, D. Operating System Design, the XINU Approach Bell Telephone Laboratories, Inc. 1984 Google ScholarDigital Library
- Deitel, H. An Introduction to Operating Systems, Revised First Edition Addison Wesley, Reading Mass., 1984Google Scholar
- Dijkstra, E. W. The Structure of the THE-Multiprogramming System Communications of the ACM (May 1968) 341-346 Google ScholarDigital Library
- Galli, D. Distributed Operating Systems Concepts & Practice Prentice Hall, Upper Saddle River, N.J., 2000 Google ScholarDigital Library
- Hoare, C. A. R. Monitors, An Operating System Structuring Concept. Communications of the ACM Vol. 17, No 10, pp 549-557; 1974 Google ScholarDigital Library
- Lewis, Bill, and Berg, Daniel Multithreaded Programming with PThreads Sun Microsystems Press, 2550 Garcia Avenue, Mountain View, Ca, 1998 Google ScholarDigital Library
- Nutt, G. Operating Systems, A Modern Perspective, 2nd ed. Addison Wesley Longman, Reading, Mass., 2000 Google ScholarDigital Library
- Shay, W. A. Introduction-to Operating Systems HarperCollins, New York, 1993 Google ScholarDigital Library
- Silberschatz, A., Galvin, P., and Gagne, G. Applied Operating System Concepts John Wiley & Sons, 605 Third Avenue, NY, 2000 Google ScholarDigital Library
- Stallings, W. Operating Systems, Internals and Design Principles, 3rd ed. Prentice Hall, Upper Saddle River, N.J., 1998 Google ScholarDigital Library
- Stark, E. W. Semaphore Primitives and Starvation-Free Mutual Exclusion Journal of the ACM (Oct 1982) 1049-1072 Google ScholarDigital Library
- Tanenbaum, A. Modern Operating Systems, 2nd ed. Prentice Hall, Upper Saddle River, N.J., 2001 Google ScholarDigital Library
- Tsichritzis, D. C., and Bernstein, P. A. Operating Systems Academic Press, 111 Fifth Avenue, N.Y., 1974 Google ScholarDigital Library
- The well-tempered semaphore: theme with variations
Recommendations
Lock elision for read-only critical sections in Java
PLDI '10: Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and ImplementationIt is not uncommon in parallel workloads to encounter shared data structures with read-mostly access patterns, where operations that update data are infrequent and most operations are read-only. Typically, data consistency is guaranteed using mutual ...
The well-tempered semaphore: theme with variations
Inroads: paving the way towards excellence in computing educationThis paper discusses differences in the semantics of various semaphore implementations and their ramifications in developing solutions to synchronization problems. An approach is described to insulate students from these differences and simplify the ...
Lock elision for read-only critical sections in Java
PLDI '10It is not uncommon in parallel workloads to encounter shared data structures with read-mostly access patterns, where operations that update data are infrequent and most operations are read-only. Typically, data consistency is guaranteed using mutual ...
Comments