たとえば、同時に実行されている2つのプロセスがあり、両方が同じコードを持っている場合
プロセス1
1 Increase(x)
2 Decrease(x)
プロセス2
1' Increase(x)
2' Decrease(x)
その例では、実行可能な実行の数は6です。
私の質問は、コードの行とスレッドの数が異なる場合に、この実行回数を計算するために使用できる式が存在するかどうかです。
どうもありがとうございます
たとえば、同時に実行されている2つのプロセスがあり、両方が同じコードを持っている場合
プロセス1
1 Increase(x)
2 Decrease(x)
プロセス2
1' Increase(x)
2' Decrease(x)
その例では、実行可能な実行の数は6です。
私の質問は、コードの行とスレッドの数が異なる場合に、この実行回数を計算するために使用できる式が存在するかどうかです。
どうもありがとうございます