%0 Journal Article
%T The Implementation of a Communication Deadlock Analysis Based on the Theory of Deadlock Analysis for the Actor Model
%A Yupeng Xi
%A Jianrui Zhang
%A Furi Xiang
%J Journal of Software Engineering and Applications
%P 393-405
%@ 1945-3124
%D 2019
%I Scientific Research Publishing
%R 10.4236/jsea.2019.1210024
%X We present a unique approach for communication deadlock analysis for actor-model which has an under-approximated analysis result. Our analysis detects narrowly defined communication deadlocks by finding a cyclic dependency relation in a novel dependency graph called the slave dependency graph. The <em>slave dependency graph</em> is based on a new relationship between Actors, slave dependency, defined by us. After that, we implement this theory in Soot, an analysis tool for Java, and use it to analyze actor-based Java program realized by Akka, a Java library that allows actor-based programming. We argue that our analysis can detect a specific kind of communication deadlock with the precise result, but has many limitations.
%K Actor Model
%K Communication Deadlock
%K Program Analysis
%K Akka
%K Soot
%K Dependency Graph
%U http://www.scirp.org/journal/PaperInformation.aspx?PaperID=95870