深入剖析ReentrantLock的FairSync：公平锁机制的源码之旅

1. 引言

在Java并发编程中，ReentrantLock作为一种功能强大的可重入锁，提供了公平与非公平两种锁机制。其中，FairSync作为ReentrantLock内部实现公平锁机制的关键组件，其设计理念和源码实现都值得深入探讨。

---

2. NonfairSync概述

• ReentrantLock是Java提供的一个互斥锁，具有可重入性，即同一个线程可以多次获取同一个锁而不会被阻塞。它支持公平锁和非公平锁两种模式。公平锁意味着等待时间最长的线程将优先获取锁，这有助于减少线程饥饿现象。
• FairSync是ReentrantLock内部的一个静态内部类，它继承了Sync类，并实现了公平锁的逻辑。通过调用ReentrantLock的构造函数并传入true参数，可以创建一个基于FairSync的ReentrantLock实例。

---

3. 源码分析

1. 类结构
   • ReentrantLock内部包含了Sync、NonfairSync和FairSync三个类。
   • NonfairSync和FairSync都继承自Sync类，而Sync类则继承自AbstractQueuedSynchronizer（AQS）。
2. AQS介绍
   • AQS是Java并发包java.util.concurrent.locks下的基础框架，用于构建锁和同步容器。
   • AQS内部维护了一个FIFO的CLH队列，用于管理等待获取锁的线程。
3. FairSync实现
   • tryAcquire方法：这是公平锁获取锁的核心方法。在尝试获取锁时，它会检查当前线程是否在队列的头部。如果是，则尝试获取锁；如果不是，则直接返回false，表示获取锁失败。
   • lock方法：当线程调用lock方法时，如果锁被其他线程持有，则当前线程会被加入AQS的等待队列尾部，并进入阻塞状态。当锁被释放时，队首的线程会被唤醒并尝试获取锁。
   • 其他方法：FairSync还实现了AQS的其他方法，如tryRelease、isFair等，用于支持锁的重入、释放以及判断锁是否公平等功能。

static final class FairSync extends Sync {
     
    private static final long serialVersionUID = -3000897897090456604L;  
  
    final boolean isFair() {
     
        return true; // 表示这是一个公平锁  
    }  
  
    // 省略其他方法...  
  
    protected final boolean tryAcquire(int acquires) {
     
        final Thread current = Thread.currentThread();  
        int c = getState();  
        if (c