JAVA面试之synchronized和volatile

1、synchronized关键字

synchronized基础
（1）synchronized关键字解决的是多个线程之间访问资源的同步性，synchronized关键字可以保证被它修饰的方法或者代码块在任意时刻只能有一个线程执行。
（2）在 Java 早期版本中，synchronized属于重量级锁，效率低下。
（3）在 Java 6 之后 Java 官方对从 JVM 层面对synchronized 较大优化，锁的实现引入了大量的优化，如自旋锁、适应性自旋锁、锁消除、锁粗化、偏向锁、轻量级锁等技术来减少锁操作的开销。

---

---

synchronized最主要的三种使用方式
（1）修饰实例方法: 作用于当前对象实例加锁，进入同步代码前要获得当前对象实例的锁
（2）修饰静态方法: 也就是给当前类加锁，会作用于类的所有对象实例，因为静态成员不属于任何一个实例对象，是类成员。所以如果一个线程A调用一个实例对象的非静态 synchronized 方法，而线程B需要调用这个实例对象所属类的静态 synchronized 方法，是允许的，不会发生互斥现象，因为访问静态 synchronized 方法占用的锁是当前类的锁，而访问非静态 synchronized 方法占用的锁是当前实例对象锁。
（3）修饰代码块: 指定加锁对象，对给定对象加锁，进入同步代码库前要获得给定对象的锁。
总结： synchronized 关键字加到 static 静态方法和 synchronized(class)代码块上都是是给 Class 类上锁。synchronized 关键字加到实例方法上是给对象实例上锁。

---

---

面试中可能会被要求手写一个双重校验锁实现对象单例（线程安全）

public class Singleton {

   private volatile static Singleton uniqueInstance;

   private Singleton() {
    }

   public synchronized static Singleton getUniqueInstance() {
       //先判断对象是否已经实例过，没有实例化过才进入加锁代码
        if (uniqueInstance == null) {
            //类对象加锁
            synchronized (Singleton.class) {
                if (uniqueInstance == null) {
                    uniqueInstance = new Singleton();
                }
            }
        }
        return uniqueInstance;
    }
}

---

---

synchronized原理（底层和jvm指令以及monitor有关）

synchronized(myObj){
        //to do something
        synchronized(myObj){
            //to do something
        }
    }

（1）线程1尝试进行对象枷锁操作时执行monitorenter指令，查看计数器是否为0
（2）当计数器为0时，成功获取锁并将计数器改为1
（3）当线程2同样尝试进行对象枷锁时执行monitroenter指令，查询计数器发现计数器不为0，此时枷锁失败，处于阻塞等待状态
（4）线程1执行完后释放锁，并执行monitorexit指令后将计数器改为0
（5）此时线程2重新查询计数器为0，获取锁成功并再次将计数器改为1

2、volatile关键字
要讲volatile关键字，应该从Java的内存模型开始，再到原子性、有序性、可见性，最后再讲到volatile关键字。
（1）Java内存模型原理
JAVA内存主要包含以下操作：read load use assign store write

假设有下面代码，假设线程对一个数据进行累加操作：

   public class TestDemo{
         private int data = 0;
        public void increment(){
            data++;
        }
     }

    TestDemo testDemo = new TestDemo();
    
   //线程1
    new Thread(){
        public void run(){
            testDemo.increment();
        }
    }.start();

这段代码在JAVA内存中是怎么运行的呢？

01、read:首先将主内存中的数据（data=0）读取出来；
02、load:将读取出来的数据加载到工作内存中；
03、use:线程将数据进行运算（data++）；
04、assgin:将运算后的新数据写入工作内存中（data=1）；
05、store：存储新的数据（data=1）;
06、write:将新的数据写入主内存中。

---

---

（2）原子性、有序性、可见性
假设有如下代码：

  //线程1
    new Thread(){
        public void run(){
            data++;
        }
    }.start();
    //线程2
    new Thread(){
        public void run(){
            while(data == 0){
                Thread.sleep(100);
            }
        }
    }.start();

分析以上代码可以发现，会存在一种情况就是当线程1将数据修改之后，并不能保证线程2能立即读取到最新的数据，导致线程2在一定的时间内一直处于while循环中。也就是没有可见性。

---

---

假设有如下代码，两个线程对一个数据进行累加操作：

     public class TestDemo{
         private int data = 0;
        public void increment(){
            data++;
        }
     }

   TestDemo testDemo = new TestDemo();
    
   //线程1
    new Thread(){
        public void run(){
            testDemo.increment();
        }
    }.start();
    //线程2
    new Thread(){
        public void run(){
            testDemo.increment();
        }
    }.start();

不难看出这段代码无法保证两个线程不会同一时间对数据进行操作，这样就是无原子性。
原子性 : 一个的操作或者多次操作，要么所有的操作全部都得到执行并且不会收到任何因素的干扰而中断，要么所有的操作都执行，要么都不执行。synchronized 可以保证代码片段的原子性。

---

---

假设有如下代码：线程2需要等线程1准备好资源后再执行

 flag = false;
    //线程1：
    prepare(); //--->准备资源
    flag = true;

   //线程2
    while(!flag){
        Thread.sleep(100);
    }

   execute(); //--->基于准备好的资源进行操作

这段代码在编译器进行代码编译的时候可能会出现指令重排，有可能会先将flag = true放在最前，这样就导致prepare()方法还没执行就执行execute(),出现程序异常。

（3）volatile关键字
可见性 ：当一个变量对共享变量进行了修改，那么另外的线程都是立即可以看到修改后的最新值。volatile 关键字可以保证共享变量的可见性。
有序性 ：代码在执行的过程中的先后顺序，Java 在编译器以及运行期间的优化，代码的执行顺序未必就是编写代码时候的顺序。volatile 关键字可以禁止指令进行重排序优化。
volatile关键字基本不可以用来保证原子性

3、synchronized关键字和volatile关键字比较

（1）volatile关键字是线程同步的轻量级实现，所以volatile性能肯定比synchronized关键字要好。但是volatile关键字只能用于变量而synchronized关键字可以修饰方法以及代码块。synchronized关键字在JavaSE1.6之后进行了主要包括为了减少获得锁和释放锁带来的性能消耗而引入的偏向锁和轻量级锁以及其它各种优化之后执行效率有了显著提升，实际开发中使用 synchronized 关键字的场景还是更多一些。
（2）多线程访问volatile关键字不会发生阻塞，而synchronized关键字可能会发生阻塞
（3）volatile关键字能保证数据的可见性，但不能保证数据的原子性。synchronized关键字两者都能保证。
（4）volatile关键字主要用于解决变量在多个线程之间的可见性，而 synchronized关键字解决的是多个线程之间访问资源的同步性。