美文网首页java并发编程
java并发编程-synchronized

java并发编程-synchronized

作者: wangpeng123 | 来源:发表于2020-12-20 21:32 被阅读0次

    关注微信公众号:程序猿的日常分享,定期更新分享。

    在java中synchronized关键字是同步锁,他可以让我们的程序运行起来线程安全,屏蔽多线程带来的问题,实现同步是要很大的系统开销作为代价的,甚至可能造成死锁,所以尽量避免无谓的同步控制。

    实现原理

    Synchronized是通过对象内部的一个叫做监视器锁(monitor)来实现的。但是监视器锁本质又是依赖于底层的操作系统的互斥锁(Mutex Lock)来实现的。而操作系统实现线程之间的切换这就需要从用户态转换到核心态,这个成本非常高,状态之间的转换需要相对比较长的时间,这就是为什么Synchronized效率低的原因。这种依赖于操作系统互斥锁(Mutex Lock)所实现的锁我们称之为“重量级锁”。

    监视器锁(monitor)

    当monitor被占用时就会处于锁定状态,线程执行monitorenter指令时尝试获取monitor的所有权,线程执行monitorexit就会释放monitor所有权。

    monitorenter

    执行 monitorenter 的线程尝试获得 monitor 的所有权,会发生以下这三种情况之一:
    1、如果monitor的进入数为0,则该线程进入monitor,然后将进入数设置为1,该线程即为monitor的所有者。
    2、如果线程已经占有该monitor,只是重新进入,则进入monitor的进入数加1。
    3、如果其他线程已经占用了monitor,则该线程进入阻塞状态,直到monitor的进入数为0,再重新尝试获取monitor的所有权。

    monitorexit

    monitorexit 的作用是将 monitor 的计数器减 1,直到减为 0 为止。代表这个 monitor 已经被释放了,已经没有任何线程拥有它了,也就代表着解锁,所以,其他正在等待这个 monitor 的线程,此时便可以再次尝试获取这个 monitor 的所有权。

    获取和释放监视器锁(monitor)

    锁定代码块:

    public class TestSync {
        public void sync() {
            synchronized (TestSync.class) {
                System.out.println("test");
            }
        }
    }
    

    通过反编译看到如下代码:

    public void sync();
        descriptor: ()V
        flags: ACC_PUBLIC
        Code:
          stack=2, locals=3, args_size=1
             0: ldc           #2                  // class com/example/demo/test/TestSync
             2: dup
             3: astore_1
             4: monitorenter
             5: getstatic     #3                  // Field java/lang/System.out:Ljava/io/PrintStream;
             8: ldc           #4                  // String test
            10: invokevirtual #5                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
            13: aload_1
            14: monitorexit
            15: goto          23
            18: astore_2
            19: aload_1
            20: monitorexit
            21: aload_2
            22: athrow
            23: return
    

    从里面可以看出,synchronized 代码块实际上多了 monitorenter 和 monitorexit 指令,在第4、14、20行指令分别使用了 monitorenter 和 monitorexit。这里有一个 monitorenter,却有两个 monitorexit 指令的原因是,JVM 要保证每个 monitorenter 必须有与之对应的 monitorexit,monitorenter 指令被插入到同步代码块的开始位置,而 monitorexit 需要插入到方法正常结束处和异常处两个地方,这样就可以保证抛异常的情况下也能释放锁。
    再来看一个添加到方法上的例子:

    public class TestSync {
        public static synchronized void syncStatic() {
            
        }
    }
    

    反编译后的代码:

    public static synchronized void syncStatic();
        descriptor: ()V
        flags: ACC_PUBLIC, ACC_STATIC, ACC_SYNCHRONIZED
        Code:
          stack=0, locals=0, args_size=0
             0: return
    
    

    在同步块中使用了monitorenter 和 monitorexit 指令,而同步方法则是依靠方法修饰符上的ACC_SYNCHRONIZED来完成的,无论哪种方式,本质上都是通过监视器锁(monitor)来完成的,在获取这个锁的过程中是排他的,也就是同一时间只能有一个线程获取到由synchronized所保护的对象监视器。

    锁定的范围

    synchronized可以被应用在方法上和代码块上,那么就存在几种情况:
    1、synchronized加在普通方法上,则它取得的锁是当前对象。
    2、synchronized加在一段代码块上,则它取得的锁是synchronized(Object)括号中的对象。
    3、synchronized加在静态方法上,则它取得的锁是对类,该类所有的对象同一把锁。

    锁优化

    Java SE1.6对Synchronized进行了各种优化之后,它并不那么重了。在不同的场景中引入不同的锁优化。
    1.偏向锁:适用于锁没有竞争的情况,假设共享变量只有一个线程访问。如果有其他线程竞争锁,锁则会膨胀成为轻量级锁。
    2.轻量级锁:适用于锁有多个线程竞争,但是在一个同步方法块周期中锁不存在竞争,如果在同步周期内有其他线程竞争锁,锁会膨胀为重量级锁。
    3.重量级锁:竞争激烈的情况下使用重量级锁。
    偏向锁和轻量级锁之所以会在性能上比重量级锁是因为好,本质上是因为偏向锁和轻量级锁仅仅使用了CAS。
    4.锁粗化:如果释放了锁,紧接着什么都没做,又重新获取锁,那么其实这种释放和重新获取锁是完全没有必要的,如果把同步区域扩大,也就是只在最开始加一次锁,并且在最后直接解锁。那么就可以把中间这些无意义的解锁和加锁的过程消除。如下代码:

    public void lockCoarsening() {
        synchronized (this) {
            //do something
        }
        synchronized (this) {
            //do something
        }
        synchronized (this) {
            //do something
        }
    }
    

    5.锁消除
    在大多数情况下,方法只会在一个线程内被使用,如果编译器能确定这个方法只会在一个线程内被使用,就代表肯定是线程安全的,那么我们的编译器便会做出优化,把对应的 synchronized 给消除,省去加锁和解锁的操作,以便增加整体的效率。
    6.自适应自旋锁
    自旋就是通过不断的循环,不释放CPU资源,不断的尝试去获取锁,但是如果自旋的时间过长,那么性能开销就会很大,浪费了CPU的资源。
    在 JDK 1.6 中引入了自适应的自旋锁来解决长时间自旋的问题。自适应意味着自旋的时间不再固定,而是会根据最近自旋尝试的成功率、失败率,以及当前锁的拥有者的状态等多种因素来共同决定。自旋的持续时间是变化的,自旋锁变“聪明”了。比如,如果最近尝试自旋获取某一把锁成功了,那么下一次可能还会继续使用自旋,并且允许自旋更长的时间;但是如果最近自旋获取某一把锁失败了,那么可能会省略掉自旋的过程,以便减少无用的自旋,提高效率。

    关注微信公众号:程序猿的日常分享,定期更新分享。

    相关文章

      网友评论

        本文标题:java并发编程-synchronized

        本文链接:https://www.haomeiwen.com/subject/jxzknktx.html