并发程序执行的一种粒度分析方法

摘要：

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

关键词：并发程序、公平转换系统、交替计算、重叠执行、粒度求精、限制临界引用

所属期刊栏目：36

分类号：TP3(计算技术、计算机技术)

在线出版日期：2004-01-08（万方平台首次上网日期，不代表论文的发表时间）

页数：共4页

页码：54-56,65