The Implementation of a Communication Deadlock Analysis Based on the Theory of Deadlock Analysis for the Actor Model  

作　　者：Yupeng Xi Jianrui Zhang Furi Xiang 

机构地区：[1]Shanghai Qibao Dwight High School, Shanghai, China [2]Shanghai Foreign Language School Affiliated to SISU, Shanghai, China [3]Shanghai United International School Wanyuan Campus, Shanghai, China.

出　　处：《Journal of Software Engineering and Applications》2019年第10期393-405,共13页软件工程与应用（英文）

摘　　要：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 slave dependency graph 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.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 slave dependency graph 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.

关 键 词：ACTOR MODEL COMMUNICATION DEADLOCK Program ANALYSIS Akka Soot DEPENDENCY Graph 

分 类 号：TP3[自动化与计算机技术—计算机科学与技术]