Conference Paper アクターシステムを対象としたリバースデバッギングのためのフレームワーク

柴内, 一宏  ,  Shibanai, Kazuhiro  ,  渡部, 卓雄  ,  Watanabe, Takuo

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.

Number of accesses :  

Other information