关于多线程:比较和交换 – 如果 2 个处理器同时执行锁定会怎样?

Compare and swap - What if 2 processors execute locking simultaneous?

我在 https://en.wikipedia.org/wiki/Compare-and-swap 中读到了关于 CAS 的内容,但有一些疑问:

  • 即使单个锁定操作是在单个指令中实现的,但是如果 2 个线程在 2 个不同的处理器上运行,那么 2 个指令可能同时发生。这不是比赛条件吗?
  • 我在第 168 页的 <Linux Kernel Development> 3rd 中看到了以下句子。
  • because a process can execute on only one processor at a time

    我对此表示怀疑,不确定这是否意味着它的字面意思。如果进程有多个线程,它们不能同时在多个处理器上运行吗?

有人帮忙解释一下这些疑惑吗?谢谢。


cpu 有一个内存缓存,通常每个所谓的缓存行大小为 64 字节。它会针对那个大小的块做一些事情。特别是,在执行 lock cmpxchg 或类似操作时,执行此操作的硬件线程将与其他线程协商对 64 字节内存部分的独占访问。这就是它起作用的原因。

一般来说,你想读这本书:https://www.kernel.org/pub/linux/kernel/people/paulmck/perfbook/perfbook.html

第 21 页解释了这一特殊位。

关于 LKD 报价,没有提供上下文。可以安全地假设它们是指线程并且正在更新线程本地计数器。