竞争条件场景

Question

我有一个关于比赛条件场景的问题。问题：

考虑以下两个线程，在共享中并发运行 内存（所有变量在两个线程之间共享）。

Thread A 
for i = 1 to 5 do 
  x = x + 1;

Thread B 
for j = 1 to 5 do
  x = x + 1;

假设一个单处理器系统，加载和存储是原子的， x 初始化为 0，并且 x 必须加载到寄存器中 在递增之前（然后存储回内存），什么 两个线程都完成后 x 的所有可能值是多少？

现在答案是 2:10（含 2:10）。我理解 5:10 的结果，但 x 怎么可能是 2、3 或 4？

Answer 1

得到 x = 2 的序列：

Thread 2 read // Reg_2 = 0
Thread 1 read/write 4 times // x = 4
Thread 2 write // * Reg_2 = 0 --> x = 1
Thread 1 read // Reg_1 = 1
Thread 2 read/write 4 times // x = 5
Thread 1 write // Reg_1 = 1 --> x = 2

根据你在标有 * 的步骤抢占之前写线程 2 做了多少次，你会得到 3 和 4 的结果。