linux内核中的内存屏障

最新推荐文章于 2024-07-03 00:07:48 发布

qb_2008

最新推荐文章于 2024-07-03 00:07:48 发布

阅读量4.5k

点赞数 1

分类专栏： linux内核学习文章标签： linux内核 cache 编译器 x86 任务调度 linux

本文链接：https://blog.csdn.net/qb_2008/article/details/6840593

版权

本文探讨了Linux内核在多处理器系统中的内存屏障和同步机制。介绍了缓存一致性协议如何处理不同处理器间的共享内存访问，以及x86架构下带lock前缀指令的作用。内存屏障如SFENCE、LFENCE和MFENCE用于保证读写操作的顺序，而多处理器间同步则依赖于这些指令和锁机制来确保原子性和一致性。

摘要由CSDN通过智能技术生成

前言

之前读了关于顺序一致性和缓存一致性讨论的文章，感觉豁然开朗。对linux内核中出现的种种同步和屏障，想做一点总结。

缓存一致性

之前一直认为linux中很多东西是用来保证缓存一致性的，其实不是。缓存一致性绝大部分是靠硬件机制实现的，只有在带lock前缀的指令执行时才与cache有一点关系。（这话说得绝对，但我目前看来就是这样）我们更多的时候是为了保证顺序一致性。

所谓缓存一致性，就是在多处理器系统中，每个cpu都有自己的L1 cache。很可能两个不同cpu的L1 cache中缓存的是同一片内存的内容，如果一个cpu更改了自己被缓存的内容，它要保证另一个cpu读这块数据时也要读到这个最新的。不过你不要担心，这个复杂的工作完全是由硬件来完成的，通过实现一种MESI协议，硬件可以轻松的完成缓存一致性的工作。不要说一个读一个写，就是多个同时写都没问题。一个cpu读时总能读入最新的数据，不管它是在自己的cache中，还是在其它cpu的cache中，还是在内存中，这就是缓存一致性。

顺序一致性

所谓顺序一致性，说的则是与缓存一致性完全不同的概念，虽然它们都是处理器发展的产物。因为编译器的技术不断发展，它可能为了优化你的代码，而将某些操作的顺序更改执行。处理器中也早就有了多发射、乱序执行的概念。这样的结果，就是实际执行的指令顺序会与编程时代码的执行顺序略有不同。这在单处理器下当然没什么，毕竟只要自己的代码不过问，就没人过问，编译器和处理器就是在保证自己的代码发现不了的情况下打乱执行顺