计算机工程与设计
計算機工程與設計
계산궤공정여설계
COMPUTER ENGINEERING AND DESIGN
2015年
7期
1813-1819
,共7页
梁昊%艾云峰%陈丽容%沈怀荣%赵永超
樑昊%艾雲峰%陳麗容%瀋懷榮%趙永超
량호%애운봉%진려용%침부영%조영초
多重中断%迁移%状态%数据竞争%原子性违背%偏序化简
多重中斷%遷移%狀態%數據競爭%原子性違揹%偏序化簡
다중중단%천이%상태%수거경쟁%원자성위배%편서화간
multiple interrupt%transition%state%data race%atomicity violation%DPOR
为解决控制系统软件中多重中断导致的系统不稳定性和难以预测性，根据控制系统并发程序的具体特点，设计面向多重中断并发程序的测试工具。测试工具主要包括程序分析器、程序插装器、控制执行器、中断发生器4个部分。采用动态验证的测试方式，以动态偏序化简算法为基础，引入中断处理机制和 sleep集合，将该算法应用于多重中断并发程序的动态监测工具中。该工具可以对原子性违背、数据竞争者两种常见的多重中断并发错误进行有效检测。
為解決控製繫統軟件中多重中斷導緻的繫統不穩定性和難以預測性，根據控製繫統併髮程序的具體特點，設計麵嚮多重中斷併髮程序的測試工具。測試工具主要包括程序分析器、程序插裝器、控製執行器、中斷髮生器4箇部分。採用動態驗證的測試方式，以動態偏序化簡算法為基礎，引入中斷處理機製和 sleep集閤，將該算法應用于多重中斷併髮程序的動態鑑測工具中。該工具可以對原子性違揹、數據競爭者兩種常見的多重中斷併髮錯誤進行有效檢測。
위해결공제계통연건중다중중단도치적계통불은정성화난이예측성，근거공제계통병발정서적구체특점，설계면향다중중단병발정서적측시공구。측시공구주요포괄정서분석기、정서삽장기、공제집행기、중단발생기4개부분。채용동태험증적측시방식，이동태편서화간산법위기출，인입중단처리궤제화 sleep집합，장해산법응용우다중중단병발정서적동태감측공구중。해공구가이대원자성위배、수거경쟁자량충상견적다중중단병발착오진행유효검측。
To solve the problem of instability and unpredictability caused by multiple interrupts program to control system .The concurrent programs testing tool were designed according to the specific characteristics of control system concurrent programs . The testing tool contained program analyzer ,program instrument ,scheduler ,and interrupts generator .Dynamic testing method and DPOR algorithm were used and the sleep set and interrupts processing mechanism were introduced to improve the detecting efficiency .Two common errors in multiple interrupts program can be solved effectively .
