论文部分内容阅读
文章讨论基交替计算模式的并发程序执行的为的可信性问题，通过比较共享变量程序的交替计算与实际重叠执行，对并发程序的执行过程进行粒度分析－首先提出一种粒度细化、求精方法，限制个原子转换包含的临界事件数目；继而引入一种限制临界引用条件，进一步限制每一与语句相关的转换至多执行一次临界引用；对任一程序，通过转换算法将其转化为与之等价的ＬＣＲ程序，且ＬＣＲ程序的交替计算结果与实际的重叠执行结果是一致的。