Home >

news Help

Publication Information


Title
Japanese: 
English:Actoverse: A Reversible Debugger for Actors 
Author
Japanese: 柴内 一宏, 渡部 卓雄.  
English: Kazuhiro Shibanai, Takuo Watanabe.  
Language English 
Journal/Book name
Japanese: 
English:Proceedings of 7th ACM SIGPLAN International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE 2017) 
Volume, Number, Page         pp. 50-57
Published date Oct. 23, 2017 
Publisher
Japanese: 
English:ACM 
Conference name
Japanese: 
English:7th ACM SIGPLAN International Workshop on Programming based on Actors, Agents, and Decentralized Control (AGERE 2017) 
Conference site
Japanese:バンクーバー 
English:Vancouver 
Official URL https://2017.splashcon.org/event/agere-2017-actoverse-a-reversible-debugger-for-actors
 
DOI https://doi.org/10.1145/3141834.3141840
Abstract 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.

©2007 Tokyo Institute of Technology All rights reserved.