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

作     者：张广泉 Zhang Guangquan

作者机构：中科院软件所计算机科学开放研究实验室北京100080 

出 版 物：《计算机工程与应用》 (Computer Engineering and Applications)

年 卷 期：2000年第36卷第5期

页      码：54-56,65页

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

主 题 词：并发程序 粒度求精 粒度分析方法 程序设计语言 

学科分类：08[工学] 0835[0835] 081202[081202] 0812[工学-测绘类] 

核心收录：

D　O　I：10.3321/j.issn:1002-8331.2000.05.018

馆 藏 号：203919445...