拉福，Stéphane;王寅;脊柱侧凸，Spyros 消除多线程软件中的并发错误：一种基于Petri网控制的方法。 （英语） Zbl 1381.68209号 Colom，José-Manuel（编辑）等人，《Petri网和并发的应用和理论》。第34届国际会议，PETRI NETS 2013，意大利米兰，2013年6月24日至28日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38696-1/pbk）。计算机科学课堂讲稿7927，21-28（2013）。 摘要：我们描述了Gadara项目，这是一项研究工作，其目标是通过控制运行时程序的执行来消除多线程软件中的某些并发错误。Gadara过程包括三个阶段：在编译时以Petri网的形式对源代码进行建模，反馈控制合成，以及将控制逻辑实现到源代码中。反馈控制逻辑是使用离散事件系统的监督控制技术合成的，其中规范捕获了某些类型并发错误的避免，如死锁。我们重点讨论了多线程程序中循环等待死锁的情况，这些程序对共享数据使用互斥锁。简要讨论了Gadara方法在其他类并发错误中的应用。关于整个系列，请参见[Zbl 1266.68010号]. MSC公司： 68问题85 并发和分布式计算的模型和方法（进程代数、互模拟、转换网等） 第68页第19页 其他编程范式（面向对象、顺序、并发、自动等） 软件：加达拉;赛车X PDF格式BibTeX公司 XML格式引用 \textit{S.Lafortune}等人，Lect。注释计算。科学。7927，21-28（2013；Zbl 1381.68209） 全文： 内政部