吉浦 紀晃

論文一覧:  1件中 1-1 を表示

  • 文字列解析の利用による動的クラスローディングに対応した静的データレース検出方法

    魏偉 , 吉浦 紀晃

    マルチスレッドプログラムでは,スレッド間の排他制御においてミスが起こりやすい.排他制御が正しく行われないことに起因するエラーの1つとしてデータレースがある.データレース検出には動的手法と静的手法があり,動的手法はプログラム実行を通して得られた情報を解析することでデータレースを検出する.静的手法はプログラムのソースコードを調べることでデータレースを検出する.Javaプログラムの静的データレース検出方 …

    情報処理学会論文誌 54(2), 787-796, 2013-02-15

    情報処理学会

ページトップへ