java内存模型与线程

java内存模型
基于高速缓存的存储交互很好解决了处理器与内存的速度矛盾，但是也引入了新的问题：缓存一致性。在多处理器系统中，每个处理器都有自己的高速缓存，

而它们又共享同一主内存，当多个处理器的运算任务都涉及同一块主内存区域时，将可能导致各自的缓存数据不一致的情况，如果真的发生这种情况，那同步

回到主内存时以谁的缓存数据为准呢？为了解决一致性问题，需要各个处理器访问缓存时都遵循一些协议，在读写时要根据协议来进行操作，这类协议有MSI、

MESI、MOSI、Synapse等等。java虚拟机内存模型中定义的内存访问操作与硬件的缓存访问操作是具有可比性的。

java内存模型的主要目标是定义程序中各个变量的访问规则，即在虚拟机中将变量存储到内存和从内存中取出变量这样的底层细节。此处的变量与java编程中

所说的变量略有区别，它包括了实例字段、静态字段和构成数组对象的元素，但是不包括局部变量与方法参数，因为后者是线程私有的，不会被共享，自然就

不存在竞争问题。为了获得较好的执行效能，java内存模型并没有限制执行引擎使用处理器的特定寄存器或缓存来和主内存进行交互，也没有限制即时编译器

调整代码执行顺序这类权利。
java内存模型规定了所有的变量都存储在住内存中（此处的主内存与介绍物理硬件的主内存名字一样，两者也可以互相类比，但此处只是虚拟机内存的一部分

）。每条线程还有自己的工作内存（可与前面所讲的处理器高速缓存类比），线程的工作内存中保存了被该线程使用到的变量的主内存副本拷贝，线程对变量

的所有操作都必须在工作内存中操作，而不能直接读写主内存中的变量。不同的线程之间也无法直接访问对方工作内存中的变量，线程间变量值的传递均需要

通过主内存来完成。
这里所讲的主内存、工作内存与java内存区域中java堆、栈、方法区等并不是同一个层次的内存划分。如果两者一定要勉强对应起来，那从变量、主内存、工

作内存的定义来看，主内存主要对应于java堆中对象的实例数据部分，而工作内存则对应于虚拟机栈中的部分区域。从更低的层次来说，主内存就是硬件的内

存，而为了获取更好的运行速度，虚拟机及硬件系统可能会让工作内存优先存储于寄存器