Home >

news Help

Publication Information


Title
Japanese:アクターシステムを対象としたリバースデバッギングのためのフレームワーク 
English:A Reverse-Debugging Framework for Actor-based Systems 
Author
Japanese: 柴内一宏, 渡部卓雄.  
English: Kazuhiro Shibanai, Takuo Watanabe.  
Language Japanese 
Journal/Book name
Japanese:日本ソフトウェア科学会第34回大会論文集 
English:Proceedings of JSSST 34th Annual Conference 
Volume, Number, Page        
Published date Sept. 19, 2017 
Publisher
Japanese: 
English: 
Conference name
Japanese:日本ソフトウェア科学会第34回大会 
English:JSSST 34th Annual Conference 
Conference site
Japanese:横浜市 
English:Yokohama 
Official URL https://jssst2017.wordpress.com/
 
Abstract The Actor model is a concurrent computation model based on asynchronous communication among computational entities called actors. The inherent shared-nothing principle 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 flaws 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. In this paper, we overview its architecture and discuss its effectiveness by debugging Akka-based example applications.

©2007 Tokyo Institute of Technology All rights reserved.