蔡，W。;Zhang，K。;特纳，S.J。;孙，C。 在使用逻辑时钟的透明和动态并行程序检测中避免联锁。 （英语） Zbl 1047.68599号 并行计算。 25，第5号，569-591（1999）. 摘要：并行程序运行时监控的一个基本问题是通过检测原始程序引入的入侵。为了最小化并行程序监控中的入侵量，提出了逻辑时钟方法（LCA）。它使用逻辑时钟来计时和控制监控期间通信事件的顺序，并反映在没有监控的情况下运行时的实际执行行为。然而，LCA的主要问题是，在非确定性通信的情况下，当多个进程等待彼此的逻辑时钟前进时，可能会出现联锁情况，其中没有一个进程可以继续执行。本文基于准备状态的概念，提出了一种避免联锁情况的策略。将描述如何使用放松的通信模型更新逻辑时钟和控制通信，以维持事件的顺序。与原始LCA相比，新的互锁避免方法更简单，引入的开销更少。此外，本文中引入的修改后的逻辑时钟机制更通用，适用于更广泛的并行计算系统。 MSC公司： 2010年第68季度 计算模式（非确定性、并行、交互式、概率性等） 60年第68季度 规范和验证（程序逻辑、模型检查等） 68甲19 其他编程范式（面向对象、顺序、并发、自动等） 关键词：监视并行程序 PDF格式BibTeX公司 XML格式引用 \textit{W.Cai}等人，《并行计算》。25，第5号，569--591（1999；Zbl 1047.68599） 全文： DOI程序