article

Abstraction and Modularity Mechanisms for Concurrent Computing

Authors:

Svend Frølund,

Rajendra Panwar,

Anna Patterson,

Daniel SturmanAuthors Info & Claims

IEEE Parallel & Distributed Technology: Systems & Technology, Volume 1, Issue 2

Pages 3 - 14

https://doi.org/10.1109/88.218170

Published: 01 May 1993 Publication History

Abstract

The Actor model programming language concept, which provides basic building blocks for a wide variety of computational structures, is reviewed. The Actor model unifies objects and concurrency. Actors are autonomous, distributed, concurrently executing objects that can send each other messages asynchronously. The Actor model's communication abstractions and object-oriented design are discussed. Three mechanisms for developing modular and reusable components for concurrent systems are also discussed. The mechanism are synchronizers, modular specifications of resource management policies, and protocol customization of dependability.

References

[1]

1. W. Kim and G. Agha, "Compilation of a Highly Parallel Actor-Based Language," to appear in Languages and Compilers for Parallel Computing, Springer-Verlag, 1992.

Digital Library

[2]

1. G. Agha, C. Houck, and R. Panwar, "Distributed Execution of Actor Systems," in Languages and Compilers for Parallel Computing, D. Gelernter et al., eds., Springer-Verlag, 1992, pp. 1-17.

Digital Library

[3]

1. S. Frølund and G. Agha, "A Language Framework for Multiobject Coordination," Proc. Proc. European Conf. on Object-Oriented Programming '93, Springer-Verlag, 1993.

Digital Library

[4]

1. G. Agha et al., "A Linguistic Framework for Dynamic Composition of Dependability Protocols," to appear in Dependable Computing for Critical Application, III, IFIP Trans., Elsevier, 1993.

[5]

1. G. Agha and C.J. Callsen, "ActorSpace: An Open Distributed-Programming Paradigm," to be published in Principles and Practice of Parallel Programming '93, ACM SIGPlan Notices, May 1993.

Digital Library

[6]

2. N. Carriero and D. Celernter, "How to Write Parallel Programs: A Guide to the Perplexed," ACM Computing Surveys, Vol. 21, No. 3, Sept. 1989, pp. 323-357.

Digital Library

[7]

3. B. Shriver and P. Wegner, eds., Research Directions in Object-Oriented Programming, MIT Press, Cambridge, Mass., 1987.

Digital Library

[8]

4. G. Agha, "Concurrent Object-Oriented Programming," Comm. ACM, Vol. 33, No. 9, Sept. 1990, pp. 125-141.

Digital Library

[9]

5. B.N. Freeman-Benson and A. Borning, "Integrating Constraints with an Object-Oriented Language," Proc. European Conf. on Object-Oriented Programming '92, Springer-Verlag, 1992, pp. 268-286.

Digital Library

[10]

6. C. Tomlinson and V. Singh, "Inheritance and Synchronization with Enabled Sets," Proc. Conf. on Object-Oriented Programming Systems, Languages, and Applications (OOPSLA '89), ACM SIGPlan Notices, Vol. 24, No. 10, Oct. 1989, pp. 103-112.

Digital Library

[11]

7. S. Frølund and G. Agha, "A Language Framework for Multiobject Coordination," Proc. European Conf. on Object-Oriented Programming '93, Springer-Verlag, 1993.

Digital Library

[12]

8. D.C. Luckham et al., "Partial Orderings of Event Sets and Their Application to Prototyping Concurrent Timed Systems," Proc. 1992 DARPA Software Technology Conf., 1992, pp. 443-457.

[13]

9. L.H. Jamieson, "Characterizing Parallel Algorithms," in The Characteristics of Parallel Algorithms, R.J. Douglass, L.H. Jamieson, and D.B. Gannon, eds., MIT Press, Cambridge, Mass., 1987, pp. 65-100.

Digital Library

[14]

10. V. Singh et al., "Scalability of Parallel Sorting on Mesh Multicomputers," Int'l J. Parallel Programming, Vol. 20, No. 2, Apr. 1991, pp. 95-131.

[15]

11. G. Agha et al., "A Linguistic Framework for Dynamic Composition of Dependability Protocols," to appear in Dependable Computing for Critical Application, III, IFIP Trans., Elsevier, 1993.

[16]

12. N. Venkatasubramanian and C. Talcott, "A Metaarchitecture for Distributed-Resource Management," Proc. Hawaii Int'l Conf. System Sciences, IEEE Computer Society Press, Los Alamitos, Calif., 1993, pp. 124-133.

Cited By

Meseguer J(2022)Building Correct-by-Construction Systems with Formal PatternsRecent Trends in Algebraic Development Techniques10.1007/978-3-031-43345-0_1(3-24)Online publication date: 28-Jun-2022
https://dl.acm.org/doi/10.1007/978-3-031-43345-0_1
Din COwe O(2015)Compositional reasoning about active objects with shared futuresFormal Aspects of Computing10.1007/s00165-014-0322-y27:3(551-572)Online publication date: 1-May-2015
https://dl.acm.org/doi/10.1007/s00165-014-0322-y
Ricci ASanti AAgha GBordini RMarron ARicci A(2012)Programming abstractions for integrating autonomous and reactive behaviorsProceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions10.1145/2414639.2414650(83-94)Online publication date: 21-Oct-2012
https://dl.acm.org/doi/10.1145/2414639.2414650
Show More Cited By

Abstraction and Modularity Mechanisms for Concurrent Computing
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types
2. Theory of computation
  1. Models of computation
    1. Concurrency

Recommendations

Preserving Abstraction in Concurrent Programming

Recent programming languages have attempted to provide support for concurrency and for modular programming based on abstract interfaces. Building on experience of adding monitors to CLU, a language oriented towards data abstraction, it is explained how ...
Certified concurrent abstraction layers
PLDI 2018: Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation

Concurrent abstraction layers are ubiquitous in modern computer systems because of the pervasiveness of multithreaded programming and multicore hardware. Abstraction layers are used to hide the implementation details (e.g., fine-grained synchronization) ...
A proposal for implementing the concurrent mechanisms of Ada

This paper proposes a scheme for implementing the communication and synchronization mechanisms of Ada. A minimum operating system kernel is assumed first. Then the primitives and data structures used to interpret the concurrent activities are described. ...

Comments

Information & Contributors

Information

Published In

cover image IEEE Parallel & Distributed Technology: Systems & Technology

IEEE Parallel & Distributed Technology: Systems & Technology Volume 1, Issue 2

May 1993

82 pages

ISSN:1063-6552

Issue’s Table of Contents

Copyright © Copyright © 1993 IEEE. All Rights Reserved.

Publisher

IEEE Computer Society Press

Washington, DC, United States

Publication History

Published: 01 May 1993

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

23
Total Citations
View Citations
0
Total Downloads

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

Reflects downloads up to 25 Jan 2025

Other Metrics

View Author Metrics

Citations

Cited By

Meseguer J(2022)Building Correct-by-Construction Systems with Formal PatternsRecent Trends in Algebraic Development Techniques10.1007/978-3-031-43345-0_1(3-24)Online publication date: 28-Jun-2022
https://dl.acm.org/doi/10.1007/978-3-031-43345-0_1
Din COwe O(2015)Compositional reasoning about active objects with shared futuresFormal Aspects of Computing10.1007/s00165-014-0322-y27:3(551-572)Online publication date: 1-May-2015
https://dl.acm.org/doi/10.1007/s00165-014-0322-y
Ricci ASanti AAgha GBordini RMarron ARicci A(2012)Programming abstractions for integrating autonomous and reactive behaviorsProceedings of the 2nd edition on Programming systems, languages and applications based on actors, agents, and decentralized control abstractions10.1145/2414639.2414650(83-94)Online publication date: 21-Oct-2012
https://dl.acm.org/doi/10.1145/2414639.2414650
Din CDovland JOwe O(2012)Compositional reasoning about shared futuresProceedings of the 10th international conference on Software Engineering and Formal Methods10.1007/978-3-642-33826-7_7(94-108)Online publication date: 1-Oct-2012
https://dl.acm.org/doi/10.1007/978-3-642-33826-7_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
Lee ELiu XNeuendorffer S(2009)Classes and inheritance in actor-oriented designACM Transactions on Embedded Computing Systems10.1145/1550987.15509928:4(1-26)Online publication date: 24-Jul-2009
https://dl.acm.org/doi/10.1145/1550987.1550992
Venkatasubramanian NTalcott CAgha G(2004)A formal model for reasoning about adaptive QoS-enabled middlewareACM Transactions on Software Engineering and Methodology10.1145/1005561.100556413:1(86-147)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1145/1005561.1005564
(2004)Classes and subclasses in actor-oriented designProceedings of the Second ACM/IEEE International Conference on Formal Methods and Models for Co-Design10.1109/MEMCOD.2004.1459848(161-168)Online publication date: 1-Jan-2004
https://dl.acm.org/doi/10.1109/MEMCOD.2004.1459848
Gürsoy AKale L(2004)Performance and modularity benefits of message-driven executionJournal of Parallel and Distributed Computing10.1016/j.jpdc.2004.03.00664:4(461-480)Online publication date: 1-Apr-2004
https://dl.acm.org/doi/10.1016/j.jpdc.2004.03.006
Meseguer JTalcott C(2002)Semantic Models for Distributed Object ReflectionProceedings of the 16th European Conference on Object-Oriented Programming10.5555/646159.680024(1-36)Online publication date: 10-Jun-2002
https://dl.acm.org/doi/10.5555/646159.680024
Show More Cited By

View Options

View options

Figures

Tables

Media

View Issue’s Table of Contents