Java并发锁控制API详解

一.Lock接口(java.util.concurrent.locks):

• void lock():获取锁,阻塞方式；如果资源已被其他线程锁定，那么lock将会阻塞直到获取锁，锁阻塞期间不受线程的Interrupt的影响，在获取锁成功后，才会检测线程的interrupt状态，如果interrupt=true，则抛出异常。
• unlock():释放锁
• tryLock():尝试获取锁,并发环境中"闯入"行为,如果有锁可用,直接获取锁并返回true,否则范围false.
• lockInterruptibly():尝试获取锁,并支持"中断"请求。与lock的区别时，此方法的开始、结束和执行过程中，都会不断检测线程的interrupt状态，如果线程被中断，则立即抛出异常；而不像lock方法那样只会在获取锁之后才检测。

二.Lock接口实现类

    Lock直接实现,只有3个类:ReentrantLock和WriteLock/ReadLock;这三种锁;Lock和java的synchronized(内置锁)的功能一致,均为排他锁.

 

    ReentrantLock为重入排他锁,对于同一线程,如果它已经持有了锁,那么将不会再次获取锁,而直接可以使用.

    ReentrantReadWriteLock并没有继承ReentrantLock,而是一个基于Lock接口的单独实现.它实现了                 ReadWriteLock,即读写分离锁,是一种采用锁分离技巧的API.

 

    尽管在API级别ReentrantReadWriteLock和ReentrantLock没有直接继承关系,但是ReentrantReadWriteLock中的ReadLock和WriteLock都具有ReentrantLock的全部语义(简单说,就是把ReentrantLock的代码copy了一下.),即锁的可重入性.WriteLock支持Condition(条件),ReadLock不支持.

 

    Lock的实现类中,都包含了2中锁等待策略:公平和非公平;其实他们的实现也非常简单,底层都是使用了queue来维持锁请求顺序.[参考:http://shift-alt-ctrl.iteye.com/blog/1839142]

 

    公平锁,就是任何锁请求,首先将请求加入队列,然后再有队列机制来决定,是阻塞还是分配锁.

非公平,就是允许"闯入",当然公平锁,也无法干扰"闯入",对于任何锁请求,首先检测锁状态是否可用,如果可用直接获取,否则加入队列..

 

    ReentrantLock本质上和synchronized修饰词是同一语义,如果一个线程lock()之后,其他线程进行lock时必须阻塞,直到当前线程的前续线程unlock.[执行lock操作时,将会被队列化(假如在公平模式下),获取lock的线程都将具有前续/后继线程,前续线程就是当前线程之前执行lock操作而阻塞的线程,后继线程就是当前线程之后执行lock操作的线程;那么对于unlock操作就是"解锁"信号的传递,如果当前线程unlock,那么将会触发后继线程被"唤醒",即它因为lock操作阻塞状态被解除.];这是ReentrantLock的基本原理,但是当ReentrantLock在Conditon情况下,事情就变得更加复杂.[参加下述]

 

三.Condition:锁条件

    Condition与Lock形成happen-before关系。Condition将Object的监视器方法(wait,notify,notifyAll)分解成截然不同的对象，以便通过这些对象与任意Lock实现组合。使Lock具有等待“集合”的特性，或者“类型”；Lock替代了synchronized 方法和语句的使用，Condition 替代了 Object 监视器方法的使用。（synchronized + object.wait对应Lock + Condition.await）

 

    Condition又称条件队列，为线程提供了一个含义，以便在某种状态条件现在可能为true的其他线程通知它之前，一直挂起该线程。即多个线程，其中一个线程因为某个条件而阻塞，其他线程当“条件”满足时，则“通知”哪些阻塞的线程。这，几乎和object中wait和notify的机制一样。

    Condition和wait一样，阻塞时也将原子性的释放锁(间接执行了release()方法)。并挂起线程。Condition必须与Lock形成关系，只有获取lock权限的，才能进行Condition操作。Condition底层基于AQS实现，条件阻塞，将以队列的方式，LockSupport支持。其实现类有ConditionObject，这也是Lock.newCondition()的返回实际类型，在等待 Condition 时，允许发生“虚假唤醒”，这通常作为对基础平台语义的让步。对于大多数应用程序，这带来的实际影响很小，因为 Condition 应该总是在一个循环中被等待，并测试正被等待的状态声明。某个实现可以随意移除可能的虚假唤醒，但建议应用程序程序员总是假定这些虚假唤醒可能发生，因此总是在一个循环中等待。

• void await() throws InterruptedException:当前线程阻塞，并原子性释放对象锁。如下条件将触发线程唤醒：

1. 当线程被中断(支持中断响应)，
2. 其他线程通过condition.signal()方法，且碰巧选中当前线程唤醒
3. 其他线程通过condition.signalAll()方法
4. 发生虚假唤醒

    底层实现，await()方法将当前线程信息添加到Conditon内部维护的"await"线程队列的尾部(此队列的目的就是为singal方法保持亟待唤醒的线程的顺序),然后释放锁(执行tryRelease()方法,注意此处释放锁,仅仅是释放了锁信号,并不是unlock,此时其他线程仍不能获取锁--lock方法阻塞),然后使用LockSupport.park(this)来强制剥夺当前线程执行权限。await方法会校验线程的中断标记。

由此可见,await()方法执行之后,因为已经"归还"了锁信号,那么其他线程此时执行lock方法,将不再阻塞..

 

• void awaitUninterruptibly()：阻塞，直到被唤醒。此方法不响应线程中断请求。即当线程被中断时，它将继续等待，直到接收到signal信号(你应该能想到"陷阱")，当最终从此方法返回时，仍然将设置其中断状态。
• void signal()/signalAll():唤醒一个/全部await的线程。

    对于signal()方法而言,底层实现为，遍历await"线程队列,找出此condition上最先阻塞的线程,并将此阻塞线程unpark.至此为止,我们似乎发现"锁信号"丢失了,因为在线程await时通过tryRelease时释放了一次信号.那么被signal成功的线程,首先执行一次acquire(增加锁信号),然后校验自己是否被interrupted,如果锁信号获取成功且线程状态正常,此时才正常的从await()方法退出.经过这么复杂的分析,终于明白了ReentrantLock + Condition情况下,锁状态变更和线程控制的来龙去脉...

//////例子：
private Lock lock = new ReentrantLock();
private Condition full = lock.newCondition();
private Condition empty = lock.newCondition();
public Object take(){
	lock.lock();
	try{
		while(isEmpty()){
			empty.await()
		}
		Object o = get()
		full.signalAll();
		return o;
	}finally{
		lock.unlock();
	}
}

public void put(Object o){
	lock.lock();
	try{
		while(isFull()){
			full.await();
		}
		put(o);
		empty.signalAll();
	}finally{
		lock.unlock();
	}
}

 

四.机制

    Lock 实现提供了比使用 synchronized 方法和语句可获得的更广泛的锁定操作。此实现允许更灵活的结构，可以具有差别很大的属性，可以支持多个相关的 Condition 对象。注意，Lock 实例只是普通的对象，其本身可以在 synchronized 语句中作为目标使用。获取 Lock 实例的监视器锁与调用该实例的任何 lock() 方法没有特别的关系。为了避免混淆，建议除了在其自身的实现中之外，决不要以这种方式使用 Lock 实例。

 

    Lock接口具有的方法：

• void lock():获取锁，阻塞直到获取。
• void lockInterruptibly() throws InterrutedException:获取锁，阻塞直到获取成功，支持中断响应。
• boolean tryLock():尝试获取锁，返回是否获取的结果。如果碰巧获取成功，则返回true，此时已经持有锁。
• boolean tryLock(long time,TimeUnit) throws InterruptedException:尝试获取锁，获取成功返回true，超时时且没有获取锁则返回false。
• void unlock():释放锁。约定只有持有锁者才能释放锁，否则抛出异常。
• void newCondition():返回绑定到lock的条件。

 

五.ReadWriteLock

    ReadWriteLock 维护了一对相关的锁，一个用于只读操作，另一个用于写入操作。只要没有 writer（写锁），读取锁可以由多个 reader 线程同时保持（共享锁）。写入锁是独占的。所有 ReadWriteLock 实现都必须保证 writeLock 操作的内存同步效果也要保持与相关 readLock 的联系。也就是说，成功获取读锁的线程会看到写入锁之前版本所做的所有更新。

    与互斥锁相比，读-写锁允许对共享数据进行更高级别的并发访问。虽然一次只有一个线程（writer 线程）可以修改共享数据，但在许多情况下，任何数量的线程可以同时读取共享数据（reader 线程），读-写锁利用了这一点。从理论上讲，与互斥锁相比，使用读-写锁所允许的并发性增强将带来更大的性能提高。在实践中，只有在多处理器上并且只在访问模式适用于共享数据时，才能完全实现并发性增强。

• Lock readLock():返回读锁。
• Lock writeLock():返回写锁。

六.ReentrantLock

    ReentrantLock,重入排它锁，它和synchronized具有相同的语义以及在监视器上具有相同的行为，但是功能更加强大。

    ReetrantLock将由最近成功获得锁且还没有释放锁的线程标记为“锁占有者”；当锁没有被线程持有时，调用lock方法将会成功获取锁并返回，如果当前线程为锁持有者，再次调用lock将立即返回。可以使用 isHeldByCurrentThread() 和 getHoldCount() 方法来检查此情况是否发生。

 

    ReentrantLock的构造方法，允许接收一个“公平策略”参数，“公平策略”下，多个线程竞争获取锁时，将会以队列化锁请求者，并将锁授予队列的head。在“非公平策略”下，则不完全保证锁获取的顺序，允许闯入行为(tryLock)。

    ReentrantLock基于AQS机制，锁信号量为1，如果信号量为1且当前锁持有者不为自己，则不能获取锁。释放锁时，如果当前锁持有者不是自己，也将抛出“IllegalMonitorStateException”。由此可见，对于ReentrantLock，lock和release方法是需要组合出现。

 

七.ReentrantReadWriteLock：可重入读写分离锁

1.  重入性 ：当前线程可以重新获取相应的“读锁”或者“写锁”，在写入线程保持的所有写入锁都已经释放后，才允许重入reader（读取线程）使用它们。writer线程可以获取读锁，但是reader线程却不能直接获取写锁。
2. 锁降级：重入还允许写入锁降级为读锁，其实现方式为：先获取写入锁，然后获取读取锁，最后释放写入锁。但是读取锁不能升级为写入锁。
3. Conditon的支持：只有写入锁支持conditon，对于读取锁，newConditon方法直接抛出UnsupportedOperationException。

    ReentrantReadWriteLock目前在java api中无直接使用。ReentrantReadWriteLock并没有继承自     ReentrantLock，而是单独重新实现。其内部仍然支持“公平性”“非公平性”策略。

    ReentrantReadWriteLock基于AQS，但是AQS只有一个state来表示锁的状态，所以如果一个state表示2种类型的锁状态，它做了一个很简单的策略，“位运算”，将一个int类型的state拆分为2个16位段，左端表示readlock锁引用计数，右端16位表示write锁。在readLock、writeLock进行获取锁或者释放锁时，均是通过有效的位运算和位控制，来达到预期的效果。

 

八.ReadLock

 

• void lock():获取读取锁，伪代码如下： 

//如果当前已经有“写锁”，且持有写锁者不是当前线程(如果是当前线程，则支持写锁，降级为读锁)，则获取锁失败
//即任何读锁的获取，必须等待队列中的写锁释放
//c为实际锁引用量(exclusiveCount方法实现为：c & ((1<<16) -1)
if (exclusiveCount(c) != 0 &&getExclusiveOwnerThread() != current)
   return -1;
 //CAS操作，操作state的左端16位。
if(CAS(c,c + (1<<16))){
	return 1;
}

 

• void unlock()：释放read锁，即共享锁，伪代码如下：

//CAS锁引用
for (;;) {
	int c = getState();
	int nextc = c - (1<<16);//位操作，释放一个锁。
if (compareAndSetState(c, nextc))
	return nextc == 0;
}

 

九.WriteLock

• void lock():获取写入锁，伪代码如下：

 

//当前线程
Thread current = Thread.currentThread();
//实际的锁引用state
int c = getState();
//右端16位，通过位运算获取“写入锁”的state
int w = exclusiveCount(c);
//如果有锁引用
if (c != 0) {
	//且所引用不是自己
	if (w == 0 || current != getExclusiveOwnerThread()){
		return false;
	}
}

//如果写入锁state为0，且CAS成功，则设置state和独占线程信息
if ((w == 0 && writerShouldBlock(current)) ||!compareAndSetState(c, c + acquires)){
	return false;
}
setExclusiveOwnerThread(current);
return true;

 

• void unlock():释放写入锁，伪代码如下：

 

//计算释放锁的信号量
int nextc = getState() - releases;
//对于写入锁，则校验当前线程是否为锁持有者，否则不可以释放(死锁)
if (Thread.currentThread() != getExclusiveOwnerThread())
	throw new IllegalMonitorStateException();
//释放锁，且重置独占线程信息
if (exclusiveCount(nextc) == 0) {
	setExclusiveOwnerThread(null);
	setState(nextc);
	return true;
} else {
	setState(nextc);
	return false;
}

 

十.LockSupport:用来创建锁和其他同步类的基本线程阻塞原语。

    底层基于hotspot的实现unsafe。park 和 unpark 方法提供了阻塞和解除阻塞线程的有效方法。三种形式的 park(即park,parkNanos(Object blocker,long nanos),parkUntil(Object blocker,long timestamp)) 还各自支持一个 blocker 对象参数。此对象在线程受阻塞时被记录，以允许监视工具和诊断工具确定线程受阻塞的原因。（这样的工具可以使用方法 getBlocker(java.lang.Thread) 访问 blocker。）建议最好使用这些形式，而不是不带此参数的原始形式。

    在锁实现中提供的作为 blocker 的普通参数是 this。

• static void park(Object blocker):阻塞当前线程，直到如下情况发生：

1. 其他线程，调用unpark方法，并将此线程作为目标而唤醒
2. 其他线程中断当前线程此方法不报告，此线程是何种原因被放回，需要调用者重新检测，而且此方法也经常在while循环中执行 

while(//condition,such as:queue.isEmpty){
	LockSupport.park(queue);//此时queue对象作为“阻塞”点传入，以便其他监控工具查看，queue的状态
	//检测当前线程是否已经中断。
	if(Thread.interrupted()){
		break;
	}
}

 

• void getBlocker(Thread t):返回提供最近一次尚未解除阻塞的park的阻塞点。可以返回null。
• void unpark(Thread t):解除指定线程阻塞，使其可用。参数null则无效果。

     LockSupport实例(不过不建议在实际代码中直接使用LockSupport,很多时候,你可以使用锁来控制):

 

/////////////Demo

public class LockSupportTestMain {

	/**

	* @param args

	*/

	public static void main(String[] args) throws Exception{
		System.out.println("Hear!");
		BlockerObject blocker = new BlockerObject();
		LThread tp = new LThread(blocker, false);
		LThread tt = new LThread(blocker, true);
		tp.start();
		tt.start();
		Thread.sleep(1000);
	}

	static class LThread extends Thread{
		private BlockerObject blocker;
		boolean take;
		LThread(BlockerObject blocker,boolean take){
			this.blocker = blocker;
			this.take = take;
		}

		@Override
		public void run(){
			if(take){
			while(true){
				Object o = blocker.take();
				if(o != null){
					System.out.println(o.toString());
				}
				}
				}else{
					Object o = new Object();
					System.out.println("put,,," + o.toString());
					blocker.put(o);
				}
		}
	}

	static class BlockerObject{
		Queue<Object> inner = new LinkedList<Object>();
		Queue<Thread> twaiters = new LinkedList<Thread>();
		Queue<Thread> pwaiters = new LinkedList<Thread>();
		public void put(Object o){
			inner.offer(o);
			pwaiters.offer(Thread.currentThread());
			Thread t = twaiters.poll();
			if(t != null){
				LockSupport.unpark(t);
			}
			System.out.println("park");
			LockSupport.park(Thread.currentThread());
			System.out.println("park is over");
		}

		public Object take(){
			Thread t = pwaiters.poll();
			if(t != null){
				System.out.println("unpark");
				LockSupport.unpark(t);
				System.out.println("unpark is OK");
			}
				//twaiters.offer(Thread.currentThread());
				return inner.poll();
			}
		}

}

 

 

备注：有时候会疑惑wait()/notify() 和Unsafe.park()/unpark()有什么区别？区别是wait和notify是Object类的方法，它们首选需要获得“对象锁”，并在synchronized同步快中执行。park和unpark怎不需要这么做。wait和park都是有当前线程发起，notify和unpark都是其他线程发起。wait针对的是对象锁，park针对的线程本身，但是最终的效果都是导致当前线程阻塞。Unsafe不建议开发者直接使用。