Java并发编程的艺术-Java并发机制的底层实现原理-CSDN博客

本文链接：https://blog.csdn.net/qq_36811160/article/details/109009770

Java并发机制的底层实现原理

1、volatile的应用

在并发编程中，synchronized和volatile都扮演着重要的角色，volatile是轻量级的synchronized，他在并发编程中保证了共享变量的 “可见性”。可见性的意思是当一个线程修改一个共享变量时，另一个线程能读到这个修改的值。volatile不会引起线程上下文的切换和线程调度。

2、synchronized的原理与应用

2.1 利用synchronized实现同步的基础

Java中每个对象都可以作为锁，具体表现为以下3种形式：

对于普通同步方法，锁是当前实例对象
对于静态同步方法，锁是当前类Class对象
对于同步方法快，锁是synchronized括号里配置的对象

2.2 synchronized的实现原理

JVM基于进入和退出的Monitor对象来实现方法同步和代码块同步，但两者实现细节不一样。代码块同步是使用monitorenter和monitorexit指令实现的，而方法同步使用另外一种方式实现的。

monitorenter指令在编译后插入到同步代码块的开始位置，而monitorexit是插入到方法结束和异常处，JVM要保证每个monitorenter和monitorexit一一对应。当一个monitor被持有后，他将处于锁定状态，线程执行到monitorenter指令时，将会尝试获取对象所对应的monitor的所有权，即尝试获取对象的锁。

2.3 Java对象头

synchronized用的锁是存在Java对象头里的，对象头组成如下所示：

长度	内容	说明
32/64bit	Mark Word	存储对象的hashcode或锁信息等
32/64bit	Class Metadata Adress	存储到对象类型数据的指针
32/64bit	Array length	数组的长度（如果当前对象是数组）

Java对象头里的Mark Word里默认存储对象的hashcode、分代年龄和锁标记位。