TLA+ 《Specifying Systems》翻译初稿——Section 5.0 A Caching Memory(一种内存缓存系统)

一个内存系统由一组处理器、其连接到内存的我们称之为 $memInt$的抽象接口及内存本身组成。

在本章中，我们先定义内存抽象接口 $memInt$作为通用接口，接着指出内存应该做什么，最后给出一种内存缓存系统的特定实现方式。