@article{oai:ipsj.ixsq.nii.ac.jp:00070353,
 author = {荒堀, 喜貴 and 権藤, 克彦 and 前島, 英雄 and Yoshitaka, Arahori and Katsuhiko, Gondow and Hideo, Maejima},
 issue = {9},
 journal = {情報処理学会論文誌},
 month = {Sep},
 note = {実用Cプログラムの割込み競合（割込み処理によるデータ競合）に対する新たな検出法を提案する．データ競合の検出法はこれまでに多数提案されている．しかし，それらのほとんどがスレッド競合（スレッド処理によるデータ競合）を対象としており，高精度なものも多数存在するが割込み競合を検出できない．一方，割込み競合を対象とする手法は数が少なく，検出精度も低い．そこで，我々は既存の高精度なスレッド競合検出法を改変し，割込み競合の高精度な検出を実現する．提案手法の要点は，割込み処理を擬似的なスレッド実行として扱い，割込み競合の検出問題をスレッド競合の検出問題に帰着させて解くことである．我々は提案手法に基づく検出ツールを実装し，評価用プログラムに適用して検出精度の評価実験を行った．その結果，提案手法はSendmailやWU-FTPDを含む実用Cプログラムの割込み競合を高精度に検出できることが分かった．, 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.},
 pages = {1816--1831},
 title = {Cプログラムの割込み競合の動的検出法},
 volume = {51},
 year = {2010}
}