Java 教程是为 JDK 8 编写的。本页中描述的示例和实践未利用在后续版本中引入的改进。
同步代码依赖于简单的可重入锁。这种锁易于使用,但有许多限制。java.util.concurrent.locks 包支持更复杂的锁惯用语法。我们不会详细检查此包,而是将重点放在其最基本的接口 Lock 上。
Lock 对象与同步代码使用的内部锁非常相似。与内部锁一样,一次只有一个线程可以拥有 Lock 对象。Lock 对象还通过其关联的 Condition 对象支持 wait/notify 机制。
Lock 对象优于内部锁的最大优点是它们能够退出获取锁定的尝试。如果锁不立即可用或请求锁超时(如果指定超时时间),则 tryLock 方法退出。如果另一个线程在获取锁之前发送中断,则 lockInterruptibly 方法会退出。
让我们使用 Lock 对象来解决我们在 Liveness 中看到的死锁问题。Alphonse 和 Gaston 已经把自己训练成能注意到朋友何时要鞠躬。我们通过要求我们的 Friend 对象必须在继续执行鞠躬之前获取 both (两个) 参与者的锁来模拟这种改进。以下是改进模型的源代码,。为了证明这个惯用语法的多功能性,我们假设 Alphonse 和 Gaston 如此迷恋他们新发现的安全鞠躬能力,他们不能停止相互鞠躬:Safelock
import java.util.concurrent.locks.Lock;
import java.util.concurrent.locks.ReentrantLock;
import java.util.Random;
public class Safelock {
static class Friend {
private final String name;
private final Lock lock = new ReentrantLock();
public Friend(String name) {
this.name = name;
}
public String getName() {
return this.name;
}
public boolean impendingBow(Friend bower) {
Boolean myLock = false;
Boolean yourLock = false;
try {
myLock = lock.tryLock();
yourLock = bower.lock.tryLock();
} finally {
if (! (myLock && yourLock)) {
if (myLock) {
lock.unlock();
}
if (yourLock) {
bower.lock.unlock();
}
}
}
return myLock && yourLock;
}
public void bow(Friend bower) {
if (impendingBow(bower)) {
try {
System.out.format("%s: %s has"
+ " bowed to me!%n",
this.name, bower.getName());
bower.bowBack(this);
} finally {
lock.unlock();
bower.lock.unlock();
}
} else {
System.out.format("%s: %s started"
+ " to bow to me, but saw that"
+ " I was already bowing to"
+ " him.%n",
this.name, bower.getName());
}
}
public void bowBack(Friend bower) {
System.out.format("%s: %s has" +
" bowed back to me!%n",
this.name, bower.getName());
}
}
static class BowLoop implements Runnable {
private Friend bower;
private Friend bowee;
public BowLoop(Friend bower, Friend bowee) {
this.bower = bower;
this.bowee = bowee;
}
public void run() {
Random random = new Random();
for (;;) {
try {
Thread.sleep(random.nextInt(10));
} catch (InterruptedException e) {}
bowee.bow(bower);
}
}
}
public static void main(String[] args) {
final Friend alphonse =
new Friend("Alphonse");
final Friend gaston =
new Friend("Gaston");
new Thread(new BowLoop(alphonse, gaston)).start();
new Thread(new BowLoop(gaston, alphonse)).start();
}
}