c - 竞争条件场景

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（含）。我理解 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 的结果。