@inproceedings{oai:ipsj.ixsq.nii.ac.jp:00112995,
 author = {荒堀喜貴},
 book = {夏のプログラミング・シンポジウム2013「ビューティフルデータ」報告集},
 month = {Jan},
 note = {データ競合やデッドロックに代表される並行処理の不具合（並行バグ）の検査は古典的な問題であり，現在までに多数の検査手法が提案されている．しかし，これらの検査手法のほとんどが現代のチップマルチプロセッサや並列データ処理基盤の登場以前に考案された逐次アルゴリズムに基づいている．そのため，現代的な並列計算環境の活用という観点から見た場合，従来の並行バグ検査方式は性能が十分でない．計算環境の並列化の進展に伴い今後ますます並行処理の普及が進む一方，並行処理の大規模・複雑化とそれによる検査時間の増大が深刻になっており，従来の性能を大幅に上回る並行バグ検査方式が求められている.
そこで，本研究は，並行バグ検査の基本的な構成要素である動的競合解析に的を絞り，それを現代の並列計算環境に合わせて並列化する方式を検討する．具体的には，動的競合解析の代表であるロックセット解析の並列化を目指し，従来の解析方式が直面する低性能の要因を明らかにした後に，その要因をチップマルチプロセッサ上での並列データ処理技術によって克服する新たな解析方式を検討する．},
 pages = {47--49},
 publisher = {情報処理学会},
 title = {並列データ処理基盤を用いた並行バグ並列検査方式の検討},
 year = {2014}
}