Synchronized 关键字解析

本贴最后更新于 1602 天前,其中的信息可能已经时移俗易

总括

JVM 会通过 monitor 来进行加锁、解锁,从而保证有且仅有一个线程能够执行指定的代码,从而保证线程的安全,同时还具有可重入和不可中断的性质。

简介

同步方法:

同步方法支持一种简单的策略来防止线程干扰和内存一致性错误:如果一个对象对多个线程可见,则该对象变量的所有读取或写入都是通过同步方法完成的。

synchrnized 保证在同一时刻有且仅有一个线程在执行该段代码,从而保证并发的安全。

synchronized 地位

Synchronized 是 java 的关键字,被 java 语言原生支持,是最基本的互斥同步手段。

为什么学习

接下来我们来看一段代码:

public class test1 implements Runnable{
    //创建本类实例 ps:需要添加static关键字
    static test1 instance = new test1();

    static int count = 0;
    public static void main(String[] args) throws InterruptedException {
        //两个线程共用test1实例的方法
        Thread t1 = new Thread(instance);
        Thread t2 = new Thread(instance);
        //启动线程
        t1.start();
        t2.start();

        //为了在两个线程执行完毕之后执行sout,直到线程执行完毕才执行sout
        //调用join方法,让线程进入等待状态
        t1.join();
        t2.join();

        System.out.println(count);
        //计算结果不符合预期
    }

    //对象锁:synchronized 添加在普通方法 public synchronized void run(){}
    //对象锁:同步代码块 synchronized(this){}
    //类锁:.class  synchronized(test.class){}
    //类锁:static形式 run(){method();} public static synchronized void method(){}
    @Override
    public  void run() {
        for (int i = 0;i < 100000; i++) count++;
    }
}

运行结果:

test1 截图.png

从代码和结果中可以看出,虽然两个线程各执行 100000 次,但是结果却没有 200000,那是为什么呢?

两个线程同时对 count++ 操作,其中包含的动作为:

  1. 读取 count
  2. 执行 count+1 操作
  3. 讲 count 的值写入内存中

而为什么会出现值比真实值小呢?我们可以设想一下:
当 t1 在对 count 执行第二步 +1 操作时候(count=11),但是还没有写入内存中的时候,t2 进来了(读取 count=10),这时候 t1 虽然执行 +1 操作(count=11)了,但是 t2 读取到的仍然是之前的值(count=10)。
出现上述情况我们称之为线程不安全。我们设想一下,这是有关钱的计算,是不是就会很严重了。


用法

synchronized 关键字用法包括对象锁和类锁。其中对象锁包括方法锁和同步代码块;类锁包括 synchronized 修饰静态方法和锁为 Class 对象。

对象锁

包括方法锁(默认锁对象为 this 当前实例对象)和同步代码块锁(自己指定锁对象)

代码块形式

手动指定锁对象

public class test2 implements Runnable{
    static test2 instance = new test2();
    Object lock1 = new Object();//锁对象
    Object lock2 = new Object();

    public static void main(String[] args) throws InterruptedException {
        Thread t1 = new Thread(instance);
        Thread t2 = new Thread(instance);
        t1.start();
        t2.start();

        //只要线程有存活就执行空的while循环
        while(t1.isAlive() || t2.isAlive()){}

        System.out.println("end");

    }

    @Override
    public void run() {
        //synchronized保证串行执行,有且仅有一个线程执行
        /*synchronized (this){
            System.out.println("对象锁:"+Thread.currentThread().getName());//获取线程名字->Thread.currentThread()获取当前线程
            try {
                Thread.sleep(3000);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            System.out.println("结束:"+Thread.currentThread().getName());
        }*/

        //当业务逻辑复杂时候需要自己定义锁对象
        synchronized (lock1){
            System.out.println("lock1锁:"+Thread.currentThread().getName());//获取线程名字->Thread.currentThread()获取当前线程
            try {
                Thread.sleep(3000);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            System.out.println("lock1结束:"+Thread.currentThread().getName());
        }

        synchronized (lock2){
            System.out.println("lock2锁:"+Thread.currentThread().getName());//获取线程名字->Thread.currentThread()获取当前线程
            try {
                Thread.sleep(3000);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            System.out.println("lock2结束:"+Thread.currentThread().getName());
        }
    }
}

方法锁形式

synchronized 修饰的普通方法,锁对象默认为 this


public class test3 implements Runnable{
    static test3 instance = new test3();

    public static void main (String[] args){
        Thread t1 = new Thread(instance);
        Thread t2 = new Thread(instance);

        t1.start();
        t2.start();

        while (t1.isAlive()|| t2.isAlive()){}

        System.out.println("end");
    }


    @Override
    public void run() {
        method();
    }

    public synchronized void method(){
        System.out.println("对象锁方法修饰形式:"+Thread.currentThread().getName());

        try {
            Thread.sleep(3000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        System.out.println("对象锁修饰方法结束:"+Thread.currentThread().getName());
    }
}

类锁

synchronized 修饰静态的方法或指定锁为 Class 对象

java 类可能会有很多个对象,但只有一个 class 对象。由于只有一个,不同的实例之间会有互斥,只能够一个线程在同一时间访问被类锁修饰的方法。所谓的类锁其实就是 Class 对象锁而已,(概念性存在,帮助我们理解实例方法与静态方法区别)

效果类锁只能在同一时间被一个对象拥有,其他对象竞争就会出现阻塞情况

PS:即使是不同的 Runnable 实例,这个线程所对应的实例只有一个。(对象锁:不同的实例创建出来,都可以一块运行,但是类锁只能一个运行)

synchronized 加在 static 方法上


public class test4 implements Runnable{
    static test4 instance1 = new test4();
    static test4 instance2 = new test4();

    public static void main (String[] args){
        Thread t1 = new Thread(instance1);
        Thread t2 = new Thread(instance2);

        t1.start();
        t2.start();

        while (t1.isAlive()|| t2.isAlive()){}

        System.out.println("end");
    }


    @Override
    public void run() {
        method();
    }

    public static synchronized void method(){
        System.out.println("类锁static形式:"+Thread.currentThread().getName());

        try {
            Thread.sleep(3000);
        } catch (InterruptedException e) {
            e.printStackTrace();
        }
        System.out.println("类锁static结束:"+Thread.currentThread().getName());
    }
}

synchronized(*.class)代码块

public class test5 implements Runnable{
    static test5 instance1 = new test5();
    static test5 instance2 = new test5();

    public static void main (String[] args){
        Thread t1 = new Thread(instance1);
        Thread t2 = new Thread(instance2);

        t1.start();
        t2.start();

        while (t1.isAlive()|| t2.isAlive()){}

        System.out.println("end");
    }


    @Override
    public void run() {
        method();
    }

    public void method() {
        synchronized (test5.class){
            System.out.println("类锁.class形式:"+Thread.currentThread().getName());

            try {
                Thread.sleep(3000);
            } catch (InterruptedException e) {
                e.printStackTrace();
            }
            System.out.println("类锁.class结束:"+Thread.currentThread().getName());

        }
    }
}



性质

可重入不可中断

可重入

可重入也叫做递归锁。指的是同一线程的外层函数获得锁之后,内层函数可以直接再次获得锁。

优点:避免死锁、提升封装性
粒度:线程而非调用


public class test6 {

    boolean flag = true;

    public static void main(String[] args){
        test6 test = new test6();
        test.methond();

        test.methond1();
    }
    //一个方法是可重入的
    private synchronized void methond() {
        System.out.println("进入methond,flag:"+flag);
        if(flag){
            flag = false;
            methond();

        }
    }
    //可重入不要求同一个方法
    private synchronized void methond1() {
        System.out.println("进入methond1");
        methond2();
    }

    private synchronized void methond2() {
        System.out.println("进入methond2");
    }

    public synchronized void dosomething(){
        System.out.println("父类方法");
    }
}

//可重入不要求同一个类
class testdo extends test6 {
    @Override
    public synchronized void dosomething() {
        System.out.println("子类方法");
        super.dosomething();
    }
    public static void main(String[] args){
        testdo t = new testdo();
        t.dosomething();
    }
}

不可中断

一旦这个锁已经被其他线程获得。如果当前线程还想获得,那么只能选择等待或者阻塞,直到别的线程释放这个锁。如果永远不释放锁,那么只能永远等待下去。

PS:相比之下,Lock 可以拥有中断得能力,如果等待时间太长可以选择中断现在已经获得锁得线程执行或者退出。


原理

加锁、可重入、可见性原理

加锁、释放锁得原理

现象
每个类的实例对应一把锁,而每一个 synchronized 方法都必须获得调用该方法实例的锁,才能够执行,否则会进入阻塞状态,而方法一旦执行就独占这把锁,直到该方法返回或者抛出异常才释放锁,其他线程才能够获得。
原理
每个 java 对象都可以用作一个实现同步的锁,这个锁被称为内置锁或者监视器锁,线程在进入同步代码块之前会自动获得该锁,并且在退出时候会自动释放锁。

monitorenter 与 monitorexit

通过反编译后可以看见两个关键字。
monitorenter(加锁,锁计数 +1) monitorexit(解锁,锁计数-1),类似 PV 操作。 通常可以看见 monitorexit 数量多于 monitorenter,因为在进入时候需要加锁,但是在退出时候可能是执行结束退出或者是异常退出等。
monitorenter:
每个对象都与一个 monitorenter 相关联,而一个 monistorentorer 的 lock 锁只能在同一时间被一个线程获得, 一个线程在尝试获得于 Monditorenter 想关联的所有权的时候,如果 monditorenter 的计数器为 0,则线程会立刻获得锁,将计数器 +1;如果获得 Monditorenter 所有权后发生重入,则计数器依次 +1,
如果 monitorenter 如果其他线程所持有,则当前线程只能处于阻塞状态,直到 monitorenter 计数器变为 0,才能获得锁。
monitorexit:
前提是已经获得锁的所有权,在释放的过程中依次对计数器-1,直到计数器变为 0,则线程不再拥有对 monditorenter 的所有权(解锁),如果计数器不为 0,说明之前为可重入的,则继续持有锁。

可重入原理:加锁次数计数器

一个线程拿到一把锁之后如果还想再次进入由这把锁控制的方法,它可直接进入,通过利用加锁次数计数器来实现。

每个对象自动含有一把锁,而 JVM 负责跟踪对象被加锁的次数,当线程第一次给对象加锁的时候,计数器变为 1.每当这个相同的线程在此对象上再次获得锁的时候,计数器依次加一,每当任务离开时候,计数递减。当计数为 0 的时候,锁被完全释放。

保证可见性的原理:内存模型

在 java 线程模型中:当线程 A 要与线程 B 进行通信时候,线程 A 会将本地内存 A 中自己修改过的变量放入到主内存中,线程 B 通过到主内存中去读取。整个过程由 JMM(java 内存模型)控制,从而提高可见性的保证。

内存模型中 synchronized 实现
一个代码块或者方法被 synchronized 修饰,那么它在进入代码块得到锁之后,将从主内存中获取锁定的对象的数据,在执行结束后,被锁住对象所做的任何修改,在锁被释放之前都要从线程内存写回到主内存中,从而保证每次执行都是可靠的。


Synchronized 的缺陷

效率低、不够灵活、无法预判是否成功获取锁

  • 效率低:
    锁的释放情况少:当前线程只有在执行结束或者异常抛出才会释放锁,否则都不会。如果在等待 IO 或者其他操作而阻塞了,那么其他线程则不能获得锁。
    试图获得锁时不能设定超时:没有获得锁的线程只能一直等待锁释放,例如对于 Lock,则可以设置超时,超过时间则不再等待。
    不能中断一个正在试图获得锁的线程:synchrnized 加锁后不能中断,但是对于 Lock 能够中断
  • 不够灵活:
    加锁和释放锁的时机单一,因为每个锁仅能锁住由一个单一条件(某个对象),直到自己解开 ,但这样很多时候是不够的,例如读写锁则在读的时候不加锁,在写的时候加锁,这样则更加灵活
  • 无法直到是否成功获取到锁:
    如果使用 synchronized 没有办法提前知道他能否成功获取到锁,而造成不便,但是 lock 中就可尝试去获取,如果获取到则对应一些逻辑,如果失败了则对应另一些逻辑

多线程访问同步方法的情况:

  • 两个线程同时访问一个对象的同步方法
    会依次执行,锁生效
  • 两个线程同时访问两个对象的同步方法
    他们之间不受干扰,因为锁对象不是同一个
  • 两个线程同时访问 synchronized 修饰的静态方法
    会依次执行锁生效
  • 同时访问同步方法与非同步方法
    非同步方法不受到影响,synchronized 只是作用与修饰的方法中
  • 访问同一个对象的不同的普通同步方法
    由于是 synchronized 拿到的是同一个 this,所以他们没办法同时运行,出现串行执行情况
  • 同时访问静态的 synchronized 和非静态的 synchronized 方法
    static synchronized 锁住的对象是 class 对象,没有 static 修饰的非静态方法锁住的是这个对象实例本身 this。由于锁住的是不同对象,所以会同时运行
  • 方法抛出异常后会释放锁吗?
    在抛出异常后 lock 不会释放锁,需要在 try...catch..final 的 final 中或其他方法去释放
    但是 synchronized 修饰的方法中抛出异常,java 虚拟机中会自动释放锁
  • 当在执行 synchronized 修饰的方法中去调用没有被 synchronized 修饰的方法是线程安全吗?
    不是线程安全,因为没有被 synchronized 修饰的方法,可以被多个线程同时访问。

总结:

一把锁只能同时被一个线程获取,没有拿到锁的线程必须等待
每个实例都对应有自己的一把锁,不同实例之间互不影响; 例如:锁对象是.class 以及 synchronized 修饰的 static 方法时候,所有的对象共用同一把类锁
无论是方法正常执行完毕或者方法抛出异常,都会释放锁

常见问题

synchronized 使用注意点:

  • 锁对象不能为空:我们指定一个对象作为我们的锁对象,它必须是一个实例对象(new)或者使用其他方法创建好的而不能是一个空对象,因为这些锁的信息是保存在对象头中的。
  • 作用域不易过大:作用域过大后影响程序执行速度
  • 避免死锁

如何选择 Lock 和 synchronized 关键字:

  • 如果可以则不适用 Lock 也不适用 synchronized,而是选择使用 java.util.concurrent 中的类。在使用这些类的时候更加方便,不需要自己去做同步工作
  • 如果 synchronized 在程序中适用,则优先适用 synchronized 关键字,这样可以减少要编写的代码,从而减少出错的概率
  • 如果特别需要 Lock 独有特性的时候才选择 Lock

多线程访问同步方法的各种具体情况(前 8 种)

多个线程等待同一个 synchronized 锁的时候,jvm 如何选择下一个获取锁的是哪个线程?
锁调度机制。对于 synchronized 内置锁,不同版本的 JVM 处理方式不同,blocked 和 running 都有几率。

synchronized 使得同时只有一个线程可以执行,性能较差,有什么办法可以提升性能?
优化适用范围,或者转化为读写锁

想要更加灵活的控制锁的获取和释放
可以自己实现 Lock 接口

  • Java

    Java 是一种可以撰写跨平台应用软件的面向对象的程序设计语言,是由 Sun Microsystems 公司于 1995 年 5 月推出的。Java 技术具有卓越的通用性、高效性、平台移植性和安全性。

    3190 引用 • 8214 回帖 • 1 关注
  • 并发
    75 引用 • 73 回帖 • 1 关注

相关帖子

欢迎来到这里!

我们正在构建一个小众社区,大家在这里相互信任,以平等 • 自由 • 奔放的价值观进行分享交流。最终,希望大家能够找到与自己志同道合的伙伴,共同成长。

注册 关于
请输入回帖内容 ...