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

林菲

首页> 中文期刊> 《计算机工程与设计》 >并行程序的原子性验证算法研究

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

开具论文收录证明 >>

期刊封面封底目录下载 >>

文献代查 >>

页面导航

摘要
著录项
相似文献
相关主题

摘要

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

著录项

来源
《计算机工程与设计》 |2010年第2期|352-355|共4页
作者
林菲;
展开▼
作者单位

杭州电子科技大学;

软件学院;

浙江;

杭州;

310018;

展开▼
原文格式 PDF
正文语种 chi
中图分类理论、方法;
关键词
并行程序; 原子性; 状态; 死锁; 代码生成;

相似文献

中文文献
外文文献
专利

1. 面向程序验证的并行程序状态空间态约简技术综述 [J] . 逄龙 ,苏小红 ,马培军 . 智能计算机与应用 . 2015,第001期
2. 面向程序验证的并行程序状态空间态约简技术综述 [J] . 逄龙 ,苏小红 ,马培军 . 智能计算机与应用 . 2015,第001期
3. 基于隔离逻辑的并行程序可靠性验证方法 [J] . 万良 . 计算机工程 . 2014,第002期
4. 基于分离逻辑的并行程序性质验证方法 [J] . 万良 ,石文昌 ,冯慧 . 计算机科学 . 2013,第010期
5. 面向多核处理器的低级并行程序验证 [J] . 朱允敏 ,张丽伟 ,王生原 . 电子学报 . 2009,第0z1期
6. 面向多核处理器的低级并行程序验证 [C] . . 2008全国软件与应用学术会议(NASAC'08) . 2008
7. 多线程程序中关联变量原子性验证关键技术研究 [A] . 逄龙 . 2015

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

摘要

著录项

相似文献

相关主题

期刊订阅