synchronize的实现原理(偏向锁)

1 介绍

 当一个线程试图访问同步的代码时,会首先尝试获取锁。执行完毕或者抛出异常的时候会主动释放锁。否则会一直阻塞着。

    1.1 实现原理

    从JVM规范中可以看到synchronize的实现主要是基于monitor对象来实现的。monitorenter是在编译后插入同步代码开始的位置,而monitorexit是在代码的结束处和异常处。

任何一个对象都有一个monitor与之关联。

2 创建锁

 java中每一个对象都可以作为锁,对于普通的方法。锁是当前对象的实例,对于静态方法,锁是当前的class对象。同步块,则是括号里面配置的对象。

3 锁的升级

java6之后为了解决synchronize锁性能的销号(获取和释放)。引入了偏向锁,和轻量级锁的概览

当前版本中锁的状态从低到高总共有四种:无锁状态->偏向锁状态->轻量级锁状态->重量级锁状态。需要注意的是,锁可以升级缺不可以降级

    3.1 偏向锁

     3.1.1 获取

     简单的理解,偏向于这个线程。 当一个线程进入同步块,首先测试 对象的mark word 中的threadId是否等同当前线程ID,如果成功,则获取锁成功,否则。首先测试mark word中的锁标识是否为1 。如果没有设置。则升级锁。否则 通过CAS操作,将自己的线程ID 尝试放入 的mark word 的位置。如果成功则获取锁成功。否则,说明对象存在竞争。将会在适当的地方挂起获取锁的线程。然后升级锁。接着执行代码。

    偏向锁默认为开启状态。只是会在应用启动后延迟启动通过参数可以设置不延时XX:BiasedLockingStartupDelay=0。如果你确定应用程序里所有的锁通常情况下处于竞争状态,可以通过JVM参数关闭偏向锁:-XX:-UseBiasedLocking=false,那么程序默认会进入轻量级锁状态。

    3.1.2 释放

    偏向锁使用了只有出现竞争的情况下才会释放。首先他会在一个安全点暂停持有锁的对象。然后升级锁。











 


synchronize 关键字是用于实现线程同步的一种机制,其原理是通过在代码块或方法上加锁,来确保多个线程在执行该代码段时的互斥性。其实现原理如下: 1. 锁对象:synchronize 使用的锁对象可以是任意对象。当一个线程进入 synchronized 代码块时,它会尝试获取锁;如果锁没有被其他线程占用,则该线程获取锁,否则该线程将进入阻塞状态,直到锁被释放。 2. 对象监视器:在 Java 对象的内部数据结构中,每个对象都有一个关联的对象监视器。对象监视器负责管理锁的获取和释放,以及线程在对象上的等待和唤醒操作。当一个线程成功获取锁时,对象监视器会记录该线程的标识,并将对象的锁计数器加一。同时,其他线程在尝试获取锁时,将进入对象的等待队列,等待锁的释放。 3. 原子性操作:synchronize 关键字使得一些复合操作具有原子性。即当一个线程执行 synchronized 代码块时,其他线程无法同时进入该代码块,保证了多个线程对共享数据的同步访问。这样可以避免出现并发访问共享资源导致的数据不一致性和线程安全问题。 总之,synchronize 实现线程同步的原理是通过加锁和对象监视器来实现的。当多个线程竞争同一个锁时,只有一个线程能够获得锁,并执行 synchronized 代码块,其他线程将进入阻塞状态,直到锁被释放。这样就确保了共享数据的安全访问和操作的原子性,避免了多线程并发执行导致的数据不一致性问题。
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值