High-performance Deterministic Concurrency Using Lingua Franca

Publikation: Beitrag in FachzeitschriftForschungsartikelBeigetragenBegutachtung

Beitragende

Abstract

Actor frameworks and similar reactive programming techniques are widely used for building concurrent systems. They promise to be efficient and scale well to a large number of cores or nodes in a distributed system. However, they also expose programmers to nondeterminism, which often makes implementations hard to understand, debug, and test. The recently proposed reactor model is a promising alternative that enables deterministic concurrency. In this article, we present an efficient, parallel implementation of reactors and demonstrate that the determinacy of reactors does not imply a loss in performance. To show this, we evaluate Lingua Franca (LF), a reactor-oriented coordination language. LF equips mainstream programming languages with a deterministic concurrency model that automatically takes advantage of opportunities to exploit parallelism. Our implementation of the Savina benchmark suite demonstrates that, in terms of execution time, the runtime performance of LF programs even exceeds popular and highly optimized actor frameworks. We compare against Akka and CAF, which LF outperforms by 1.86× and 1.42×, respectively.

Details

OriginalspracheEnglisch
Aufsatznummer48
FachzeitschriftACM transactions on architecture and code optimization
Jahrgang20
Ausgabenummer4
PublikationsstatusVeröffentlicht - 26 Okt. 2023
Peer-Review-StatusJa

Externe IDs

ORCID /0000-0002-5007-445X/work/160049116

Schlagworte

Schlagwörter

  • concurrency, Coordination, determinism, performance