文章详情

短信预约-IT技能 免费直播动态提醒

请输入下面的图形验证码

提交验证

短信预约提醒成功

java中synchronized的原理以及作用

2023-06-20 12:03

关注

本篇内容介绍了“java中synchronized的原理以及作用”的有关知识,在实际案例的操作过程中,不少人都会遇到这样的困境,接下来就让小编带领大家学习一下如何处理这些情况吧!希望大家仔细阅读,能够学有所成!

问题

(1)synchronized的特性?

(2)synchronized的实现原理?

(3)synchronized是否可重入?

(4)synchronized是否是公平锁?

(5)synchronized的优化?

(6)synchronized的五种使用方式?

简介

synchronized关键字是Java里面最基本的同步手段,它经过编译之后,会在同步块的前后分别生成 monitorenter 和 monitorexit 字节码指令,这两个字节码指令都需要一个引用类型的参数来指明要锁定和解锁的对象。

实现原理

在学习Java内存模型的时候,我们介绍过两个指令:lock 和 unlock。

lock,锁定,作用于主内存的变量,它把主内存中的变量标识为一条线程独占状态。

unlock,解锁,作用于主内存的变量,它把锁定的变量释放出来,释放出来的变量才可以被其它线程锁定。

但是这两个指令并没有直接提供给用户使用,而是提供了两个更高层次的指令 monitorenter 和 monitorexit 来隐式地使用 lock 和 unlock 指令。

而 synchronized 就是使用 monitorenter 和 monitorexit 这两个指令来实现的。

根据JVM规范的要求,在执行monitorenter指令的时候,首先要去尝试获取对象的锁,如果这个对象没有被锁定,或者当前线程已经拥有了这个对象的锁,就把锁的计数器加1,相应地,在执行monitorexit的时候会把计数器减1,当计数器减小为0时,锁就释放了。

我们还是来上一段代码,看看编译后的字节码长啥样来学习:

public class SynchronizedTest{public static void sync(){    synchronized(SynchronizedTest.class){        synchronized(SynchronizedTest.class){        }            }}public static void main(String[] args){      } }

我们这段代码很简单,只是简单地对SynchronizedTest.class对象加了两次synchronized,除此之外,啥也没干。

编译后的sync()方法的字节码指令如下,为了便于阅读,彤哥特意加上了注释:

// 加载常量池中的SynchronizedTest类对象到操作数栈中0 ldc #2 <com/coolcoding/code/synchronize/SynchronizedTest>// 复制栈顶元素2 dup// 存储一个引用到本地变量0中,后面的0表示第几个变量3 astore_0// 调用monitorenter,它的参数变量0,也就是上面的SynchronizedTest类对象4 monitorenter// 再次加载常量池中的SynchronizedTest类对象到操作数栈中5 ldc #2 <com/coolcoding/code/synchronize/SynchronizedTest>// 复制栈顶元素7 dup// 存储一个引用到本地变量1中8 astore_1// 再次调用monitorenter,它的参数是变量1,也还是SynchronizedTest类对象9 monitorenter// 从本地变量表中加载第1个变量10 aload_1// 调用monitorexit解锁,它的参数是上面加载的变量111 monitorexit// 跳到第20行12 goto 20 (+8)15 astore_216 aload_117 monitorexit18 aload_219 athrow// 从本地变量表中加载第0个变量20 aload_0// 调用monitorexit解锁,它的参数是上面加载的变量021 monitorexit// 跳到第30行22 goto 30 (+8)25 astore_326 aload_027 monitorexit28 aload_329 athrow// 方法返回,结束30 return

按照彤哥的注释读起来,字节码比较简单,我们的synchronized锁定的是SynchronizedTest类对象,可以看到它从常量池中加载了两次SynchronizedTest类对象,分别存储在本地变量0和本地变量1中,解锁的时候正好是相反的顺序,先解锁变量1,再解锁变量0,实际上变量0和变量1指向的是同一个对象,所以synchronized是可重入的。

至于,被加锁的对象具体在对象头中是怎么存储的,彤哥这里就不细讲了,有兴趣的可以看看《Java并发编程的艺术》这本书。

原子性、可见性、有序性

前面讲解Java内存模型的时候我们说过内存模型主要就是用来解决缓存一致性的问题的,而缓存一致性主要包括原子性、可见性、有序性。

那么,synchronized关键字能否保证这三个特性呢?

还是回到Java内存模型上来,synchronized关键字底层是通过monitorenter和monitorexit实现的,而这两个指令又是通过lock和unlock来实现的。

而lock和unlock在Java内存模型中是必须满足下面四条规则的:

(1)一个变量同一时刻只允许一条线程对其进行lock操作,但lock操作可以被同一个线程执行多次,多次执行lock后,只有执行相同次数的unlock操作,变量才能被解锁。

(2)如果对一个变量执行lock操作,将会清空工作内存中此变量的值,在执行引擎使用这个变量前,需要重新执行load或assign操作初始化变量的值;

(3)如果一个变量没有被lock操作锁定,则不允许对其执行unlock操作,也不允许unlock一个其它线程锁定的变量;

(4)对一个变量执行unlock操作之前,必须先把此变量同步回主内存中,即执行store和write操作;

通过规则(1),我们知道对于lock和unlock之间的代码,同一时刻只允许一个线程访问,所以,synchronized是具有原子性的。

通过规则(1)(2)和(4),我们知道每次lock和unlock时都会从主内存加载变量或把变量刷新回主内存,而lock和unlock之间的变量(这里是指锁定的变量)是不会被其它线程修改的,所以,synchronized是具有可见性的。

通过规则(1)和(3),我们知道所有对变量的加锁都要排队进行,且其它线程不允许解锁当前线程锁定的对象,所以,synchronized是具有有序性的。

综上所述,synchronized是可以保证原子性、可见性和有序性的。

公平锁 VS 非公平锁

通过上面的学习,我们知道了synchronized的实现原理,并且它是可重入的,那么,它是否是公平锁呢?

直接上菜:

public class SynchronizedTest {      public static void sync(String tips) {          synchronized (SynchronizedTest.class) {              System.out.println(tips);              try {          Thread.sleep(1000);          } catch (InterruptedException e) {              e.printStackTrace();     }   }}public static void main(String[] args) throws InterruptedException {   new Thread(()->sync("线程1")).start();   Thread.sleep(100);   new Thread(()->sync("线程2")).start();   Thread.sleep(100);   new Thread(()->sync("线程3")).start();   Thread.sleep(100);   new Thread(()->sync("线程4")).start();     }}

在这段程序中,我们起了四个线程,且分别间隔100ms启动,每个线程里面打印一句话后等待1000ms,如果synchronized是公平锁,那么打印的结果应该依次是 线程1、2、3、4。

但是,实际运行的结果几乎不会出现上面的样子,所以,synchronized是一个非公平锁。

锁优化

Java在不断进化,同样地,Java中像synchronized这种古老的东西也在不断进化,比如ConcurrentHashMap在jdk7的时候还是使用ReentrantLock加锁的,在jdk8的时候已经换成了原生的synchronized了,可见synchronized有原生的支持,它的进化空间还是很大的。

那么,synchronized有哪些进化中的状态呢?

我们这里稍做一些简单地介绍:

(1)偏向锁,是指一段同步代码一直被一个线程访问,那么这个线程会自动获取锁,降低获取锁的代价。

(2)轻量级锁,是指当锁是偏向锁时,被另一个线程所访问,偏向锁会升级为轻量级锁,这个线程会通过自旋的方式尝试获取锁,不会阻塞,提高性能。

(3)重量级锁,是指当锁是轻量级锁时,当自旋的线程自旋了一定的次数后,还没有获取到锁,就会进入阻塞状态,该锁升级为重量级锁,重量级锁会使其他线程阻塞,性能降低。

总结

(1)synchronized在编译时会在同步块前后生成monitorenter和monitorexit字节码指令;

(2)monitorenter和monitorexit字节码指令需要一个引用类型的参数,基本类型不可以哦;

(3)monitorenter和monitorexit字节码指令更底层是使用Java内存模型的lock和unlock指令;

(4)synchronized是可重入锁;

(5)synchronized是非公平锁;

(6)synchronized可以同时保证原子性、可见性、有序性;

(7)synchronized有三种状态:偏向锁、轻量级锁、重量级锁;

彩蛋——synchronized的五种使用方式

通过上面的分析,我们知道synchronized是需要一个引用类型的参数的,而这个引用类型的参数在Java中其实可以分成三大类:类对象、实例对象、普通引用,使用方式分别如下:

public class SynchronizedTest2 {    public static final Object lock = new Object();    // 锁的是SynchronizedTest.class对象    public static synchronized void sync1() {    }    public static void sync2() {        // 锁的是SynchronizedTest.class对象        synchronized (SynchronizedTest.class) {     } }    // 锁的是当前实例this    public synchronized void sync3() { }    public void sync4() {      // 锁的是当前实例this      synchronized (this){     } }     public void sync5() {       // 锁的是指定对象lock       synchronized (lock) {         }     }}

总结

在方法上使用synchronized的时候要注意,会隐式传参,分为静态方法和非静态方法,静态方法上的隐式参数为当前类对象,非静态方法上的隐式参数为当前实例this。

另外,多个synchronized只有锁的是同一个对象,它们之间的代码才是同步的,这一点在使用synchronized的时候一定要注意。

“java中synchronized的原理以及作用”的内容就介绍到这里了,感谢大家的阅读。如果想了解更多行业相关的知识可以关注编程网网站,小编将为大家输出更多高质量的实用文章!

阅读原文内容投诉

免责声明:

① 本站未注明“稿件来源”的信息均来自网络整理。其文字、图片和音视频稿件的所属权归原作者所有。本站收集整理出于非商业性的教育和科研之目的,并不意味着本站赞同其观点或证实其内容的真实性。仅作为临时的测试数据,供内部测试之用。本站并未授权任何人以任何方式主动获取本站任何信息。

② 本站未注明“稿件来源”的临时测试数据将在测试完成后最终做删除处理。有问题或投稿请发送至: 邮箱/279061341@qq.com QQ/279061341

软考中级精品资料免费领

  • 历年真题答案解析
  • 备考技巧名师总结
  • 高频考点精准押题
  • 2024年上半年信息系统项目管理师第二批次真题及答案解析(完整版)

    难度     801人已做
    查看
  • 【考后总结】2024年5月26日信息系统项目管理师第2批次考情分析

    难度     348人已做
    查看
  • 【考后总结】2024年5月25日信息系统项目管理师第1批次考情分析

    难度     311人已做
    查看
  • 2024年上半年软考高项第一、二批次真题考点汇总(完整版)

    难度     432人已做
    查看
  • 2024年上半年系统架构设计师考试综合知识真题

    难度     220人已做
    查看

相关文章

发现更多好内容

猜你喜欢

AI推送时光机
位置:首页-资讯-后端开发
咦!没有更多了?去看看其它编程学习网 内容吧
首页课程
资料下载
问答资讯