【操作系统百科】Linux 内核内存模型
内容提要
内核并发代码中的READ_ONCE、smp_mb()等原语是确保正确性的基础。Linux内核内存模型（LKMM）有助于理解这些原语，防止编译器和CPU重排引发的并发错误。使用标记访问和屏障原语可以确保共享变量的正确访问。litmus测试和herd7工具可用于形式化验证并发代码的正确性，volatile不应用于内核同步。
关键要点
-
READ_ONCE、smp_mb()等原语是内核并发代码正确性的基石。
-
Linux内存模型（LKMM）帮助理解并发代码中的原语，防止编译器和CPU重排引发的错误。
-
使用标记访问（READ_ONCE/WRITE_ONCE）和屏障原语（smp_mb等）确保共享变量的正确访问。
-
volatile不应在内核中用于同步，因为它只防止编译器优化，不提供CPU屏障。
-
litmus测试和herd7工具可用于形式化验证并发代码的正确性。
延伸解读
内存模型的重要性
Linux内核内存模型（LKMM）是理解并发代码中原语的关键。它帮助开发者识别编译器和CPU可能引发的重排问题，从而避免潜在的并发错误。掌握LKMM可以提高代码的可靠性，尤其是在多核处理器环境中。
标记访问与屏障原语
使用标记访问（如READ_ONCE和WRITE_ONCE）和屏障原语（如smp_mb）是确保共享变量正确访问的基础。开发者应当优先使用这些原语，以防止编译器优化导致的错误，确保并发操作的原子性和顺序性。
volatile的误用
在内核中使用volatile进行同步是一个常见误区。虽然volatile可以防止编译器优化，但它并不提供CPU屏障，可能导致数据不一致。开发者应使用READ_ONCE和WRITE_ONCE等原语来实现有效的同步。
延伸问答
Linux内核内存模型的主要作用是什么？
Linux内核内存模型（LKMM）帮助理解并发代码中的原语，防止编译器和CPU重排引发的错误。
READ_ONCE和WRITE_ONCE的作用是什么？
READ_ONCE和WRITE_ONCE用于防止编译器优化和拆分读写，确保共享变量的正确访问。
为什么volatile不适合用于内核同步？
volatile只防止编译器优化，不提供CPU屏障，因此不应在内核中用于同步。
如何使用litmus测试和herd7工具验证并发代码的正确性？
开发者可以编写litmus测试，使用herd7工具执行，枚举所有可能的执行序以判断是否存在违反。
内存屏障原语的作用是什么？
内存屏障原语如smp_mb()确保前面的读写操作在后面的读写操作之前完成，防止重排。
LKMM如何帮助开发者理解并发代码？
LKMM定义了内核并发的内存序语义，帮助开发者理解如何正确使用原语以避免并发错误。
