article

Free access

Further comments on "A Correct and Unrestrictive Implementation of General Semaphores"

Authors:

John A. Trono,

William E. TaylorAuthors Info & Claims

ACM SIGOPS Operating Systems Review, Volume 34, Issue 3

Pages 5 - 10

https://doi.org/10.1145/506117.506118

Published: 01 July 2000 Publication History

PDF eReader

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.

References

[1]

Barz, H. W. Implementing semaphores by binary semaphores. SIGPLAN Notices, volume 18, number 2, (February, 1983), pp 39-45.

Digital Library

Google Scholar

[2]

Bic, L. and Shaw, A. C. The Logical Design of Operating Systems. Prentice-Hall, second edition (1988).

Digital Library

Google Scholar

[3]

Hartley, S. Concurrent Programming: The Java Programming Language. Oxford University Press, (1998), page 114.

Digital Library

Google Scholar

[4]

Hemmendinger, D. A correct implementation of general semaphores. Operating Systems Review, volume 22, number 3, (July, 1988), pp. 42-44.

Digital Library

Google Scholar

[5]

Hemmendinger, D. Comments on "A correct implementation of general semaphores". Operating Systems Review, volume 23, number 1, (January, 1989), pp. 7-8.

Digital Library

Google Scholar

[6]

Hsieh, C. S. Further comments on implementation of general semaphores. Operating Systems Review, volume 23, number 1, (January, 1989), pp. 9-10.

Digital Library

Google Scholar

[7]

Kearns, P. A correct and unrestrictive implementation of general semaphores. Operating Systems Review, volume 22, number 4, (October, 1988), pp. 46-48.

Digital Library

Google Scholar

[8]

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.

Digital Library

Google Scholar

[9]

Lipton, R. J., Snyder, L. and Zalcstein, Y. Evaluation criteria for process synchronization. Sagamore Conference on Parallel Processing, (1975), pp. 245-250.

Google Scholar

[10]

Perrot, R. H. Concurrent Programming: Microcomputers, in Microcomputer System Design (Lecture Notes in Computer Science, number 126), Springer Verlag, (1982), page 254.

Google Scholar

[11]

Peterson, J. and Silberschatz, A. Operating Systems Concepts, Addison-Wesley, second edition, (1985).

Digital Library

Google Scholar

[12]

Shaw, A. C. The Logical Design of Operating Systems. Prentice Hall, first edition, (1974).

Digital Library

Google Scholar

[13]

Stallings, W. Operating Systems: Internals and Design Principles. Prentice Hall, third edition, (1998).

Digital Library

Google Scholar

Cited By

View all

Kimm HKimm H(2019)Modeling and Verification of Starvation-Free Bitwise Arbitration Technique for Controller Area Network Using SPIN PromelaProceedings of the 13th International Conference on Ubiquitous Information Management and Communication (IMCOM) 201910.1007/978-3-030-19063-7_17(195-210)Online publication date: 23-May-2019
https://doi.org/10.1007/978-3-030-19063-7_17
Kimm HKimm H(2018)Adaptive Design and Analysis of Starvation Free Controller Area Network for Multi-Robot SystemProceedings of the 6th International Conference on Control, Mechatronics and Automation10.1145/3284516.3284518(6-10)Online publication date: 12-Oct-2018
https://dl.acm.org/doi/10.1145/3284516.3284518
Marr SHaupt MTimbermont SAdams BD'Hondt TCostanza PDe Meuter W(2010)Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency ModelsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.17.617(63-77)Online publication date: 6-Feb-2010
https://doi.org/10.4204/EPTCS.17.6
Show More Cited By

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 management

Readers 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
Abstract
User 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

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

cover image ACM SIGOPS Operating Systems Review

ACM SIGOPS Operating Systems Review Volume 34, Issue 3

July 2000

76 pages

ISSN:0163-5980

DOI:10.1145/506117

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 July 2000

Published in SIGOPS Volume 34, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

4
Total Citations
View Citations
683
Total Downloads

Downloads (Last 12 months)35
Downloads (Last 6 weeks)7

Reflects downloads up to 10 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Kimm HKimm H(2019)Modeling and Verification of Starvation-Free Bitwise Arbitration Technique for Controller Area Network Using SPIN PromelaProceedings of the 13th International Conference on Ubiquitous Information Management and Communication (IMCOM) 201910.1007/978-3-030-19063-7_17(195-210)Online publication date: 23-May-2019
https://doi.org/10.1007/978-3-030-19063-7_17
Kimm HKimm H(2018)Adaptive Design and Analysis of Starvation Free Controller Area Network for Multi-Robot SystemProceedings of the 6th International Conference on Control, Mechatronics and Automation10.1145/3284516.3284518(6-10)Online publication date: 12-Oct-2018
https://dl.acm.org/doi/10.1145/3284516.3284518
Marr SHaupt MTimbermont SAdams BD'Hondt TCostanza PDe Meuter W(2010)Virtual Machine Support for Many-Core Architectures: Decoupling Abstract from Concrete Concurrency ModelsElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.17.617(63-77)Online publication date: 6-Feb-2010
https://doi.org/10.4204/EPTCS.17.6
Raghunathan S(2008)Extending Inter-process Synchronization with Robust Mutex and Variants in Condition WaitProceedings of the 2008 14th IEEE International Conference on Parallel and Distributed Systems10.1109/ICPADS.2008.98(121-128)Online publication date: 8-Dec-2008
https://dl.acm.org/doi/10.1109/ICPADS.2008.98

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Abstract

References

Cited By

Recommendations

Correct Execution of Transactions at Different Isolation Levels

Topic-driven reader comments summarization

Does sentiment help requirement engineering: exploring sentiments in user comments to discover informative comments

Comments

Information

Published In

Publisher

Publication History

Check for updates

Qualifiers

Contributors

Other Metrics

Bibliometrics

Article Metrics

Other Metrics

Citations

Cited By

View options

PDF

eReader

Get Access

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations