location: Current position: Home >> Scientific Research >> Paper Publications

一种面向并行程序的代码调试分析工具设计实现

Hits:

Affiliation of Author(s):民航学院

Title of Paper:一种面向并行程序的代码调试分析工具设计实现

Journal:河南科学

Key Words:并行程序;不确定性;错误检测工具;辅助调试;

Abstract:并行程序的应用在提高程序运行效率的同时,也带来了不确定性的错误.这种错误往往难以复现,传统的调试工具越发难以满足并行程序的调试需求.据此提出了一种面向并行程序错误检测以及确定性回放的方法,针对并行程序中容易发生的数据竞争、死锁、原子性违反这几类错误进行检测判断;对并行程序的运行进行插桩以保证程序重复执行时的次序一致.在此理论基础上设计实现了Eclipse插件.通过试验,该工具可以对并行程序易发的错误进行有效的检测判断,较大程度地减少程序调试的工作量.

Translation or Not:no

Date of Publication:2019-04-01

Co-author:周世康,蒋欣欣,姚蕊,张灿恒

Correspondence Author:zh

Pre One:Verifying the Safety of Aviation Software Based on Extended Colored Petri Net

Next One:混合触发的并行程序过程重现技术研究与实现