引き続きスレッド検証。より簡単に並列化できるようになったため、並列化まわりの検証が重要になっています。)アクセスの競合もよく起きるバグです。よってものすごく簡単に問題のあるコードが書けてしまいます。do;競合の有名な例え話で銀行口座に百万円振り込んだと同時に10円引き落とされたらというのがあります。「上側/下側での読み取り」「上側の書き込み」「下側の書き込み」の順番で実行されてしまいますと口座には90円しか残らなくなります。最近のCPUでは投機実行でもっと謎な挙動になることも考えられます。2020ではアクセスの競合に対してかなり気合の入った検証が行われます。間で変数へのアクセスが競合しているかどうかがコンパイル時に検証されるというものです。do;検証の仕組みとしては各分岐ごと各変数ごとに読み取り(in)と書き込み(out)のアクセスがされているかどうかが調べられ、それが衝突しているかどうかがチェックされます。