2026-07-22T13:39:29Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:20866 2024-09-12T05:48:34Z ddc:004 open_access

Fair Join Pattern Matching for Actors Haller, Philipp Hussein, Ayman Melgratti, Hernán Scalas, Alceste Tuosto, Emilio Concurrency join patterns join calculus actor model Join patterns provide a promising approach to the development of concurrent and distributed message-passing applications. Several variations and implementations have been presented in the literature - but various aspects remain under-explored: in particular, how to specify a suitable notion of message matching, how to implement it correctly and efficiently, and how to systematically evaluate the implementation performance. In this work we focus on actor-based programming, and study the application of join patterns with conditional guards (i.e., the most expressive and challenging version of join patterns in literature). We formalise a novel specification of fair and deterministic join pattern matching, ensuring that older messages are always consumed if they can be matched. We present a stateful, tree-based join pattern matching algorithm and prove that it correctly implements our fair and deterministic matching specification. We present a novel Scala 3 actor library (called JoinActors) that implements our join pattern formalisation, leveraging macros to provide an intuitive API. Finally, we evaluate the performance of our implementation, by introducing a systematic benchmarking approach that takes into account the nuances of join pattern matching (in particular, its sensitivity to input traffic and complexity of patterns and guards). Schloss Dagstuhl – Leibniz-Zentrum für Informatik Philipp Haller and Ayman Hussein and Hernán Melgratti and Alceste Scalas and Emilio Tuosto 2024 Is Part Of LIPIcs, Volume 313, 38th European Conference on Object-Oriented Programming (ECOOP 2024) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.ECOOP.2024.17 urn:nbn:de:0030-drops-208663 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.ECOOP.2024.17 eng https://creativecommons.org/licenses/by/4.0/legalcode