基于CWFG模型的通讯死锁检测
CWFG-based Communication Deadlock Detection
-
摘要: 本文提出了用通讯等待图(CWFG)来分析并行系统中进程之间相互通讯的关系,并在CWFG通讯模型上给出了并行程序中进程通讯死锁的分布式动态检测算法.在此模型上用形式化方式对算法给予了证明.Abstract: This paper presents "Communicating Wait-For Graph" (CWFG) model to analyse communication relationship among the processes of a parallel system For the CWFG Model, it gives the distributed and dynamic detection algorithm of communication deadlock in the parallel programs. In the parallel environment, the model is the instant CWFG (ICWFG). The algorithm finds some cycles of ICWFG and is proved correctly-
下载: