Article

Efficient support of location transparency in concurrent object-oriented programming languages

Authors:

Gul AghaAuthors Info & Claims

Supercomputing '95: Proceedings of the 1995 ACM/IEEE conference on Supercomputing

Pages 39 - es

https://doi.org/10.1145/224170.224297

Published: 08 December 1995 Publication History

Abstract

We describe the design of a runtime system for a fine-grained concurrent object-oriented (actor) language and its performance. The runtime system provides considerable flexibility to users; specifically, it supports location transparency, actor creation and dynamic placement, and migration. The runtime system includes an efficient distributed name server, a latency hiding scheme for remote actor creation, and a compiler-controlled intra-node scheduling mechanism for local messages and dynamic load balancing. Our preliminary evaluation results suggest that the efficiency that is lost by the greater flexibility of actors can be restored by an efficient runtime system which provides an open interface that can be used by a compiler to allow optimizations. On several standard algorithms, the performance results for our system are comparable to efficient C implementations.

References

[1]

G. Agha. Actors: A Model of Concurrent Computation in Distributed Systems. MIT Press, 1986.

Digital Library

[2]

G. Agha, S. Fralund, W. Kim, R. Panwar, A. Patterson, and D. Sturman. Abstraction and Modularity Mechanisms for Concurrent Computing. IEEE Parallel and Distributed Technology: Systems and Applications, 1(2):3--14, May 1993.

Digital Library

[3]

G. Agha, W. Kim, and R. Panwar. Actor Languages for Specification of Parallel Computations. In G. E. Blelloch, K. Mani Chandy, and S. Jagannathan, editors, DIMACS. Series in Discrete Mathematics and Theoretical Computer Science. vol 18. Specification of Parallel Algorithms, pages 239--258. American Mathematical Society, 1994. Proceedings of DIMACS '94 Workshop.

[4]

T.E. Anderson, D.E. Culler, D.A. Patterson, and the NOW team. A Case for NOW (Networks of Workstations). IEEE Micro, 15(1):54--64, February 1995.

Digital Library

[5]

Arvind and Robert A. Iannucci. Two Fundamental Issues in Multiprocessing. In 4th International DFVLR Seminar on Foundations of Engineering Sciences, pages 61--88, 1987. LNCS 295.

Digital Library

[6]

R. D. Blumofe, C. F. Joerg, B. C. Kuszmaul, C. E. Leiserson, K. H. Randall, A. Shaw, and Y. Zhou. Cilk: An Efficient Multithreaded Runtime System. In Fifth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming PPOPP, 1994.

Digital Library

[7]

R. Chandra, A. Gupta, and J. L. Hennessy. COOL: An Object-Based Language for Parallel Programming. IEEE Computer, 27(8):13--26, August 1994.

Digital Library

[8]

A. Chien, V. Karamcheti, and J. Plevyak. The Concert System - Compiler and Runtime Support for Efficient Fine-Grained Concurrent Object-Oriented Programs. Technical Report UIUCDCS-R-93-1815, University of Illinois at Urbana-Champaign, Department of Computer Science, June 1993.

Digital Library

[9]

D. E. Culler, A. Dusseau, S. C. Goldstein, A. Krishnamurthy, S. Lumetta, T. von Eicken, and K. Yelick. Parallel Programming in Split-C. In Proceedings of Supercomputing 93, pages 262--273, 1993.

Digital Library

[10]

D.E. Culler, A. Sah, K. E. Schauser, T. von Eicken, and J. Wawrzynek. Fine-grain Parallelism with Minimal Hardware Support: A Compiler-Controlled Threaded Abstract Machine. In Proceedings of ASPLOS, pages 166--175, 1991.

Digital Library

[11]

F. Bodin and P. Beckman and D. Gannon and S. Yang and S. Kesavan and A. Malony and B. Mohr. Implementing a Parallel C++ Runtime System for Scalable Parallel Systems. In Proceedings of Supercomputing '93, pages 588--597, 1993.

Digital Library

[12]

S. Fr?lund. Inheritance of Synchronization Constraints in Concurrent Object-Oriented Programming Languages. In O. Lehrmann Madsen, editor, ECOOP'92 European Conference on Object-Oriented Programming, pages 185--196. Springer-Verlag, June 1992. Lecture Notes in Computer Science 615.

Digital Library

[13]

A. Grimshaw, W. T. Strayer, and P. Narayan. Dynamic Object-Oriented Parallel Processing. IEEE Parallel and Distributed Technology: Systems and Applications, 1(2):33--47, May 1993.

Digital Library

[14]

W. Horwat. Concurrent Smalltalk on the Message Driven Processor. Master's thesis, MIT, May 1989.

[15]

C. Houck and G. Agha. HAL: A High-level Actor Language and Its Distributed Implementation. In Proceedings of th 21st International Conference on Parallel Processing (ICPP '92), volume II, pages 158--165, St. Charles, IL, August 1992.

[16]

L. V. Kale and S. Krishnan. CHARM++: A Portable Concurrent Object Oriented System Based On C++. In Andreas Paepcke, editor, Proceedings of OOPSLA 93'. ACM Press, October 1993. ACM SIGPLAN Notices 28(10).

Digital Library

[17]

V. Karamcheti. Private Communication, 1994.

[18]

V. Karamcheti and A. A. Chien. Concert -- Efficient Runtime Support for Concurrent Object-Oriented Programming Languages on Stock Hardware. In Proceedings of Supercomputing '93, November 1993.

Digital Library

[19]

V. Karamcheti and A.A. Chien. A Comparison of Architectural Support for Messaging on the TMC CM-5 and the Cray T3D. In Proceedings of International Symposium of Computer Architecture, 1995.

Digital Library

[20]

K.E. Schauser and C.J. Scheiman. Experience with Active Messages on the Meiko CS-2. In Proceedings of IPPS '95, 1995.

Digital Library

[21]

W. Kim and G. Agha. Compilation of a Highly Parallel Actor-Based Language. In U. Banerjee, D. Gelernter, A. Nicolau, and D. Padua, editors, Proceedings of the Workshop on Languages and Compilers for Parallel Computing, pages 1--15. Springer-Verlag, 1993. LNCS 757.

Digital Library

[22]

W. Kim and G. Agha. A Scalable Implementation of Communication Abstractions in Actor Programming. in preparation, 1995.

[23]

E.J. Koldinger, J.S. Chase, and S.J. Eggers. Architectural Support for Single Address Space Operating Systems. In ASPLOS V '92, pages 175--186, 1992.

Digital Library

[24]

V. Kumar, A. Grama, A. Gupta, and G. Karypis. Introduction to Parallel Computing: Design and Analysis of Algorithms. Benjamin/Cummings Publishing Company, Inc., 1994.

Digital Library

[25]

V. Kumar, A. Y. Grama, and V. N. Rao. Scalable Load Balancing Techniques for Parallel Computers. Technical Report 91-55, CS Dept., University of Minnesota, 1991. available via ftp ftp.cs.umn.edu:/users/kumar/lb_MIMD.ps.Z.

[26]

C. Manning. ACORE: The Design of a Core Actor Language and its Compiler. Master's thesis, MIT, Artificial Intelligence Laboratory, August 1987.

[27]

N. Oxhoj, J. Palsberg, and M. I. Schwartzbach. Making Type Inference Practical. In Proc. ECOOP'92, pages 329--349. Springer-Verlag (LNCS 615), 1992.

Digital Library

[28]

R. Panwar and G. Agha. A Methodology for Programming Scalable Architectures. Journal of Parallel and Distributed Computing, 22(3):479--487, September 1994.

Digital Library

[29]

K. Taura, S. Matsuoka, and A. Yonezawa. An Efficient Implementation Scheme of Concurrent Object-Oriented Languages on Stock Multicomputers. In Fourth ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming PPOPP, pages 218--228, May 1993.

Digital Library

[30]

K. Taura, S. Matsuoka, and A. Yonezawa. ABCL/f: A Future-Based Polymorphic Typed Concurrent Object-Oriented Language - Its Design and Implementation. In G. E. Blelloch, K. Mani Chandy, and S. Jagannathan, editors, DIMACS. Series in Discrete Mathematics and Theoretical Computer Science. vol 18. Specification of Parallel Algorithms, pages 275--291. American Mathematical Society, 1994. Proceedings of DIMACS '94 Workshop.

[31]

Thinking Machine Corporation. Connection Machine CM-5 Technical Summary, revised edition edition, November 1992.

[32]

Thinking Machine Corporation. CMMD Reference Manual Version 3.0, May 1993.

[33]

N. Venkatasubramaniam, G. Agha, and C. Talcott. Scalable Distributed Garbage Collection for Systems of Active Objects. In Proceedings International Workshop on Memory Management, pages 441--451, St. Malo, France, September 1992. ACM SIGPLAN and INRIA, Springer-Verlag. Lecture Notes in Computer Science.

Digital Library

[34]

T. von Eicken, A. Basu, and V. Buch. Low-Latency Communication over ATM Networks Using Active Messages. IEEE Micro, 15(1):46--53, February 1995.

Digital Library

[35]

T. von Eicken, D. E. Culler, S. C. Goldstein, and K. E. Schauser. Active Messages: a Mechanism for Integrated Communication and Computation. In Proceedings of International Symposium of Computer Architectures, pages 256--266, 1992.

Digital Library

[36]

M. Yasugi, S. Matsuoka, and A. Yonezawa. ABCL/onEM-4: A New Software/Hardware Architecture for Object-Oriented Concurrent Computing on an Extended Dataflow Supercomputer. In ICS '92, pages 93--103, 1992.

Digital Library

[37]

A. Yonezawa, editor. ABCL An Object-Oriented Concurrent System. MIT Press, Cambridge, Mass., 1990.

Digital Library

Cited By

Agha G(2014)Actors Programming for the Mobile CloudProceedings of the 2014 IEEE 13th International Symposium on Parallel and Distributed Computing10.1109/ISPDC.2014.31(3-9)Online publication date: 24-Jun-2014
https://dl.acm.org/doi/10.1109/ISPDC.2014.31
Desell TVarela C(2014)SALSA Lite: A Hash-Based Actor Runtime for Efficient Local ConcurrencyConcurrent Objects and Beyond10.1007/978-3-662-44471-9_7(144-166)Online publication date: 2014
https://doi.org/10.1007/978-3-662-44471-9_7
Karmani RShali AAgha GStephenson BProbst C(2009)Actor frameworks for the JVM platformProceedings of the 7th International Conference on Principles and Practice of Programming in Java10.1145/1596655.1596658(11-20)Online publication date: 27-Aug-2009
https://dl.acm.org/doi/10.1145/1596655.1596658
Show More Cited By

Index Terms

Efficient support of location transparency in concurrent object-oriented programming languages

Recommendations

Parallelism in Object-Oriented Languages: A Survey

Fourteen concurrent object-oriented languages are compared in terms of how they deal with communication, synchronization, process management, inheritance, and implementation trade-offs. The ways in which they divide responsibility between the programmer,...
Integrating object-oriented programming and protected objects in Ada 95

Integrating concurrent and object-oriented programming has been an active research topic since the late 1980's. There is now a plethora of methods for achieving this integration. The majority of approaches have taken a sequential object-oriented ...
Integrating object-oriented programming and protected objects in Ada 95

Integrating concurrent and object-oriented programming has been an active research topic since the late 1980's. There is a now a plethora of methods for achieving this integration. The majority of approaches have taken a sequential object-oriented ...

Comments

Information & Contributors

Information

Published In

cover image ACM Conferences

Supercomputing '95: Proceedings of the 1995 ACM/IEEE conference on Supercomputing

December 1995

875 pages

ISBN:0897918169

DOI:10.1145/224170

Chairman:
Sid Karin
San Diego Supercomputer Center, San Diego, CA

Copyright © 1995 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

SIGARCH: ACM Special Interest Group on Computer Architecture
IEEE-CS: Computer Society

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 08 December 1995

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Article

Conference

SC '95

Sponsor:

SIGARCH
IEEE-CS

SC '95: International Conference for High Performance Computing, Networking, Storage and Analysis

December 4 - 8, 1995

California, San Diego, USA

Acceptance Rates

Supercomputing '95 Paper Acceptance Rate 69 of 241 submissions, 29%;

Overall Acceptance Rate 1,516 of 6,373 submissions, 24%

Upcoming Conference

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

21
Total Citations
View Citations
134
Total Downloads

Downloads (Last 12 months)11
Downloads (Last 6 weeks)2

Reflects downloads up to 25 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Agha G(2014)Actors Programming for the Mobile CloudProceedings of the 2014 IEEE 13th International Symposium on Parallel and Distributed Computing10.1109/ISPDC.2014.31(3-9)Online publication date: 24-Jun-2014
https://dl.acm.org/doi/10.1109/ISPDC.2014.31
Desell TVarela C(2014)SALSA Lite: A Hash-Based Actor Runtime for Efficient Local ConcurrencyConcurrent Objects and Beyond10.1007/978-3-662-44471-9_7(144-166)Online publication date: 2014
https://doi.org/10.1007/978-3-662-44471-9_7
Karmani RShali AAgha GStephenson BProbst C(2009)Actor frameworks for the JVM platformProceedings of the 7th International Conference on Principles and Practice of Programming in Java10.1145/1596655.1596658(11-20)Online publication date: 27-Aug-2009
https://dl.acm.org/doi/10.1145/1596655.1596658
Aridor YOshima M(2006)Infrastructure for mobile agents: Requirements and designMobile Agents10.1007/BFb0057647(38-49)Online publication date: 29-Jun-2006
https://doi.org/10.1007/BFb0057647
Bernardo LPinto P(2006)Scalable service deployment on highly populated networksIntelligent Agents for Telecommunication Applications10.1007/BFb0053942(29-44)Online publication date: 25-May-2006
https://doi.org/10.1007/BFb0053942
Jamali NZhao XPechoucek MSteiner DThompson S(2005)A scalable approach to multi-agent resource acquisition and controlProceedings of the fourth international joint conference on Autonomous agents and multiagent systems10.1145/1082473.1082605(868-875)Online publication date: 25-Jul-2005
https://dl.acm.org/doi/10.1145/1082473.1082605
Field JVarela C(2005)TransactorsACM SIGPLAN Notices10.1145/1047659.104032240:1(195-208)Online publication date: 12-Jan-2005
https://dl.acm.org/doi/10.1145/1047659.1040322
Field JVarela CPalsberg JAbadi M(2005)TransactorsProceedings of the 32nd ACM SIGPLAN-SIGACT symposium on Principles of programming languages10.1145/1040305.1040322(195-208)Online publication date: 12-Jan-2005
https://dl.acm.org/doi/10.1145/1040305.1040322
Agha G(2005)Modeling concurrent systems: Actors, nets, and the problem of abstraction and compositionApplication and Theory of Petri Nets 199610.1007/3-540-61363-3_1(1-10)Online publication date: 9-Jun-2005
https://doi.org/10.1007/3-540-61363-3_1
Chien AReddy UPlevyak JDolby J(2005)ICC++ - A C++ dialect for high performance parallel computingObject Technologies for Advanced Software10.1007/3-540-60954-7_45(76-95)Online publication date: 7-Jun-2005
https://doi.org/10.1007/3-540-60954-7_45
Show More Cited By

View Options

View options

HTML Format

View this article in HTML Format.

Login options

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

Full Access

Get this Publication

Figures

Tables

Media

View Table of Conten