Write a Blog >>
SPLASH 2017
Sun 22 - Fri 27 October 2017 Vancouver, Canada

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 Oct
Times are displayed in time zone: Tijuana, Baja California change

13:30 - 15:00: Session 2: Runtime Environments and DebuggingAGERE at Prince of Wales
Chair(s): Joeri De KosterVrije Universiteit Brussel, Belgium
13:30 - 14:00
Talk
Locality-Guided Scheduling in CAF
AGERE
File Attached
14:00 - 14:30
Talk
A Principled Approach Towards Debugging Communicating Event-Loops
AGERE
Carmen Torres Lopez, Stefan MarrUniversity of Kent, Elisa Gonzalez BoixVrije Universiteit Brussel, Hanspeter MössenböckJKU Linz, Austria, Christophe ScholliersUniversiteit Gent, Belgium
14:30 - 15:00
Talk
Actoverse: A Reversible Debugger for Actors
AGERE
Kazuhiro ShibanaiTokyo Institute of Technology, Takuo WatanabeTokyo Institute of Technology
Link to publication DOI