VP: A new operation for semaphores

Operating Systems Review (ACM)

Volumn 30, Issue 3, 1996, Pages 5-11

  Tai, K C ^a   Carver, Richard H ^b  

^a North Carolina State University   (United States)

^b George Mason University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 2842614721     PISSN: 01635980     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/230908.250717     Document Type: Article

References (6)

1. Andrews, G. R., Concurrent Programming: Principles and Practice, Benjamin/Cummings, 1991.
2. Carver, R. H., and Tai, K. C., "Replay and testing for concurrent programs," IEEE Software, March 1991, 66-74.
3. Kessels, J. L. W. and Martin, A. J., "Two implementations of the conditional critical region using a split binary semaphore", Information Processing Letters, Vol. 8, No. 2, Feb. 1979, 67-71.
4. Silberschatz, A., Peterson, J. L., and Galvin, P. Operating Systems Concepts, Third Edition, Addison-Wesley, 1991.
5. Hoare, C. A. R., "Monitors: an operating system structure concept", Comm. ACM, Vol. 17, No. 10, Oct. 1974, 549-557.
6. Tai, K. C., "Definitions and detection of deadlock, livelock, and starvation in concurrent programs", Proc. 1994 Int. Conf. Parallel Processing, Aug. 1994, Vol. II, 69-72.