中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Title:
基于锁信息的多线程软件原子性错误检测方法
Alternative Title: ATOMICITY VIOLATIONS DETECTION METHOD FOR MULTI-THREADED SOFTWARE BASED ON LOCK INFORMATION
Author: 王云飞 ; 刘剑 ; 马越
Keyword: 多线程软件 ; 原子性错误 ; 锁信息 ; 模型检测 ; 动态优化 ; Multi-threaded program ; Atomicity violation ; Lock information ; Model checking ; Dynamic optimisation
Source: 计算机应用与软件
Issued Date: 2014
Volume: 31, Issue:6, Pages:1-4,94
Indexed Type: CSCD
Department: 中国科学院软件研究所 北京100190
Abstract: 原子性错误是多线程软件开发中常见的并发错误之一.传统的静态分析方法存在误报的可能,动态方法由于利用的信息过少而存在运行效率低下的问题.针对以上问题,设计以动态方法为基础通过计算锁信息,根据锁信息判断是否可能发生原子性错误的方法,据此减少程序的回溯次数和运行时间.通过对一系列开源程序的测试,实验数据证明此方法可以大大提高原子性错误检测的效率.
English Abstract: Atomicity violation is one of common concurrency bugs in multi-threaded software development. Traditional static analysis means has the possibility of false alarm,and the dynamic means has the problem of low running efficiency due to too little information to be used. In light of the above problems,we design a new algorithm,it is based on dynamic method,and discriminates by calculating the lock information and according to this information whether or not the atomicity violations would possibly occur, and reduce the backtracking numbers and running times of the program based on it. Through the tests on a series of open source programs,the experimental data proves that this method can greatly improve the efficiency of atomicity violation detection.
Language: 中文
Citation statistics:
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/16740
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
王云飞,刘剑,马越. 基于锁信息的多线程软件原子性错误检测方法[J]. 计算机应用与软件,2014-01-01,31(6):1-4,94.
Service
Recommend this item
Sava as my favorate item
Show this item's statistics
Export Endnote File
Google Scholar
Similar articles in Google Scholar
[王云飞]'s Articles
[刘剑]'s Articles
[马越]'s Articles
CSDL cross search
Similar articles in CSDL Cross Search
[王云飞]‘s Articles
[刘剑]‘s Articles
[马越]‘s Articles
Related Copyright Policies
Null
Social Bookmarking
Add to CiteULike Add to Connotea Add to Del.icio.us Add to Digg Add to Reddit
所有评论 (0)
暂无评论
 
评注功能仅针对注册用户开放,请您登录
您对该条目有什么异议,请填写以下表单,管理员会尽快联系您。
内 容:
Email:  *
单位:
验证码:   刷新
您在IR的使用过程中有什么好的想法或者建议可以反馈给我们。
标 题:
 *
内 容:
Email:  *
验证码:   刷新

Items in IR are protected by copyright, with all rights reserved, unless otherwise indicated.

 

 

Valid XHTML 1.0!
Copyright © 2007-2020  中国科学院软件研究所 - Feedback
Powered by CSpace