Java内存模型与线程

Java内存模型与线程

Java内存模型

Java内存模型JMM，实现Java程序在各种平台下都能达到一致的内存访问效果

主内存与工作内存

Java内存模型的主要目定是定义程序中各种变量的访问规则，即关注在虚拟机中把变量值存储到内存和从内存中取出变量值这样的底层细节。此处的变量包括了实例字段、静态字段和构成数组对象的元素，但不包括局部变量与方法参数，因为后者是线程私有的，不会被共享，自然就不会存在竞争问题。

Java内存模型规定了所有变量都存储在主内存中，每条线程都有自己的私有内存，线程的工作内存中保存了被该线程使用的变量的主内存副本（对副本的疑问？假设线程中访问一个10MB大小的对象，也会把这10MB的内存复制一份出来吗？事实上并不会如此，这个对象的引用、对象中某个线程访问到的字段是有可能被复制的，但不会有虚拟机把整个对象复制一次），线程对变量的所有操作（读取、赋值）都必须在工作内存中进行，而不能直接读写主内存中的数据，不同的线程之间也无法直接访问对方工作内存中的变量，线程间变量值的传递均需通过主内存来完成

这里所讲的主内存、工作内存与Java内存区域的Java堆、栈、方法区等并不是同一个层次的对内存的划分，这两者基本上是没有任何关联的。如果两者一定要勉强对应起来，那么从变量、主内存、工作内存的定义来看，主内存只要是对应于Java堆中的对象实例数据部分，而工作内存则对应于虚拟机栈的部分区域。从更基础的层面上说，主内存对应于硬件物理内存，而为了获得更好的运行速度，虚拟机可能会让工作内存优先存储于寄存器和高速缓存中，因为程序运行时主要访问的是工作内存。

volatile

• 保证此变量对所有线程的可见性，这里可见性是指当一条线程修改了这个变量的值，新值对于其他线程来说是可以立即得知的
• 每次使用前都要先刷新，Java里面的运算符并非原子操作，这导致volatile变量的运算在并发下一样是不安全的
• 禁止重排序优化

在不符合一下两条规则的运算场景中，我们仍然要通过加锁（使用synchronized、java.util.concurrent中的锁和原子类）来保证原子性：

• 运算结果并不依赖变量的当前值，或者能够确保只有单一的线程修改变量的值
• 变量不需要与其他的状态变量共同参与不变约束

volatile解决多线程内存不可见问题。对于一写多读，是可以解决变量同步问题，但是如果多写，同样无法解决线程安全问题。如果是count++操作，使用如下类实现：AtomicInteger count = new AtomicInteger(); count.addAndGet(1); 如果是JDK8，推荐使用LongAdder对象，比AtomicLong性能更好（减少乐观锁的重试次数）

内存屏障：指重排序时不能把后面的指令重排序到内存屏障之前的位置

原子性、可见性与有序性

Java内存模型是为了处理在并发中如何处理原子性、可见性与有序性
synchronized关键字同时拥有这三个特性

• 原子性
  在synchronized块之间的操作也具备原子性
  volatile关键字修饰的变量不具备原子性
• 可见性
  可见性就是指当一个线程修改了共享变量的值时，其他线程能够立即得知这个修改
  除volatile之外，Java还有两个关键字能实现可见性，它们是synchronized和final
• 有序性
  volatile关键字本身就包含了禁止指令重排序的语义
  synchronized则是由“一个变量在同一时刻只允许一条线程对其进行lock操作”，这个规则决定了持有同一个锁的两个同步块只能串行地进入