スレッド安全性違反の完全に自動的かつ正確な検出

PRADEL Michael; GROSS Thomas R.

文献

J-GLOBAL ID：201202273939087196 整理番号：12A1243857

スレッド安全性違反の完全に自動的かつ正確な検出

Fully Automatic and Precise Detection of Thread Safety Violations

出版者サイト複写サービスで全文入手
高度な検索・分析はJDreamⅢで {{ this.onShowJLink("http://jdream3.com/lp/jglobal/index.html?docNo=12A1243857&from=J-GLOBAL&jstjournalNo=D0915A") }}

著者 (2件)： ,
資料名：
巻： 47 号： 6 ページ： 521-530 発行年： 2012年06月
JST資料番号： D0915A ISSN： 0362-1340 資料種別：逐次刊行物 (A)
記事区分：原著論文発行国：アメリカ合衆国 (USA) 言語：英語 (EN)

正しい並列プログラムを書く事は多くの理由で難しい。更に,並列プログラム用の検証技法は未だ洗練されていない。本論文において,筆者らはスレッド-安全クラスにおける並列性バグを検出するための自動検証技法を提示した。筆者らの解析を可能とした2つの貢献は,複数のスレッドからスレッド-安全クラスを訓練するテスト生成用の技法及び並列テスト実行がテストのどのような線形化実行でも起り得ない例外あるいはデッドロックを起こした時にバグを報告するオラクルである。6つの一般的Javaライブラリに本解析を適用する事によって筆者らの主張を検証した。本解析はJava標準ライブラリにおいて以前には未知であった2つのバグを含めてスレッド-安全クラスと想定されるクラスにおいて15のバグを明らかにした。

, , , , , , , ,
, ,

計算機システム開発

前のページに戻る