Article

Implementing joins using extensible pattern matching

Authors:

Philipp Haller,

Tom Van CutsemAuthors Info & Claims

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

Pages 135 - 152

Published: 04 June 2008 Publication History

Abstract

Join patterns are an attractive declarative way to synchronize both threads and asynchronous distributed computations. We explore joins in the context of extensible pattern matching that recently appeared in languages such as F# and Scala. Our implementation supports join patterns with multiple synchronous events, and guards. Furthermore, we integrated joins into an existing actor-based concurrency framework. It enables join patterns to be used in the context of more advanced synchronization modes, such as future-type message sending and token-passing continuations.

References

[1]

Agha, G.A.: 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]

Benton, N., Cardelli, L., Fournet, C.: Modern concurrency abstractions for C#. ACM Trans. Program. Lang. Syst 26(5), 769-804 (2004).

Digital Library

[4]

Chrysanthakopoulos, G., Singh, S.: An asynchronous messaging library for C#. In: Proc. SCOOL Workshop, OOPSLA (2005).

[5]

Donnelly, K., Fluet, M.: Transactional events. In: Proc. ICFP, pp. 124-135. ACM, New York (2006).

Digital Library

[6]

Emir, B., Odersky, M., Williams, J.: Matching Objects with Patterns. In: Ernst, E. (ed.) ECOOP 2007. LNCS, vol. 4609, pp. 273-298. Springer, Heidelberg (2007).

Digital Library

[7]

Fournet, C., Le Fessant, F., Maranget, L., Schmitt, A.: JoCaml: A language for concurrent distributed and mobile programming. In: Jeuring, J., Jones, S.L.P. (eds.) AFP 2002. LNCS, vol. 2638, pp. 129-158. Springer, Heidelberg (2003).

[8]

Fournet, C., Gonthier, G.: The reflexive chemical abstract machine and the join-calculus. In: Proc. POPL, January 1996, pp. 372-385. ACM, New York (1996).

Digital Library

[9]

Fournet, C., Gonthier, G., Lévy, J.-J., Maranget, L., Rémy, D.: A Calculus of Mobile Agents. In: Montanari, U., Sassone, V. (eds.) CONCUR 1996. LNCS, vol. 1119, pp. 406-421. Springer, Heidelberg (1996).

Digital Library

[10]

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

[11]

Haller, P., Odersky, M.: Actors that unify threads and events. In: Murphy, A.L., Vitek, J. (eds.) COORDINATION 2007. LNCS, vol. 4467, pp. 171-190. Springer, Heidelberg (2007).

Digital Library

[12]

Halstead Jr., R.H.: Multilisp: a language for concurrent symbolic computation. ACM Trans. Program. Lang. Syst. 7(4), 501-538 (1985).

Digital Library

[13]

Kafura, D., Mukherji, M., Lavender, G.: ACT++: A Class Library for Concurrent Programming in C++ using Actors. J. of Object-Oriented Programming 6(6) (1993).

[14]

Odersky, M.: Functional Nets. In: Smolka, G. (ed.) ESOP 2000. LNCS, vol. 1782, pp. 1-25. Springer, Heidelberg (2000).

Digital Library

[15]

Okasaki, C.: Views for Standard ML. In: Proc. SIGPLAN Workshop on ML (1998).

[16]

Reppy, J.H.: CML: A higher-order concurrent language. In: Proc. PLDI, pp. 293- 305. ACM Press, New York (1991).

Digital Library

[17]

Russo, C.V.: The Joins concurrency library. In: Proc. PADL, pp. 260-274 (2007).

Digital Library

[18]

Singh, S.: Higher-order combinators for join patterns using STM. In: Proc. TRANSACT Workshop, OOPSLA (2006).

[19]

Sulzmann, M., Lam, E.S.L., Van Weert, P.: Actors with multi-headed message receive patterns. In: COORDINATION 2008. LNCS, vol. 5052. Springer, Heidelberg (2008).

Digital Library

[20]

Syme, D., Neverov, G., Margetson, J.: Extensible pattern matching via a lightweight language extension. In: Proc. ICFP, pp. 29-40. ACM Press, New York (2007).

Digital Library

[21]

Tomlinson, C., Singh, V.: Inheritance and synchronization with enabled-sets. ACM SIGPLAN Notices 24(10), 103-112 (1989).

Digital Library

[22]

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

Digital Library

[23]

von Itzstein, G.S., Kearney, D.: Join Java: An alternative concurrency semantic for Java. Technical report, University of South Australia (2001).

[24]

Wadler, P.: Views: A way for pattern matching to cohabit with data abstraction. In: Proc. POPL, pp. 307-313 (1987).

Digital Library

[25]

Yonezawa, A., Briot, J.-P., Shibayama, E.: Object-oriented concurrent programming in ABCL/1. In: Proc. OOPSLA, pp. 258-268 (1986).

Digital Library

Cited By

Tabareau NTanter É(2019)Chemical foundations of distributed aspectsDistributed Computing10.1007/s00446-018-0334-632:3(193-216)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s00446-018-0334-6
Rodriguez Avila HDe Koster JDe Meuter WDe Koster JBergenti F(2017)Sparrow: a DSL for coordinating large groups of heterogeneous actorsProceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control10.1145/3141834.3141838(31-40)Online publication date: 23-Oct-2017
https://dl.acm.org/doi/10.1145/3141834.3141838
Crafa SPadovani L(2017)The Chemical Approach to Typestate-Oriented ProgrammingACM Transactions on Programming Languages and Systems10.1145/306484939:3(1-45)Online publication date: 26-May-2017
https://dl.acm.org/doi/10.1145/3064849
Show More Cited By

Implementing joins using extensible pattern matching
1. Software and its engineering
  1. Software notations and tools
    1. General programming languages
      1. Language types

Recommendations

WFR-TM

Transactional Memory (TM) is a promising concurrent programming paradigm which employs transactions to achieve synchronization in accessing common data known as transactional variables. A transaction may either commit, making its updates to ...
Optimization of joins using random record generation method
A2CWiC '10: Proceedings of the 1st Amrita ACM-W Celebration on Women in Computing in India

Joins are statements that retrieve data from more than one table. A Join is characterized by multiple tables in the FROM clause, and the relationship between the tables is defined through the existence of a Join condition in the WHERE clause. In the ...
Complexity of pattern-based verification for multithreaded programs
POPL '11: Proceedings of the 38th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Pattern-based verification checks the correctness of the program executions that follow a given pattern, a regular expression over the alphabet of program transitions of the form w₁* ... w_n*. For multithreaded programs, the alphabet of the pattern is ...

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

Author Tags

Qualifiers

Article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

24
Total Citations
View Citations
3
Total Downloads

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

Reflects downloads up to 23 Dec 2024

Other Metrics

View Author Metrics

Citations

Cited By

Tabareau NTanter É(2019)Chemical foundations of distributed aspectsDistributed Computing10.1007/s00446-018-0334-632:3(193-216)Online publication date: 1-Jun-2019
https://dl.acm.org/doi/10.1007/s00446-018-0334-6
Rodriguez Avila HDe Koster JDe Meuter WDe Koster JBergenti F(2017)Sparrow: a DSL for coordinating large groups of heterogeneous actorsProceedings of the 7th ACM SIGPLAN International Workshop on Programming Based on Actors, Agents, and Decentralized Control10.1145/3141834.3141838(31-40)Online publication date: 23-Oct-2017
https://dl.acm.org/doi/10.1145/3141834.3141838
Crafa SPadovani L(2017)The Chemical Approach to Typestate-Oriented ProgrammingACM Transactions on Programming Languages and Systems10.1145/306484939:3(1-45)Online publication date: 26-May-2017
https://dl.acm.org/doi/10.1145/3064849
Bračevac OErdweg SSalvaneschi GMezini MFuentes LBatory DCzarnecki K(2016)CPL: a core language for cloud computingProceedings of the 15th International Conference on Modularity10.1145/2889443.2889452(94-105)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.1145/2889443.2889452
Bejleri AMezini MEugster PFuentes LBatory DCzarnecki K(2016)Cooperative decoupled processes: the e-calculus and linearityProceedings of the 15th International Conference on Modularity10.1145/2889443.2889449(82-93)Online publication date: 14-Mar-2016
https://dl.acm.org/doi/10.1145/2889443.2889449
Crafa SPadovani L(2015)The chemical approach to typestate-oriented programmingACM SIGPLAN Notices10.1145/2858965.281428750:10(917-934)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2858965.2814287
Crafa SPadovani LAldrich JEugster P(2015)The chemical approach to typestate-oriented programmingProceedings of the 2015 ACM SIGPLAN International Conference on Object-Oriented Programming, Systems, Languages, and Applications10.1145/2814270.2814287(917-934)Online publication date: 23-Oct-2015
https://dl.acm.org/doi/10.1145/2814270.2814287
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
Van Ham JSalvaneschi GMezini MNoyé JPeternier ABinder WErnst EHirschfeld R(2014)JEScalaProceedings of the 13th international conference on Modularity10.1145/2577080.2577082(205-216)Online publication date: 22-Apr-2014
https://dl.acm.org/doi/10.1145/2577080.2577082
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

View Options

View options

Media

Figures

Other

Tables

View Table of Contents