JDK锁的基础--AQS实现原理(二)

上文介绍了AQS的一些基础知识,包括CLH锁的原理和AQS的一些数据结构,这篇文章中我们来分析一下AQS的方法。AQS是一个抽象类,定义了几个模板方法交给子类去实现,分别是:

  1. protected boolean tryAcquire(int arg)
  2. protected boolean tryRelease(int arg)
  3. protected int tryAcquireShared(int arg)
  4. protected boolean tryReleaseShared(int arg)

本文不分析获取共享锁的情况。

先来看一下比较简单的一个子类实现ReentrantLock中的内部类FairSync,下面就直接分析一下ReentrantLock的实现,ReentrantLock有一个字段private final Sync sync;,而Sync正是继承自AQS。来看一下ReentrantLock的构造函数:

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

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

其中NonfairSyncFairSync均继承自Sync类,区别只是获取锁的方式是否公平:

    //NonfairSync
    final void lock() {
        if (compareAndSetState(0, 1))
            setExclusiveOwnerThread(Thread.currentThread());
        else
            acquire(1);
    }
    
    //FairSync
    final void lock() {
        acquire(1);
    }

可以看出,非公平锁在获取锁的时候会先尝试一下是否能直接获取锁,如果可以,就不必进行排队(acquire方法),而公平锁会直接进入等待队列排队。

看一下AQS中acquire方法的实现:

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

acquire方法大体的逻辑就是先调用tryAcquire尝试获取锁,如果失败的话就新建一个Node对象并添加到AQS的等待队列中去。

    private Node addWaiter(Node mode) {
        //使用当前线程新建一个Node对象,并且设置锁为排它锁
        Node node = new Node(Thread.currentThread(), mode);
        // Try the fast path of enq; backup to full enq on failure
        //直接使用compareAndSetTail把当前Node添加到等待队列的队尾,由于多线程的问题,可能导致设置失败,此时转到enq方法去执行
        Node pred = tail;
        if (pred != null) {
            node.prev = pred;
            if (compareAndSetTail(pred, node)) {
                pred.next = node;
                return node;
            }
        }
        //添加Node失败,调用enq方法无限循环地添加
        enq(node);
        return node;
    }

addWaiter方法新建一个Node对象,并且设置成EXCLUSIVE模式,也就是排它锁。在该方法中,先使用原子操作尝试把新建节点添加到等待队列的队尾,如果添加成功则直接返回,否则调用enq()方法添加。

    private Node enq(final Node node) {
        for (;;) {
            Node t = tail;
            //如果等待队列还没有建立,那么先初始化,并且设置头、尾节点都是当前节点           
            if (t == null) { // Must initialize
                //如果是等待队列的初始化,则创建一个哑节点,需要注意的是此if语句并没有返回,而是在enq的下轮循环中将node节点添加到这个哑节点后
                if (compareAndSetHead(new Node()))
                    tail = head;
            } else {
                node.prev = t;
                //依然是调用原子操作来把当前节点添加到队尾,不过由于代码处于无限循环当中,总会有添加成功的时候
                if (compareAndSetTail(t, node)) {
                    //可以看到把原尾节点的next字段设置成node和把node设置成尾节点合并在一起并不是个原子操作
                    t.next = node;
                    return t;
                }
            }
        }
    }

在此要说明的是,AQS的等待队列是使用lazy模式来初始化的,也就是说,如果一直没有线程来竞争锁,那么等待队列一直都不会建立。而等待队列的初始化是在enq()方法中进行的。

由于在addWaiter的过程中可能其他线程已经释放了锁,所以在acquireQueued方法中把新建Node阻塞之前可以再尝试一下获取锁,如果仍然失败,再阻塞该线程:

final boolean acquireQueued(final Node node, int arg) {
        boolean failed = true;
        try {
            boolean interrupted = false;
            for (;;) {
                final Node p = node.predecessor();
                //如果前驱节点为头节点,而且尝试获取锁成功了,那么把当前节点设置成头节点
                //这也只是一条快速路径
                if (p == head && tryAcquire(arg)) {
                    setHead(node);
                    p.next = null; // help GC
                    failed = false;
                    return interrupted;
                }
                if (shouldParkAfterFailedAcquire(p, node) &&
                    parkAndCheckInterrupt())
                    interrupted = true;
            }
        } finally {
            if (failed)
                cancelAcquire(node);
        }
    }

AQS等待队列中的头节点代表当前持有锁的线程,所以当一个节点的前驱节点是头节点的时候,可以尝试一下获取锁(因为可能锁持有线程已经释放了锁),如果获取锁成功,那么把该节点设置成头节点并返回。如果当前节点的前驱节点并不是头节点,那么不给它尝试获取锁的机会,因为AQS等待队列是FIFO的,此时没有轮到它获取锁。

如果该节点尝试获取锁失败,那么调用shouldParkAfterFailedAcquire方法判断是否需要阻塞当前节点:

private static boolean shouldParkAfterFailedAcquire(Node pred, Node node) {
        int ws = pred.waitStatus;
        //如果前驱节点的状态是SIGNAL,说明前驱节点已经已经做好了后继节点阻塞的准备,可以直接阻塞当前节点
        if (ws == Node.SIGNAL)         
            return true;
        //只有CANCELLED的值大于0
        //如果前驱节点的状态是CANCELLED,那么需要继续向前遍历找到一个未取消的节点做为当前节点的前驱节点
        if (ws > 0) {         
            do {
                node.prev = pred = pred.prev;
            } while (pred.waitStatus > 0);
            pred.next = node;
        } else {
            //此时前驱节点的状态值为0或者PROPAGATE(用于共享锁,本文暂不考虑这种状态)
            //将前驱节点的值设置成SIGNAL
            compareAndSetWaitStatus(pred, ws, Node.SIGNAL);
        }
        return false;
    }

如果shouldParkAfterFailedAcquire方法返回false,那么在acquireQueued方法中进行下一轮循环(因为shouldParkAfterFailedAcquire方法可能修改了当前节点的前驱节点或者前驱节点的状态),此时当前节点的前驱节点可能变成头节点或者前驱节点的状态变成SIGNAL。如果shouldParkAfterFailedAcquire方法返回true,那么就调用parkAndCheckInterrupt方法阻塞当前节点代表的线程:

    private final boolean parkAndCheckInterrupt() {
        LockSupport.park(this);
        return Thread.interrupted();
    }

至此,获取锁的acquire方法已经分析完毕。再来看看释放锁的release方法:

public final boolean release(int arg) {
        if (tryRelease(arg)) {
            Node h = head;
            //如果某个节点有后继节点
            if (h != null && h.waitStatus != 0)
                unparkSuccessor(h);
            return true;
        }
        return false;
    }

release方法调用tryRelease(模板方法,交给子类去实现)来释放相应数量的信号量,如果方法调用成功,那么就唤醒等待队列头节点的后继节点。

private void unparkSuccessor(Node node) {
        int ws = node.waitStatus;
        if (ws < 0)
            //将状态设置成0,表示不会唤醒后继节点
            compareAndSetWaitStatus(node, ws, 0);

        Node s = node.next;
        //即使某个节点的next字段为空也不能判定该节点没有后继节点,因为创建一个节点并且把它的前驱节点的next字段指向它这并不是个原子操作,所以在多线程的环境中可能出现node节点的next字段为空但是实际上有后继节点的情况,此时需要从队列的tail节点向前遍历来寻找node的后继节点
        if (s == null || s.waitStatus > 0) {
            s = null;
            for (Node t = tail; t != null && t != node; t = t.prev)
                if (t.waitStatus <= 0)
                    s = t;
        }
        if (s != null)
            LockSupport.unpark(s.thread);
    }

假设没有中断的情况下,在unparkSuccessor方法中unpark的线程会继续在方法acquireQueued方法的运行,并且其parkAndCheckInterrupt方法会返回false,然后就会再次尝试获取锁,此次获取锁就会成功了,然后acquire方法就会返回,代表该线程已经可以执行临界区代码了。

最后再来看一下取消等待的方法,在获取锁的时候如果设置了超时时间并且超时之后就需要取消等待,此时会转到cancelAcquire方法:

private void cancelAcquire(Node node) {
        if (node == null)
            return;
        node.thread = null;
        //跳过已经被取消的节点,最终找到本节点的前驱节点
        //需要注意的是,由于只有等待超时或者等待的过程中被中断才会被取消,而等待队列的头节点代表当前正在执行的节点(除了初始化等待队列时的哑节点),所以被取消的节点一定不是头节点,也就是说该节点一定有prev节点
        Node pred = node.prev;
        while (pred.waitStatus > 0)
            node.prev = pred = pred.prev;


        Node predNext = pred.next;
        node.waitStatus = Node.CANCELLED;

        // 如果本节点是等待队列的尾节点,那么使用原子操作直接删除本节点
        if (node == tail && compareAndSetTail(node, pred)) {
            compareAndSetNext(pred, predNext, null);
        } else {
            //如果pred不是头节点,说明此时按照顺序来说不应该唤醒pred的后继节点
            //如果pred的状态是SIGNAL,或者把pred的状态设置成SIGNAL的原子操作成功了,那么说明pred已经做好了在它释放锁后唤醒后继节点的准备,所以此时也不必唤醒后继节点
            int ws;
            if (pred != head &&
                ((ws = pred.waitStatus) == Node.SIGNAL ||
                 (ws <= 0 && compareAndSetWaitStatus(pred, ws, Node.SIGNAL))) &&
                pred.thread != null) {
                //把pred的后继节点设置成本节点的后继节点,相当于把本节点从队列中删除
                Node next = node.next;
                if (next != null && next.waitStatus <= 0)
                    compareAndSetNext(pred, predNext, next);
            } else {
                //如果pred是头节点,那么需要试着唤醒本节点的后继节点,看看能不能获取锁
                //如果pred没有做好唤醒其后继节点的准备,那么也需要先唤醒一下后继节点,让其先在acquireQueued方法中尝试获取锁,如果失败,则需要先设置前驱节点的状态为SIGNAL才能被阻塞
                unparkSuccessor(node);
            }

            node.next = node; // help GC
        }
    }
评论
添加红包

请填写红包祝福语或标题

红包个数最小为10个

红包金额最低5元

当前余额3.43前往充值 >
需支付:10.00
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明:

1.余额是钱包充值的虚拟货币,按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载,可以购买VIP、付费专栏及课程。

余额充值