article

Free access

A new exercise in concurrency

Author:

John A. TronoAuthors Info & Claims

ACM SIGCSE Bulletin, Volume 26, Issue 3

Pages 8 - 10

https://doi.org/10.1145/187387.187391

Published: 01 September 1994 Publication History

PDF eReader

Abstract

This article presents an exercise to be assigned whenever undergraduates are introduced to the concepts of concurrency and semaphores. It also presents several possible strategies to solve said exercise along with a "coded" solution.

References

[1]

[1] Courtois, P.J., Heymans, F. and Parnas, D.L. Concurrent Control with Readers and Writers, Communications of the ACM, Vol. 10, # 10, 667-668, 1971.

Digital Library

Google Scholar

[2]

[2] Hemmendinger, D. A Correct Implementation of General Semaphores, ACM Operating Systems Review, Vol. 22, #3, 46-48, 1988.

Digital Library

Google Scholar

[3]

[3] Hemmendinger, D. Comments on "A Correct and Unrestrictive Implementation of General Semaphores", ACM Operating Systems Review, Vol. 23, #1, 7-8, 1988.

Digital Library

Google Scholar

[4]

[4] Hsieh, C.S. Further Comments on Implementation of General Semaphores, ACM Operating Systems Review, Vol. 23, #1, 9- 10, 1989.

Digital Library

Google Scholar

[5]

[5] Kearns, P. A Correct and Unrestrictive Implementation of General Semaphores, ACM Operating Systems Review, Vol. 22 #4, 46- 48, 1988.

Digital Library

Google Scholar

[6]

[6] Holt, R.C., Graham, G.S., Lazowska E.D. and Scott, M.A. Structured Concurrent Programming with Operating Systems Applications, Addison Wesley, 1978. (Exercise #19, page 109.).

Google Scholar

[7]

[7] Kotulski, L. Comments on Implementation of P and V Primitives with help of Binary Semaphores, ACM Operating Systems Review, Vol. 22 #2, 53-59, 1988.

Digital Library

Google Scholar

[8]

[8] Peterson, J.L., and Silberschatz, A. Operating Systems Concepts, Addison Wesley, 1985.

Digital Library

Google Scholar

[9]

[9] Patil, S.S. Limitations and Capabilities of Dijkstra's Semaphore Primitives for Coordination Among Processes, MIT Project MAC Computational Structures Group Memo, # 57, 1971.

Google Scholar

[10]

[10] Silberschatz, A., and Galvin, P. Operating Systems Concepts, Addison Wesley, 1994.

Digital Library

Google Scholar

[11]

[11] Tanenbaum, A.S. Modern Operating Systems, Prentice Hall, 1992.

Digital Library

Google Scholar

Cited By

View all

Barcelona-Pons DSutra PSánchez-Artigas MParís GGarcía-López P(2022)Stateful Serverless Computing with CrucialACM Transactions on Software Engineering and Methodology10.1145/349038631:3(1-38)Online publication date: 7-Mar-2022
https://dl.acm.org/doi/10.1145/3490386
Iotti EPetrosino GMonica SBergenti F(2020)Two Agent-Oriented Programming Approaches Checked Against a Coordination ProblemDistributed Computing and Artificial Intelligence, 17th International Conference10.1007/978-3-030-53036-5_7(60-70)Online publication date: 7-Aug-2020
https://doi.org/10.1007/978-3-030-53036-5_7
Imai KGarrigue J(2019)Lightweight Linearly-typed Programming with Lenses and MonadsJournal of Information Processing10.2197/ipsjjip.27.43127(431-444)Online publication date: 2019
https://doi.org/10.2197/ipsjjip.27.431
Show More Cited By

Index Terms

A new exercise in concurrency
1. Social and professional topics
  1. Professional topics
    1. Computing education
      1. Computing education programs
        Computer science education
2. Software and its engineering

Recommendations

Semantics-based concurrency control: beyond commutativity

The concurrency of transactions executing on atomic data types can be enhanced through the use of semantic information about operations defined on these types. Hitherto, commutativity of operations has been exploited to provide enchanced concurrency ...
Exercise Workbook for Advanced AutoCAD 2002
A new concurrency control mechanism for multi-threaded environment using transactional memory

Software transactional memory (STM) is one of the techniques used towards achieving non-blocking process synchronization in multi-threaded computing environment. In spite of its high potential, one of the major limitations of transactional memory (TM) ...

Comments

Information & Contributors

Information

Published In

ACM SIGCSE Bulletin Volume 26, Issue 3

Sept. 1994

67 pages

ISSN:0097-8418

DOI:10.1145/187387

Editor:
James E. Miller
Univ. of Southern Mississippi, Hattiesburg

Issue’s Table of Contents

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 1994

Published in SIGCSE Volume 26, Issue 3

Check for updates

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

45
Total Citations
View Citations
1,169
Total Downloads

Downloads (Last 12 months)108
Downloads (Last 6 weeks)12

Reflects downloads up to 25 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Barcelona-Pons DSutra PSánchez-Artigas MParís GGarcía-López P(2022)Stateful Serverless Computing with CrucialACM Transactions on Software Engineering and Methodology10.1145/349038631:3(1-38)Online publication date: 7-Mar-2022
https://dl.acm.org/doi/10.1145/3490386
Iotti EPetrosino GMonica SBergenti F(2020)Two Agent-Oriented Programming Approaches Checked Against a Coordination ProblemDistributed Computing and Artificial Intelligence, 17th International Conference10.1007/978-3-030-53036-5_7(60-70)Online publication date: 7-Aug-2020
https://doi.org/10.1007/978-3-030-53036-5_7
Imai KGarrigue J(2019)Lightweight Linearly-typed Programming with Lenses and MonadsJournal of Information Processing10.2197/ipsjjip.27.43127(431-444)Online publication date: 2019
https://doi.org/10.2197/ipsjjip.27.431
Barcelona-Pons DSánchez-Artigas MParís GSutra PGarcía-López P(2019)On the FaaS TrackProceedings of the 20th International Middleware Conference10.1145/3361525.3361535(41-54)Online publication date: 9-Dec-2019
https://dl.acm.org/doi/10.1145/3361525.3361535
Liu DYang KQu QLv J(2019)Ancient–Modern Chinese Translation with a New Large Training DatasetACM Transactions on Asian and Low-Resource Language Information Processing10.1145/332588719:1(1-13)Online publication date: 31-May-2019
https://dl.acm.org/doi/10.1145/3325887
Sekerinski EYao S(2018)Refining Santa: An Exercise in Efficient SynchronizationElectronic Proceedings in Theoretical Computer Science10.4204/EPTCS.282.6282(68-86)Online publication date: 24-Oct-2018
https://doi.org/10.4204/EPTCS.282.6
Rodriguez Avila HDe Koster JDe Meuter WDe Koster JBergenti F(2017)Sparrow: a DSL for coordinating large groups of heterogeneous actorsProceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control10.1145/3141834.3141838(31-40)Online publication date: 23-Oct-2017
https://dl.acm.org/doi/10.1145/3141834.3141838
Jensen SThomsen LDurand IPsota M(2016)Extending Software Transactional Memory in Clojure with Side-Effects and Transaction ControlProceedings of the 9th European Lisp Symposium on European Lisp Symposium10.5555/3005729.3005737(64-71)Online publication date: 9-May-2016
https://dl.acm.org/doi/10.5555/3005729.3005737
Buhr PBuhr P(2016)High-Level Concurrency ConstructsUnderstanding Control Flow10.1007/978-3-319-25703-7_9(425-522)Online publication date: 25-Sep-2016
https://doi.org/10.1007/978-3-319-25703-7_9
Bhargava DSinha M(2012)Performance analysis of agent based IPSM2012 Ninth International Conference on Computer Science and Software Engineering (JCSSE)10.1109/JCSSE.2012.6261961(253-258)Online publication date: May-2012
https://doi.org/10.1109/JCSSE.2012.6261961
Show More Cited By

View Options

View options

PDF

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader

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

Index Terms

Recommendations

Semantics-based concurrency control: beyond commutativity

Exercise Workbook for Advanced AutoCAD 2002

A new concurrency control mechanism for multi-threaded environment using transactional memory

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

Login options

Full Access

Figures

Other

Share

Share this Publication link

Share on social media

Affiliations