深入理解synchronized关键字

深入理解synchronized关键字

背景

synchronized关键字，是JVM层面实现的内置锁，用于多线程并发场景下的加锁。

通常使用最多的场景，就是涉及临界区（需控制并发访问的一段代码区域）的竞态条件下，在对应的方法或者代码块加上synchronized 对应的方法或代码块只能被当前获取到锁的线程访问，线程实际上是串行化执行，也就做到了线程安全。

之前有说法是，不要随意使用synchronized，这个同步加锁的方式开销大，影响性能，不建议使用，但事实并不是这样的。

先说结论：经过迭代和优化，在jdk1.6及以后，synchronized性能经过优化，性能实际已经有了很大的提升，基本和Lock的性能持平。

为什么要使用锁

要解决同一时刻只能同一线程执行，也就是互斥。锁是一种通用的技术方案，而synchronized是其中一种实现。

CAS与synchronized

JVM层面实现线程间同步，有两种方式。

CAS：

Compare And Swap，这种不涉及到线程切换？且是原子操作，是CPU硬件支付的指令。

synchronized：

是JVM层面实现的内置锁。每一次waiting到runnable状态都涉及一次线程切换（实际就是waiting就会切换到其它线程？）

synchronized使用方法

可用在同步代码块，锁当前对象实例、锁类对象、锁其它对象实例。

Monitor(管程/监视器)

管程是指管理共享变量以及对共享变量进行操作的过程，并让它们支持并发。

synchronized加上wait()、notify()、notifyAll()三个方法，就是java实现管程技术的组成部分。

MESA模型

是一种使用广泛的管程模型，操作系统使用这种模型实现管程。

并发领域两大核心问题，同步与互斥，就是通过管程来解决的。

同步就是线程间互相协作、通信，而互斥就是同一时间只能一个线程访问共享资源。

那么管程是如何解决同步与互斥问题的呢？请看下面的MESA管程模型。

如何解决互斥？

管程解决互斥的方案就是：将共享变量以及对共享变量的操作封装起来。图中的框，就表示封装的意思。

如何解决同步？

通过条件变量以及条件变量等待队列。

wait()的使用

对于 MESA 管程来说，有一个编程范式，就是需要在一个 while 循环里面调用 wait()。
这个是 MESA 管程特有的。

while(条件不满足) {
  wait();
}

管程要求同一时刻只允许一个线程执行，那当线程 T2 的操作使线程 T1 等待的条件满足时，T1 和 T2 究竟谁可以执行呢？

😄 T2通知完T1后，T1不会立即执行，而是从条件等待队列进入到入口等待队列

synchronized实现原理

Java 参考了 MESA 模型，语言内置的管程（synchronized）对 MESA 模型进行了精简。MESA 模型中，条件变量可以有多个，Java 语言内置的管程里只有一个条件变量。

每个对象都有一个对应的objectMonitor，获得这个对象的锁就是通过获取这个objectMonitor的所有权。没有获取到锁的线程，就会阻塞，直到其它线程发起通知（如何通知的？）

对象在堆中，由对象头和对象的成员变量数据组成。而对象头，由Mark Word、klasstor类元数据指针、数组信息（如果是数组对象）组成。

对象头的Mark Word，包含了对象的GC分代信息、锁状态、偏向锁线程id等信息。

这个锁的信息，就放在Mark Word的标识位中。

锁状态，四种类型的锁与锁升级

在对象头，锁的状态分为

• 无锁状态
• 偏向锁状态
• 轻量级锁状态
• 重量级锁状态

四种锁的状态，逐一向上升级。