在询问了this question之后,我了解到原子指令(例如test-and-set
)将不涉及内核。仅当某个进程需要进入睡眠状态(等待获取锁)或唤醒(因为它无法获取锁但现在可以唤醒)时,才必须使内核参与执行调度操作。
如果是这样,这是否意味着内存隔离,例如c++ 11中的std::atomic_thread_fence
,也不会涉及内核?
最佳答案
std::atomic不涉及kernel1
在几乎所有正常的CPU(我们在现实生活中使用的那种CPU)上,内存屏障指令都没有特权,并且可以直接由编译器使用。 编译器知道如何为lock add [rdi], eax
(或fetch_add
,如果使用返回值)发出诸如x86 lock xadd
的指令。或者在其他ISA上使用,实际上是它们在加载,存储和RMW之前/之后使用的屏障说明,以进行所需的排序。 https://preshing.com/20120710/memory-barriers-are-like-source-control-operations/
在某些任意的假定硬件和/或编译器上,任何事情当然都是可能的,即使这会对性能造成灾难性的影响。
在asm中,屏障只会使该内核等待,直到其他内核可以看到某些先前的(程序顺序)操作为止。 这是一个纯本地操作。 (至少,这是实字CPU的设计方式,因此仅使用本地障碍来控制加载和/或存储操作的本地顺序就可以恢复顺序一致性。所有内核共享一个一致的缓存 View ,并通过类似协议(protocol)进行维护MESI。存在非一致的共享内存系统,但是实现不能在它们之间运行C++ std::thread,并且它们通常不运行单系统镜像内核。)
脚注1 :(即使非无锁原子通常也使用轻量级锁)。
同样,在ARMv7之前的ARM显然没有适当的内存屏障指令。在ARMv6上,GCC使用mcr p15, 0, r0, c7, c10, 5
作为屏障。
在此之前( g++ -march=armv5
和更早的版本),GCC不知道要做什么,因此调用__sync_synchronize
(libatomic GCC帮助程序函数),希望该代码以某种方式对实际运行的任何计算机都有影响。这可能涉及在假设的ARMv5多核系统上进行系统调用,但是二进制文件很有可能将在ARMv7或v8系统上运行,其中库函数可以运行dmb ish
。我认为,或者如果它是单核系统,那么它可能是无人值守的。 (C++内存顺序关心其他C++线程,而不关心可能的硬件设备/DMA所看到的内存顺序。通常,实现是假设使用多核系统,但是这种库功能可能是仅使用单核实现的情况)
例如,在x86上,std::atomic_thread_fence(std::memory_order_seq_cst)
编译为mfence
。像std::atomic_thread_fence(std::memory_order_release)
这样的较弱的障碍只需要阻止编译时重新排序; x86的运行时硬件内存模型已经是acq/rel(seq-cst +存储缓冲区)。因此,没有任何与障碍相对应的asm指令。 (C++库的一种可能的实现是GNU C asm("" ::: "memory");
,但是GCC/clang确实具有barrier内置函数。)
std::atomic_signal_fence
只必须阻止编译时重新排序,即使在弱排序的ISA上也是如此,因为所有真实世界的ISA都保证单个线程内的执行将自己的操作视为按程序顺序进行。 (硬件通过使负载监听当前内核的存储缓冲区来实现此目的)。 VLIW和IA-64 EPIC或其他显式并行ISA机制(例如具有延迟可见性负载的Mill),仍使编译器能够生成尊重异步信号(或异步信号,包括障碍)的C++排序保证的代码。任何指令后到达内核代码的中断)。
您可以自己看一下代码生成on the Godbolt compiler explorer:
#include <atomic>
void barrier_sc(void) {
std::atomic_thread_fence(std::memory_order_seq_cst);
}
x86:
mfence
电源:sync
。AArch64:
dmb ish
(“内部可共享”一致性域上的完整屏障)。带
gcc -mcpu=cortex-a15
(或-march=armv7
)的ARM:dmb ish
RISC-V:fence iorw,iorw
void barrier_acq_rel(void) {
std::atomic_thread_fence(std::memory_order_acq_rel);
}
x86:没有
电源:
lwsync
(轻量级同步)。AArch64:仍然
dmb ish
ARM:仍为dmb ish
RISC-V:仍为fence iorw,iorw
void barrier_acq(void) {
std::atomic_thread_fence(std::memory_order_acquire);
}
x86:没有
电源:
lwsync
(轻量级同步)。AArch64:
dmb ishld
(负载屏障,不必耗尽存储缓冲区)ARM:即使使用
dmb ish
(ARMv8)仍然是-mcpu=cortex-a53
:/RISC-V:仍为
fence iorw,iorw
关于c++ - 内存栅栏是否涉及内核,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/60184160/