Abstract
Over a decade ago, a race condition was discovered in a specific implementation of the counting semaphore operations P and V. Several corrections to that implementation were published. These were subsequently critiqued and eventually the discussion ended. This article will expose a newly discovered race condition in one of the corrections.
- Barz, H. W. Implementing semaphores by binary semaphores. SIGPLAN Notices, volume 18, number 2, (February, 1983), pp 39-45. Google ScholarDigital Library
- Bic, L. and Shaw, A. C. The Logical Design of Operating Systems. Prentice-Hall, second edition (1988). Google ScholarDigital Library
- Hartley, S. Concurrent Programming: The Java Programming Language. Oxford University Press, (1998), page 114. Google ScholarDigital Library
- Hemmendinger, D. A correct implementation of general semaphores. Operating Systems Review, volume 22, number 3, (July, 1988), pp. 42-44. Google ScholarDigital Library
- Hemmendinger, D. Comments on "A correct implementation of general semaphores". Operating Systems Review, volume 23, number 1, (January, 1989), pp. 7-8. Google ScholarDigital Library
- Hsieh, C. S. Further comments on implementation of general semaphores. Operating Systems Review, volume 23, number 1, (January, 1989), pp. 9-10. Google ScholarDigital Library
- Kearns, P. A correct and unrestrictive implementation of general semaphores. Operating Systems Review, volume 22, number 4, (October, 1988), pp. 46-48. Google ScholarDigital Library
- Kotulski, L. Comments on implementation of P and V primitives with help of binary semaphores. Operating System Review, volume 22, number 2, (April, 1988), pp.53-59. Google ScholarDigital Library
- Lipton, R. J., Snyder, L. and Zalcstein, Y. Evaluation criteria for process synchronization. Sagamore Conference on Parallel Processing, (1975), pp. 245-250.Google Scholar
- Perrot, R. H. Concurrent Programming: Microcomputers, in Microcomputer System Design (Lecture Notes in Computer Science, number 126), Springer Verlag, (1982), page 254.Google Scholar
- Peterson, J. and Silberschatz, A. Operating Systems Concepts, Addison-Wesley, second edition, (1985). Google ScholarDigital Library
- Shaw, A. C. The Logical Design of Operating Systems. Prentice Hall, first edition, (1974). Google ScholarDigital Library
- Stallings, W. Operating Systems: Internals and Design Principles. Prentice Hall, third edition, (1998). Google ScholarDigital Library
Recommendations
Correct Execution of Transactions at Different Isolation Levels
Many transaction processing applications execute at isolation levels lower than SERIALIZABLE in order to increase throughput and reduce response time. However, the resulting schedules might not be serializable and, hence, not necessarily correct. The ...
Topic-driven reader comments summarization
CIKM '12: Proceedings of the 21st ACM international conference on Information and knowledge managementReaders of a news article often read its comments contributed by other readers. By reading comments, readers obtain not only complementary information about this news article but also the opinions from other readers. However, the existing ranking ...
Does sentiment help requirement engineering: exploring sentiments in user comments to discover informative comments
AbstractUser comments are valuable resources for software improvement; however, owing to excessive volume, informative comments need to be selectively analyzed. We attempt to address this problem by sentiment analysis and expect sentiment can be a useful ...
Comments