@techreport{oai:ipsj.ixsq.nii.ac.jp:00186616,
 author = {片平, 遥香 and 荒堀, 喜貴 and 権藤, 克彦},
 issue = {26},
 month = {Mar},
 note = {分散システム固有のバグとして分散並行バグ （DCbug） の存在が明らかになっている [2]．DCbug の検出手法として，マルチスレッド競合検出手法の適用はスレッド数が極度に多い分散システムではスケールしない．計算コストを減らすサンプリング手法を用いても，全体のごく一部である DCbug を検出するのは難しい．DCbug を検出する先駆者的手法として DCatch [1] が提案されているが，小規模な実行トレースをオフラインで検査するにとどまっている．本論文では，大規模分散システムに適用可能なオンライン DCbug 検出手法ポケットレーサを提案する．ポケットレーサは，データサンプリング，分散メタデータ簡約と呼ぶ二種類の最適化手法に基づく．データサンプリングは，システムの異常動作につながるフィールドアクセスがノード間通信に依存するかを識別することで DCbug の温床となるアクセスを重点的に調べるサンプリング法である．分散メタデータ簡約は分散システムに特化した VectorClock のバージョン管理方法ノードバージョン配列を導入し，VectorClock 配列全体へのコストの高い処理を削減することで，大規模分散システムにスケールする競合解析を実現する．実験では，代表的な四種類の分散データシステムに特徴的な通信パターンを捉えた合成ベンチマークに対してポケットレーサを適用するシミュレータを行った．実験結果としてポケットレーサは，既存のメインスレッドプログラムへの競合検出器に比べて同等以下の性能を維持し，DCbug の検出率は 4 倍以上となった．},
 title = {サンプリングに基づく分散悪性競合のオンライン検出},
 year = {2018}
}