java并发编程实战之理解显示锁ReentrantLock

前面两篇博客分别介绍了通过synchronized关键字(内置锁机制)和volatile关键字实现同步机制。由于volatile实现的同步不能保证操作的原子性，因此一般常用内置锁实现同步机制，但java5.0版本的内置锁在功能上有很多缺陷：如无法中断一个正在等待获取锁的线程、无法在请求获取一个锁时无限地等待下去等，基于这些原因，ReentrantLock孕育而生。

1.ReentrantLock如何实现同步机制？

ReentrantLock类实现了Lock接口，接口把加锁操作抽象为一组方法。

public interface Lock{
    
	void lock();    // 获得锁，如果锁被占用，则被阻塞
	// 获得锁，如果锁被占用，则可以中断被阻塞的锁
    void lockInterruptibly() throws InterruptedException;  
	boolean tryLock();  // 尝试获得锁，如果成功则为true,否则为false
    // 在time时间内尝试获得锁
	boolean tryLock(long time, TimeUnit unit) throws InterruptedException; 
	void unlock();   // 释放锁
	Condition newCondition();
}

从接口的方法可知，不单单提供简单的获得锁和释放锁的操作，还提供其他一些功能，这也是内置锁所不具备的特点。ReentrantLock类完全实现了Lock接口，并提供了与synchronized相同的互斥性和内存可见性。

要理解ReentrantLock类实现同步的原理，就需要看一下源码的实现。

1.1ReentrantLock类的构造函数有两种方式：

    public ReentrantLock() {
    
        sync = new NonfairSync();
    }

    public ReentrantLock(boolean fair) {
    
        sync = fair ? new FairSync() : new NonfairSync();
    }

ReentrantLock不带参数的构造方法生成一个（非公平的）sync对象；
ReentrantLock带参数构造方法根据传入的true或者false分别构造公平的、不公平的sync对象。

NonfairSync类和FairSync类都继承自抽象类Sync，它们都实现父类Sync的抽象方法：lock()和tryAcquire()。这里的lock()实现则是ReentrantLock对象实际调用的方法。

1.2 ReentrantLock类的lock()，即获得锁的过程：

1. NonfairSync类的lock()方法

    final void lock() {
    
	      // 如果锁未被占有则设置锁的状态为1，并把当前线程置为锁的拥有者
	      if (compareAndSetState(0, 1))
	          setExclusiveOwnerThread(Thread.currentThread());
	      else
	           acquire(1);
    }

compareAndSetState()是抽象类AbstractQueuedSynchronizer类的方法，通过unsafe对象的本地方法compareAndSwapInt()来实现(比较并交换操作即CAS操作)；AQS类内部有一个state的全局变量，该变量在ReentrantLock类中的含义是：锁获取操作的次数。因此compareAndSetState(0,1)的意思是：如果state值与方法的第一个参数相同，则设置state值为方法的第二个参数，这里表示state值是否为0，若为0则设置为1并返回true，表示该线程获得锁，否则返回false。返回true则执行方法setExclusiveOwnerThread(thread)把获得锁的线程设置为锁的拥有者。返回false则执行acquire(1)。即获取锁失败后的操作：

    public final void acquire(int arg) {
    
        if (!tryAcquire(arg) &&
            acquireQueued(addWaiter(Node.EXCLUSIVE), arg))
            selfInterrupt();
    }

这个方法可以分三步来理解：
第一步：通过tryAcquire(arg)尝试获取锁，该方法是NonfairSync类从父类Sync类继承过来并自己实现的方法。【它和lock()方法组成了NonfairSync类】tryAcquire(arg)方法实则调用Sync类的nonfairTryAcquire(arg)方法：

    final boolean nonfairTryAcquire(int acquires) {
    
        // 获取当前请求锁的线程
        final Thread current = Thread.