中国科学院软件研究所机构知识库
Advanced  
ISCAS OpenIR  > 软件所图书馆  > 期刊论文
Subject: Computer Science (provided by Thomson Reuters)
Title:
一种并发程序原子性错误的检测方法及工具
Alternative Title: method of detecting atomicity bugs from concurrent programs and its tool
Author: 李潇 ; 刘剑 ; 易秋萍
Keyword: 多线程程序 ; 原子性错误 ; 线程序列的不确定 ; 模型检测
Source: 计算机应用与软件
Issued Date: 2012
Volume: 29, Issue:11, Pages:92-94,100
Indexed Type: CNKI ; WANFANG ; CSCD
Department: 中国科学院软件研究所;
Sponsorship: 国家“核高基”重大科技专项(2010ZX01036-001-002-2)|中国科学院知识创新工程重要方向性项目(KGCX2-YW-12)
Abstract: 原子性错误的检测对于多线程程序并发错误的分析有着重要意义,其检测难点在于从违反原子性的情况中识别出会导致程序出错的执行序列。为了解决这个问题,采用测试训练提取原子性迁移对集合以及模型检测方法,提出原子性错误自动检测算法MC-AVIO。基于MC-AVIO实现原子性错误检测工具AtomFinder,通过对多组开源软件的测试,证明MC-AVIO对原子性错误的检测是有效的。
English Abstract: Detection of atomicity bug is valuable for analysing the concurrent errors of multi-thread programs development. The main ?difficulty? of the detection lies on how to recognise the execution sequence leading to program error from the cases of atomicity violations. To address this problem, we adopt a method of extracting atomic transition pairs by training test and a method of model detection, and present a new method named MC-AVIO which is an automatic atomicity bug detection method. Moreover, we implement a detecting tool AtomFinder for atomicity bug based on MC-AVIO. After testing several groups of open source software, it is proved that MC-AVIO is efficient in detecting ?atomicity? bugs.
Language: 中文
Citation statistics:
Content Type: 期刊论文
URI: http://ir.iscas.ac.cn/handle/311060/15301
Appears in Collections:软件所图书馆_期刊论文

Files in This Item:

There are no files associated with this item.


Recommended Citation:
李潇,刘剑,易秋萍. 一种并发程序原子性错误的检测方法及工具[J]. 计算机应用与软件,2012-01-01,29(11):92-94,100.
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