首页 > 代码库 > 聊聊高并发(九)实现几种自旋锁(四)
聊聊高并发(九)实现几种自旋锁(四)
这篇看一下时限队列锁的一种实现方式。 java并发包中的Lock定义包含了时限锁的接口:
public interface Lock { void lock(); void lockInterruptibly() throws InterruptedException; boolean tryLock(); boolean tryLock(long time, TimeUnit unit) throws InterruptedException; void unlock(); Condition newCondition(); }
tryLock就是实现锁的接口,它支持限时操作,支持中断操作。这两个特性很重要,可以防止死锁,也可以在死锁的情况下取消锁。
因为这两个特性的需要,队列锁的节点需要支持“退出队列”的机制,也就是说当发生超时或者线程中断的情况下,线程能从队列中出队列,不影响其他节点继续等待。之前实现的几种队列锁都不支持退出机制,一旦发生队列中的线程长时间阻塞,那么后续所有的线程都会被动阻塞。
我们看一种限时队列锁的实现,它有几个要点:
1. 定义一个共享的AVAILABLE节点,当一个节点的preNode指向AVAILABLE时,表示这个节点获得锁
2. QNode节点维护一个preNode引用,这个引用只有当获得锁时,会指向AVAILABLE,或者超时了会指向它的前一个节点,其他等待锁的时候都是Null,因为一旦一个节点超时了,需要让它的后续节点指向它的前驱节点,所以只有超时的时候会给preNode设置值(指向AVAILABLE节点除外)。
3. 使用一个AtomicReference原子变量tail来形成一个虚拟的单向链表结构。tail的getAndSet操作会返回之前的节点的引用,相当于获得了前驱节点。当获得锁后,前驱节点引用就释放了,前驱节点就可以被GC回收
4. 支持中断操作,Thread.isInterrupted()可以获得线程中断的信息,一旦获取中断信息,就抛出中断异常。需要注意的时,线程中断信息发出时,并不是要求线程马上中断,而是告知了线程要中断的信息,程序自己控制中断的地点。
5. 由于线程只有一个ThreadLocal的myNode变量指向自己的节点,所以获取锁时,使用了每次new一个新的Node,并设置给线程的方式,避免unlock时对node的操作影响后续节点的状态,也可以使线程多次获得锁。这里可以考虑像CLHLock那样,维护两个ThreadLocal的引用,释放锁时把myNode的引用指向已经不使用的前驱节点,这样避免无谓的new操作。
package com.zc.lock; import java.util.concurrent.TimeUnit; import java.util.concurrent.atomic.AtomicReference; /** * 时限队列锁,支持tryLock超时操作 * QNode维护一个指针preNode指向前一个节点。当preNode == AVAILABLE表示已经释放锁。当preNode == null表示等待锁 * tail维护一个虚拟链表,通过tail.getAndSet方法获得前一个节点,并在前一个节点自旋,当释放锁时前一个节点的preNode == AVAIABLE,自动通知后一个节点获取锁 * 当一个节点超时或者被中断,那么它的前驱节点不为空。后续节点看到它的前驱节点不为空,并且不是AVAILABLE时,知道这个节点退出了,就会跳过它 * 当节点获得锁,进入临界区后,它的前驱节点可以被回收 * **/ public class TimeoutLock implements TryLock{ // 声明为静态变量,防止被临时回收 private static final QNode AVAILABLE = new QNode(); // 原子变量指向队尾 private AtomicReference<QNode> tail; ThreadLocal<QNode> myNode; public TimeoutLock(){ tail = new AtomicReference<QNode>(null); myNode = new ThreadLocal<QNode>(){ protected QNode initialValue(){ return new QNode(); } }; } @Override public void lock() { // 和CLHLock不同,每次新建一个Node,并设置给线程,目的是支持同一个线程可以多次获得锁,而不影响链中其他节点的状态 // CLHLock不需要每次新建Node是因为它使用了两个指针,一个指向前驱节点。而前驱节点释放后就可以回收了。 // CLHLock每次释放锁时设置myNode为失效的前驱节点,也是为了支持同一个线程可以多次获取锁而不影响其他节点 QNode node = new QNode(); myNode.set(node); QNode pre = tail.getAndSet(node); if(pre != null){ // 在前一个节点自旋,当前一个节点是AVAILABLE时,表示它获得锁 while(pre.preNode != AVAILABLE){ } } } @Override public void unlock() { QNode node = myNode.get(); // CAS操作,如果为true,表示是唯一节点,直接释放就行;否则把preNode指向AVAILABLE if(!tail.compareAndSet(node, null)){ node.preNode = AVAILABLE; } } @Override //TimeUnit只支持毫秒 public boolean trylock(long time, TimeUnit unit) throws InterruptedException { if(Thread.interrupted()){ throw new InterruptedException(); } boolean isInterrupted = false; long startTime = System.currentTimeMillis(); long duration = TimeUnit.MILLISECONDS.convert(time, unit); // 注意:每次tryLock都要new新的Node,为了同一个线程可以多次获得锁。如果每个线程都使用同一个节点,会影响链中其他的节点 QNode node = new QNode(); myNode.set(node); // 尝试一次获取锁 QNode pre = tail.getAndSet(node); // 第一个节点或者之前的节点都是已经释放了锁的节点, pre==AVAILABLE表示获得了锁 if(pre == null || pre == AVAILABLE){ return true; } // 在给定时间内对preNode自旋 while((System.currentTimeMillis() - startTime < duration) && !isInterrupted){ QNode predPreNode = pre.preNode; // 表示前一个节点已经释放了锁,设置了preNode域,否则preNode域为空 if(predPreNode == AVAILABLE){ return true; } // 当prePreNode != null时,只有两种情况,就是它超时了,或者被中断了。 // 跳过prePreNode不为空的节点,继续自旋它的下一个节点 else if(predPreNode != null){ pre = predPreNode; } if(Thread.interrupted()){ isInterrupted = true; } } // 超时或者interrupted,都要设置node的前驱节点不为空 node.preNode = pre; if(isInterrupted){ throw new InterruptedException(); } return false; } public static class QNode { volatile QNode preNode; } public String toString(){ return "TimeoutLock"; } }
TimeoutLock具备所有CLHLock的特性,比如无饥饿,先来先服务的公平性,在多个共享变量上自旋,从而控制合理的缓存一致性流量等等,并且支持了限时操作和中断操作。
使用限时锁时有固定的模板,防止锁被错误使用。
Lock lock = ...; if (lock.tryLock()) { try { // manipulate protected state } finally { lock.unlock(); } } else { // perform alternative actions }
同样,我们之前验证锁正确性的测试用例同样对TimeoutLock有效,这里不重复帖代码了。
转载请注明来源: http://blog.csdn.net/iter_zc
聊聊高并发(九)实现几种自旋锁(四)