Art

J-GLOBAL ID：201002270106794499   Reference number：10A0995062

Dynamic Interrupt-race Detection for C Programs

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

Author (3)： ARAHORI YOSHITAKA (東京工大 大学院情報理工学研究科) ,  GONDO KATSUHIKO (東京工大 大学院情報理工学研究科) ,  MAEJIMA HIDEO (東京工大 大学院総合理工学研究科)
Material： 情報処理学会論文誌ジャーナル(CD-ROM)  (情報処理学会論文誌 論文誌ジャーナル(CD-ROM))
Volume： 51  Issue： 9  Page： 1816-1831  Publication year： Sep. 15, 2010 
JST Material Number： Z0778B  ISSN： 1882-7837  Document type： Article
Article type： 原著論文  Country of issue： Japan (JPN)  Language： JAPANESE (JA)

Thesaurus term： *C language ,  *computer program ,  *interrupt ,  competition ,  detection ,  dynamic characteristic ,  accuracy ,  thread ,  support program ,  packaging design ,  evaluation test
Semi thesaurus term： *Cプログラム ,  software tool ,  データ競合 ,  competing ,  動的検出

JST classification (3)： General-purpose programming language  (JD03051H) ,  Computer system development  (JD02010R) ,  Operating systems  (JD03020J)

Reference (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).

Terms in the title (3)： 割込み ,  競合 ,  検出法