论文部分内容阅读
不确定性是并行程序调试和测试中的一个重要问题。对基于消息通讯模型的并行程序而言，进程间的消息通讯是导致不确定性的主要原因。从事件模型的角度看来，消息通讯程序的执行可以看作是许多事件及其它们之间的因果关系构成的一个偏序集，该偏序集反映了程序中的不确定性。该文提出了一种利用该偏序集来分析基于消息通讯模型的并行程序中的不确定性的方法。