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

• Item type: Journal(1)
• 公開日: 2010-09-15
• タイトル: Cプログラムの割込み競合の動的検出法
• タイトル / 言語: en
• タイトル: Dynamic Interrupt-race Detection for C Programs
• 言語: jpn
• キーワード / 主題Scheme: Other
• キーワード / 主題: 特集：未来志向のソフトウェア工学（論文賞受賞）
• 資源タイプ / 資源タイプ識別子: http://purl.org/coar/resource_type/c_6501
• 資源タイプ: journal article
• 著者所属: 東京工業大学大学院情報理工学研究科計算工学専攻
• 著者所属: 東京工業大学大学院情報理工学研究科計算工学専攻
• 著者所属: 東京工業大学大学院総合理工学研究科物理情報システム専攻
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Tokyo Institute of Technology
• 著者所属(英): en
• 著者所属(英): Department of Computer Science, Tokyo Institute of Technology
• 著者所属(英): en
• 著者所属(英): Department of Information Processing, Tokyo Institute of Technology
• 著者名: 荒堀, 喜貴; 権藤, 克彦; 前島, 英雄
• 著者名(英): Yoshitaka, Arahori; Katsuhiko, Gondow; Hideo, Maejima
• 論文抄録 / 内容記述タイプ: Other
• 論文抄録 / 内容記述: 実用Cプログラムの割込み競合（割込み処理によるデータ競合）に対する新たな検出法を提案する．データ競合の検出法はこれまでに多数提案されている．しかし，それらのほとんどがスレッド競合（スレッド処理によるデータ競合）を対象としており，高精度なものも多数存在するが割込み競合を検出できない．一方，割込み競合を対象とする手法は数が少なく，検出精度も低い．そこで，我々は既存の高精度なスレッド競合検出法を改変し，割込み競合の高精度な検出を実現する．提案手法の要点は，割込み処理を擬似的なスレッド実行として扱い，割込み競合の検出問題をスレッド競合の検出問題に帰着させて解くことである．我々は提案手法に基づく検出ツールを実装し，評価用プログラムに適用して検出精度の評価実験を行った．その結果，提案手法はSendmailやWU-FTPDを含む実用Cプログラムの割込み競合を高精度に検出できることが分かった．
• 論文抄録(英) / 内容記述タイプ: Other
• 論文抄録(英) / 内容記述: We present a novel approach to detect interrupt races (i.e. dataraces caused by interrupts) for real C programs. There have been a large amount of techniques proposed for datarace detection. However, most of them target thread races (i.e. dataraces caused by threads) and, despite of their high accuracy, cannot detect interrupt ones. Only a few techniques can deal with interrupt races but they are not precise. We propose to transform a precise thread-race detector so that it can detect interrupt races precisely. The main idea for the transformation is to treat every interrupt-handling as a pseudo-thread execution and reduce the problem of interrupt-race detection into that of thread-race detection. We have implemented an interrupt-race detector based on our approach, and measured its accuracy by applying it to several evaluation programs. The results show that our detector is precise enough to detect interrupt races caused by real C programs including Sendmail and WU-FTPD.
• 書誌レコードID / 収録物識別子タイプ: NCID
• 書誌レコードID / 収録物識別子: AN00116647
• 書誌情報: 情報処理学会論文誌; 巻 51, 号 9, p. 1816-1831, 発行日 2010-09-15
• ISSN / 収録物識別子タイプ: ISSN
• ISSN / 収録物識別子: 1882-7764