文献

J-GLOBAL ID：201002270106794499   整理番号：10A0995062

Cプログラムの割込み競合の動的検出法

Dynamic Interrupt-race Detection for C Programs

著者 (3件)： 荒堀喜貴 (東京工大 大学院情報理工学研究科) ,  権藤克彦 (東京工大 大学院情報理工学研究科) ,  前島英雄 (東京工大 大学院総合理工学研究科)
資料名： 情報処理学会論文誌ジャーナル(CD-ROM)  (情報処理学会論文誌 論文誌ジャーナル(CD-ROM))
巻： 51  号： 9  ページ： 1816-1831  発行年： 2010年09月15日 
JST資料番号： Z0778B  ISSN： 1882-7837  資料種別： 逐次刊行物 (A)
記事区分： 原著論文  発行国： 日本 (JPN)  言語： 日本語 (JA)

抄録/ポイント： 実用Cプログラムの割込み競合(割込み処理によるデータ競合)に対する新たな検出法を提案する。データ競合の検出法はこれまでに多数提案されている。しかし,それらのほとんどがスレッド競合(スレッド処理によるデータ競合)を対象としており,高精度なものも多数存在するが割込み競合を検出できない。一方,割込み競合を対象とする手法は数が少なく,検出精度も低い。そこで,我々は既存の高精度なスレッド競合検出法を改変し,割込み競合の高精度な検出を実現する。提案手法の要点は,割込み処理を擬似的なスレッド実行として扱い,割込み競合の検出問題をスレッド競合の検出問題に帰着させて解くことである。我々は提案手法に基づく検出ツールを実装し,評価用プログラムに適用して検出精度の評価実験を行った。その結果,提案手法はSendmailやWU-FTPDを含む実用Cプログラムの割込み競合を高精度に検出できることが分かった。(著者抄録)

シソーラス用語： *C言語 ,  *計算機プログラム ,  *割込み ,  競争 ,  検出 ,  動特性 ,  精度 ,  スレッド ,  支援プログラム ,  実装設計 ,  評価試験
準シソーラス用語： *Cプログラム ,  ソフトウェアツール ,  データ競合 ,  競合 ,  動的検出

分類 (3件)： 汎用プログラミング言語  (JD03051H) ,  計算機システム開発  (JD02010R) ,  オペレーティングシステム  (JD03020J)

引用文献 (32件)：

• Netzer, R. H. B. and Miller, B. P.: What Are Race Conditions?: Some Issues and Formalizations, ACM Lett. Program. Lang. Syst., Vol.1, No.1, pp. 74-88(1992).
• CERT/CC. http://www.cert.org/advisories/
• MITRE. http://www.mitre.org/
• SecurityFocus. http://online.securityfocus.com/
• Savage, S., Burrows, M., Nelson, G., Sobalvarro, P. and Anderson, T. E.: Eraser: ADynamic Data Race Detector for Multi-Threaded Programs, ACM Trans. Comput. Syst., Vol.15, No.4, pp. 391-411(1997).

タイトルに関連する用語 (3件)： 割込み ,  競合 ,  検出法