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

作者：何倩; 孟祥武; 陈俊亮; 沈筱彦

来源：软件学报, 2011, (10): 2263-2278.

• 并发控制
• Petri网
• 数据竞争
• 并发计算重复
• 并发重复控制 concurrent control
• Petri net
• data race
• concurrent computation redundancy
• concurrent redundancy control

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

• 单位
  北京邮电大学; 网络与交换技术国家重点实验室