VIPT cache

VIPT（Vitrual Index Physical Tag）：使用 VA 索引，PA 生成 tag。

大致过程如下图所示：

• 同义问题（Aliasing）

        一个或不同进程之间，不同的 VA 可能对应同一个 PA。从而导致 cache 中可能存在一个 PA 的多项，这样会有两个问题：

        1) 浪费了 cache 空间；

        2）同一个 PA 的不同 cache 项需要保持数据一致。

cache 容量大于 page size 时，VA 中的 offset 无法覆盖 cache 的索引，不同VA 索引到不同的项。

---

比如页大小为4K，cache 容量为 8K，假设VA1 和 VA2 映射到同一 PA。

此时访问 cache 的索引是 VA[12:0]，由于页为4K，可以确定 VA1 和 VA2 的 [11:0] 相同。

当 VA1[12] ≠ VA2[12] 时，二者索引到 cache 中的不同项。

        解决方法：通过 L2 保证一个 PA 只会在 L1 中保存一项。具体如下：

        在 L2 entry 中增加一个 field：VA 中作为 L1 index 的部分中超出页 offset 的部分（记为 a），指示当前该 PA 在 L1 中对应的 VA。

        当一个 VA 发生 L1 miss，L2 hit 时，比较该 field，即得知当前 L1 中存在该 PA 对应项，但属于另一个 VA。

        此时需要将 L1 中该项 invalid：{a，PA[11:0]} 即为该项索引，VTag 根据 PA 得到。如果 L1 中该项 dirty，还需写回到 L2，再清除。

        最后在 L1 中创建当前新的 VA 的映射项，并将 L2 该 PA entry 中 VA field 修改为新的 VA。

可参考香山该问题实现 https://docs.xiangshan.cc/zh-cn/latest/huancun/cache_alias/

 VIVT中，解决重名问题时：

由于需要 VTag，在 L2 中只存储 a 是不够的，需要存储 VA 中 offeset 以上的所有部分。

• 同名问题

          不同进程中，相同的VA对应不同的PA。

          通过为每个进程分配一个 ASID（Address Space ID）解决该问题。