论文研究 基于参与者模型的死锁分析理论的通信死锁分析的实现

我们提出了一种针对参与者模型的通信死锁分析的独特方法，该方法的分析结果偏低。 我们的分析通过在称为从属依赖关系图的新型依赖关系图中找到循环依赖关系来检测狭窄定义的通信死锁。 从属依赖关系图基于Actor之间的新关系，即由我们定义的从属依赖关系。 之后，我们在Java分析工具Soot中实现了这一理论，并用它来分析Akka实现的基于行为者的Java程序，Akka是一个允许基于行为者进行编程的Java库。 我们认为，我们的分析可以检测出特定类型的通信僵局并获得精确的结果，但存在许多局限性。