カーネル同期プリミティブとメモリモデル

スピンロックのACQUIRE/RELEASE意味論、futexシステムコール、seqlock、RCUの猶予期間、RISC-VのLR/SC・FENCE・aq/rlビット、RVWMOの緩いメモリ順序など、カーネルが並行性を支える仕組みを一次仕様に沿って学びます。