内存模型

概述

“内存模型”和“内存区域”是两个截然不同的概念。内存区域是指实际存在的地址，即物理地址。而“内存模型”则是一种模糊的概念，我们可以把它理解为对一系列规则的抽象，通过这些规则来保证内存中的数据准确无误。

一、内存模型

1、背景

随着计算机运算能力的提升，现代计算机的运算速度和磁盘 I/O 速度以及网络通信速度产生的了巨大的差异。如果我们不做任何处理的话，会导致CPU在绝大多数情况下处于等待磁盘 I/O 或网络通信的过程中。为了提高CPU的运算效率，现代计算机开始支持CPU同时处理多个任务，这样CPU在等待其他操作期间，可以先处理其他任务来减少等待时间。

然而想让计算机同时处理多个任务却没有想象中那么简单，其中最主要的复杂性来源是绝大多数任务不是简单的通过CPU的运算就能完成，CPU至少需要合内存交互，读取数据，存取数据等。这部分 I/O 操作是没有办法避免的。

2、缓存一致性

在现代计算机中，为了优化上述这部分无法避免的 I/O 消耗，引入了和处理器运算速度相差较小的“高速缓存”来做为内存和处理器之间的缓冲：将运算需要用到的数据从内存复制到缓冲区中，让运算能快速运行，在运算结束后从缓存同步到内存中，这样处理器就无须缓慢的等待读写了。

这种基于高速缓存的处理方式虽然解决了速度矛盾，但又带来了一个更复杂的问题，缓存一致性：在多处理器系统中，假如有多个处理器共同访问了同一块内存区域，那么在这些处理器的高速缓存同步回主内存时，具体要以哪个处理器的数据为准呢。

3、总结

为了解决一致性问题，需要每个处理器遵守一些“协议”，在读写数据时必须按照协议规定来进行操作。内存模型就可以理解为在特定的协议下，对特定的内存或高速缓存进行访问的过程抽象。

除了增加高速缓存外，为了使处理器内部的运算单元能尽量被充分利用，处理器可能会对输入的指令就行乱序执行优化，处理器会在计算之后将乱序执行的结果重组，保证该结果和顺序执行得到的结果一致。