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