转载

深入理解synchronized

并发编程中用到最多的关键字就是synchronized。下面来探究一下synchronized:

synchronized如何使用？
synchronized是如何实现同步加锁的，原理是什么？
synchronized解决了并发编程的哪些问题？

1 synchronized使用

1.1 线程安全问题

并发编程中，当多个线程同时访问同一个资源的时候，就会引发线程安全问题。

由于每个线程执行的过程是不可控的，所以很有可能导致最终的结果和实际期望的结果违背或者直接导致程序出错。

例子

public class VolatileTest{
    public int inc = 0;
    public void increase(){
        inc++;
    }
    public static void main(String[] args){
        final VolatileTest test = new VolatileTest();
        for(int i = 0; i < 10; i++){
            new Thread(){
                public void run(){
                    for(int j = 0; j < 1000 ; j++){
                        test.increase();
                    }
                }
            }.start();
        }
        while(Thread.activeCount()>1){
            Thread.yield();
            System.out.println(test.inc);
        }
    }
}
复制代码

目的：test.inc = 10000;

结果：多次执行得到的结果都小于10000；

分析：多个线程同时读到inc的值，并对其进行加1的操作，导致多次操作只对inc的值只增加了1。

基本上所有的并发模式在解决线程安全问题的时候，都会采用对临界资源进行序列化访问的方式，简单来说就是，在同
一时刻，只能有一个线程访问该临界资源，实现同步互斥访问。通常来说，就是在临界资源代码前进行加锁的操作，必须先获得锁，才能访问，访问完毕后释放锁，其他线程可以访问。

在java中，提供了两种方式来实现同步互斥访问：synchronized和lock
复制代码

1.2 synchronized用法

普通同步方法，锁是当前实例对象
静态同步方法，锁是当前类的class对象
同步方法块，锁是括号里面的对象

例子

public class MyClass{
    int count;
   
    // 1.实例方法
    public synchronized void add(int value){
        count += value;
    }
   
    // 2.实例方法中的同步块 (等价于1)
    public void add(int value){
        synchronized(this){
            count += value;
        }
    }
   
    // 3.静态方法
    public static synchronized void add(intvalue){
         count += value;
    }
   
    // 4.静态方法中的同步块 (等价于3)
    public static void add(int value){
        synchronized(MyClass.class){
            count += value;
        }
    }
}
复制代码

2. 原理探究

如下代码，利用javap工具查看生成的class文件信息来分析Synchronized的实现。代码：

public class synchronized Test {
    // 同步代码块
    public void doSth1(){
       synchronized (synchronizedTest.class){
           System.out.println("HelloWorld");
       }
    }
    // 同步方法
    public synchronized void doSth2(){
        System.out.println("HelloWorld");
    }
}
复制代码

使用javap对class文件进行反编译后结果：

javap命令：

D:/install/java/jdk8/bin/javap.exe -v ./synchronizedTest.class

从反编译后的结果中可以看到：对于同步方法，JVM采用ACC_synchronized标记符来实现同步。对于同步代码块。JVM采用monitorenter、monitorexit两个指令来实现同步。

同步代码块

JVM采用monitorenter、monitorexit两个指令来实现同步。查询JVM规范The Java® Virtual Machine Specification[1]中关于monitorenter和monitorexit的介绍：

大致内容如下：

可以把执行monitorenter指令理解为加锁，执行monitorexit理解为释放锁。
每个对象维护着一个记录着被锁次数的计数器。
未被锁定的对象的该计数器为0，当一个线程获得锁（执行monitorenter）后，该计数器自增变为1，当同一个线程再次获得该对象的锁的时候，计数器再次自增。当同一个线程释放锁（执行monitorexit指令）的时候，计数器再自减。
当计数器为0的时候。锁将被释放，其他线程便可以获得锁。

同步方法

JVM采用ACC_synchronized标记符来实现同步。查询JVM规范The Java® Virtual Machine Specification[2]中关于方法级同步的介绍：

大致内容如下

：

方法级的同步是隐式的。同步方法的常量池中会有一个ACC_synchronized标志。
当某个线程要访问某个方法的时候，会检查是否有ACC_synchronized，如果有设置，则需要先获得监视器锁（monitor），然后开始执行方法，方法执行之后再释放监视器锁。这时如果其他线程来请求执行方法，会因为无法获得监视器锁而被阻断住。
值得注意的是，如果在方法执行过程中，发生了异常，并且方法内部并没有处理该异常，那么在异常被抛到方法外面之前监视器锁会被自动释放。