Multithreading 为什么需要额外的“CMP”命令来实现测试和设置（TSL）？

以下代码来自Wikipedia（）

---

据我所知，这两个命令

tsl-reg，flag

和

cmp-reg，#0

可以合并成一个命令

tsl-reg，flag

，这三个命令一起执行：（1）将

flag

复制到

reg

（2）将

flag

设置为

1

（3）测试

reg

是否为零。将

（3）

与

tsl

命令分开有什么好处或必要性？有人对此有想法吗？

tsl

实际上并不测试

标志的内容（除了它的名称）；它只是将
flag
原子地复制到
reg
。在x86中，它通常使用
xchg
或compare和swap指令实现，如果后者可用

enter_region:        ; A "jump to" tag; function entry point.

  tsl reg, flag      ; Test and Set Lock; flag is the
                     ; shared variable; it is copied
                     ; into the register reg and flag
                     ; then atomically set to 1.

  cmp reg, #0        ; Was flag zero on entry_region?

  jnz enter_region   ; Jump to enter_region if
                     ; reg is non-zero; i.e.,
                     ; flag was non-zero on entry.

  ret                ; Exit; i.e., flag was zero on
                     ; entry. If we get here, tsl
                     ; will have set it non-zero; thus,
                     ; we have claimed the resource as-
                     ; sociated with flag.

leave_region:
  move flag, #0      ;store 0 in flag
  ret                ;return to caller