1. 计算机系统
使用高速缓存来作为内存与处理器之间的缓冲，将运算需要用到的数据复制到缓存中，让计算能快速进行；当运算结束后再从缓存同步回内存之中，这样处理器就无需等待缓慢的内存读写了。
缓存一致性：多处理器系统中，因为共享同一主内存，当多个处理器的运算任务都设计到同一块内存区域时，将可能导致各自的缓存数据不一致的情况，则同步回主内存时需要遵循一些协议。
乱序执行优化：为了使得处理器内部的运算单位能尽量被充分利用。
2. JAVA内存模型
目标是定义程序中各个变量的访问规则。(包括实例字段、静态字段和构成数组的元素，不包括局部变量和方法参数)
所有的变量都存储在主内存中(虚拟机内存的一部分)。
每条线程都由自己的工作内存，线程的工作内存中保存了该线程使用到的变量的主内存副本拷贝，线程对变量的所有操作都必须在工作内存中进行，而不能直接读写主内存中的变量。
线程之间无法直接访问对方的工作内存中的变量，线程间变量的传递均需要通过主内存来完成。
内存间交互操作：
Lock(锁定)：作用于主内存中的变量，把一个变量标识为一条线程独占的状态。
Read(读取)：作用于主内存中的变量，把一个变量的值从主内存传输到线程的工作内存中。
Load(加载)：作用于工作内存中的变量，把read操作从主内存中得到的变量的值放入工作内存的变量副本中。
Use(使用)：作用于工作内存中的变量，把工作内存中一个变量的值传递给执行引擎。
Assign(赋值)：作用于工作内存中的变量，把一个从执行引擎接收到的值赋值给工作内存中的变量。
Store(存储)：作用于工作内存中的变量，把工作内存中的一个变量的值传送到主内存中。
Write(写入)：作用于主内存中的变量，把store操作从工作内存中得到的变量的值放入主内存的变量中。
Unlock(解锁)：作用于主内存中的变量，把一个处于锁定状态的变量释放出来，之后可被其它线程锁定。
规则：
不允许read和load、store和write操作之一单独出现。
不允许一个线程丢弃最近的assign操作，变量在工作内存中改变了之后必须把该变化同步回主内存中。
不允许一个线程没有发生过任何assign操作把数据从线程的工作内存同步回主内存中。
一个新的变量只能在主内存中诞生。
一个变量在同一时刻只允许一条线程对其进行lock操作，但可以被同一条线程重复执行多次。
如果对一个变量执行lock操作，将会清空工作内存中此变量的值，在执行引擎使用这个变量前，需要重新执行read、load操作。
如果一个变量事先没有被lock操作锁定，则不允许对它执行unlock操作。 |
|
收藏
淘帖
踩
