並列プログラミングの難しさ
非決定に動くのでデバッグが大変
動いたり動かなかったりする
正しいことを証明するのが困難
ロジックが難しい
同期の管理が難しい