synchronized锁升级_synchronized详解以及锁的膨胀升级过程

点击上方"码之初"关注,···选择"设为星标"

与精品技术文章不期而遇

来源:www.cnblogs.com/cxiaocai/p/12189848.html

架构之路远且艰辛,但是学习的脚步始终不能停止,今天聊一聊synchronized。

synchronized是jvm内部的一把隐式锁,一切的加锁和解锁过程是由jvm虚拟机来控制的,不需要我们认为的干预,我们大致从了解锁,到synchronized的使用,到锁的膨胀升级过程三个角度来说一下synchronized。

锁的分类

java中我们听到很多的锁,什么显示锁,隐式锁,公平锁,重入锁等等,下面我来总结一张图来供大家学习使用。

2084b601a97fccb18c63b6b87bac27ee.png

这次我们主要来说我们的隐示锁,就是我们的无锁到重量级锁。

synchronized的使用

我们先来看一段简单的代码

public class SynchronizedTest {

    private static Object object = new Object();
    
    public static void main(String[] args) {
        synchronized (object){
            System.out.println("只有我拿到锁啦");
        }
    }
}

就这样synchronized就可以使用了,这样是每次去拿全局对象的object去锁住后续的代码段。我们来看一下汇编指令码

 public static void main(java.lang.String[]);
    Code:
       0: getstatic     #2                  // Field object:Ljava/lang/Object;
       3: dup
       4: astore_1
       5: monitorenter
       6: getstatic     #3                  // Field java/lang/System.out:Ljava/io/PrintStream;
       9: ldc           #4                  // String 只有我拿到锁啦
      11: invokevirtual #5                  // Method java/io/PrintStream.println:(Ljava/lang/String;)V
      14: aload_1
      15: monitorexit
      16: goto          24
      19: astore_2
      20: aload_1
      21: monitorexit
      22: aload_2
      23: athrow
      24: return
    Exception table:
       from    to  target type
           6    16    19   any
          19    22    19   any

明显看到了两个很重要的方法monitorentermonitorexit两个方法,也就是说我们的synchronized方法加锁是基于monitorenter加锁和monitorexit解锁来操作的

724d66a4d0e6445d59adbc852637dbfe.png

我们得知是由monitorenter来控制加锁和monitorexit解锁的,我们完全可以这样来操作。上次我们说过一个unsafe类。

public class SynchronizedTest {

    private static Object obj = new Object();

    public void lockMethod(){
        UnsafeInstance.reflectGetUnsafe().monitorEnter(obj);
    }
    
    public void unLockMethod(){
        UnsafeInstance.reflectGetUnsafe().monitorExit(obj);
    }
}

就是我们上次说的unsafe那个类给我们提供了加锁和解锁的方法,这样就是实现夸方法的加锁和解锁了,但是超级不建议这样的使用,后面的AQS回去说别的方式。越过虚拟机直接操作底层的,我们一般是不建议这样来做的。

我们还可以将synchronized锁放置在方法上。例如

public class SynchronizedTest {

    private static Object object = new Object();

    public static synchronized void lockMethod() {
        System.out.println("只有我拿到锁啦");
    }
}

这样加锁是加在了this当前类对象上的。如果不加static,锁是加在类对象上的,需要注意我们用的spring的bean作用域。

并且我们的synchronized是一个可重入锁,在jvm源码中有一个数值来记录加锁和解锁的次数,所以我们是可以多次套用synchronized的

public void lockMethod(){
    synchronized(obj){
        synchronized(obj){
            System.out.println("我没报错");
        }
    }
}

synchronized到底锁了什么

还是拿上个每次加锁的时候会在对象头内记录我们的加锁信息,我们这里来说一下对象头里面都放置了什么吧。

以32位JVM内部存储结构为例

ca89179d60a80a6af9c6ede66b1ab1aa.png

由此看出对象一直是有一个位置来记录我们的锁信息的。说到这我们就可以来看一下我们锁的膨胀升级过程了。

锁的膨胀升级

我们说过了对象头的内容,接下来可以说说我们的锁内部是如何升级上锁的了。从无锁到重量级锁的一个升级过程,我们来边画图,边详细看一下。

无锁状态:

1c30cea4bf1726338142ecc6452e23e5.png

开始时应该这样的,线程A和线程B要去争抢锁对象,但还未开始争抢,锁对象的对象头是无锁的状态也就是25bit位存的hashCode,4bit位存的对象的分代年龄,1bit位记录是否为偏向锁,2bit位记录状态,优先看最后2bit位,是01,所以说我们的对象可能无锁或者偏向锁状态的,继续前移一个位置,有1bit专门记录是否为偏向锁的,1代表是偏向锁,0代表无锁,刚刚开始的时候一定是一个无锁的状态,这个不需要多做解释,系统不同内部bit位存的东西可能有略微差异,但关键信息是一致的。

偏向锁:

这时线程开始占有锁对象,比如线程A得到了锁对象。

f9fe3dc4e43b580aa8e68252eab22892.png

就会变成这样的,线程A拿到锁对象,将我们的偏向锁标志位改为1,并且将原有的hashCode的位置变为23bit位存放线程A的线程ID(用CAS算法得到的线程A的ID),2bit位存epoch,偏向锁是永远不会被释放的。

接下来,线程B也开始运行,线程B也希望得到这把锁啊,于是线程B会检查23bit位存的是不是自己的线程ID,因为被线程A已经持有了,一定锁的23bit位一定不是线程B的线程ID了

effc7cd553374cfc5e6713a95c46b099.png

然后线程B也会不甘示弱啊,会尝试修改一次23bit位的对象头存储,如果说这时恰好线程A释放了锁,可以修改成功,然后线程B就可以持有该偏向锁了。如果修改失败,开始升级锁。自己无法修改,线程B只能找“大哥”了,线程B会通知虚拟机撤销偏向锁,然后虚拟机会撤销偏向锁,并告知线程A到达安全点进行等待。线程A到达了安全点,会再次判断线程是否已经退出了同步块,如果退出了,将23bit位置空,这时锁不需要升级,线程B可以直接进行使用了,还是将23bit的null改为线程B的线程ID就可以了。

fca01343864ea67de9e5848d0a97be8b.png

轻量级锁:

如果线程B没有拿到锁,我们就会升级到轻量级锁,首先会在线程A和线程B都开辟一块LockRecord空间,然后把锁对象复制一份到自己的LockRecord空间下,并且开辟一块owner空间留作执行锁使用,并且锁对象的前30bit位合并,等待线程A和线程B来修改指向自己的线程,假如线程A修改成功,则锁对象头的前30bit位会存线程A的LockRecord的内存地址,并且线程A的owner也会存一份锁对象的内存地址,形成一个双向指向的形式。而线程B修改失败,则进入一个自旋状态,就是持续来修改锁对象。

a4882494494d5ba80202d4248d9b2cec.png

重量级锁:

如果说线程B多次自旋以后还是迟迟没有拿到锁,他会继续上告,告知虚拟机,我多次自旋还是没有拿到锁,这时我们的线程B会由用户态切换到内核态,申请一个互斥量,并且将锁对象的前30bit指向我们的互斥量地址,并且进入睡眠状态,然后我们的线程A继续运行知道完成时,当线程A想要释放锁资源时,发现原来锁的前30bit位并不是指向自己了,这时线程A释放锁,并且去唤醒那些处于睡眠状态的线程,锁升级到重量级锁。

7eaf772e9da36e4952350e0ab85315e2.png

逃逸分析

很简单的一个问题,实例对象存在哪里?到底是堆还是栈?问题我先不回答,我们先看一段代码。

public class Test {

    public static void main(String[] args) throws InterruptedException {
        System.out.println("开始");
        for (int i = 0; i             createCar();
        }
        System.out.println("结束");
        Thread.sleep(10000000);
    }


    private static void createCar() {
        Car car = new Car();
    }
}

就是我们运行一个创建对象的方法,一次性创建50万个Car对象,然后我们让我们的线程进行深度的睡眠,两个打印是为了知道我们的对象已经开始创建了和已经创建完成了。我们来运行一下。

f3cafea41e7969b3c8bc014c81d82997.png

然后运行jmap -histo命令来查看我们的线程

28e7f02de6dd04ab18be2cf85c613b7c.png

我们可以看到,car对象并没有产生50万个,别说会被GC掉对象,在运行之前我已经加了GC日志的参数-XX:+PrintGCDetails,控制台没有打印任何GC日志的。那么为什么会这样呢?我们来看一下我们的代码,由createCar代码创建了car对象,但car对象并没有被其它的方法或者线程去调用,虚拟机会认为你这对象可能只是一个实例化,并没有进行使用,这时虚拟机会给予你一个优化,就是对于可能没有使用的对象进行一次逃逸,也就是我们说到的逃逸分析。我们加入 -XX:­DoEscapeAnalysis参数再看一次。

7c74c9ce0209e37817859b97544fe23b.png

这也就是关闭了我们的逃逸分析,虚拟机就会真的为我们创建了50万个对象。也就是说开启了逃逸分析有一部分对象只是创建了线程栈上,当线程栈结束,对象也被销毁,上面的问题也就有答案了,实例对象可能存在堆上,也可能存在栈上。

感谢大家的阅读,不正确的地方,还希望大家来斧正,我们一起探讨技术问题,觉得写得好的,给个推荐,给个赞,点个关注吧,鞠躬,谢谢?。

好文!必须在看

本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若转载,请注明出处:http://www.mzph.cn/news/567237.shtml

如若内容造成侵权/违法违规/事实不符,请联系多彩编程网进行投诉反馈email:809451989@qq.com,一经查实,立即删除!

相关文章

地铁看java书女生_地铁上背单词的女孩

公历一月底的成都,几乎已经到了成都这座城市一年当中最冷的时候了。早上出门的时候天几乎是全黑的,我骑着自行车前往地铁站,在寒风中我不禁缩了缩脖子。因为我上班比较远,所以我出门比较早,这个时候街上的行人还很少&a…

python crm_Python CRM项目一

1 from django.db importmodels2 from django.contrib.auth.models importUser3 #Create your models here.4 classCustomer(models.Model):5 客户信息表6 name models.CharField(max_length32,nullTrue,blankTrue)7 qq models.CharField(max_length64,uniqueTrue)8 qq_name …

python arcgis批量绘图_ARCGIS中Python实现批量裁剪

《ARCGIS中Python实现批量裁剪》由会员分享,可在线阅读,更多相关《ARCGIS中Python实现批量裁剪(1页珍藏版)》请在人人文库网上搜索。1、程序代码:pythonview plaincopyprint?1. importarcpy2. arcpy.CheckOutExtension(spatial)3. arcpy.gp.…

python123自定义幂函数_python基础之函数

python 函数函数是组织好的,可重复使用的,用来实现单一,或相关联功能的代码段。函数能提高应用的模块性,和代码的重复利用率。你已经知道Python提供了许多内建函数,比如print()。但你也可以自己创建函数,这…

java 搜索引擎 关键词高亮_和我一起打造个简单搜索之SpringDataElasticSearch关键词高亮(示例代码)...

前面几篇文章详细讲解了 ElasticSearch 的搭建以及使用 SpringDataElasticSearch 来完成搜索查询,但是搜索一般都会有搜索关键字高亮的功能,今天我们把它给加上。系列文章环境依赖本文以及后续 es 系列文章都基于 5.5.3 这个版本的 elasticsearch &#…

python词汇网络分析_8个Python高效数据分析的技巧!

文章来源于网络来源|CSDN这篇文章介绍了8个使用Python进行数据分析的方法,不仅能够提升运行效率,还能够使代码更加“优美”。定义某种列表时,写For 循环过于麻烦,幸运的是,Python有一种内置的方法可以在一行…

改变php二维数组的值_php如何修改二维数组中的值?

php修改二维数组中值的方法&#xff1a;1、通过【for($i 0; $i < count(Array()); $i)】语句修改&#xff1b;2、通过foreach($users as &$user)语句修改。php修改二维数组中值的方法&#xff1a;1、二维数组可以通过for($i 0; $i < count(Array()); $i)这种形式…

华为python673集_python库-collections模块Counter类

Counter类主要是用来跟踪值出现的次数。它是一个无序的容器类型&#xff0c;以字典的键值对形式存储&#xff0c;其中元素作为key&#xff0c;其计数作为value。demo:all_words [] # 列表里面是汉字(可重复)counter Counter(all_words) # 返回 dict Counter类的目的是用来跟踪…

php下载 微信头像图片_php保存微信用户头像到本地或者服务器的完美方案!

//方法一&#xff1a;//推荐用该方法$header array(User-Agent: Mozilla/5.0 (Windows NT 6.1; Win64; x64; rv:45.0) Gecko/20100101 Firefox/45.0,Accept-Language: zh-CN,zh;q0.8,en-US;q0.5,en;q0.3,Accept-Encoding: gzip, deflate,);$urlhttp://wx.qlogo.cn/mmopen/vi_3…

php 预防循环发短信_php短信接口发送短信失败,罪魁祸首原来在这里

随着国民经济的高速发展&#xff0c;短信的应用也逐渐商业化&#xff0c;很多企业、商家开始使用php短信接口来进行推广、营销或内部管理&#xff0c;只是个别的商家在应用php短信接口的时候却遇到了短信发送失败的现象&#xff0c;这到底是因为商家操作有误&#xff0c;还是因…

python实时显示温度变化_python实时温度绘制

我目前正在做一个项目&#xff0c;它需要实时监控各种量&#xff0c;如温度、压力、湿度等。我正在采用一种方法&#xff0c;即使用matplotlib和drwnow绘制一个图形。在HOST "localhost"PORT 4223UID1 "tsJ" # S1from tinkerforge.ip_connection import…

jlabel字怎么变化_怎样才能把字写好?详解最科学的练字方法及步骤

一&#xff1a;正确的学习之路1&#xff1a;临帖从古到今&#xff0c;临帖是学习书法最基本的方法&#xff0c;没有一个书法家是没有临过帖的。2&#xff1a;专注专注学一个书法家的字&#xff0c;专心致志&#xff0c;认真临写&#xff0c;持之以恒&#xff0c;直到形同神似。…

php取指定文件夹图片大小,php获取某文件夹的大小

// 获取文件夹大小function getDirSize($dir){$handle opendir($dir);while (false!($FolderOrFile readdir($handle))){if($FolderOrFile ! "." && $FolderOrFile ! ".."){if(is_dir("$dir/$FolderOrFile")){$sizeResult getDirSize…

python lncrna_lncRNA分析

目前人们对lncRNA认识还处在初级阶段&#xff0c;lncRNA起初被认为是基因组转录的“噪音”&#xff0c;是RNA聚合酶II转录的副产物&#xff0c;不具有生物学功能。然而大量研究表明&#xff0c;lncRNA在细胞核内、核外&#xff0c;通过染色质修饰&#xff0c;转录调控&#xff…

ubuntu 缺少php安装包,ubuntu 16.04 lts安装php环境和composer依赖包管理

安装环境1.安装之前先更新系统1 sudo apt update2.安装Apache21 sudo apt install apache23.安装PHP1 sudo apt install php2 sudo apt-get install libapache2-mod-php4.安装MySQL1 sudo apt install mysql-server php7.0-mysql2 sudo apt-get install mysql-client3 mysql_se…

找不到具有指定id_JAVA如何整合es指定字段不分词搜索?

一、问题在做一个需求的时候&#xff0c;需要按照电话号码查询用户关系&#xff0c;所以我这边先讲相关信息同步到es&#xff0c;但是电话号码是加密的&#xff0c;所以显示的字符串是杂乱的&#xff0c;既有字母&#xff0c;又有斜杠等号等字符&#xff0c;在进行分词查询的时…

php 解析java map,java_java遍历Map的几种方法分析,本文实例分析了java遍历Map的几 - phpStudy...

java遍历Map的几种方法分析本文实例分析了java遍历Map的几种方法。分享给大家供大家参考&#xff0c;具体如下&#xff1a;Java代码&#xff1a;Map mapnew HashMap();map.put("username", "qq");map.put("passWord", "123");map.put(…

vant 项目_vueCli4+vant+router+vuex+移动端适配

教程的开始 各位同学请先安装node、npm、vuecli4 巴拉巴拉...废话不多说立即开始随便找个地方 cmd&#xff0c;powerShell也可以 命令行走起1. 创建vue项目 随便起个名字就叫my-vue吧&#xff0c;傻瓜式回车键就行&#xff0c;也可以根据自己的喜好选择eslint。vue create my-v…

php快废了,PHP为什么要逐渐废弃一些函数?出于什么原因呢?

1.比如说废弃mysql开头的几个数据库函数&#xff0c;是为了面向对象而废弃的么&#xff1f;2.还有magic_quotes这个为什么又要去掉呢?3.等等。。知道的说一下&#xff0c;感激不尽。回复内容&#xff1a;1.比如说废弃mysql开头的几个数据库函数&#xff0c;是为了面向对象而废…

电路结构原理_精密半波、全波整流电路结构原理图解

利用二极管(开关器件)的单向导电特性&#xff0c;和放大器的优良放大性能相结合&#xff0c;可做到对输入交变信号(尤其是小幅度的电压信号)进行精密的整流&#xff0c;由此构成精密半波整流电路。若由此再添加简单电路&#xff0c;即可构成精密全波整流电路。二极管的导通压降…