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成功,锁释放完成;
  • 如果失败,将会释放锁并且唤醒被阻塞的线程

简要逻辑图如下

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

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

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

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

偏向锁

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

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

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

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

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

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

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

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

核心原理:

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

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

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

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是重量级的,他可以“包治百病”,尽管性能或许没有你的期望那么好

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

原文地址:Synchronized锁性能优化偏向锁轻量级锁升级 多线程中篇(五)

原文地址:https://www.cnblogs.com/noteless/p/10509665.html

时间: 2024-10-10 12:17:01

Synchronized锁性能优化偏向锁轻量级锁升级 多线程中篇(五)的相关文章

JVM内部细节之一:synchronized关键字及实现细节(轻量级锁Lightweight Locking)

在C程序代码中我们可以利用操作系统提供的互斥锁来实现同步块的互斥访问及线程的阻塞及唤醒等工作.然而在Java中除了提供Lock API外还在语法层面上提供了synchronized关键字来实现互斥同步原语.那么到底在JVM内部是怎么实现synchronized关键子的呢? 一.synchronized的字节码表示: 在java语言中存在两种内建的synchronized语法:1.synchronized语句:2.synchronized方法.对于synchronized语句当Java源代码被ja

Oracle 学习之性能优化(十)锁

锁(lock)是用于防止在访问相同的资源(包括用户对象.系统对象.内存.Oralce数据字典中的共享数据结构,最常见的是数据库表Table对象)时 ,事务之间的有害性 交互(存.取)的一种机制. 不同类型的锁,代表了当前用户是允许还是阻止其它用户对相同资源的同时存取,从而确保不破坏系统数据的完整性.一致性和并行性. 加锁是实现数据库并发控制的一个非常重要的技术.当事务在对某个数据对象进行操作前,先向系统发出请求,对其加锁.加锁后事务就对该数据对象有了一定的控制,在该事务释放锁之前,其他的事务不能

锁的优化及注意事项

"锁"的竞争必然会导致程序的整体性能下降,以下就是为了降低这种辐作用的建议:     1.减小锁持有时间 如果线程持有锁的时间很长,那么相对地,锁的竞争程度也就越激烈.程序开发应该尽可能地减少对某个锁的占有时间,以减少线程间互斥的可能. public synchronized void syncMethod(){ othercode1(); mutextMethod(); othercode2();} 优化后: public void syncMethod2(){ othercode1

Java并发编程:Synchronized底层优化(偏向锁、轻量级锁)

Java并发编程系列[未完]: Java 并发编程:核心理论 Java并发编程:Synchronized及其实现原理 Java并发编程:Synchronized底层优化(轻量级锁.偏向锁) 一.重量级锁 上篇文章中向大家介绍了Synchronized的用法及其实现的原理.现在我们应该知道,Synchronized是通过对象内部的一个叫做监视器锁(monitor)来实现的.但是监视器锁本质又是依赖于底层的操作系统的Mutex Lock来实现的.而操作系统实现线程之间的切换这就需要从用户态转换到核心

java 偏向锁、轻量级锁及重量级锁synchronized原理

Java对象头与Monitor java对象头是实现synchronized的锁对象的基础,synchronized使用的锁对象是存储在Java对象头里的. 对象头包含两部分:Mark Word 和 Class Metadata Address 其中Mark Word在默认情况下存储着对象的HashCode.分代年龄.锁标记位等以下是32位JVM的Mark Word默认存储结构 由于对象头的信息是与对象自身定义的数据没有关系的额外存储成本,因此考虑到JVM的空间效率,Mark Word 被设计成

synchronized(偏向锁和轻量级锁)(TODO)

synchronized JDK1.6对synchronized进行了各种优化,性能已经和ReentrantLock差不多了. Java中的每一个对象都可以作为锁.具体表现为以下3种形式. 对于普通同步方法,锁是当前实例对象. 对于静态同步方法,锁是当前类的Class对象. 对于同步方法块,锁是Synchonized括号里配置的对象. JVM基于进入和退出Monitor对象来实现方法同步和代码块同步,但两者的实现细节不一样. 代码块同步是使用monitorenter和monitorexit指令实

Java性能之synchronized锁的优化

synchronized / Lock 1.JDK 1.5之前,Java通过synchronized关键字来实现锁功能 synchronized是JVM实现的内置锁,锁的获取和释放都是由JVM隐式实现的 2.JDK 1.5,并发包中新增了Lock接口来实现锁功能 提供了与synchronized类似的同步功能,但需要显式获取和释放锁 3. Lock同步锁是基于Java实现的,而synchronized是基于底层操作系统的Mutex Lock实现的 每次获取和释放锁都会带来用户态和内核态的切换,从

java 中的锁 -- 偏向锁、轻量级锁、重量级锁

理解锁的基础知识 如果想要透彻的理解java锁的来龙去脉,需要先了解以下基础知识. 基础知识之一:锁的类型 锁从宏观上分类,分为悲观锁与乐观锁. 乐观锁 乐观锁是一种乐观思想,即认为读多写少,遇到并发写的可能性低,每次去拿数据的时候都认为别人不会修改,所以不会上锁,但是在更新的时候会判断一下在此期间别人有没有去更新这个数据,采取在写时先读出当前版本号,然后加锁操作(比较跟上一次的版本号,如果一样则更新),如果失败则要重复读-比较-写的操作. java中的乐观锁基本都是通过CAS操作实现的,CAS

Java锁---偏向锁、轻量级锁、自旋锁、重量级锁

之前做过一个测试,反复执行过多次,发现结果是一样的: 1. 单线程下synchronized效率最高(当时感觉它的效率应该是最差才对): 2. AtomicInteger效率最不稳定,不同并发情况下表现不一样:短时间低并发下,效率比synchronized高,有时甚至比LongAdder还高出一点,但是高并发下,性能还不如synchronized,不同情况下性能表现很不稳定: 3. LongAdder性能稳定,在各种并发情况下表现都不错,整体表现最好,短时间的低并发下比AtomicInteger