之前因为找实习的缘故，博客1个多月没有写了。找实习的经历总算告一段落，现在重新更新博客，这次的内容是分析Java并发包中的阻塞队列
关于阻塞队列，我之前是一直充满好奇，很好奇这个阻塞是怎么实现。现在我们先看一个该抽象类的实现类ArrayBlockingQueue。下面全部的代码均在github
ArrayBlockingQueue
ArrayBlockingQueue顾名思义是一种数组形式的阻塞队列，其自然就有数组的特点，即队列的长度不可改变，只有初始化的时候指定。
下面，我们看一下例子。
public class ArrayBlock {
private BlockingQueue<String> blockingQueue;
public ArrayBlock(){
blockingQueue = new ArrayBlockingQueue<String>(3);
}
public BlockingQueue<String> getBlockingQueue() {
return blockingQueue;
}
}
创建一个大小为3的ArrayBlockingQueue，下面是一个生产者和消费者，通过ArrayBlockingQueue实现生产者/消费者模型。
public class Producer extends Thread {
private BlockingQueue<String> blockingQueue;
@Override
public void run() {
super.run();
for (int i = 0 ; i < 5;i++) {
try {
blockingQueue.put(i + "");
System.out.println(getName() + " 生产数据");
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}
public Producer(ArrayBlock arrayBlock){
this.setName("Producer");
blockingQueue = arrayBlock.getBlockingQueue();
}
}
public class Costumer extends Thread{
private BlockingQueue<String> blockingQueue;
public Costumer(ArrayBlock arrayBlock) {
blockingQueue = arrayBlock.getBlockingQueue();
this.setName("Costumer");
}
@Override
public void run() {
super.run();
while (true) {
try {
Thread.sleep(6000);
String str = blockingQueue.take();
System.out.println(getName() + " 取出数据 " + str);
} catch (InterruptedException e) {
e.printStackTrace();
}
}
}
}
测试过程就不放了，直接放出结果：
Producer 生产数据
Producer 生产数据
Producer 生产数据
Costumer 取出数据 0
Producer 生产数据
Costumer 取出数据 1
Producer 生产数据
Costumer 取出数据 2
Costumer 取出数据 3
Costumer 取出数据 4
这可以看出put方法与take方法均是阻塞的方法。当队列已经满的时候，就会阻塞放入方法，当队列为空的时候，就会阻塞取出方法。
下面，我们主要看这个两个方法，究竟是如何实现阻塞的。
** put方法 **
public void put(E e) throws InterruptedException {
checkNotNull(e);
final ReentrantLock lock = this.lock;
lock.lockInterruptibly();
try {
while (count == items.length)
notFull.await();
enqueue(e);
} finally {
lock.unlock();
}
}
put方法是将元素放入到队列中，这里面可以看出是用过Lock类与Condition类来实现的，即通过等待/通知机制实现的阻塞队列。这里notFull是一个条件，当队列已经满的时候，就会执行await方法，如果没有满就执行入队（enqueue）方法。这里，判断队列已满用的是count == items.length。接下来，我们看一下take方法，来看看取数据的阻塞。
** take方法**
public E take() throws InterruptedException {
final ReentrantLock lock = this.lock;
lock.lockInterruptibly();
try {
while (count == 0)
notEmpty.await();
return dequeue();
} finally {
lock.unlock();
}
}
这里，与put方法类似，当元素为0时，就会执行await方法，上面方法中都没有直接说明signal方法的执行。其实该方法是入队与出队的方法中实现的。也就是当执行notFull.await()时，是通过dequeue()方法来通知停止等待的，可以放入元素。当执行到notEmpty.await()时，是通过enqueue来通知结束阻塞，可以取出元素。
LinkedBlockingQueue
LinkedBlockingQueue顾名思义是一个链表形式的阻塞队列，不同于ArrayBlockingQueue。如果不指定容量，则默认是Integer.MAX_VALUE。也就是说他是一个无界阻塞队列。他的例子与上面的类似，但是其put与take方法实现不同于ArrayBlockingQueue，但两者大致思路一致。我们只看一下put实现：
** put方法**
public void put(E e) throws InterruptedException {
if (e == null) throw new NullPointerException();
// Note: convention in all put/take/etc is to preset local var
// holding count negative to indicate failure unless set.
int c = -1;
Node<E> node = new Node<E>(e);
final ReentrantLock putLock = this.putLock;
final AtomicInteger count = this.count;
putLock.lockInterruptibly();
try {
/*
* Note that count is used in wait guard even though it is
* not protected by lock. This works because count can
* only decrease at this point (all other puts are shut
* out by lock), and we (or some other waiting put) are
* signalled if it ever changes from capacity. Similarly
* for all other uses of count in other wait guards.
*/
while (count.get() == capacity) {
notFull.await();
}
enqueue(node);
c = count.getAndIncrement();
if (c + 1 < capacity)
notFull.signal();
} finally {
putLock.unlock();
}
if (c == 0)
signalNotEmpty();
}
这里阻塞的本质实现也是通过Condition类的等待/通知机制。但是有几点不同：
第一 这里用了一个原子类的count计数，官方的给的注释是即使没有锁来提供保护，也能保证线程安全，实现wait guard。
第二 ArrayBlockingQueue的通知是在入队与出队的方法中，LinkedBlockingQueue则不是，并且插入之后不满的时候，还有通知其他await的线程。
第三 ArrayBlockingQueue的lock一直是一个，也就是put/take是用的一个锁，放与取无法实现并行。但是LinkedBlockingQueue是两个锁，放一个锁，取一个锁，可以实现put/take的并行，要高效一些。
SynchronousQueue
SynchronousQueue顾名思义是同步队列，特点不同于上面的阻塞队列，他是一个无界非缓存的队列，准确说他不存储元素，放入的元素，只有等待取走元素之后才能放入。也就是说任意时刻:
- isEmpty()法永远返回是true
- remainingCapacity() 方法永远返回是0
- remove()和removeAll() 方法永远返回是false
- iterator()方法永远返回空
- peek()方法永远返回null
元素并不会被生产者存在队列中，而是直接生产者与消费者进行交互。
其实现是利用无锁算法，可以参考SynchronousQueue实现
还有一点需要注意，同步队列支持公平性与非公平性。公平性是利用队列来管理多余生产者与消费者，非公平性是利用栈来管理多余生产者与消费者。