论文部分内容阅读
在网络上运行并行程序不像在并行机上那样可靠，因此对于关键应用需要在应用级保证消息传输的可靠性．人们对以异步方式进行通信的并行程序的调度问题提出了大量的启发式算法，但是它们所产生的调度结果不能用于以同步方式通信的并行程序．提出的PRGSC算法可以防止由同步通信所引起的死锁问题，而且可以降低同步通信所带来的时延的影响．形式化地证明了死锁检测算法的正确性，并通过仿真实验说明了PRGSC算法有很好的调度质量．