article

Free access

Introducing concurrency to a sequential language

Authors:

Murat Karaorman,

John BrunoAuthors Info & Claims

Communications of the ACM, Volume 36, Issue 9

Pages 103 - 115

https://doi.org/10.1145/162685.162715

Published: 01 September 1993 Publication History

PDF eReader

References

[1]

Agha, G.H. ACTORS: A Model of concurrent Computation in Distributed Sysre,ms. MIT Press, Cambridge, Mass, 1986.]]

Digital Library

Google Scholar

[2]

Agha, G. Concurrem object-oriented programmirlg, Commu.n, ACM 3:7, 9 (Sept. 1990)., 125,]]

Digital Library

Google Scholar

[3]

Agha, ( Wegner, P., Yonezawa, A. ACM SIGPLAN Work,hop on Ob)ect- Based Concurrent Programming ACM SIGPLAN Not. 24, 4 ACM, New York, Apr. 1989.]]

Digital Library

Google Scholar

[4]

America, P. Pool-T: A parallel objectoriented language. Object.-Ohented Concurrent Pro~ammi.ng, M. Tokoro and A. Yonezawa, Eds~ MIT Press, Cambridge, Mass, I987, pp. 199 220.]]

Digital Library

Google Scholar

[5]

Andrews, G.R,. et al. An Overview o~ the SR Language and implementation. ACL~,I 7?arts. Program, Lang, Syst. I0 (}an. 1988)., 51.]]

Digital Library

Google Scholar

[6]

Bershad, B.N et a I. PRESTO: A sy: tern for object-oriented parallel programmmg. So}tw,-Pra.ct. Exp. t8 (Aug. 1988), 713.]]

Digital Library

Google Scholar

[7]

Briot, -.P. Actaik: A testbed fbr clasifying and designing actor languages in Sma|ltalk-80 environment, In Pro.-. ceediugs of.the Third ECOOP Co-nfe~ence "89. (July I0-14 1989, Nottingham), Cambridge University Press, 1989, pp. 109-129.]]

Google Scholar

[8]

Buhr, P.A., et al, /xC++: Concu> rency in the object-oriented language C++, Softw~-Pm.ct. Exp, 22, 2 (Feb. |992), 1.37.]]

Digital Library

Google Scholar

[9]

Buhr, P.A. and Ditchfield, G. Adding concurrency ot a programming Ianguage. In Proceedings of USENIX C++ Technical conference (Aug. 10- 13. 1992, Portland Oreg.). USENIX Association, Berkeley, 1992. pp.207- 223.]]

Google Scholar

[10]

Campbell, R., Islam, N., Madany, P. Choices, frameworks and refinement. Comput. Syst. 5,3 (1992), 217- 257.]]

Google Scholar

[11]

Caromel, D. Toward a method of object-oriented concurrent programming. Commun. ACM 36, 9 (Sept. 1993).]]

Digital Library

Google Scholar

[12]

Colin, J-F. and Geib, J-M. Eiffel Classes for concurrent programming. In Proceedings of Tools-4 ' Conference. Prentice Hall, 1991, pp. 23-34.]]

Digital Library

Google Scholar

[13]

Cox, B. Object Oriented programming- An Evolutionary Approach. Addision Wesley, Reading Mass., 1986.]]

Digital Library

Google Scholar

[14]

Ellis, M., Stroustrup. B. The Annotated C++ Reference manual. Addison- Wesley, Reading, mass., 1990.]]

Digital Library

Google Scholar

[15]

Kafura, D.G and Lee, K.H. Inheritance in Actor based concurrent object-oriented languages. In Proceedings of ECOOP '89 (july 10-14, Nottingham). Cambridge University Press. 1989, pp. 131-145.]]

Digital Library

Google Scholar

[16]

Karaorman, M., and Bruno, J. A concurrency mechanism for sequential Eiffel. In Proceedings of Tools USA '92 Conference (Santo Barbara, Calif., Aug. 3-6). Prentice-Hall, 1992, pp. 63-77.]]

Digital Library

Google Scholar

[17]

Liskov, B., Herlihy, M. and Gilbert, L. limitations of synchronous communication with static process structure in languages for distributed computing. In Concurrent Program- Gehani and Mcgetttrick, Eds. Addison-Wesley, Reading, Mass., 1988.]]

Google Scholar

[18]

Lohr, K.P. Concurrendcy annotations improve reussability. In Procedings of TOOLS USA '92 conference (Santa Baarbara, Calif., Hall, Englewood Clif., Aug. 3-6), Prentice- Hall Englewood cliffs, N.J., 1992 pp.53-62.]]

Digital Library

Google Scholar

[19]

Meyer, B. Object-Oriented Software construction. Prentice-Hall, Englewood clifffs, N.J., 1988.]]

Digital Library

Google Scholar

[20]

Meyer, B. Systematic concurrent object-oriented programming. Commun. ACM 36, 9 (Sept. 1993).]]

Digital Library

Google Scholar

[21]

Nierstrasz. O>M. Active obhjects in Hybrid. ACM SIGPLAN Not. 22 (Dec. 1987). 243.]]

Digital Library

Google Scholar

[22]

Nierstrasz. O.M. Next 700 concurrent object-oriented languages- Reflections on the future of objectbased concurrency. In Object composition,. D.C. Tsichritzis, Ed., Centre Universitaire d'Informatique, University of Genefa, June 1991, pp. 165-187.]]

Google Scholar

[23]

Papathomas, M. Concurrency issues in object-oriented languages. object Oreiented Develoopment Tech. Rep., Centre Universitaire Informatique, University of Geneva, D. Tsichritzis,m Ed., 1989. 207-245.]]

Google Scholar

[24]

Yokote. Y., and Tokoro, M. Concurrent Programming in Concurrent Programming. MIT Press, Cambridge, Mass, 1987. 129-158.]]

Digital Library

Google Scholar

[25]

Yonezawa, A., er al., Modelling and programming in an object-oriented concurrent language ABCL/IObjectoriented concurrent Programming. MIT Pres. Cambridge Mass 1987, pp.55-89.]]

Digital Library

Google Scholar

Cited By

View all

Al-Gharaibeh JJeffery COikonomou KGuo MHuang Z(2012)An hybrid model for very high level threadsProceedings of the 2012 International Workshop on Programming Models and Applications for Multicores and Manycores10.1145/2141702.2141709(55-63)Online publication date: 26-Feb-2012
https://dl.acm.org/doi/10.1145/2141702.2141709
Shah N(2009)Aspectising Concurrency for the RTSJProceedings of the 10th International Conference on Distributed Computing and Networking10.1007/978-3-540-92295-7_12(79-84)Online publication date: 26-Mar-2009
https://dl.acm.org/doi/10.1007/978-3-540-92295-7_12
Rito Silva A(2005)A quality design solution for object synchronizationEuro-Par'97 Parallel Processing10.1007/BFb0002786(576-580)Online publication date: 26-Sep-2005
https://doi.org/10.1007/BFb0002786
Show More Cited By

Index Terms

Introducing concurrency to a sequential language

Recommendations

Distributed optimistic concurrency control with reduced rollback

Concurrency control algorithms have traditionally been based on locking and timestamp ordering mechanisms. Recently optimistic schemes have been proposed. In this paper a distributed, multi-version, optimistic concurrency control scheme is described ...
Introducing concurrency in CS 1
SIGCSE '10: Proceedings of the 41st ACM technical symposium on Computer science education

Because of the growing importance of concurrent programming, many people are trying to figure out where in the curriculum to introduce students to concurrency. In this paper we discuss the use of concurrency in an introductory computer science course. ...
Sequential verification of serializability
POPL '10

Serializability is a commonly used correctness condition in concurrent programming. When a concurrent module is serializable, certain other properties of the module can be verified by considering only its sequential executions. In many cases, concurrent ...

Comments

Please enable JavaScript to view thecomments powered by Disqus.

Information & Contributors

Information

Published In

Communications of the ACM Volume 36, Issue 9

Sept. 1993

122 pages

ISSN:0001-0782

EISSN:1557-7317

DOI:10.1145/162685

Editor:
Jacques Cohen

Issue’s Table of Contents

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 01 September 1993

Published in CACM Volume 36, Issue 9

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

27
Total Citations
View Citations
535
Total Downloads

Downloads (Last 12 months)52
Downloads (Last 6 weeks)8

Reflects downloads up to 18 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

View all

Al-Gharaibeh JJeffery COikonomou KGuo MHuang Z(2012)An hybrid model for very high level threadsProceedings of the 2012 International Workshop on Programming Models and Applications for Multicores and Manycores10.1145/2141702.2141709(55-63)Online publication date: 26-Feb-2012
https://dl.acm.org/doi/10.1145/2141702.2141709
Shah N(2009)Aspectising Concurrency for the RTSJProceedings of the 10th International Conference on Distributed Computing and Networking10.1007/978-3-540-92295-7_12(79-84)Online publication date: 26-Mar-2009
https://dl.acm.org/doi/10.1007/978-3-540-92295-7_12
Rito Silva A(2005)A quality design solution for object synchronizationEuro-Par'97 Parallel Processing10.1007/BFb0002786(576-580)Online publication date: 26-Sep-2005
https://doi.org/10.1007/BFb0002786
Buhr PHarji A(2005)Concurrent urban legendsConcurrency and Computation: Practice and Experience10.1002/cpe.88517:9(1133-1172)Online publication date: 2005
https://doi.org/10.1002/cpe.885
Lu HWang HPei XXiao Y(2004)Concurrent object-oriented programming based on MPIJournal of Shanghai University (English Edition)10.1007/s11741-004-0068-58:3(295-300)Online publication date: Sep-2004
https://doi.org/10.1007/s11741-004-0068-5
Wellings AJohnson BSanden BKienzle JWolf TMichell S(2002)Integrating object-oriented programming and protected objects in Ada 95ACM SIGAda Ada Letters10.1145/564983.564984XXII:2(11-44)Online publication date: 1-Jun-2002
https://dl.acm.org/doi/10.1145/564983.564984
Karaorman MHölzle UBruno J(2001)jContractor: A Reflective Java Library to Support Design By ContractMeta-Level Architectures and Reflection10.1007/3-540-48443-4_18(175-196)Online publication date: 7-Dec-2001
https://doi.org/10.1007/3-540-48443-4_18
Wellings AJohnson BSanden BKienzle JWolf TMichell S(2000)Integrating object-oriented programming and protected objects in Ada 95ACM Transactions on Programming Languages and Systems10.1145/353926.35393822:3(506-539)Online publication date: 1-May-2000
https://dl.acm.org/doi/10.1145/353926.353938
Philippsen M(2000)A survey of concurrent object-oriented languagesConcurrency: Practice and Experience10.1002/1096-9128(20000825)12:10<917::AID-CPE517>3.0.CO;2-F12:10(917-980)Online publication date: 2000
https://doi.org/10.1002/1096-9128(20000825)12:10<917::AID-CPE517>3.0.CO;2-F
March SWood CAllen G(1999)Research Frontiers in Object TechnologyInformation Systems Frontiers10.1023/A:10100169130521:1(51-74)Online publication date: 1-Jul-1999
https://dl.acm.org/doi/10.1023/A%3A1010016913052
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.

References

Cited By

Index Terms

Recommendations

Distributed optimistic concurrency control with reduced rollback

Introducing concurrency in CS 1

Sequential verification of serializability

Comments

Information

Published In

Publisher

Publication History

Permissions

Check for updates

Author Tags

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