v1.0：第一版可满足一致性的架构，“

一致性 = 多副本数据必须单线演化”。只需要一个状态：缓存行是否为最新值。

v2.0：在用v1.0和MESI对应的时候发现推导不出M状态，修订根问题。

具体的，最开始只有单线演化，强调读和写要保证一致性。推着推着发现推导不出为什么要有M状态。才意识到“最新唯一值”是可能丢失的，因为L1容量有限，当发生evict时，如果不区分是否和dram相同，则可能丢失。

虽然系统只有一份最新值，但是后来的读到了老版本。

v2.1：加入一个比喻，更好理解一致性问题本质

v3.0：修改一层原则bug，解释为什么CHI里面“Clean可能表示缓存与dram不同”

推导一致性问题架构，直到能够和MESI、CHI对齐。

系统假设：系统中有多个核，每个有自己的私有缓存L1，导致同一个内存地址可能产生多个副本，怎么保证一致性

单线很好理解，是指即使存在多个副本，一旦有core来读，必须读到最新值，且最新值唯一。

难点在于前向，容易遗漏，我准备用一个生活中的例子说明：

这就是我所说的必须“前向演进”，因为没有这条约束，相当于允许存款的版本回退，回到存钱之前的状态。

在缓存系统中这是可能发生的：

你刚存的钱系统没有写入dram，而是放在了缓存里面。

后来缓存满了，controller恰好选中了这个slot去evict。系统不知道这个值发生了改变，没有写入dram，于是钱就丢了。

典型的是规定上级缓存在evict的时候，下级缓存要接住。L3 evict的时候要写入dram。

这能规避上面的问题，但效率太低了。有时候缓存中的数据并没有相对于dram变化，比如你们家很多人都查了下余额。这些都存在了缓存里。后来缓存满了。系统如果能知道是否相对于dram发生变化就好了，毕竟写dram还是很慢的。因此就有了Clean/Dirty.

总结：Clean/Dirty的引入是为了避免最新值丢失且提高效率。

最新值：一个memory location的值的演化过程中是原子的，最新值指最近一次提交的值。

为了功能和性能，我们总共需要四个状态

Dirty和Owner都是为了确保最新值不丢，为了不丢其实只需要在副本的值和dram不同的时候找一个“负责人”，当他evict的时候，确保要写dram。

我们可以只用一个状态来实现这一点——WriteBackOwner：意思是副本与dram不一样

我有责任写dram。如果为0：则表示不用写回。

因此没必要始终知道缓存值是否和dram不同，因为根据总原则可以看到，一致性的关键是“最新值”，而不是dirty值。

这和ACE、CHI中Dirty的含义是一样的

v1.0：无法对应M状态，待完善……

v1.0：第一版可满足一致性的架构，“一致性 = 多副本数据必须单线演化”。只需要一个状态：缓存行是否为最新值。

缓存一致性问题拆解思路

准备从零到一推导一致性问题架构，直到能够和MESI、CHI对齐。

架构设计

操作系统

硬件

本文深入解析多核系统缓存一致性架构设计，从单线演化原则出发，逐步推导出MESI协议核心机制。重点探讨最新值确认、原子性写入、副本状态管理等关键技术，提出基于L1缓存和DRAM的落地方案，包括状态标记、嗅探机制、事务序列化等实现方法，揭示缓存行状态转换与数据一致性的内在关联。

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

EdgeOne AI 安全实战专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

缓存一致性问题拆解思路

缓存一致性问题拆解思路

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐