| 并行程序的原子性验证算法研究 |
| |
| 引用本文： | 林菲. 并行程序的原子性验证算法研究[J]. 计算机工程与设计, 2010, 31(2) |
| |
| 作者姓名： | 林菲 |
| |
| 作者单位： | 杭州电子科技大学,软件学院,浙江,杭州,310018 |
| |
| 基金项目： | 浙江省教育厅科学研究项目 |
| |
| 摘 要： | 原子性保证并行程序中的多线程以正确方式交互,大多主流的编程语言都没有提供确保原子性的内部机制.为了提高测试程序原子性的效率与准确性,提出了一种自动检测并行程序中违反原子性错误的算法.基于状态转换,建立了原子性的形式化定义.在此基础上,利用线程锁设计了具体的算法模型以及实现中需注意的细节,同时给出自动修正错误的设计思路和建议.结合常用的基准数据结构,对模型和算法进行了实验,实验结果表明了该算法的正确性和有效性.
|
| 关 键 词： | 并行程序 原子性 状态 死锁 代码生成 |
Atomicity detection algorithms for concurrent programs |
| |
| LIN Fei. Atomicity detection algorithms for concurrent programs[J]. Computer Engineering and Design, 2010, 31(2) |
| |
| Authors: | LIN Fei |
| |
| Affiliation: | LIN Fei(School of Software,Hangzhou Dianzi University,Hangzhou 310018,China) |
| |
| Abstract: | Atomicity is an important specification that enables multi-threaded programs interact correctly,but most modern programming languages provide no built-in support to ensure atomicity.To improve the efficiency and correctness of atomicity detection,an algorithm to detect atomicity violations is presented.The formalized definition of atomicity is established by means of states transition,based on which algorithm model and implementation method are constructed.Design method for automated code generation to corr... |
| |
| Keywords: | concurrent program atomicity state deadlock code generation |
| 本文献已被 CNKI 万方数据 等数据库收录！ |
|
