让两条指令流交错一次

初值为 5。P 加一,C 减一。选择一种执行计划,然后逐步观察寄存器和共享内存。

线程 P:加一

私有寄存器
读取 count
计算旧值 + 1
写回 count

共享 count

5

线程 C:减一

私有寄存器
读取 count
计算旧值 − 1
写回 count
先选择“危险交错”或“受控串行”。