JAVA并发编程（JUC）模拟AND型信号量

AND型信号量可能大家都听说过并可能都有一定的理解，但是你有使用过么？今天就使用Java来模拟实现！

​ 本文是对上篇文章（进程同步机制）的一次实践，通过JUC提供的一些机制来模拟一些OS中的AND型信号量，因为记录型型信号量可以等价于JUC中提供的Semaphore（信号量），但是对于AND型信号量因为一些原因（主要是过时了），JUC没有提供，今天就手动的来写一个AND型信号量对应的Swait操作和Ssignal操作（这里不明白的可以看前面的理论篇）。通过本篇博文让你对进程同步机制有个更好的理解。

1.一个错误示例
​ 在这里，首先解释一下，为了满足线程申请信号量不成功后将进程阻塞，并插入到对应的队列中，所以使用了ReentrantLock+Condition来实现Swait方法。废话不多说，直接上代码：

大家仔细看上面的代码，这个也是我刚开始写的代码，第一眼看似乎是没什么问题，但是里面隐藏着一个坑，在Swait方法中，调用condition1.await()，此时线程被阻塞在这一行中，但是当被别的线程（调用Ssignal）唤醒时，在被阻塞的下一行开始继续执行，但是在后续的代码里，是没有去申请信号量的，而是直接就Swait成功了，这样在执行Ssignal时就会导致信号量凭空的增加了，也就无法正确的表征系统中的资源数量了。

2.一个简单的示例
​ 下面我们就对代码进行优化，大家可以回顾一下AND型信号量，当其因为资源不足时，需要将线程插入到第一个无法满足条件（即Si<1）的信号量对应的等待队列中，并且将程序计数器放置到Swait操作的开始处，所以我们对Swait代码进行修改如下

在上面的代码中，我们将请求的资源放到一个循环条件中，以满足将程序计数器放置到Swait操作的开始处，在每次被唤醒后都要重新判断资源是否足够，如果足够才跳出循环，否则就再次自我阻塞。

3.一个可以同时申请N个的Swait操作
​ 如果你知道了信号量的种类数（系统中的资源类型），其实上面的代码已经可以满足一定的需要了，只需要我们将所有的信号量写入到参数列表中即可。但是对于致力于代码的复用，这里就有些差强人意了，因此我们再次对代码进行改进，代码如下所示：

为此，我们将方法中的信号量列表改为可变的参数列表，这样在传参的时候就可以方便的进行了，但是也会存才一些问题，比如无法约束“借出”与“归还”的信号量的数量是否一致。并且因为信号量的数量不定，所以无法为每个信号量新建一个条件变量（Condition），因此在上面的代码中所有的信号量公用一个条件变量，所有阻塞的线程都插入在其阻塞队列中。

4.一个完整的例子
​ 这里我们使用一个经典的进程同步问题来演示我们使用Java模拟的AND型信号量，在这里，我们采用生产者–消费者问题来演示，完整的代码如下：

上面代码都是可以直接执行的，如果不需要使用参数列表，可以将上面的Swait方法进行替换即可（记得创建对应的条件变量）。

​ 下图是部分的执行结果：


​ 又到了分隔线以下，本文到此就结束了，本文内容全部都是由博主自己进行整理并结合自身的理解并且进行的代码编写，如果有什么错误，还请批评指正。

​ 本文的所有java代码都已通过测试，对其中有什么疑惑的，可以评论区留言，欢迎你的留言与讨论；另外原创不易，如果本文对你有所帮助，还请留下个赞，以表支持。

​ 希望本文可以帮助你理解加深理解进程同步，也可以帮助你理解Java并发编程，如果对操作系统有兴趣的话，还可以查看我的其他几篇博客，都是OS的干货（目录），喜欢的话还请点赞、评论加关注^_^。