并行程序的原子性验证算法研究

作     者：林菲 LIN Fei

作者机构：杭州电子科技大学软件学院浙江杭州310018 

基　　金：浙江省教育厅2008年科研基金项目(Y200804394) 

出 版 物：《计算机工程与设计》 (Computer Engineering and Design)

年 卷 期：2010年第31卷第2期

页      码：352-355页

摘      要：原子性保证并行程序中的多线程以正确方式交互,大多主流的编程语言都没有提供确保原子性的内部机制。为了提高测试程序原子性的效率与准确性,提出了一种自动检测并行程序中违反原子性错误的算法。基于状态转换,建立了原子性的形式化定义。在此基础上,利用线程锁设计了具体的算法模型以及实现中需注意的细节,同时给出自动修正错误的设计思路和建议。结合常用的基准数据结构,对模型和算法进行了实验,实验结果表明了该算法的正确性和有效性。

主 题 词：并行程序 原子性 状态 死锁 代码生成 

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

D　O　I：10.16208/j.issn1000-7024.2010.02.021

馆 藏 号：203772741...