Java内存模型--JMM简介

JMM：Java Memory Model（Java内存模型），围绕着在并发过程中如何处理可见性、原子性、有序性这三个特性而建立的模型。

• 可见性：JMM提供了volatile变量定义，final、synchronized块来保证可见性。
  • 如：线程a将共享变量x=1写入内存的时候，如何保证线程b读取到共享变量x的值为1，这就是JMM所做的事情。
  • JMM通过控制内存与每个线程的本地内存之间的交互，来为Java程序员提供内存可见性的保证。
• 原子性：JMM提供了访问基本数据类型（store和write）的原子性，但实际业务处理中需要更大范围的原子性操作，所以JMM提供了synchronized块来保证。
• 有序性：这个概念是相对而言的，如果在本线程内，所有的操作都是有序的（线程内部都是串行操作），如果一个线程观察另一个线程，所有的操作都是无序的（指令的重排序，工作内存和主内存同步延迟现象）volatile和synchronized来保证线程之间操作的有序性。
  • 指令重排序是指：在执行程序时为了提高性能，编译器和处理器常常会对指令做重排序，就是因为这些重排序，会导致多线程程序出现内存可见性问题（数据安全问题）和有序性问题。
    • 对于编译器，JMM的编译器重排序规则会禁止特定类型的编译器重排序；
    • 对于处理器，JMM的处理器重排序规则会要求Java编译器在生成指令序列的时候，插入特定类型的内存屏障（memory barriers，Intel称之为memory fence）指令，通过memory barriers来禁止特定类型的处理器重排序。
    • 总之，JMM是通过禁止特定类型的编译器重排序和处理器重排序来为程序员提供一致的内存可见性保证。

A线程具体什么时候刷新共享数据到内存是不确定的，假设我们使用 同步原语（synchronized，volatile和final），那么刷新的时间是确定的。

例如：线程A释放锁后会同步到主存，线程B获取锁后会同步主存数据。

即 ：A线程释放所-》B线程获取锁， 可以实现A，B线程之间的通信。

（转自：http://364434006.iteye.com/blog/1810816）