Skip to main content

Efficient and Deterministic Record & Replay for Actor Languages

Aumayr, Dominik, Marr, Stefan, Béra, Clément, Gonzalez Boix, Elisa, Mössenböck, Hanspeter (2018) Efficient and Deterministic Record & Replay for Actor Languages. In: Proceedings of the 15th International Conference on Managed Languages and Runtimes. . (doi:10.1145/3237009.3237015)

PDF - Author's Accepted Manuscript
Download (765kB) Preview
[img]
Preview
Official URL
https://doi.org/10.1145/3237009.3237015

Abstract

With the ubiquity of parallel commodity hardware, developers turn to high-level concurrency models such as the actor model to lower the complexity of concurrent software. However, debugging concurrent software is hard, especially for concurrency models with a limited set of supporting tools. Such tools often deal only with the underlying threads and locks, which obscures the view on e.g. actors and messages and thereby introduces additional complexity. To improve on this situation, we present a low-overhead record & replay approach for actor languages. It allows one to debug concurrency issues deterministically based on a previously recorded trace. Our evaluation shows that the average run-time overhead for tracing on benchmarks from the Savina suite is 10% (min. 0%, max. 20%). For Acme-Air, a modern web application, we see a maximum increase of 1% in latency for HTTP requests and about 1.4 MB/s of trace data. These results are a first step towards deterministic replay debugging of actor systems in production.

Item Type: Conference or workshop item (Paper)
DOI/Identification number: 10.1145/3237009.3237015
Uncontrolled keywords: Concurrency, Debugging, Determinism, Actors, Tracing, Replay
Divisions: Faculties > Sciences > School of Computing
Depositing User: Stefan Marr
Date Deposited: 24 Aug 2018 14:46 UTC
Last Modified: 29 May 2019 21:03 UTC
Resource URI: https://kar.kent.ac.uk/id/eprint/68801 (The current URI for this page, for reference purposes)
Marr, Stefan: https://orcid.org/0000-0001-9059-5180
  • Depositors only (login required):

Downloads

Downloads per month over past year