並行プログラミングの問題点
非決定性:実行によって動作が相違
デッドロック:期待した動作をせずに停止
プログラムについての推論を困難にする
― バグの原因、最適化の障害などになる
並行プログラムに特有の問題⇒ 逐次プログラムを対象とした 型システムや解析では解決できない
前のスライド
次のスライド
最初のスライドに戻る
グラフィックスの表示