Hardware Support for Synchronization
Introduction
Software-only synchronization 在 modern architecture 上會遇到 instruction reordering、memory visibility、atomicity 等問題，所以 OS 需要 hardware primitives 作為高階同步工具的底層。
Memory Barrier
Atomic Hardware Instruction
D-OS-Ch06db-Atomic_Hardware_Instruction