PriorityQueue的堆排序算法实现

背景

完全二叉树：只缺少最后一层靠右边节点的二叉树为完全二叉树。
堆：特定排序规则下的完全二叉树。
堆分为最大堆与最小堆，最小堆的特点就是父节点的值小于其子节点，最大堆的特点就是父节点的值大于其子节点。

树这个逻辑结构可以用数组来存储，同理完全二叉树可以用数组来存储。
由于完全二叉树这种逻辑结构决定了父子节点的数组下标存在函数关系，
假设子节点数组下标为i，则父节点的数组下标为 （i-1) >>>1，这个可以简单证明出来，如下：

证明：
假设父节点位于树的第 n 层并距离n层第一个元素有m个节点距离，数组下标 = 2^(n-1)+m-1
则父节点的左子节点数组下标= 2^n + 2*m -1 = 2*（2^(n-1)+m-1）+1
则父节点的右子节点数组下标= 2^n + 2*m  = 2*（2^(n-1)+m-1）+2

所以可以得出结论：
假设当前节点数组下标为i，则其左子节点的数组下标为 i*2 +1，其右子节点的数组下标为 i*2 +2，其父节点的数组下标为 （i-1) >>>1

从PriorityQueue看堆排序算法的实现

	// 从队列中offer节点时，会先将节点添加到数组末尾，然后通过与父节点比较数值往上冒泡
	private void siftUpUsingComparator(int k, E x) {
        while (k > 0) {
            int parent = (k - 1) >>> 1;
            Object e = queue[parent];
            if (comparator.compare(x, (E) e) >= 0)
                break;
            queue[k] = e;
            k = parent;
        }
        queue[k] = x;
	}
	// 从队列中poll节点时，会先将数组末尾节点移到数组头部，然后依次与子节点比较
	private void siftDownUsingComparator(int k, E x) {
        int half = size >>> 1;
        while (k < half) {
            int child = (k << 1) + 1;
            Object c = queue[child];
            int right = child + 1;
            if (right < size &&
                comparator.compare((E) c, (E) queue[right]) > 0)
                c = queue[child = right];
            if (comparator.compare(x, (E) c) <= 0)
                break;
            queue[k] = c;
            k = child;
        }
        queue[k] = x;
    }

优先队列的bros

PriorityBlockingQueue 优先阻塞队列

PriorityQueue 是线程不安全的，你想要一个线程安全的优先队列，可以考虑使用PriorityBlockingQueue，这个类是线程安全的，内部和PriorityQueue一样实现了堆排序的算法，并给队列的所有操作进行加锁。

DelayQueue 延迟队列

同样作为线程安全的优先队列的实现，还有DelayQueue，但这个类设计上是专门用来存储延迟任务的。DelayQueue与PriorityBlockingQueue有以下几个区别：

1. 节点类型不同：存入DelayQueue的节点必须实现Delayed接口，Delayed接口有一个getDelay(TimeUnit unit)方法，该方法要求返回距离当前时间点的延迟时间，并且堆排序的规则也是按照延迟时间大小排序。
2. . take方法实现上的区别：DelayQueue在take方法的的逻辑是只当节点时间到期了（getDelay(TimeUnit unit)<=0）才能出队，并且线程会阻塞直到节点的时间到期。

DelayedWorkQueue 延迟任务队列

DelayedWorkQueue 是ScheduledThreadPoolExecutor的一个内部静态类，并且是ScheduledThreadPoolExecutor构造器中指定的任务队列。
在实现上DelayedWorkQueue与DelayQueue只有细微差异，这个差异就是Doug Lea专门为任务节点设计的。下面细说差异

1. 节点类型不同：DelayedWorkQueue 存储Runnable对象，ScheduledThreadPoolExecutor实际往DelayedWorkQueue入队的是ScheduledFutureTask对象（ScheduledFutureTask同时也实现了Delayed接口）
2. DelayedWorkQueue 重新实现了remove(Object x)等方法。ScheduledFutureTask对象入队后，都会通过一个属性来记录它所在的数组下标，这样在移除特定ScheduledFutureTask对象时，首先会去检查它数组下标的这个属性。提高删除效率。