Java并发原理学习笔记+总结+实战（4）——volatile的原理与使用

    volatile是一种轻量级锁，被volatile关键字修饰的变量，在线程之间是可见的。即一个线程修改了这个变量的值，在另一个线程中能够读到这个修改后的值。

    像我们之前所说的synchronize除了能让线程之间互斥以外，还有一个非常大的作用就是办证变量的可见性。

/**
 * 保证可见性的前提
 * <p>
 * 多个线程拿到的是同一把锁，否则是保证不了的。
 *
 * @author worker
 */
public class Demo {

  private int a = 1;

  public synchronized int getA() {
    return a++;
  }

  public synchronized void setA(int a) {
    try {
      Thread.sleep(2);
    } catch (InterruptedException e) {
      e.printStackTrace();
    }
    this.a = a;
  }

  public static void main(String[] args) {

    Demo demo = new Demo();

    demo.a = 10;

    new Thread(new Runnable() {

      @Override
      public void run() {
        System.out.println(demo.a);
      }
    }).start();

    try {
      Thread.sleep(100);
    } catch (InterruptedException e) {
      e.printStackTrace();
    }
    System.out.println("最终的结果为：" + demo.getA());

  }

}

用synchronize过于重量级

public class Demo2 {

  public volatile boolean run = false;

  public static void main(String[] args) {

    Demo2 d = new Demo2();

    new Thread(new Runnable() {

      @Override
      public void run() {
        for (int i = 1; i <= 10; i++) {
          System.err.println("执行了第 " + i + " 次");
          try {
            Thread.sleep(1000);
          } catch (InterruptedException e) {
            e.printStackTrace();
          }
        }
        d.run = true;
      }
    }).start();

    new Thread(new Runnable() {

      @Override
      public void run() {
        while (!d.run) {
          // 不执行
        }
        System.err.println("线程2执行了...");
      }
    }).start();


  }

}

二、volatile的原理

    volatile关键字是一种较弱的同步机制，用来确保将变量的更新操作通知到其他线程。当变量声明为volatile类型后，编译器与运行时都会注意到这个变量是共享的，因此不将该变量上的操作与其他内存操作仪器重排序。线程在访问volatile变量时不会执行加锁操作，因此也就不会使执行线程阻塞，因此volatile变量是一种比synchronize关键字更轻量级的同步机制。声明变量是volatile的，jvm保证了每次读变量都从内存中读，跳过了CPU Cache的步骤。

三、总结

    volatile可以保证线程可见性且提供了一定的有序性，但是无法保证原子性。

四、JDK自带的解决方案

   自JDK8开始，就自带有原子操作类，在java.util.concurrent.atomic中，一共提供了13个类，属于4种类型的原子更新方式，分别是原子更新基本类型、原子更新数组、原子更新引用和原子更新属性（字段）。Atomic包里的类基本都是使用Unsafe实现的包装类。

1.原子更新基本类型，

Atomic包提供了以下3个类。·AtomicBoolean AtomicInteger  AtomicLong。每一个类中的方法都类似，下面以AtomicInteger为例

·int addAndGet（int delta）：以原子方式将输入的数值与实例中的值（AtomicInteger里的value）相加，并返回结果。

·boolean compareAndSet（int expect，int update）：如果当前数值等于预期值，则以原子方式将当前值设置为upate值，同时返回true。如果当前值不等于预期值，不进行set，返回false

·int getAndIncrement()：以原子方式将当前值加1，注意，这里返回的是自增前的值。

2.原子更新数组

·AtomicIntegerArray：原子更新整型数组里的元素。

·AtomicLongArray：原子更新长整型数组里的元素。

·AtomicReferenceArray：原子更新引用类型数组里的元素。

3.原子更新引用类型

·AtomicReference：原子更新引用类型。

·AtomicReferenceFieldUpdater：原子更新引用类型里的字段。

·AtomicMarkableReference：原子更新带有标记位的引用类型。可以原子更新一个布尔类型的标记位和引用类型。

4.原子更新字段类

·AtomicIntegerFieldUpdater：原子更新整型的字段的更新器。

·AtomicLongFieldUpdater：原子更新长整型字段的更新器。

·AtomicStampedReference：原子更新带有版本号的引用类型。该类将整数值与引用关联起来，可用于原子的更新数据和数据的版本号，可以解决使用CAS进行原子更新时可能出现的ABA问题。