Abstract
This paper discusses the integration of a concurrency control mechanism in classbased languages. First, activity control issues are isolated and different object-oriented languages supporting concurrency are studied. We observe that they generally fail to integrate concurrency without interference with other language behaviors. Then, we present a model of concurrency control for C++ objects, based on a concept called conditional wait. The support is split between an extension to the language and a code server. The language extension is discussed in regard to inheritance and component reusability. An implementation on a multiprocessor architecture is outlined.
This work is partially supported by the European Community under ECC“Parallel Computing Action”.
Preview
Unable to display preview. Download preview PDF.
References
Pierre America, Inheritance and Subtyping in a Parallel Object-Oriented Language. In ECOOP'87, Paris (France), June 1987.
Pierre America, A Parallel Object-Oriented Language with Inheritance and Subtyping. In OOPSLA'90, Ottawa (Canada), October 1990.
Gregory R. Andrews and Fred B. Schneider. Concepts and Notations for Concurrent Programming. In ACM Computing Surveys, Volume 15, Number 1, March 1983.
Denis Caromel. A General Model for Concurrent and Distributed Object Oriented Programming. In Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent Programming, Volume 24, number 4, April 1989, San Diego (USA).
D. Decouchant, S. Krakowiak, M. Meysembourg, M. Riveill, X. Rousset de Pina, A Synchronization Mechanism for Typed Objects in a Distributed System. In Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent Programming, Volume 24, number 4, April 1989, San Diego (USA).
Margaret A.Ellis and Bjarne Stroustrup. The Annotated C++ Reference Manual. Addison Wesley, 1990.
Mary Fontana, LaMott Oren, Martin Neath. A Portable Implementation of Parameterized Templates Using A Sophisticated C++ Macro Facility, EARLY DRAFT, Texas Instruments Incorporated, Dallas (USA), 1990.
P. Gautron. J.P. Briot, H. Saleh, L. Lescaudron, S. Lemarié. Development of an Environment for Specification and Execution of Active Objects on Parallel Machines. Submitted to European Workshop on Parallel Computing (EWPC'92), Barcelone (Spain), March 1992.
John A. Interrante, Marc A. Linton. Runtime Access to Type Information in C++. In Usenix C++'90, San Francisco (USA), April 1990.
Dennis G.Kafura and Keung Hae Lee. Inheritance in Actor Based Concurrent Object Oriented Languages. In ECOOP'89, Nottingham (GB), July 1989.
Dmitry Lenkov, Michey Metha, Shankar Unni. Type Identification in C++. In Usenix C++'91, Washington (USA), April 1991.
Barbara Liskov, Maurice Herlihy, Lucy Gilbert. Limitations of Synchronous Communication with Static Process Structure in Languages for Distributed Computing. In Proceedings of the 13th Annual ACMSymposium on Principles of Programming Languages. St Petersburg Beach (Florida), January 1986.
Oscar Nierstraz. Active Objects in Hybrid. In OOPSLA'87, Orlando (Florida), October 1987.
M. Papathomas. Concurrency Issues in Object-Oriented Programming Languages. CUI, Université de Genève, 1990.
Per Brinch Hansen. Distributed Processes: A concurrent Programming Concept In Communications of the ACM, Volume 21, Number 11, November 1978.
Perihelion Software. The Helios Operating System. Prentice Hall, 1989.
Hayssam Saleh and Philippe Gautron. A System Library for C++ Distributed Applications on Transputer. In Applications of Transputers 91, IOS Press, Glasgow (Scotland), August 1991.
Marc Shapiro, Philippe Gautron, and Laurence Mosseri. Persistence and Migration for C++ Objects. In ECOOP'89, Nottingham (GB), July 1989.
Chris Tomlinson and Vineet Singh. Inheritance and Synchronization with enabled sets. In OOPSLA '89, New Orleans (Louisiana), October 1989.
P. Robert and J.-P. Verjus. Toward Autonomous Descriptions of Synchronization Modules. In Proceedings of IFIP Congress, North Holland, 1977.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1992 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Saleh, H., Gautron, P. (1992). A concurrency control mechanism for C++ objects. In: Tokoro, M., Nierstrasz, O., Wegner, P. (eds) Object-Based Concurrent Computing. ECOOP 1991. Lecture Notes in Computer Science, vol 612. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-55613-3_10
Download citation
DOI: https://doi.org/10.1007/3-540-55613-3_10
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-55613-8
Online ISBN: 978-3-540-47260-5
eBook Packages: Springer Book Archive