research-article

Towards an actor-based concurrent machine model

Authors:

Hans Schippers,

Tom Van Cutsem,

Robert HirschfeldAuthors Info & Claims

ICOOOLPS '09: Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems

Pages 4 - 9

https://doi.org/10.1145/1565824.1565825

Published: 06 July 2009 Publication History

Abstract

In this position paper we propose to extend an existing delegation-based machine model with concurrency primitives. The original machine model which is built on the concepts of objects, messages, and delegation, provides support for languages enabling multi-dimensional separation of concerns (MDSOC). We propose to extend this model with an actor-based concurrency model, allowing for both true parallelism as well as lightweight concurrency primitives such as coroutines. In order to demonstrate its expressiveness, we informally describe how three high-level languages supporting different concurrency models can be mapped onto our extended machine model. We also provide an outlook on the extended model's potential to support concurrency-related MDSOC features.

References

[1]

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

Digital Library

[2]

I. Aracic, V. Gasiunas, M. Mezini, and K. Ostermann. Overview of caesarj. Transactions on AOSD, LNCS 3880, 2006.

[3]

J. Armstrong, R. Virding, C. Wikström, and M. Williams. Concurrent Programming in Erlang. Prentice-Hall, second edition, 1996.

Digital Library

[4]

L. Baduel, F. Baude, D. Caromel, A. Contes, F. Huet, M. Morel, and R. Quilici. Grid Computing: Software Environments and Tools, chapter Programming, Deploying, Composing, for the Grid. Springer-Verlag, January 2006.

[5]

W. J. Dally and D. S. Wills. Universal mechanisms for concurrency. In PARLE '89 Parallel Architectures and Languages Europe, volume 365 of LNCS, pages 19--33. Springer, 1989.

Digital Library

[6]

S. Dekorte. Io: a small programming language. In OOPSLA '05: Companion to the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications, pages 166--167, New York, NY, USA, 2005. ACM Press.

Digital Library

[7]

M. Haupt and H. Schippers. A machine model for aspect-oriented programming. In ECOOP 2007 - Object-Oriented Programming, 21st European Conference, Berlin, Germany, July 30 - August 3, 2007, Proceedings, volume 4609 of Lecture Notes in Computer Science, pages 501--524. Springer, 2007.

Digital Library

[8]

M. Herlihy and M. P. Warres. A tale of two directories: Implementing distributed shared objects in java. Concurrency: Practice and Experience, 12(7):555--572, 2000.

[9]

R. Hirschfeld, P. Costanza, and O. Nierstrasz. Context-oriented Programming. Journal of Object Technology (JOT), 7(3):125--151, March-April 2008.

[10]

R. Kaiabachev and B. Richards. Java-based dsm with object-level coherence protocol selection. In Proc. of Fifteenth IASTED International Conference on Parallel and Distributed Computing and Systems, pages 648--653, Marina del Ray, CA, USA, November 2003.

[11]

G. Kiczales, E. Hilsdale, J. Hugunin, M. Kersten, J. Palm, and W. G. Griswold. An Overview of Aspect J. In J. L. Knudsen, editor, Proc. ECOOP 2001, volume 2072 of LNCS, pages 327--353. Springer, 2001.

Digital Library

[12]

G. Kiczales, J. Lamping, A. Mendhekar, C. Maeda, C. V. Lopes, J.-M. Loingtier, and J. Irwin. Aspect-Oriented Programming. In M. Aksit and S. Matsuoka, editors, ECOOP '97: Object-Oriented Programming, volume 1241 of Lecture Notes in Computer Science, pages 220--242. Springer, 1997.

[13]

M. Miller, E. D. Tribble, and J. Shapiro. Concurrency among strangers: Programming in E as plan coordination. In R. D. Nicola and D. Sangiorgi, editors, Symposium on Trustworthy Global Computing, volume 3705 of LNCS, pages 195--229. Springer, April 2005.

Digital Library

[14]

H. Ossher. A direction for research on virtual machine support for concern composition. In Proc. Workshop VMIL '07. ACM Press, 2007.

Digital Library

[15]

H. Schippers, M. Haupt, R. Hirschfeld, and D. Janssens. An Implementation Substrate for Languages Composing Modularized Crosscutting Concerns. In Proceedings of ACM Symposium on Applied Computing (SAC), PSC Track, Honolulu, HI (USA), March 09 - March 12, 2009. ACM, 2009.

Digital Library

[16]

C. Varela and G. Agha. Programming dynamically reconfigurable open systems with SALSA. SIGPLAN Not., 36(12):20--34, 2001.

Digital Library

[17]

R. Veldema, R. F. H. Hofman, R. A. F. Bhoedjang, C. J. H. Jacobs, and H. E. Bal. Source-level global optimizations for fine-grain distributed shared memory systems. In PPoPP '01: Proceedings of the eighth ACM SIGPLAN symposium on Principles and practices of parallel programming, pages 83--92, New York, NY, USA, 2001. ACM.

Digital Library

Cited By

Delgado J(2019)Improving Application Integration by Combining Services and ResourcesNew Perspectives on Information Systems Modeling and Design10.4018/978-1-5225-7271-8.ch009(197-226)Online publication date: 2019
https://doi.org/10.4018/978-1-5225-7271-8.ch009
Merelo JLaredo JCastillo PGarcía-Valdez JRojas-Galeano S(2019)Scaling in Concurrent Evolutionary AlgorithmsApplied Computer Sciences in Engineering10.1007/978-3-030-31019-6_2(16-27)Online publication date: 9-Oct-2019
https://doi.org/10.1007/978-3-030-31019-6_2
Merelo JLaredo JCastillo PGarcía-Valdez JRojas-Galeano S(2019)Exploring Concurrent and Stateless Evolutionary AlgorithmsTheory and Applications of Models of Computation10.1007/978-3-030-16692-2_27(405-412)Online publication date: 30-Mar-2019
https://doi.org/10.1007/978-3-030-16692-2_27
Show More Cited By

Index Terms

Towards an actor-based concurrent machine model

Recommendations

A concurrent ML library in concurrent Haskell
ICFP '09

In Concurrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, called higher-order concurrent programming. Unfortunately, it is ...
A concurrent ML library in concurrent Haskell
ICFP '09: Proceedings of the 14th ACM SIGPLAN international conference on Functional programming

In Concurrent ML, synchronization abstractions can be defined and passed as values, much like functions in ML. This mechanism admits a powerful, modular style of concurrent programming, called higher-order concurrent programming. Unfortunately, it is ...
Towards certified separate compilation for concurrent programs
PLDI 2019: Proceedings of the 40th ACM SIGPLAN Conference on Programming Language Design and Implementation

Certified separate compilation is important for establishing end-to-end guarantees for certified systems consisting of multiple program modules. There has been much work building certified compilers for sequential programs. In this paper, we propose a ...

Comments

Information & Contributors

Information

Published In

cover image ACM Other conferences

ICOOOLPS '09: Proceedings of the 4th workshop on the Implementation, Compilation, Optimization of Object-Oriented Languages and Programming Systems

July 2009

73 pages

ISBN:9781605585413

DOI:10.1145/1565824

Conference Chair:
Ian Rogers

Copyright © 2009 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]

In-Cooperation

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 06 July 2009

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Qualifiers

Research-article

Conference

ECOOP '09

ECOOP '09: European Conference on Object-Oriented Programming

July 6, 2009

Genova, Italy

Acceptance Rates

Overall Acceptance Rate 11 of 14 submissions, 79%

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

13
Total Citations
View Citations
240
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)1

Reflects downloads up to 08 Feb 2025

Other Metrics

View Author Metrics

Citations

Cited By

Delgado J(2019)Improving Application Integration by Combining Services and ResourcesNew Perspectives on Information Systems Modeling and Design10.4018/978-1-5225-7271-8.ch009(197-226)Online publication date: 2019
https://doi.org/10.4018/978-1-5225-7271-8.ch009
Merelo JLaredo JCastillo PGarcía-Valdez JRojas-Galeano S(2019)Scaling in Concurrent Evolutionary AlgorithmsApplied Computer Sciences in Engineering10.1007/978-3-030-31019-6_2(16-27)Online publication date: 9-Oct-2019
https://doi.org/10.1007/978-3-030-31019-6_2
Merelo JLaredo JCastillo PGarcía-Valdez JRojas-Galeano S(2019)Exploring Concurrent and Stateless Evolutionary AlgorithmsTheory and Applications of Models of Computation10.1007/978-3-030-16692-2_27(405-412)Online publication date: 30-Mar-2019
https://doi.org/10.1007/978-3-030-16692-2_27
Merelo JGarcía-Valdez J(2018)Going Stateless in Concurrent Evolutionary AlgorithmsApplied Computer Sciences in Engineering10.1007/978-3-030-00350-0_2(17-29)Online publication date: 13-Sep-2018
https://doi.org/10.1007/978-3-030-00350-0_2
Delgado J(2016)Bridging Services and Resources with Structural ServicesInternational Journal of Information System Modeling and Design10.4018/IJISMD.20161001057:4(83-110)Online publication date: 1-Oct-2016
https://dl.acm.org/doi/10.4018/IJISMD.2016100105
Delgado J(2016)An Interoperability Framework and Distributed Platform for Fast Data ApplicationsData Science and Big Data Computing10.1007/978-3-319-31861-5_1(3-39)Online publication date: 6-Jul-2016
https://doi.org/10.1007/978-3-319-31861-5_1
Delgado J(2014)Unifying Services and ResourcesHandbook of Research on Architectural Trends in Service-Driven Computing10.4018/978-1-4666-6178-3.ch016(380-413)Online publication date: 2014
https://doi.org/10.4018/978-1-4666-6178-3.ch016
Delgado J(2013)Architectural Styles for Distributed InteroperabilityInformation Resources Management Journal10.4018/irmj.201310010326:4(40-65)Online publication date: 1-Oct-2013
https://dl.acm.org/doi/10.4018/irmj.2013100103
Delgado J(2013)Distributed Service Programming and InteroperabilityDistributed Computing Innovations for Business, Engineering, and Science10.4018/978-1-4666-2533-4.ch006(111-136)Online publication date: 2013
https://doi.org/10.4018/978-1-4666-2533-4.ch006
Frantz RCorchuelo RArjona J(2011)An Efficient Orchestration Engine for the CloudProceedings of the 2011 IEEE Third International Conference on Cloud Computing Technology and Science10.1109/CloudCom.2011.110(711-716)Online publication date: 29-Nov-2011
https://dl.acm.org/doi/10.1109/CloudCom.2011.110
Show More Cited By

View Options

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

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Figures

Tables

Media

View Table of Conten