Java 并发：volatile 关键字解析

• 在 Java 并发编程中，要想使并发程序能够正确地执行，必须要保证三条原则，即：原子性、可见性和有序性。只要有一条原则没有被保证，就有可能会导致程序运行不正确。volatile关键字 被用来保证可见性，即保证共享变量的内存可见性以解决缓存一致性问题。一旦一个共享变量被 volatile关键字 修饰，那么就具备了两层语义：内存可见性和禁止进行指令重排序。在多线程环境下，volatile关键字 主要用于及时感知共享变量的修改，并使得其他线程可以立即得到变量的最新值，例如，用于 修饰状态标记量 和 Double-Check (双重检查)中。伪共享：读取变量副本时读取一块区域，catchLine。读缓存写缓存一次性读取64位，假设A,B在同一catchLine, Avolatile写操作的，AB同时进行更改写回主存，当下一次需要对B写时，本来他没有改变在缓存中进行修改，可是还要回主存中拿再进行修改。Disruptor框架里面的RingBuffer类，在JDK8以后，需要在虚拟机设置里进行设置，然后利用注解@Contended实现相同功能。i++使用 Automic原子操作数，

  

• 一. 并发编程中的三个概念
  • 1、原子性： 即一个操作或者多个操作 要么全部执行并且执行的过程不会被任何因素打断，要么就都不执行。CAS机制
  • 2、可见性：是指当多个线程访问同一个共享变量时，一个线程修改了这个变量的值，其他线程能够立即看得到修改的值。
  • 3、有序性：即程序执行的顺序按照代码的先后顺序执行。处理器为了提高程序运行效率，可能会对输入代码进行优化，它不保证程序中各个语句的执行先后顺序同代码中的顺序一致，但是它会保证程序最终执行结果和代码顺序执行的结果是一致的（单线程情形下——重排序时会考虑指令之间的 数据依赖性）；但是会影响到多线程并发执行的正确性。

    

• 二、Java内存模型

  

  • Java内存模型 规定所有的变量都是存在主存当中（类似于前面说的物理内存），每个线程都有自己的工作内存（类似于前面的高速缓存）。线程对变量的所有操作都必须在工作内存中进行，而不能直接对主存进行操作，并且每个线程不能访问其他线程的工作内存。
  • 1、原子性：在 Java 中，对基本数据类型的变量的 读取 和 赋值 操作是原子性操作，即这些操作是不可被中断的 ： 要么执行，要么不执行。Java内存模型只保证了基本读取和赋值是原子性操作，如果要实现更大范围操作的原子性，可以通过 synchronized 和 Lock 来实现。由于 synchronized 和 Lock 能够保证任一时刻只有一个线程执行该代码块，那么自然就不存在原子性问题了，从而保证了原子性。
  • 2、可见性：对于可见性，Java 提供了 volatile关键字 来保证可见性。当一个共享变量被 volatile 修饰时，它会保证修改的值会立即被更新到主存，当有其他线程需要读取时，它会去内存中读取新值。而普通的共享变量不能保证可见性，因为普通共享变量被修改之后，什么时候被写入主存是不确定的，当其他线程去读取时，此时内存中可能还是原来的旧值，因此无法保证可见性。另外，通过 synchronized 和 Lock 也能够保证可见性，synchronized 和 Lock 能保证同一时刻只有一个线程获取锁然后执行同步代码，并且 在释放锁之前会将对变量的修改刷新到主存当中，因此可以保证可见性。
  • 3、有序性：在 Java内存模型中，允许编译器和处理器对指令进行重排序，但是重排序过程不会影响到单线程程序的执行，却会影响到多线程并发执行的正确性。在 Java 中，可以通过 volatile 关键字来保证一定的“有序性”。另外，我们千万不能想当然地认为，可以通过synchronized 和 Lock 来保证有序性，也就是说，不能由于 synchronized 和 Lock 可以让线程串行执行同步代码，就说它们可以保证指令不会发生重排序，这根本不是一个粒度的问题。
• 三.深入剖析 volatile关键字
  • volatile关键字的两层语义：一旦一个共享变量（类的成员变量、类的静态成员变量）被 volatile 修饰后，那么就具备了两层语义：
    • 1）保证了不同线程对共享变量进行操作时的可见性，即一个线程修改了某个变量的值，这个新值对其他线程来说是 立即可见 的；
    • 2）禁止进行指令重排序。
• 四. 使用 volatile 关键字的场景
  • synchronized 关键字是防止多个线程同时执行一段代码，那么就会很影响程序执行效率；而 volatile 关键字在某些情况下性能要优于 synchronized，但是要注意 volatile 关键字是无法替代 synchronized 关键字的，因为 volatile 关键字无法保证操作的原子性。通常来说，使用 volatile 必须具备以下两个条件：
    • 1）对变量的写操作不依赖于当前值；
    • 2）该变量没有包含在具有其他变量的不变式中。
  • 实际上，这些条件表明，可以被写入 volatile 变量的这些有效值 独立于任何程序的状态，包括变量的当前状态。事实上，上面的两个条件就是保证对 该volatile变量 的操作是原子操作，这样才能保证使用 volatile关键字 的程序在并发时能够正确执行。
  • 特别地，关键字 volatile 主要使用的场合是：在多线程环境下及时感知共享变量的修改，并使得其他线程可以立即得到变量的最新值。