Article

Actors with multi-headed message receive patterns

Authors:

Martin Sulzmann,

Edmund S. L. Lam,

Peter Van WeertAuthors Info & Claims

COORDINATION'08: Proceedings of the 10th international conference on Coordination models and languages

Pages 315 - 330

Published: 04 June 2008 Publication History

Abstract

The actor model provides high-level concurrency abstractions to coordinate simultaneous computations by message passing. Languages implementing the actor model such as Erlang commonly only support single-headed pattern matching over received messages. We propose and design an extension of Erlang style actors with receive clauses containing multi-headed message patterns. Patterns may be non-linear and constrained by guards. We provide a number of examples to show the usefulness of the extension. We also explore the design space for multi-headed message matching semantics, for example first-match and rule priority-match semantics. The various semantics are inspired by the multi-set constraint matching semantics found in Constraint Handling Rules. This provides us with a formal model to study actors with multiheaded message receive patterns. The system can be implemented efficiently and we have built a prototype as a library-extension to Haskell.

References

[1]

Agha, G.: ACTORS: A Model of Concurrent Computation in Distributed Systems. MIT Press, Cambridge (1986).

Digital Library

[2]

Armstrong, J., Virding, R., Wikström, C., Williams, M.: Concurrent Programming in Erlang, 2nd edn. Prentice-Hall, Englewood Cliffs (1996).

Digital Library

[3]

Duck, G.J., Stuckey, P.J., García de la Banda, M.J., Holzbaur, C.: The refined operational semantics of Constraint Handling Rules. In: Demoen, B., Lifschitz, V. (eds.) ICLP 2004. LNCS, vol. 3132, pp. 90-104. Springer, Heidelberg (2004).

[4]

Fournet, C., Gonthier, G.: The join calculus: A language for distributed mobile programming. In: Barthe, G., Dybjer, P., Pinto, L., Saraiva, J. (eds.) APPSEM 2000. LNCS, vol. 2395, pp. 268-332. Springer, Heidelberg (2002).

Digital Library

[5]

Frølund, S., Agha, G.: Abstracting interactions based on message sets. In: Ciancarini, P., Nierstrasz, O., Yonezawa, A. (eds.) ECOOP-WS 1994. LNCS, vol. 924, pp. 107-124. Springer, Heidelberg (1995).

Digital Library

[6]

Frühwirth, T.: Theory and practice of Constraint Handling Rules. J. Logic Programming, Special Issue on Constraint Logic Programming 37(1-3), 95-138 (1998).

[7]

Glasgow haskell compiler home page, http://www.haskell.org/ghc/

[8]

Haller, P., Van Cutsem, T.: Implementing Joins using extensible pattern matching. LNCS, vol. 5052. Springer, Heidelberg

Digital Library

[9]

HaskellActor, http://code.google.com/p/haskellactor/

[10]

Holzbaur, C., García de la Banda, M.J., Stuckey, P.J., Duck, G.J.: Optimizing compilation of Constraint Handling Rules in HAL. TPLP 5(4-5), 503-531 (2005).

Digital Library

[11]

Kahn, K., Saraswat, V.A.: Actors as a special case of concurrent constraint (logic) programming. In: Proc. of OOPSLA/ECOOP, pp. 57-66. ACM, New York (1990).

Digital Library

[12]

De Koninck, L., Schrijvers, T., Demoen, B.: User-definable rule priorities for CHR. In: Proc. of PPDP 2007, pp. 25-36. ACM, New York (2007).

Digital Library

[13]

De Koninck, L., Stuckey, P.J., Duck, G.J.: Optimizing compilation of CHR with rule priorities. In: FLOPS 2008. LNCS, vol. 4989. Springer, Heidelberg (2008).

Digital Library

[14]

Lam, E.S.L., Sulzmann, M.: A concurrent Constraint Handling Rules implementation in Haskell with software transactional memory. In: Proc. of DAMP 2007, pp. 19-24. ACM Press, New York (2007).

Digital Library

[15]

Peyton Jones, S. (ed.): Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge (2003).

[16]

Schrijvers, T.: Analyses, Optimizations and Extensions of Constraint Handling Rules. PhD thesis, K.U.Leuven, Leuven, Belgium (June 2005).

[17]

Sulzmann, M., Lam, E.S.L.: Haskell - Join - Rules. In: Draft Proc. of IFL 2007 (September 2007).

[18]

Trono, J.A.: A new exercise in concurrency. SIGCSE Bull. 26(3), 8-10 (1994).

Digital Library

[19]

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

Digital Library

[20]

Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. A syntactic approach to type soundness 115(1), 38-94 (1994).

Digital Library

Cited By

Imam SSarkar VBoix EHaller PRicci AVarela C(2014)Savina - An Actor Benchmark SuiteProceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control10.1145/2687357.2687368(67-80)Online publication date: 20-Oct-2014
https://dl.acm.org/doi/10.1145/2687357.2687368
Imam SSarkar VBoix EHaller PRicci AVarela C(2014)SelectorsProceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control10.1145/2687357.2687360(1-14)Online publication date: 20-Oct-2014
https://dl.acm.org/doi/10.1145/2687357.2687360
Frischbier SMargara AFreudenreich TEugster PEyers DPietzuch PMasuhara HKienzle JBaniassad ELorenz D(2013)Aggregation for implicit invocationsProceedings of the 12th annual international conference on Aspect-oriented software development10.1145/2451436.2451450(109-120)Online publication date: 24-Mar-2013
https://dl.acm.org/doi/10.1145/2451436.2451450
Show More Cited By

Recommendations

Broadcasting multiple messages in simultaneous send/receive systems
SPDP '93: Proceedings of the 1993 5th IEEE Symposium on Parallel and Distributed Processing

We investigate the problem of broadcasting multiple messages in a message-passing system that supports simultaneous send and receive. The system consists of n processors, one of which has m messages to broadcast to the other n-1 processors. The ...
Message driven computing and its relationship to actors
Proceedings of the ACM SIGPLAN Workshop on Object-Based Concurrent Programming

We define Message Driven Computation as a style of computing with two characteristics: 1) Messages, not sequential processes, convey both control and data. Indeed, there are no sequential processes unless they are programmed explicitly in terms of ...
Defining the Behaviour of BPELlight Interaction Activities Using Message Exchange Patterns
ServiceWave '08: Proceedings of the 1st European Conference on Towards a Service-Based Internet

BPEL^light is an extension of BPEL that allows defining executable business processes independant of WSDL port types and operations. However, it adopts BPELs principle of having either non-blocking activities that only send or receive a single message or ...

Comments

Information & Contributors

Information

Published In

cover image Guide Proceedings

COORDINATION'08: Proceedings of the 10th international conference on Coordination models and languages

June 2008

347 pages

ISBN:3540682643

Editors:
Doug Lea
State University of NewYork at Oswego, Oswego, NY
,
Gianluigi Zavattaro
Università di Bologna, Dipartimento di Scienze dell'Informazione, Bologna, Italy

Publisher

Springer-Verlag

Berlin, Heidelberg

Publication History

Published: 04 June 2008

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

11
Total Citations
View Citations
3
Total Downloads

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

Reflects downloads up to 24 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Imam SSarkar VBoix EHaller PRicci AVarela C(2014)Savina - An Actor Benchmark SuiteProceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control10.1145/2687357.2687368(67-80)Online publication date: 20-Oct-2014
https://dl.acm.org/doi/10.1145/2687357.2687368
Imam SSarkar VBoix EHaller PRicci AVarela C(2014)SelectorsProceedings of the 4th International Workshop on Programming based on Actors Agents & Decentralized Control10.1145/2687357.2687360(1-14)Online publication date: 20-Oct-2014
https://dl.acm.org/doi/10.1145/2687357.2687360
Frischbier SMargara AFreudenreich TEugster PEyers DPietzuch PMasuhara HKienzle JBaniassad ELorenz D(2013)Aggregation for implicit invocationsProceedings of the 12th annual international conference on Aspect-oriented software development10.1145/2451436.2451450(109-120)Online publication date: 24-Mar-2013
https://dl.acm.org/doi/10.1145/2451436.2451450
Holzer AZiarek LJayaram KEugster P(2012)Abstracting context in event-based softwareTransactions on Aspect-Oriented Software Development IX10.5555/2434958.2434964(123-167)Online publication date: 1-Jan-2012
https://dl.acm.org/doi/10.5555/2434958.2434964
Kaewkasi CKaewkasi PRogers IJul EZendra O(2011)Pattern matching for object-like structures in the Go programming languageProceedings of the 6th Workshop on Implementation, Compilation, Optimization of Object-Oriented Languages, Programs and Systems10.1145/2069172.2069180(1-7)Online publication date: 26-Jul-2011
https://dl.acm.org/doi/10.1145/2069172.2069180
Holzer AZiarek LJayaram KEugster PBorba PChiba S(2011)Putting events in contextProceedings of the tenth international conference on Aspect-oriented software development10.1145/1960275.1960304(241-252)Online publication date: 21-Mar-2011
https://dl.acm.org/doi/10.1145/1960275.1960304
Ostrowski KSakoda CBirman K(2010)Self-replicating objects for multicore platformsProceedings of the 24th European conference on Object-oriented programming10.5555/1883978.1884010(452-477)Online publication date: 21-Jun-2010
https://dl.acm.org/doi/10.5555/1883978.1884010
Welch PPedersen J(2010)Santa ClausACM Transactions on Programming Languages and Systems10.1145/1734206.173421132:4(1-37)Online publication date: 22-Apr-2010
https://dl.acm.org/doi/10.1145/1734206.1734211
Plociniczak HEisenbach S(2010)JErlangProceedings of the 12th international conference on Coordination Models and Languages10.1007/978-3-642-13414-2_5(61-75)Online publication date: 7-Jun-2010
https://dl.acm.org/doi/10.1007/978-3-642-13414-2_5
Jayaram KEugster P(2010)Scalable efficient composite event detectionProceedings of the 12th international conference on Coordination Models and Languages10.1007/978-3-642-13414-2_12(168-182)Online publication date: 7-Jun-2010
https://dl.acm.org/doi/10.1007/978-3-642-13414-2_12
Show More Cited By

View Options

View options

Media

Figures

Other

Tables

View Table of Contents