论文标题
自动将生锈的来源转换为培养皿网，以检查僵局
Automatically Transform Rust Source to Petri Nets for Checking Deadlocks
论文作者
论文摘要
本文提出了一种将源代码（Rust程序）自动转换为培养皿网的方法，重点是检测由双锁和平行生锈程序中的双锁和锁定冲突造成的僵局。我们构建转换规则并制定工具。我们的方法可以在扫描输入代码时省略这些生锈代码而无需锁定，因此工具可以处理大规模的代码。与最先进的实验相比，我们进行了许多实验来显示我们方法的优势。
This paper presents a method of automatically converting source codes (Rust programs) into Petri nets, focusing on the detection of deadlocks caused by the double locks and lock conflicts in the parallel Rust programs. We construct the transformation rules and develop a tool. Our method can omit those Rust codes without relations to locks when scanning the input codes, and thus tool can handle a large-scale code. We do a number of experiments to show the advantages of our method compared with the state-of-the-art ones.
