synchronized关键字详解

1 简介

1. Java语言为了解决并发编程中存在的原子性、可见性和有序性问题，提供了一系列和并发处理相关的关键字，比如synchronized、volatile、final、concurrent包等；
2. synchronized关键字在需要原子性、可见性和有序性这三种特性的时候都可以作为其中一种解决方案，看起来是“万能”的。的确，大部分并发控制操作都能使用synchronized来完成；

2 synchronized的用法

1. synchronized是Java提供的一个并发控制的关键字。主要有两种用法，分别是同步方法和同步代码块；
2. 被synchronized修饰的代码块及方法，在同一时间只能被单个线程访问；

public class SynchronizedDemo {
     //同步方法
    public synchronized void doSth(){
        System.out.println("Hello World");
    }

    //同步代码块
    public void doSth1(){
        synchronized (SynchronizedDemo.class){
            System.out.println("Hello World");
        }
    }
}

3 synchronized的实现原理

1. 同步方法的常量池中有一个ACC_SYNCHRONIZED标志。当某个线程要访问某个方法的时候，会检查是否有ACC_SYNCHRONIZED，如果有，则需要先获得监视器锁，然后开始执行方法，方法执行之后再释放监视器锁。这时如果其他线程来请求执行方法，会因为无法获得监视器锁而被阻断住；
2. 同步代码块使用monitorenter和monitorexit两个指令实现。可以把执行monitorenter指令理解为加锁，执行monitorexit理解为释放锁。 每个对象维护着一个记录着被锁次数的计数器。未被锁定的对象的该计数器为0，当一个线程获得锁（执行monitorenter）后，该计数器自增变为 1 ，当同一个线程再次获得该对象的锁的时候，计数器再次自增；当同一个线程释放锁（执行monitorexit指令）的时候，计数器再自减；当计数器为0的时候，锁将被释放，其他线程便可以获得锁；
3. 无论是ACC_SYNCHRONIZED还是monitorenter、monitorexit都是基于Monitor实现的，在Java虚拟机(HotSpot)中，Monitor由ObjectMonitor实现；
4. ObjectMonitor类中提供了几个方法，如enter、exit、wait、notify、notifyAll等。sychronized加锁的时候，会调用objectMonitor的enter方法，解锁的时候会调用exit方法；

4 synchronized与原子性

1. 原子性是指一个操作是不可中断的，要么一次全部执行，要不全部不执行；
2. 线程是CPU调度的基本单位。CPU有时间片的概念，当一个线程获得时间片之后开始执行，在时间片耗尽之后，就会失去CPU使用权。因此在多线程场景下，由于时间片在线程间轮换，就会发生原子性问题；
3. 被synchronized修饰的代码在同一时间只能被一个线程访问，在锁未释放之前，无法被其他线程访问到。因此，在Java中可以使用synchronized来保证方法和代码块内的操作是原子性的；

5 synchronized与可见性

1. 可见性是指当多个线程访问同一个变量时，一个线程修改了这个变量的值，其他线程能立即看到修改的值；
2. Java内存模型规定了所有的变量都存储在主内存中，每个线程还有自己的工作内存，线程的工作内存中保存了该线程中需要用到的变量的主内存副本，线程对变量的所有操作都必须在工作内存中进行，而不能直接读写主内存，不同的线程之间也无法直接访问对方工作内存中的变量，线程间变量的传递均需要自己的工作内存和主存之间进行数据同步。所以，就可能出现线程1改了某个变量的值，但是线程2不可见的情况；
3. synchronized中有一条规则：对一个变量解锁之前，必须先把此变量同步回主存中。因此，被synchronized关键字锁住的对象，其值是具有可见性的；

6 synchronized与有序性

1. 有序性即程序执行的顺序按照代码的先后顺序执行；
2. 除了引入了时间片以外，由于处理器优化和指令重排等，CPU还可能对输入代码进行乱序执行，比如load->add->save 有可能被优化成load->save->add 。这就是可能存在有序性问题；
3. synchronized无法禁止指令重排。也就是说，synchronized无法避免上述提到的问题；
4. 然而，Java程序遵循as-if-serial语义：不管怎么重排序（编译器和处理器为了提高并行度），单线程程序的执行结果都不能被改变；
5. as-if-serial语义保证了单线程中，指令重排是有一定的限制的，而只要编译器和处理器都遵守了这个语义，那么就可以认为单线程程序是按照顺序执行的。当然，实际上还是有重排的，只不过我们无须关心这种重排的干扰。
6. 因此，由于被synchronized修饰的代码同一时间只能被同一线程访问，也就是单线程执行的，可以保证有序性；