大话synchronized

最新推荐文章于 2024-07-30 20:50:32 发布

〆竹墨残香烟花冷ゾ

最新推荐文章于 2024-07-30 20:50:32 发布

阅读量85

点赞数 1

分类专栏：并发编程文章标签： java

本文链接：https://blog.csdn.net/sunpeiv/article/details/107347242

版权

并发编程专栏收录该内容

1 篇文章 0 订阅

订阅专栏

一.synchronized剖析

1.谈谈什么是synchronized?

2.谈谈synchronized的底层实现原理

3. synchronized如何保证可见性

4. synchronized如何保证原子性

5. synchronized如何保证有序性

6. synchronized锁膨胀过程

7. 谈谈锁优化

8 .synchronized VS volatile

9 synchronized VS Lock

10 为什么说synchronized是重量级锁?

一.synchronized剖析

1.谈谈什么是synchronized?

简介：synchronized是java提供我们的一种同步机制
用法：同步代码块、同步方法
分类：对象锁、类锁
作用：解决并发三贱客(可见性、原子性、有序性 )
扩展：锁优化技术（锁升级、锁粗化、锁细化）

2.谈谈synchronized的底层实现原理

Java层：synchronized关键字
编译后： monitorenter、monitorexit(同步代码块显示调用，同步方法先加上ACC_SYNCHRONIZED标识，再隐式调用monitor指令)
底层实现：底层实现依赖于MarkWord和MonitorObject,具体实现细节，需要结合锁膨胀过程。

3. synchronized如何保证可见性

加锁前：将工作内存中的数据置为失效态，重新从主内存中取数
解锁前：先将工作内存中的数据刷线到主内存中，然后再释放锁

4. synchronized如何保证原子性

乱序原因：CPU时钟调度，导致当前线程可能还未执行完，就会释放锁资源
解决方案：锁机制，只有获取锁的线程可以执行同步方法、同步代码块

5. synchronized如何保证有序性

结论：synchronized不能避免指令重排序（例如：DCL）,但是可以避免指令重排带来的问题
阐述：synchronized保证有序性，是通过as-if-serial语义和happes-before原则（happens-before原则是对as-if-serial的实现）。synchronized保证了同步方法的单线程环境，从而避免了指令重排带来的问题。

6. synchronized锁膨胀过程

锁开销：在申请锁资源时，需要涉及用户态和内核态的切换，该操作非常耗时。
偏向锁：①场景：研究表明，大部分场景下总是同一个线程反复获取释放锁。 ②原理：使用标识替换申请锁，该标识存在MarkWord中 ③加锁: 线程使用CAS机制将当前线程信息写入对象头中，后续再获取锁时，只需校验下标识即可。 ④锁延迟：Java中的偏向锁是有个时延的，默认是4秒。这是为了避免线程竞争激烈场景下，频繁撤销偏向锁。 ⑤锁升级：当环境中有线程申请偏向锁失败时，就会申请撤销偏向锁，将锁升级为轻量级锁。 ⑥批量撤销删除：为了优化撤销偏向锁开销，【待完善】
轻量级锁：①场景：多线程竞争不是很激烈的场景下 ②原理：标志替代锁，这个标志同样存在MarkWord中 ③加锁：使用CAS机制将当前线程信息写入MarkWord中，如果写入失败则自旋重试 ④锁开销：如果有大量线程自旋重试，会加剧CPU负载。这种情况下轻量级锁的效率反而不如重量级锁，重量级锁获取失败时，会进入等待池。 ⑤锁升级：当线程自旋超过一定阈值时，就会申请撤销轻量级锁。 JDK5之前默认是10次，JDK5后引入了自适应自旋锁，该阈值不再由人为控制，由虚拟机根据当前环境信息决定。
重量级锁：①场景：多线程竞争激烈的场景 ②原理：给对象、类的监视器对象加锁 ③加锁：MonitorObject有个int类型的state属性，该值为零表示未被占用，非零表示已占用。加锁成功后，MonitorObject会记录当前持有者的信息。加锁失败的线程会进入MonitorObject的等待池，等待被唤醒。