synchronized

synchronized原理

Monitor对象

每个对象都可以关联一个Monitor对象,如果使用 synchronized 给对象上锁(重量级)之后,该对象头的Mark Word 中就被设置指向 Monitor 对象的指针。

monitor对象包括:owner(指向加锁线程)、EntryList(竞争锁失败)、WaitList(获取锁之后调用wait方法)


monitor结构

对象头结构

普通对象:Mark Word 和 Class Word
数组对象:Mark Word 、 Class Word、array length

Mark Word 结构

Mark Word 的结构根据biased_lock(偏向标记)、lock(锁状态标记:00轻量级、10重量级)来改变
32位系统:


32位虚拟机Mark Word

64位系统:


64位虚拟机 Mark Word

synchronized用法

  1. 加在普通方法上(不加对象),默认锁住当前对象
  2. 加在静态方法上,锁住Class对象
  3. 加在方法块上(加对象),锁住的时加对象(对象尽量为final)

从字节码角度看:

编译之后会生存monitorenter指令+2个monitorexit指令(一个正常退出,一个异常退出)
加锁步骤:

  1. 将lock对象存入临时变量中
  2. monitorenter指令:将加锁对象的Mark Word设置为monitor对象引用

解锁步骤:

  1. monitorexit指令:将lock对象头重置(从临时变量中获取)、唤醒EntryList。

锁升级流程

步骤:偏向锁->轻量级锁->自旋锁->重量级锁

偏向锁:

存在竞争,但是加锁时间错开

  1. 访问Mark Word中偏向锁标识为1,锁标识为01,为可偏向状态
  2. 判断线程id是否为当前线程,如果是,则获取到锁,如果不是
  3. 通过CAS方式将线程ID设置到对象头中,CAS成功,获取到锁
  4. CAS失败升级为轻量级锁,偏向锁状态撤销

适用场景:同时刻只有一个线程执行同步块
撤销
等到竞争出现才撤销。
参考:https://blog.csdn.net/zhao_miao/article/details/84500771

轻量级锁:

竞争不激烈的情况:增加了自旋获取锁,类似乐观锁

在线程栈帧中创建Lock Record对象(C++层面的对象)。包括一个加锁对象指针和锁记录指针。
加锁

  1. 创建锁对象(Lock Record),将对象中的markword复制到加锁对象
  2. CAS操作将对象Mark Word 62位更新为指向Lock Record的指针,将Lock Record 的 owner指向对象的 Mark Word
  3. 更新成功获取到锁

对象的Mark Word锁标记是01,才可能成功。其次还要通过cas进行竞争。

可以替换成功的情况

替换成功之后如下图:对象头指向锁记录,锁记录的对象引用指向锁对象。


image.png

如果cas失败:
检查当前Mark Word 的pre_to_lock_record是否指向当前线程栈帧

  1. 如果其他线程已经持有轻量级锁,尝试自旋获取锁,失败则膨胀。锁标记被改为10,未抢到锁的线程都会进入Monitor,然后被阻塞在WaitSet中
  2. 如果是自己,重入的话,会再增加一条锁记录


    轻量级锁重入

解锁
如果锁记录的值为null,则锁计数器减一,如果不为null,则cas替换,如果成功则解锁,如果失败则说明锁已经膨胀,进入重量级解锁流程。

重量级锁

重量级锁是依赖对象内部的monitor锁来实现的,而monitor又依赖操作系统的MutexLock(互斥锁)来实现的,涉及到用户态到内核态切换,并且释放锁之后,唤醒阻塞的线程,线程状态切换也是比较耗时的。

获取轻量级锁失败,并且失败原因是对象头中是其他锁记录地址。则膨胀

对象头的Mark Word 指向 monitor对象地址,monitor对象的 Owner对象指向加锁线程ID。Thread-1 进入EntryList阻塞


重量级锁示意图
  1. 如果Monitor的count是0,表示可以获取到锁,owner设置为当前线程,count+1
  2. 如果不为0,检查owner 是否为自己,如果是则count+1,实现可重入
  3. 否则进入EntryList等待锁资源释放
  4. 如果持有锁到线程调用了wait(),则释放锁对象,进入WaitSet队列中等待被唤醒。

解锁
当 Thread-0 退出同步块解锁时,使用 cas 将 Mark Word 的值恢复给对象头,失败。这时会进入重量级解锁流程,即按照 Monitor 地址找到 Monitor 对象,设置 Owner 为 null,唤醒 EntryList 中 BLOCKED 线程。

重量级解锁时Mark Word 恢复,应该也是线程栈帧中会创建一个局部变量存储。等解锁时恢复

hashCode函数会禁用偏向锁。但是不影响轻量级锁、不影响重量级锁,因为这两个会把hashCode存起来,等解锁的时候再复原。

自旋锁

自旋锁:不断循环获取锁,不涉及用户态切换内核态,但是比较耗cpu。单核cpu不起作用。自选的次数是自适应的。

批量重偏向

https://segmentfault.com/a/1190000023665056

批量撤销

当撤销偏向锁阈值超过 40 次后,jvm 会这样觉得,自己确实偏向错了,根本就不该偏向。于是整个类的所有对象都会变为不可偏向的,新建的对象也是不可偏向的

最后编辑于
©著作权归作者所有,转载或内容合作请联系作者
  • 序言:七十年代末,一起剥皮案震惊了整个滨河市,随后出现的几起案子,更是在滨河造成了极大的恐慌,老刑警刘岩,带你破解...
    沈念sama阅读 213,186评论 6 492
  • 序言:滨河连续发生了三起死亡事件,死亡现场离奇诡异,居然都是意外死亡,警方通过查阅死者的电脑和手机,发现死者居然都...
    沈念sama阅读 90,858评论 3 387
  • 文/潘晓璐 我一进店门,熙熙楼的掌柜王于贵愁眉苦脸地迎上来,“玉大人,你说我怎么就摊上这事。” “怎么了?”我有些...
    开封第一讲书人阅读 158,620评论 0 348
  • 文/不坏的土叔 我叫张陵,是天一观的道长。 经常有香客问我,道长,这世上最难降的妖魔是什么? 我笑而不...
    开封第一讲书人阅读 56,888评论 1 285
  • 正文 为了忘掉前任,我火速办了婚礼,结果婚礼上,老公的妹妹穿的比我还像新娘。我一直安慰自己,他们只是感情好,可当我...
    茶点故事阅读 66,009评论 6 385
  • 文/花漫 我一把揭开白布。 她就那样静静地躺着,像睡着了一般。 火红的嫁衣衬着肌肤如雪。 梳的纹丝不乱的头发上,一...
    开封第一讲书人阅读 50,149评论 1 291
  • 那天,我揣着相机与录音,去河边找鬼。 笑死,一个胖子当着我的面吹牛,可吹牛的内容都是我干的。 我是一名探鬼主播,决...
    沈念sama阅读 39,204评论 3 412
  • 文/苍兰香墨 我猛地睁开眼,长吁一口气:“原来是场噩梦啊……” “哼!你这毒妇竟也来了?” 一声冷哼从身侧响起,我...
    开封第一讲书人阅读 37,956评论 0 268
  • 序言:老挝万荣一对情侣失踪,失踪者是张志新(化名)和其女友刘颖,没想到半个月后,有当地人在树林里发现了一具尸体,经...
    沈念sama阅读 44,385评论 1 303
  • 正文 独居荒郊野岭守林人离奇死亡,尸身上长有42处带血的脓包…… 初始之章·张勋 以下内容为张勋视角 年9月15日...
    茶点故事阅读 36,698评论 2 327
  • 正文 我和宋清朗相恋三年,在试婚纱的时候发现自己被绿了。 大学时的朋友给我发了我未婚夫和他白月光在一起吃饭的照片。...
    茶点故事阅读 38,863评论 1 341
  • 序言:一个原本活蹦乱跳的男人离奇死亡,死状恐怖,灵堂内的尸体忽然破棺而出,到底是诈尸还是另有隐情,我是刑警宁泽,带...
    沈念sama阅读 34,544评论 4 335
  • 正文 年R本政府宣布,位于F岛的核电站,受9级特大地震影响,放射性物质发生泄漏。R本人自食恶果不足惜,却给世界环境...
    茶点故事阅读 40,185评论 3 317
  • 文/蒙蒙 一、第九天 我趴在偏房一处隐蔽的房顶上张望。 院中可真热闹,春花似锦、人声如沸。这庄子的主人今日做“春日...
    开封第一讲书人阅读 30,899评论 0 21
  • 文/苍兰香墨 我抬头看了看天上的太阳。三九已至,却和暖如春,着一层夹袄步出监牢的瞬间,已是汗流浃背。 一阵脚步声响...
    开封第一讲书人阅读 32,141评论 1 267
  • 我被黑心中介骗来泰国打工, 没想到刚下飞机就差点儿被人妖公主榨干…… 1. 我叫王不留,地道东北人。 一个月前我还...
    沈念sama阅读 46,684评论 2 362
  • 正文 我出身青楼,却偏偏与公主长得像,于是被迫代替她去往敌国和亲。 传闻我的和亲对象是个残疾皇子,可洞房花烛夜当晚...
    茶点故事阅读 43,750评论 2 351

推荐阅读更多精彩内容