https://mem.leabol.top/tags/%E5%86%85%E5%AD%98%E6%A8%A1%E5%9E%8B/ Recent content in 内存模型 on memory Hugo zh-cn Thu, 11 Jun 2026 00:00:00 +0000 https://mem.leabol.top/posts/cpp/%E5%B9%B6%E5%8F%91%E6%9E%B6%E6%9E%84%E4%B8%8E%E5%90%8C%E6%AD%A5%E5%8E%9F%E8%AF%AD/ Thu, 11 Jun 2026 00:00:00 +0000 https://mem.leabol.top/posts/cpp/%E5%B9%B6%E5%8F%91%E6%9E%B6%E6%9E%84%E4%B8%8E%E5%90%8C%E6%AD%A5%E5%8E%9F%E8%AF%AD/ <blockquote> <p>为了追求极限性能，cpu硬件搞出了独立缓存(L1/L2)和乱序执行，但也留下了“数据不同步”和“顺序错乱”的烂摊子。硬件用MESI协议和内存屏障指令来修补。编程语言为了抹平不同平台(xv6/arm)的差异，制定了内存模型契约，让程序员通过指定内存序(relaxed/acquire/release/sc)来指挥编译器和cpu自动插入屏障。而程序员利用这些契约和底层的硬件CAS指令，最终构建出了无锁算法以及互斥锁等同步原语，为多线程并发提供了正确同步的基础设施。</p>