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

何倩孟祥武沈筱彦陈俊亮

北京邮电大学;

摘要：

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

关键词：并发控制、Petri网、数据竞争、并发计算重复、并发重复控制

所属期刊栏目：22

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

资助基金：国家自然科学基金60432010,60872051;国家重点基础研究发展计划9732007CB307103;国家科技支撑计划2006BAH02A 11

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

页数：共16页

页码：2263-2278