深入理解java synchronized
synchronized的三种形式
- 对于普通的同步方法, 锁的是当前的实例对象
- 对于静态的同步方法, 锁的是当前的类对象
- 对于同步方法块, 锁的是给定传入的对象(类或实例)
synchronized的实现原理
同步方法块中, JVM的实现是以
monitorenter
和monitorexit
指令配对实现的.
当进入monitorenter
指令 时将尝试获取当前对象的 monitor的持有权,如果被其他线程占用而无法持有,当前线程将被阻塞.monitorenter
指令执行结束,则表示当前线程拥有了该对象的monitor持有权.而monitorexit
则表示释放monitor的持有权,即释放了锁.
stack=2, locals=5, args_size=1 0: ldc #2 // class concurrent/SynchronizedTest 2: dup 3: astore_1 4: monitorenter // 进入同步块 5: iconst_3 6: istore_2 7: aload_1 8: monitorexit // 正常退出同步块 9: goto 17 12: astore_3 13: aload_1 14: monitorexit // 异常退出同步块
静态同步方法和普通同步方法,是通过方法表结构中的访问标识
access_flag
设置为ACC_SYNCHRONIZED
来实现的.
当方法调用时,调用指令将会 检查方法的 ACC_SYNCHRONIZED 访问标志是否被设置,如果设置了,执行线程将先持有monitor, 然后再执行方法,最后再方法完成(无论是正常完成还是非正常完成)时释放monitor。
synchronized void syncMethod(); descriptor: ()V flags: ACC_SYNCHRONIZED Code: stack=1, locals=2, args_size=1 0: iconst_2 1: istore_1 2: return
synchronized使用注意事项
- 普通方法与同步方法调用互不关联
当一个线程进入同步方法时,其他线程可以正常访问其他非同步方法
- 所有同步方法同时只能被一个线程访问
当一个线程执行同步方法时,其他线程不能访问该对象的任何同步方法
- 同一个锁的同步代码块同一时刻只能被一个线程访问
当同步代码块都是同一个锁时,方法可以被所有线程访问,但同一个锁的 同步代码块同一时刻只能被一个线程访问.
fun method() { // todo... 这里所有的线程都能进入 synchronized(Demo::class) { // todo... 同步代码块中,只有一个线程能进入 } }
- 线程间同时访问同一个锁的多个同步代码的执行顺序不定
线程间同时访问同一个锁多个同步方法的执行顺序不定,即使是使用同一个对象锁,因为同步方法结束后,锁被释放,所有线程都有可能竞争到锁.
class Demo { @Synchronized fun synchronizedMethod1(name: String) { TimeUnit.MILLISECONDS.sleep(100) println("$name : synchronizedMethod1") } @Synchronized fun synchronizedMethod2(name: String) { TimeUnit.MILLISECONDS.sleep(100) println("$name : synchronizedMethod2") } } fun main(args: Array<String>) { val demo = Demo() thread { demo.synchronizedMethod1(Thread.currentThread().name) demo.synchronizedMethod2(Thread.currentThread().name) } thread { demo.synchronizedMethod2(Thread.currentThread().name) demo.synchronizedMethod1(Thread.currentThread().name) } } // ########## Thread-0 : synchronizedMethod1 Thread-1 : synchronizedMethod1 Thread-1 : synchronizedMethod2 Thread-0 : synchronizedMethod2
- 不同锁之间访问非阻塞
对于锁类对象和锁实例对象的锁以及不同对象实例的锁,都互不相关的锁,相互之间不会有任何影响
- 同步块锁基本变量或者字面量时,变量的值改变,锁的对象也会发生改变.
fun method() { var lock = 1 synchronized(lock) { // 如果此时 lock的值在外部被修改,如lock=2,值被修改成了2 // 即使当前同步方法没有执行完,其他等待的线程可以进入, // 因为此时锁变成了 2 , 与之前的 1, 已经不是一个锁了 } }
synchronized 特点
- 独占性(互斥锁)
synchronized
是属于线程独占类型的锁,一个线程拿到对象的锁后,其他线程试图进入对象锁的临界资源时,将会处于阻塞状态.
如果 A方法中 去获取B的锁, B方法中去获取A的锁,会导致A,B相互等待,形成死锁.
- 可重入性
当一个线程再次请求自己持有对象锁的临界资源时,不需要通过锁竞争,请求将会成功,这种情况属于重入锁.
因此在一个线程调用synchronized方法的同时在其方法体内部调用该对象另一个synchronized方法,是允许的
- 非公平性
公平锁 : 多个线程在等待同一个锁时,必须按照申请锁的时间顺序排队等待.(cpu吞吐量较低)
非公平锁 : 则不保证这点,在锁释放时,任何一个等待锁的线程都有机会获得锁。(cpu吞吐量高,极端情况下,某些等待线程将永远无法获取到锁)
- 不可中断性
如果一个代码块被synchronized修饰了,当一个线程获取了对应的锁,并执行该代码块时,其他线程便只能一直等待,等待获取锁的线程释放锁.
等待的线程将不可被中断(interrupt方法也无法生效),只有两种情况下能释放锁.
- 获取锁的线程执行完了该代码块,然后线程释放对锁的占有
- 线程执行发生异常,此时JVM会让线程自动释放锁
jvm对synchronized的优化
JDK1.5中,synchronized是性能低效的。因为这是一个重量级操作,它对性能最大的影响是阻塞的是实现,挂起线程和恢复线程的操作都需要转入内核态中完成,这些操作给系统的并发性带来了很大的压力.
到了JDK1.6,发生了变化,对synchronized加入了很多优化措施,有偏向锁,轻量级锁,锁消除,锁升级,等等。导致synchronized的效率大大的提升.
锁的状态总共有四种,无锁状态、偏向锁、轻量级锁和重量级锁。随着锁的竞争,锁可以从偏向锁升级到轻量级锁,再升级的重量级锁,但是锁的升级是单向的,也就是说只能从低到高升级,不会出现锁的降级.
偏向锁
在大多数情况下,锁不仅不存在多线程竞争,而且总是由同一线程多次获得,因此为了减少同一线程获取锁(会涉及到一些CAS操作,耗时)的代价而引入偏向锁。
偏向锁的核心思想是,如果一个线程获得了锁,那么锁就进入偏向模式,此时Mark Word 的结构也变为偏向锁结构,当这个线程再次请求锁时,无需再做任何同步操作,即获取锁的过程,这样就省去了大量有关锁申请的操作,从而也就提供程序的性能。
对于锁竞争比较激烈的场合,偏向锁将失效,这种情况下可能每次申请锁的线程都是不相同的.偏向锁失效后,会膨胀为轻量级锁.
轻量级锁
倘若偏向锁失败,虚拟机并不会立即升级为重量级锁,它还会尝试使用一种称为轻量级锁的优化手段,此时Mark Word 的结构也变为轻量级锁的结构。
线程尝试使用CAS来讲对象头中的 Mark Word 替换为指向锁记录的指针.如果成功,表示当前线程获取到锁,如果失败,则表示其他线程正在竞争锁,当前线程尝试使用自旋来获取锁(空循环50或100次),如果再失败将膨胀值 重量级锁.
锁消除
消除锁是虚拟机另外一种锁的优化,这种优化更彻底,Java虚拟机在JIT编译时(可以简单理解为当某段代码即将第一次被执行时进行编译,又称即时编译),通过对运行上下文的扫描,去除不可能存在共享资源竞争的锁,通过这种方式消除没有必要的锁,可以节省毫无意义的请求锁时间.
synchronized缺点
- 只能进行互斥操作,不能实现共享锁,在某些场景下效率低.比如对只读数据的操作.
- 等待同步线程的不可中断.
- 只能实现非公平锁,无法实现公平锁.
参考
CAS(Compare and Swap))
比较和交换. 需要输入新值和旧值;如果内存中的值与旧值相同,则内存中的值更新为新值,否则不更新.
如果当前状态值等于预期值,则以原子方式将同步状态设置为给定的更新值.
CAS操作具有volatile读和写的语义.
java中主要通过 UnSafe
类的compareAndSwap
系列方法来实现,UnSafe
是系统保护类,不能直接使用,使用时,需要通过反射调用.
cas 将在处理器中添加
LOCK_
前缀的指令. 来保证执行的原子性,禁止重排序,和刷新主内存数据.
三个问题 : ABA, 循环开销大, 只保证一个共享变量的原子操作.
引用
低调大师中文资讯倾力打造互联网数据资讯、行业资源、电子商务、移动互联网、网络营销平台。
持续更新报道IT业界、互联网、市场资讯、驱动更新,是最及时权威的产业资讯及硬件资讯报道平台。
转载内容版权归作者及来源网站所有,本站原创内容转载请注明来源。
- 上一篇
java final 详解
简介 final是java的关键字,可以声明成员变量、方法、类以及本地变量,它所表示的是“这部分是无法修改的”。不想被改变的原因有两个:效率、设计。 final作用于方法 final 修饰方法,则表明该方法不能被重写(override),所以对于 final 方法使用的第一个原因是针对设计的,进行方法锁定,以防止任何子类来对它的修改. final 方法, 在某些情况下可以对执行效率产生帮助.对于被修饰为final的方法,在编译器期的时候,有可能会进行内联(inline)优化. 内联调用: 是编译器为程序做的一种优化操作.虚拟机不再执行正常的方法调用(参数压栈,跳转到方法处执行,再调回,处理栈参数,处理返回值),而是直接将方法展开,以方法体中的实际代码替代原来的方法调用。这样减少了方法调用的开销。 如果方法被多次调用,或者内联的方法将会被多次拷贝,会相应的增加内存占用. 这是一种空间置换时间的一个策略. 如果方法体代码量过大,拷贝的次数过多,那么将反而达不到优化的目的. 对于final方法是否进行内联,由编译器决定,并不是所有的final方法都会被内联. 编译器进行内联优化,并不只针对f...
- 下一篇
JavaScript 事件循环及异步原理(完全指北)
引言 最近面试被问到,JS 既然是单线程的,为什么可以执行异步操作?当时脑子蒙了,思维一直被困在 单线程 这个问题上,一直在思考单线程为什么可以额外运行任务,其实在我很早以前写的博客里面有写相关的内容,只不过时间太长给忘了,所以要经常温习啊:(浅谈 Generator 和 Promise 的原理及实现) JS 是单线程的,只有一个主线程函数内的代码从上到下顺序执行,遇到被调用的函数先进入被调用函数执行,待完成后继续执行遇到异步事件,浏览器另开一个线程,主线程继续执行,待结果返回后,执行回调函数其实 JS 这个语言是运行在宿主环境中,比如 浏览器环境,nodeJs环境 在浏览器中,浏览器负责提供这个额外的线程在 Node 中,Node.js 借助 libuv 来作为抽象封装层, 从而屏蔽不同操作系统的差异,Node可以借助libuv来实现多线程。而这个异步线程又分为 微任务 和 宏任务,本篇文章就来探究一下 JS 的异步原理以及其事件循环机制 为什么 JavaScript 是单线程的 JavaScript 语言的一大特点就是单线程,也就是说,同一个时间只能做一件事。这样设计的方案主要源于...
相关文章
文章评论
共有0条评论来说两句吧...
文章二维码
点击排行
-
Docker使用Oracle官方镜像安装(12C,18C,19C)
- Springboot2将连接池hikari替换为druid,体验最强大的数据库连接池
- CentOS8编译安装MySQL8.0.19
- Docker快速安装Oracle11G,搭建oracle11g学习环境
- SpringBoot2配置默认Tomcat设置,开启更多高级功能
- MySQL8.0.19开启GTID主从同步CentOS8
- CentOS7,8上快速安装Gitea,搭建Git服务器
- Jdk安装(Linux,MacOS,Windows),包含三大操作系统的最全安装
- SpringBoot2编写第一个Controller,响应你的http请求并返回结果
推荐阅读
最新文章
- SpringBoot2整合Thymeleaf,官方推荐html解决方案
- 设置Eclipse缩进为4个空格,增强代码规范
- CentOS7,8上快速安装Gitea,搭建Git服务器
- Windows10,CentOS7,CentOS8安装MongoDB4.0.16
- CentOS7安装Docker,走上虚拟化容器引擎之路
- CentOS6,7,8上安装Nginx,支持https2.0的开启
- SpringBoot2全家桶,快速入门学习开发网站教程
- CentOS8编译安装MySQL8.0.19
- CentOS7编译安装Cmake3.16.3,解决mysql等软件编译问题
- Docker安装Oracle12C,快速搭建Oracle学习环境