並列プログラミングの難しさ
Difficulty of parallel programming
非決定的に動くのでデバッグが大変
Debugging is difficult because of nondeterministic behavior
動く順番が決まっていない
No strict run order
プログラムが正常に動いたり動かなかったり
Programs sometimes works fine, and sometimes not
正しいことを証明するのが困難
Difficult to prove that the program is correct
ロジックが難しい
Program logic is complicated
同期の管理が難しい
Syncronization is difficult