The impact of selected concurrent language constructs on the Sam run-time system
Authors: 
Myra Jean Prelle, Ann M. Wollrath, Thomas J. Brando, Edward H. BensleyAuthors Info & Claims
Myra Jean Prelle, Ann M. Wollrath, Thomas J. Brando, Edward H. BensleyAuthors Info & ClaimsPages 99 - 103
Abstract
We present an overview of a model of execution for concurrent object-oriented general-purpose computation, and a run-time system---SAM---that supports the model of execution. The basic model, which is transparent to the programmer, uses data-driven synchronization and speculative computation to obtain concurrency, and rollback to ensure correctness. We discuss extensions to the basic model that include two new kinds of objects, multifutures and guarded objects, and language constructs such as parallel-do and divide-and-conquer, as well as other constructs that allow the programmer to control how futures are processed. While all of these extensions appear useful, some can be integrated more naturally than others into the model of execution.
References
[1]
[1] Agha, G. A., ACTORS: A Model of Concurrent Computation in Distributed Systems, Cambridge, MA: MIT Press, 1986.
[2]
[2] Axford, T. "An Elementary Language Construct for Parallel Programming," SIGPLAN Notices, Vol. 25, No. 7, July 1990.
[3]
[3] Bensley, E. H., T. J. Brando, and M. J. Prelle, "An Execution Model For Distributed Object-Oriented Computation," Proc. Third Annual Conf. on Object-Oriented Programming Systems, Languages. and Applications. San Diego, CA, September 1988.
[4]
[4] Buhr. R. J. A., System Design with Ada. Englewood Cliffs, N. J.: Prentice-Hall, 1984.
[5]
[5] Chatterjee. A., "Futures: A Mechanism For Concurrency Among Objects," Proc. Supercomputing Conference, Reno. NV, November 1989.
[6]
[6] Chow. E., H. Madan, and J. Peterson. "A Real-Time Adaptive Message Routing Network for the Hypercube Computer," Proc. Eighth Real-Time Systems Symp., IEEE Computer Society, December 1987.
[7]
[7] Halstead, R. H., "MultiLisp: A Language for Concurrent Symbolic Computation," ACM Trans. on Prog. Languages and Systems, October 1985, pp. 501-538.
[8]
[8] Hoare, C. A. R., "Communicating Sequential Processes," Communications of the ACM, Vol. 21, No. 8, August 1978, pp. 666-677.
[9]
[9] Jefferson, D., et al., "Distributed Simulation and the Time Warp Operating System," Proc. Eleventh ACM Symp. on Operating Systems Principles, Austin, TX, November 1987.
[10]
[10] Perrott, R. H., Parallel Programming, Reading, MA: Addison-Wesley, 1987.
[11]
[11] Reiher, P., R. Fujimoto, S. Bellenot, and D. Jefferson, "Cancellation Strategies in Optimistic Execution Systems," Proc. of the SCS Multiconference on Distributed Simulation, San Diego, CA, January 1990.
[12]
[12] Samadi, B., "Distributed Simulation, Algorithms and Performance," Ph.D. dissertation, UCLA, 1985.
[13]
[13] Tinker, P., and M. Katz, "Parallel Execution of Sequential Scheme with ParaTran," Proc. of the Conference on Lisp and Functional Programming, Snowbird, Utah, July 1988.
[14]
[14] Yonezawa, A., E. Shibayama, T. Takada, and Y. Honda, "Modeling and Programming in Object-Oriented Concurrent Language ABCL/1," in A. Yonezawa and M. Tokoro (ed.), Object-Oriented Concurrent Programming, Cambridge, MA: MIT Press, 1987.
Index Terms
- The impact of selected concurrent language constructs on the Sam run-time system
Recommendations
The impact of selected concurrent language constructs on the Sam run-time system
We present an overview of a model of execution for concurrent object-oriented general-purpose computation, and a run-time system---SAM---that supports the model of execution. The basic model, which is transparent to the programmer, uses data-driven ...
Language constructs for transactional memory
POPL '09Building concurrent shared-memory data structures is a notoriously difficult problem, and so the widespread move to multi-core and multi-processor hardware has led to increasing interest in language constructs that may make concurrent programming ...
Language constructs for transactional memory
POPL '09: Proceedings of the 36th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languagesBuilding concurrent shared-memory data structures is a notoriously difficult problem, and so the widespread move to multi-core and multi-processor hardware has led to increasing interest in language constructs that may make concurrent programming ...
Comments
Information & Contributors
Information
Published In
April 1991
124 pages
ISBN:0897914112
DOI:10.1145/127056
- Chairman:
- Paul R. Wilson,
- Editors:
- Gul Agha,
- Carl Hewitt,
- Peter Wegner,
- Akinori Yonezawa
Apr. 1991122 pages
Copyright © 1991 ACM.
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]
Sponsors
Publisher
Association for Computing Machinery
New York, NY, United States
Publication History
Published: 01 April 1991
Check for updates
Qualifiers
- Article
Conference
OOPSLA90/ECOOP90
Sponsor:
OOPSLA90/ECOOP90: Object Oriented Programming Systems, Languages & Applications
October 21 - 25, 1990
Ottawa, Canada
Upcoming Conference
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations2Total Citations
- 156Total Downloads
- Downloads (Last 12 months)43
- Downloads (Last 6 weeks)13
Reflects downloads up to 16 Oct 2024
Other Metrics
Citations
View Options
Get Access
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in