SPLASH 2017 (series) / AGERE 2017 (series) / AGERE 2017 /
Actoverse: A Reversible Debugger for Actors
Mon 23 Oct 2017 14:30 - 15:00 at Prince of Wales - Session 2: Runtime Environments and Debugging Chair(s): Joeri De Koster
The Actor model is a concurrent computation model based on asynchronous message passing and shared-nothing principle. These characteristics and the absence of locks guarantee that actor-based programs can avoid simple concurrency bugs such as data races and deadlocks. However, they are not completely free from application level concurrency bugs that occur, for example, due to the indeterminate arrival order of messages. To assist discovering such bugs in actor-based systems, we designed and implemented Actoverse, a debugger that adopts reverse debugging and provides an interactive aid for controlling the arrival order of messages upon re-execution. This paper briefly presents its architecture and utilization in Akka-based applications.
Mon 23 OctDisplayed time zone: Tijuana, Baja California change
Mon 23 Oct
Displayed time zone: Tijuana, Baja California change
13:30 - 15:00 | Session 2: Runtime Environments and DebuggingAGERE at Prince of Wales Chair(s): Joeri De Koster Vrije Universiteit Brussel, Belgium | ||
13:30 30mTalk | Locality-Guided Scheduling in CAF AGERE File Attached | ||
14:00 30mTalk | A Principled Approach Towards Debugging Communicating Event-Loops AGERE Carmen Torres Lopez , Stefan Marr University of Kent, Elisa Gonzalez Boix Vrije Universiteit Brussel, Hanspeter Mössenböck JKU Linz, Austria, Christophe Scholliers Universiteit Gent, Belgium | ||
14:30 30mTalk | Actoverse: A Reversible Debugger for Actors AGERE Link to publication DOI |