Java中锁的相关问题

一、synchronized的升级过程

1.介绍synchronized锁

在了解锁的升级流程之间，我们首先要理解什么是锁？

锁是一种用于控制对共享资源访问的机制，它可以确保在某个时刻只有一个线程或进程可以访问被锁定的资源，从而保证数据的一致性和安全性。在计算机科学中，锁常用于并发编程，以解决多线程或多个进程并发访问共享资源时可能出现的数据竞争和不一致性问题。

那么，什么是锁的升级呢？

锁升级是指将多个细粒度锁转换为粗粒度锁的过程，叫做锁升级，需要注意的锁只会升级不会降级，锁一旦升级到更高级别，就不会再回到低级别。

为什么要有锁升级流程？
在最开始的时候,其实就是无锁直接到重量级锁,但是重量级锁需要向内核申请额外的锁资源,这就涉及到用户态和内核态的转换,比较浪费资源,而且大多数情况下,其实还是一个线程去争抢锁,完全不需要重量级锁。所以锁的升级可以提高获得锁和释放锁的效率。

2.锁的状态

在jdk1.5版本（包含）之前，锁的状态只有两种状态：“无锁状态”和“重量级锁状态”，只要有线程访问共享资源对象，则锁直接成为重量级锁，jdk1.6版本后，对synchronized锁进行了优化，新加了“偏向锁”和“轻量级锁”，用来减少上下文的切换以提高性能，所以锁就有了4种状态。

 无锁

• 这是对象未被任何线程锁定时的初始状态。此时没有线程持有锁，所有访问同步代码块的线程都是无锁竞争状态

 偏向锁

• 当一个线程首次获得对象锁时，JVM会将锁设置为偏向锁，并将锁对象的Mark Word（对象头的一部分，用于存储锁状态及线程信息）中的线程ID设置为当前线程的ID。
• 后续当这个线程再次请求相同的锁时，只需检查Mark Word中的线程ID是否与当前线程ID一致。如果一致，说明还是原来的线程持有锁，可以直接进入同步代码块，无需进行额外的同步操作。
• 偏向锁的作用：偏向锁适用于大部分时间只有一个线程访问同步资源的场景，减少了轻量级锁中CAS操作的开销。

轻量级锁

• 当有第二个线程尝试获取已被偏向锁锁定的对象时，偏向锁失效，JVM会尝试升级为轻量级锁。
• 线程会在当前线程栈中创建一个锁记录（Lock Record），并将锁对象的Mark Word替换为指向锁记录的指针，同时在锁记录中存储当前线程的ID和一个指向原Mark Word副本的指针。
• 使用CAS操作尝试将锁对象的Mark Word设置为指向锁记录的指针。如果成功，线程获得轻量级锁并执行同步代码；如果失败（即有其他线程已持有锁），则进入下一步骤。
• 轻量级锁的作用：轻量级锁适用于短暂的、低竞争的同步场景，通过自旋等待和CAS操作避免了线程切换的开销。

重量级锁

• 当自旋尝试失败或自旋超过一定阈值，或者系统检测到多个线程长期竞争同一锁时，轻量级锁会升级为重量级锁。
• 重量级锁通常涉及操作系统级别的互斥量（Mutex），线程在无法获得锁时会被挂起，不再消耗CPU资源，直到持有锁的线程释放锁后，操作系统再唤醒等待队列中的下一个线程。
• 重量级锁提供了严格的互斥保证，适用于高竞争或锁占用时间较长的场景，虽然开销较大，但能有效防止过多线程同时阻塞在自旋状态。

重量级锁是操作系统层面的，不但需要依靠操作系统级别的互斥量保证某一时刻只能由一个线程访问到被锁定的资源，其他线程争夺锁失败而阻塞时，操作系统也负责将该线程挂起并将其从CPU上移除。所以重量级锁的性能最低。

二、锁升级流程

当一个共享资源首次被某个线程访问时，锁就会从无锁状态升级到偏向锁状态，偏向锁会在Markword的偏向线程ID里存储当前线程的操作系统线程ID，偏向锁标识位是1，锁标识位是01。此后如果当前线程再次进入临界区域时，只比较这个偏向线程ID即可，这种情况是在只有一个线程访问的情况下，不再需要操作系统的重量级锁来切换上下文，提供程序的访问效率。

当第二个线程尝试获取偏向锁失败时，偏向锁会升级为轻量级锁，此时，JVM会使用CAS自旋操作来尝试获取锁，如果成功则进入临界区域，否则升级为重量级锁。

轻量级锁是在当前线程的栈帧中建立一个名为锁记录（Lock Record）的空间，尝试拷贝锁对象头的Markword到栈帧的Lock Record，若拷贝成功，JVM将使用CAS操作尝试将对象头的Markword更新为指向Lock Record的指针，并将Lock Record里的owner指针指向对象头的Markword。若拷贝失败,若当前只有一个等待线程，则可通过自旋继续尝试， 当自旋超过一定的次数，或者一个线程在持有锁，一个线程在自旋，又有第三个线程来访问时，轻量级锁就会膨胀为重量级锁。

概述：
一开始是无锁状态，然后当一个线程首次获得对象锁时，JVM会设置为偏向锁，然后其他线程也来尝试获取对象，发现对象被加上了偏向锁，会将偏向锁进行撤销，此时对象是无锁状态，第一个来到的线程会将对象头的Mark Word替换为指向锁记录的指针，并将锁记录中的Owner字段设置为当前线程，此时锁是轻量级锁。后面到来的线程进行CAS操作进行修改。如果自旋一定次数任未操作成功，那么锁就会升级为重量级锁。

锁升级细化流程：