Efficient and deterministic record & replay for actor languages
Dominik Aumayr, Stefan Marr, Clément Béra, Elisa Gonzalez Boix, Hanspeter Mössenböck · 2018
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.