caching - 在 L2 逐出时从 L1 缓存中逐出缓存

Question

我有一个关于内存系统遵循的政策的基本问题。

考虑一个具有私有 L1 和 L2 缓存的内核。在 L2 高速缓存之后，我们有一条运行相干流量的总线。现在，如果从 L2 缓存中逐出地址（X）的缓存行，是否有必要从 L1 缓存中逐出该地址？

驱逐的原因可能是它有助于保持一致性协议的不变性[如果 l2 中的一行显示无效，此核心不包含此地址]。

Answer 1

共有三种不同的设计，并且全部使用。

1. 独占：L1 缓存中的数据永远不会在 L2 缓存中。L2 缓存中的数据永远不会在 L1 缓存中。

2. 包含：L1 缓存中的数据也必须在 L2 缓存中。

3. 两者都不是：L1 缓存中的数据可能在也可能不在 L2 缓存中。

这些中的每一个都有优点和缺点。包容性方案允许缓存一致性协议忽略 L1 缓存——如果数据不在 L2 缓存中，则它不在 L1 缓存中。但是独占方案最有效地利用了宝贵的高速缓存。

包容性设计正变得越来越流行，因为更快的内核间同步变得比拥有稍大的有效缓存大小更重要。