并发计算重复问题与控制方法

• 作者: 何倩 孟祥武 沈筱彦 陈俊亮
• 来源期刊: 软件学报
• 学科: 工学
• 关键词: 并发控制 Petri网 数据竞争 并发计算重复 并发重复控制
• 年，卷（期）: 2011,（10）
• 所属期刊栏目: 算法设计与分析
• 页码范围: 2263-2278
• 分类号: TP301
• 字数: 10533字
• 语种: 中文
• DOI: 10.3724/SP.J.1001.2011.03862

摘要

数据竞争问题是并发程序开发与测试难题,发现数据竞争可能导致计算重复,重复会导致系统性能下降.从实例出发定义了并发计算重复问题(concurrent computation redundancy problem,简称CCRP),给出了相关性能指标和判断方法,设计了通用并发重复控制机制.并发程序一般都可以基于生产者-消费者模型进行CCRP分析.以带数据源的生产者-消费者为例详细分析了CCRP,给出了单条件、条件交叉两种重复控制算法,算法具有不同的适用范围,都可以作为固定模式来解决CCRP,基于Petri网作了相关性质的证明与仿真.并发程序实验结果说明了并发重复控制的必要性和有效性,比较了两种算法的差异.该研究对于数据竞争检测、并发程序设计具有参考价值.

作者信息

序号	姓名	单位	发文数	被引次数	H指数	G指数
1	孟祥武	北京邮电大学网络与交换技术国家重点实验室	66	2158	21.0	46.0
2	陈俊亮	北京邮电大学网络与交换技术国家重点实验室	154	1938	21.0	38.0
3	何倩	北京邮电大学网络与交换技术国家重点实验室	2	9	2.0	2.0
4	沈筱彦	北京邮电大学网络与交换技术国家重点实验室	4	43	3.0	4.0