Doug Lea PriorityBlockingQueue offer方法扩容存在的BUG分析

 优先级阻塞队列 添加元素的时候存在扩容的操作 扩容操作有可能会卡在while死循环中无法退出：

上offer操作时的数组扩容源码tryGrow()：

    private void tryGrow(Object[] array, int oldCap) {
        lock.unlock();
        Object[] newArray = null;
        if (allocationSpinLock == 0 &&
                UNSAFE.compareAndSwapInt(this, allocationSpinLockOffset,0, 1)) {
            try {
                int newCap = oldCap + ((oldCap < 64) ?
                        (oldCap + 2) :
                        (oldCap >> 1));
                if (newCap - MAX_ARRAY_SIZE > 0) {
                    int minCap = oldCap + 1;
                    if (minCap < 0 || minCap > MAX_ARRAY_SIZE)
                        throw new OutOfMemoryError();
                    newCap = MAX_ARRAY_SIZE;
                }
                if (newCap > oldCap && queue == array)
                    newArray = new Object[newCap];
            } finally {
                allocationSpinLock = 0;
            }
        }
        if (newArray == null)
            Thread.yield();
        lock.lock();
        if (newArray != null && queue == array) {
            queue = newArray;
            System.arraycopy(array, 0, newArray, 0, oldCap);
        }
    }

假如此时oldCap = Integer.MAX_VALUE - 15, 此时生产者进入offer发现位置不够了需要扩容，

于是进入tryGrow，此时我们发现newCap = oldCap + (oldCap >> 1), 明显newCap变成负数了，于是此时既没有办法抛出异常（因为newCap < MAX_ARRAY_SIZE）,

又无法创建出newArray, 其结果是只能让当前线程yield，然后下一个线程来了一样会遇到同样的问题，最终既无法成功扩容又无法跑出offer里面的while循环......

Doug Lea只判断newCap是否大于MAX_ARRAY_SIZE，而不判断一下newCap是否已经成为负数

所以这里存在一个隐形BUG 可能会在扩容的时候卡在while死循环中无法出来 

当然我们现在也无法改动这处源码，谈谈业务上如何避免：

在工程上处理业务的时候让数组最终最大扩容长度满足 oldCap*1.5<=Integer.MAX_VALUE  

如果不满足 直接让newCap=Integer.MAX_VALUE-8(MAX_ARRAY_SIZE)即可

这样就不会让旧的容量想要扩大1.5倍时，扩大后超出int的范围变为负数 从而进入while死循环中

-------------本人原创，严禁搬运！