>>922
>無理。っていうか、結局試行錯誤になる罠。
>マルチスレッドで生じるさまざまな問題については先人たちも試行錯誤を重ねまくって現在に至ってるからな。

「全て予想する」と言うのは、何もプログラムの細部まで予想すると言う意味
ではなく、最小値と最大値をはっきりさせて、その範囲内で絶対なんらかの
解決策が存在する証明を探すような手順を私は取ってます。

具体的な解決策の詳細は、その時点ではわかりませんが、解決策の有無までは
必ず証明を行っています。