java mutex_自制Java中的Mutex类

同步问题中，一个很重要的问题是同步的域，什么是同步的域呢？简单以 synchronized 这个关键字来说，就是它所同步的范围。并发编程中很多时候出现的问题没有选好同步范围所导致的。但现有的同步关键字synchronized所能体现出来的对域的控制，估计用过的的人都应该感觉到并不是很理想。这个时候是不是很怀念Windows下所提供的Mutex操作，通过申请和释放的函数的位置控制同步的域，用起来要方便一些。

现在为了方便我们自己也可以做一个类似Windows的Mutex的类来方便我们对域的控制，下面看这个类的制作过程。

和制作上一个类一样，我们先来说一下希望这个类完成的功能：

1.调用getMutexFlag()，仅能是并发的线程中的一个继续执行，其余的阻塞。

2.调用freeMutexFlag()，执行的线程离开同步块(临界区)，并能从阻塞线程中释放一个线程从getMutexFlag()中返回。

3.getMutexFlag()、freeMutexFlag()，都必须是原子操作。

上面这三个条件其实就是对Windows下Mutex的要求。

一开始我们也许会写出这样的代码：

1 package com.choi;2

3 public classMutexFlag {4

5 protected Thread currentThread = null;6

7 public synchronized voidgetMutexFalg() {8 if (currentThread == null) {9 currentThread =Thread.currentThread();10 }11 while (currentThread !=Thread.currentThread()) {12 try{13 wait();14 if (currentThread == null) {15 currentThread =Thread.currentThread();16 }17 } catch(Exception e) {18 }19 }20 }21

22 public synchronized voidfreeMutexFlag(){23 if(currentThread!=null){24 currentThread = null;25 try{26 notify();27 } catch(Exception e) {28 }29 }30 }31 }

这段代码看起来是没有问题的，其实这段代码运行起来确实是没有问题的，但我们能把它提供给我们的项目组用吗？答案是不能的，我们来考虑一种情况：

项目组有三个程序员A,B,C。 A用这个类写了一个函数funA(get到Mutex未释放)，B用这个类写了一个函数funB(get到Mutex未释放),C调用了funA，funB，用在一个线程中了。则这个线程运行到funA时得到了Mutex，运行到funB时再去申请Mutex能申请到吗？通过分析代码执行，肯定是NO。并申请不到，因为第一个还没有释放。Java里面如果是两个synchronized嵌套，则没有问题，第一个得到锁后，第二个如申请的是同一个锁，就会自动判断为已申请到。

我们可以用一个变量来是我们的MutexFlag实现synchronized的嵌套解决方案：

1 package com.choi;2

3 public classMutexFlag {4

5 protected Thread currentThread = null;6 protected int count = 0;7

8 public synchronized voidgetMutexFalg() {9 while (tryGetMutexFlag() == false) {10 try{11 wait();12 } catch(InterruptedException e) {13 e.printStackTrace();14 }15 }16 }17

18 publicsynchronized boolean tryGetMutexFlag() {19 if (currentThread == null) {20 currentThread =Thread.currentThread();21 count = 1;22 return true;23 }24 if (currentThread ==Thread.currentThread()) {25 count++;26 return true;27 }28 return false;29 }30

31 public synchronized voidfreeMutexFlag() {32 if (currentThread ==Thread.currentThread()) {33 count--;34 }35 if (count == 0) {36 currentThread = null;37 notify();38 }39 }40 }

为了编写方便我把判断获取MutexFlag的代码写到了同步的tryGetMutexFlag中了，没申请成功一次就对count做加一操作，每一free都对count做减一操作，那么当count从新等于零的时候我们就去释放一个线程获取MutexFlag。

哦，有人说如果没有调用get就调用free会有问题，这里说明一下没有问题的，因为如果没有get，currentThread是等于null的，所以count==0，然后就会调用notify，其实没有问题啦，测试发现，notify不会抛出人异常，相当于空操作。