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

• 作者: 张广泉
• 来源期刊: 计算机工程与应用
• 学科: 工学
• 关键词: 并发程序 公平转换系统 交替计算 重叠执行 粒度求精 限制临界引用
• 年，卷（期）: 2000,（5）
• 所属期刊栏目: 学术探讨
• 页码范围: 54-56,65
• 页数: 4页
• 分类号: TP3
• 字数: 4896字
• 语种: 中文
• DOI: 10.3321/j.issn:1002-8331.2000.05.018

摘要

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

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	张广泉	中科院软件所计算机科学开放研究实验室	3	18	2.0	3.0