JDK1.6之后 Synchronized优化

Synchronized锁性能优化偏向锁轻量级锁升级 多线程中篇

不止一次的提到过,synchronized是Java内置的机制,是JVM层面的,而Lock则是接口,是JDK层面的

尽管最初synchronized的性能效率比较差,但是随着版本的升级,synchronized已经变得原来越强大了

这也是为什么官方建议使用synchronized的原因

毕竟,他是一个关键字啊,这才是亲儿子,Lock,终归差了一点

简单看下,synchronized大致都经过了哪些重要的变革

重量级锁

对于最原始的synchronized关键字,锁被称之为重量级锁

因为底层依赖监视器,监视器又依赖操作系统底层的互斥锁,java的线程是内核映射的

如果获取不到锁,那么就必然会发生内核态与用户态的转换,成本很高,所以效率比较低

所有的优化,其实都是为了将原来的重量级锁的“重量”变轻...

在现在的版本中,锁的状态总共有四种:

  • 无锁状态
  • 偏向锁
  • 轻量级锁
  • 重量级锁

很显然锁的“重量”从左到右,依次递增

无所状态很好理解,新增加的偏向锁与轻量级锁,其实就是尽可能的将重量级锁往“无锁”的方向靠拢,尽可能的减少重量

减少重量的思路就是,通过一定的逻辑处理与判断,如果不需要加锁,那么我就少加一点锁

继续之前先介绍两个概念,Mark Word和CAS

Mark Word

对于每个对象,都有一个对象头,这部分存储了对象的必要信息

对象头中有一个主要区域被称之为Mark Word(其实就是那一段地址保存的数据的统称)

其实可以简单理解为一个数据结构,里面保存了一些必要的数据信息

为了节省空间,并不是每个字段都有空间,不同的锁状态,有不同的字段含义,比如说32位,这几位做什么,那几位做什么,了解过class字节码文件的话应该很容易理解这种思维

与本文相关的有下面这些,暂时可以不去思考如何保存的问题,就只需要知道有这么些字段即可(你简单理解为一个结构体,每个字段都有空间表示也不影响理解此处的叙述)

  • 锁标志位(什么类型的锁),他的标志包括:无锁、轻量级锁、重量级锁、偏向锁
  • 轻量级锁时会记录:指向栈中锁记录的指针
  • 重量级锁时会记录:指向互斥量(重量级锁)的指针
  • 偏向锁时会记录:线程ID

CAS

再简单提一个概念CAS

compareAndSwap,比较并替换,是一种实现并发算法时常用到的技术

CAS需要有3个操作数:内存地址V,旧的预期值A,即将要更新的目标值B

比如你要操作一个变量,他的值为A,你希望将他修改为B,这期间不会进行加锁,当你在修改的时候,你发现值仍旧是A,然后将它修改为B,如果此时值被其他线程修改了,变成了C,那么将不会进行值B的写入操作,这就是CAS的核心理论,通过这样的操作可以实现逻辑上的一种“加锁”,避免了真正去加锁

轻量级锁

轻量级锁本质是借助于CAS操作,对于竞争不激烈的场景下,可以减少重量级锁的使用

线程需要访问同步代码体时,会判断当前状态是否是无锁状态

如果无锁,将会尝试通过CAS操作,复制一份Mark Down 并且将Mark Down中的字段指向该线程栈中锁记录的指针

  • 成功说明没有竞争,那么执行同步代码体;
  • 失败说明存在竞争,那么锁会升级为重量级锁,Mark Down字段修改为指向重量级锁指针,并且请求锁的线程会被阻塞

当持有线程执行结束后,会尝试借助于CAS操作恢复Mark Down

如果有竞争会升级为重量级锁,Mark Down字段会被修改,CAS操作会失败,所以:

  • 如果此次CAS成功,锁释放完成;
  • 如果失败,将会释放锁并且唤醒被阻塞的线程

简要逻辑图如下

image

对于轻量级锁,核心就是CAS操作,因为一旦出现竞争,Mark Down信息将会被修改,而CAS操作的原理就是新值与旧值的对比后再操作,所以CAS操作的成功与否,可以推断是否有竞争

有竞争那么就会升级为重量级锁,其他请求线程会被阻塞,该线程执行结束后会唤醒其他阻塞线程;否则无竞争就会释放退出

很显然,如果竞争激烈的场景,很快就会升级为重量级锁,而关于轻量级锁所有的一切都是徒劳的

不过幸运的是,实践表明,大多数场景并不会竞争激烈

偏向锁

对于轻量级锁中,需要对Mark Down字段进行维护,以及复制Mark Down,以及多次CAS操作

但是事实上,不少场景中,也的确经常存在只有一个线程访问的情况

如果只有一个线程来回访问,那么轻量级锁的维护相对来说不也是没有必要的么,是否还可以进一步优化?偏向锁就是一种优化方案

偏向锁的提出就是针对于这种场景:

锁不仅不存在多线程竞争,而且总是由同一线程多次获得

所以偏向的概念,就是偏向这个线程,它的核心思想就是:

锁会偏向第一个获取它的线程,如果不存在竞争,只有一个线程,则持有偏向锁的线程永远不需要同步

如果没有竞争,可以看到出来,偏向锁的可以约等于是无锁的

核心原理:

当一个线程访问同步块并获取锁时,会记录存储锁偏向的线程ID

后续该线程在进入和退出同步块时不再需要CAS操作来加锁和解锁,只需简单地判断一下对象头的Mark Word里是否存储着指向当前线程的偏向锁

一个简要的逻辑如下图所示

image

ps:

上图中如果线程ID不是当前线程的话,也会继续进行CAS操作的,一旦CAS失败,才会需要升级,如果成功了,还是执行同步代码块

对于偏向锁,核心针对通常只有一个线程执行同步代码的场景

通过记录偏向锁ID,对于同一线程,如果无锁状态获取偏向锁成功或者是偏向锁,且为该线程,后续的进出无需额外的同步操作:

但是一旦出现竞争,那么就会进行锁升级,升级为轻量级锁

小结

轻量级锁和偏向锁都是借助于CAS,如果出现问题,将会进行锁的升级,升级是不可逆的,也就是说只能从低到高,也就是偏向-->轻量级-->重量级,不能够降级

偏向锁是对于轻量级锁的更进一步优化,当然这是有前提的,那就是“场景”

很显然,对于偏向锁和轻量级锁,如果不是同一线程或者线程竞争激烈,将会迅速的从偏向锁升级为轻量级锁,然后迅速变为重量级锁,而偏向锁和轻量级锁带来的一切开销,都将是额外的开销,所以二者的开启与否要根据业务来,不同版本的JDK开启状态有所不同

自旋,适应性自旋

在锁分类一文中,对自旋的概念进行了简单介绍

再次说下,所谓自旋,不是获取不到就阻塞,而是在原地等待一会儿,再次尝试(当然次数或者时长有限),他是以牺牲CPU为代价来换取内核状态切换带来的开销

适应性自旋是针对于自旋的限制,比如次数(时长)的一种优化,如果本次成功下次多等待几次,如果经常失败,可能就不自旋了

借助于适应性自旋,可以在CPU时间片的损耗和内核状态的切换开销之间相对的找到一个平衡,进而能够提高性能

从原来的一旦获取不到就阻塞、状态切换,转变为在有的时候可以借助于较小的CPU浪费避免状态切换的开销,所以显然可以提升性能

锁消除

锁消除,就是消除锁

可是,难道好好地一个synchronized方法,最后JVM会把关键字去掉吗?显然不是这个意思

他指的是删除非必要的同步

根据代码逃逸技术,如果判断到一段代码中,堆上的数据不会逃逸出当前线程,那么可以认为这段代码是线程安全的,不必要加锁

什么是逃逸,比如A方法,调用B方法,B方法将内部创建的一个局部对象,返回给了A,那么这个B中的变量就属于逃逸了,就存在被其他线程访问的可能

简单说除了你写代码之外,Java底层包括从编译器到JVM还有很多工作人员在忙活,人家通过算法一看,你这根本就没有必要使用同步,就会在实际执行的时候把你的同步去掉

你可能以为,我自己哪有写很多synchronized修饰的方法?

但是你仔细想一下,你即使不写,代码中JDK提供的方法、别人提供的Jar包中的方法,他们用了多少synchronized?

最终不都会进入到你的方法中么?

所以实际代码中的synchronized(同步)远比你想象到的要多得多

所以如果可以消除不必要的同步,岂不是性能会有所提升?

锁粗化(锁膨胀)

还是以方法调用为例,假如一个A方法,中有三个对象b,c,d,分别调用他们的方法而且都是同步方法

void A(){

b.function();

c.function();

d.function();

}

每个方法都加锁解锁,是不是很烦很费电?

如果碰巧他们用的都是同一把锁呢?是不是可以尝试进行合并?

也就是说,虚拟机检测到有一系列连串的对同一个对象加锁和解锁操作,就会将其合并成一次范围更大的加锁和解锁操作

多个加锁解锁操作,转变为一次的加锁和解锁

加锁解锁必然会消耗性能,如果可以进行合并,显然可以提高性能

小结

以上为大致的synchronized优化过的点

面对一个蒸蒸日上的努力小青年,而且还有那么多自身具有的优势(隐式锁相对于显式锁,对开发者来说友好了很多,毕竟如果可以,大家都不喜欢多操心的)

有什么理由一定要放弃他呢?

所以除非场景特殊,或者对程序分析后,业务适合,否则尽可能的选择synchronized吧

synchronized是重量级的,他可以“包治百病”,尽管性能或许没有你的期望那么好

另外有些优化比如偏向锁、轻量级锁,对场景是有要求的,如果不管三七二十一,也许并不一定会提高,反而更差,所以对于锁优化参数的开闭也需要参照场景

参考文章在这里哦

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

推荐阅读更多精彩内容