如何讓ThreadPoolExecutor更早地創建非核心線程

最近在項目中遇到一個需要用線程池來處理任務的需求，於是我用來實現，但是在實現過程中我發現提交大量任務時它的處理邏輯是這樣的（提交任務還有一個方法內部也調用了方法）： java public void execute(Runnable command) { if (command == null ...

最近在項目中遇到一個需要用線程池來處理任務的需求，於是我用ThreadPoolExecutor來實現，但是在實現過程中我發現提交大量任務時它的處理邏輯是這樣的（提交任務還有一個submit方法內部也調用了execute方法）：

public void execute(Runnable command) {
        if (command == null)
            throw new NullPointerException();
        /*
         * Proceed in 3 steps:
         *
         * 1. If fewer than corePoolSize threads are running, try to
         * start a new thread with the given command as its first
         * task.  The call to addWorker atomically checks runState and
         * workerCount, and so prevents false alarms that would add
         * threads when it shouldn't, by returning false.
         *
         * 2. If a task can be successfully queued, then we still need
         * to double-check whether we should have added a thread
         * (because existing ones died since last checking) or that
         * the pool shut down since entry into this method. So we
         * recheck state and if necessary roll back the enqueuing if
         * stopped, or start a new thread if there are none.
         *
         * 3. If we cannot queue task, then we try to add a new
         * thread.  If it fails, we know we are shut down or saturated
         * and so reject the task.
         */
        int c = ctl.get();
        if (workerCountOf(c) < corePoolSize) {
            if (addWorker(command, true))
                return;
            c = ctl.get();
        }
        if (isRunning(c) && workQueue.offer(command)) {
            int recheck = ctl.get();
            if (! isRunning(recheck) && remove(command))
                reject(command);
            else if (workerCountOf(recheck) == 0)
                addWorker(null, false);
        }
        else if (!addWorker(command, false))
            reject(command);
    }

註釋中已經寫的非常明白：

如果線程數量小於corePoolSize，直接創建新線程處理任務
如果線程數量等於corePoolSize，嘗試將任務放到等待隊列里
如果等待隊列已滿，嘗試創建非核心線程處理任務（如果maximumPoolSIze > corePoolSize）

但是在我的項目中一個線程啟動需要10s左右的時間（需要啟動一個瀏覽器對象），因此我希望實現一個更精細的邏輯提升資源的利用率:

線程池保持corePoolSize個線程確保有新任務到來時可以立即得到執行
當沒有空閑線程時，先把任務放到等待隊列中（因為開啟一個線程需要10s，所以如果在等待隊列比較小的時候，等待其他任務完成比等待新線程創建更快）
當等待隊列的大小大於設定的閾值threshold時，說明堆積的任務已經太多了，這個時候開始創建非核心線程直到線程數量已經等於maximumPoolSize
當線程數量已經等於maximumPoolSize，再將新來的任務放回到任務隊列中等待（直到隊列滿後開始拒絕任務）
長時間空閑後退出非核心線程回收瀏覽器占用的記憶體資源

當我研究了常見的CachedThreadPool、FixedThreadPool以及嘗試自己配置ThreadPoolExecutor的構造函數後，發現無論如何都不能實現上面提到的邏輯，因為預設的實現只有在workQueue達到容量上限後才會開始創建非核心線程，因此需要通過繼承的方法實現一個新的類來完成需求。

怎麼實現在workQueue到達容量上限前就創建非核心線程？還要回顧下execute函數的代碼

					//嘗試將任務插入等待隊列，如果返回false
					//說明隊列已經到達容量上限，進入else if邏輯
if (isRunning(c) && workQueue.offer(command)) {
    int recheck = ctl.get();
    if (! isRunning(recheck) && remove(command))
        reject(command);
    else if (workerCountOf(recheck) == 0)
        addWorker(null, false);
}
//嘗試創建非核心線程
else if (!addWorker(command, false))
    reject(command);

那麼只要改變workQueue.offer()的邏輯，線上程數量還小於maximumPoolSize的時候就返回false拒絕插入，讓線程池調用addWoker，等不能再創建更多線程時再允許添加到隊列即可。

可以通過子類重寫offer方法來實現添加邏輯的改變

@Override
public boolean offer(E e) {
    if (threadPoolExecutor == null) {
        throw new NullPointerException();
    }
    //當調用該方法時，已經確定了workerCountOf(c) > corePoolSize
    //當數量小於threshold，在隊列里等待
    if (size() < threshold) {
        return super.offer(e);
	//當數量大於等於threshold，說明堆積的任務太多，返回false
	//讓線程池來創建新線程處理
    } else {
        //此處可能會因為多線程導致錯誤的拒絕
        if (threadPoolExecutor.getPoolSize() < threadPoolExecutor.getMaximumPoolSize()) {
            return false;
        //線程池中的線程數量已經到達上限，只能添加到任務隊列中
        } else {
            return super.offer(e);
        }
    }
}

這樣就實現了基本實現了我需要的功能，但是在寫代碼的過程中我找到了一個可能出錯的地方：ThreadPoolExecutor是線程安全的，那麼重寫的offer方法也可能遇到多線程調用的情況

//設想當poolSize = maximumPoolSize-1時，兩個任務到達此處同時返回false
if (threadPoolExecutor.getPoolSize() < threadPoolExecutor.getMaximumPoolSize()) {
	return false;
}

由於添加到隊列返回false，execute方法進入到else if (!addWorker(command, false))

if (isRunning(c) && workQueue.offer(command)) {
	int recheck = ctl.get();
	if (! isRunning(recheck) && remove(command))
		reject(command);
	else if (workerCountOf(recheck) == 0)
		addWorker(null, false);
}
//添加到隊列失敗後進入addWorker方法中
else if (!addWorker(command, false))
	reject(command);
}

再來看一下addWorker方法的代碼，這裡只截取需要的一部分

for (;;) {
    int wc = workerCountOf(c);
    if (wc >= CAPACITY ||
    	//兩個線程都認為還可以創建再創建一個新線程
        wc >= (core ? corePoolSize : maximumPoolSize))
        return false;
        //兩個線程同時調用cas方法只有一個能夠成功
        //成功的線程break retry;進入後面的創建線程的邏輯
        //失敗的線程重新回到上面的檢查並返回false
    if (compareAndIncrementWorkerCount(c))
        break retry;
    c = ctl.get();  // Re-read ctl
    if (runStateOf(c) != rs)
        continue retry;
    // else CAS failed due to workerCount change; retry inner loop
}

最終，在競爭中失敗的線程由於addWorker方法返回了false最終調用了reject(command)。在前面寫的要實現的邏輯里提到了，只有在等待隊列容量達到上限無法再插入時才拒絕任務，但是由於多線程的原因，這裡只是超過了threshold但沒有超過capacity的時候就拒絕任務了，所以要對拒絕策略的觸發做出修改:第一次觸發Reject時，嘗試重新添加到任務隊列中（不進行poolSize的檢測），如果仍然不能添加，再拒絕任務。
這裡通過對execute方法進行重寫來實現重試

@Override
public void execute(Runnable command) {
    try {
        super.execute(command);
    } catch (RejectedExecutionException e) {
    	/*
    	這裡參考源碼中將任務添加到任務隊列的實現
    	但是其中通過(workerCountOf(recheck) == 0)
    	檢查當任務添加到隊列後是否還有線程存活的部分
    	由於是private許可權的，無法實現類似的邏輯，因此需要做一定的特殊處理
		if (isRunning(c) && workQueue.offer(command)) {
		     int recheck = ctl.get();
		     if (! isRunning(recheck) && remove(command))
		         reject(command);
		     else if (workerCountOf(recheck) == 0)
		         addWorker(null, false);
		 }
		*/
        if (!this.isShutdown() && ((MyLinkedBlockingQueue)this.getQueue()).offerWithoutCheck(command)) {
            if (this.isShutdown() && remove(command))
                //二次檢查
                realRejectedExecutionHandler.rejectedExecution(command, this);
            } else {
                //插入失敗，隊列已經滿了
                realRejectedExecutionHandler.rejectedExecution(command, this);
            }
        }
    }
}

這裡有兩個小問題：

初始化線程池傳入的RejectedExecutionHandler不一定會拋出異常（事實上，ThreadPoolExecutor自己實現的4中拒絕策略中只有AbortPolicy能夠拋出異常並被捕捉到）,因此需要在初始化父類時傳入AbortPolicy拒絕策略並將構造函數中傳入的自定義拒絕策略保存下來，在重試失敗後才調用自己的rejectedExecution。
在corePoolSize = 0 的極端情況下，可能出現一個任務剛被插入隊列的同時，所有的線程都結束任務然後被銷毀了，此使這個被加入的任務就無法被執行，在ThreadPoolExecutor中是通過
```
else if (workerCountOf(recheck) == 0)
	addWorker(null, false);
```
在添加後再檢查工作線程是否為0來確保任務可以被執行，但是其中使用的方法是私有的，無法在子類中實現類似的邏輯，因此在初始化時只能強制corePoolSize至少為1來解決這個問題。

全部代碼如下

public class MyThreadPool extends ThreadPoolExecutor {

    private RejectedExecutionHandler realRejectedExecutionHandler;

    public MyThreadPool(int corePoolSize,
                        int maximumPoolSize,
                        long keepAliveTime,
                        TimeUnit unit,
                        int queueCapacity) {
        this(corePoolSize,
                maximumPoolSize,
                keepAliveTime,
                unit,
                queueCapacity,
                new AbortPolicy());
    }

    public MyThreadPool(int corePoolSize,
                        int maximumPoolSize,
                        long keepAliveTime,
                        TimeUnit unit,
                        int queueCapacity,
                        RejectedExecutionHandler handler) {
        super(corePoolSize == 0 ? 1 : corePoolSize,
                maximumPoolSize,
                keepAliveTime,
                unit,
                new MyLinkedBlockingQueue<>(queueCapacity),
                new AbortPolicy());
        ((MyLinkedBlockingQueue)this.getQueue()).setThreadPoolExecutor(this);
        realRejectedExecutionHandler = handler;
    }

    @Override
    public void execute(Runnable command) {
        try {
            super.execute(command);
        } catch (RejectedExecutionException e) {
            if (!this.isShutdown() && ((MyLinkedBlockingQueue)this.getQueue()).offerWithoutCheck(command)) {
                if (this.isShutdown() && remove(command))
                    //二次檢查
                    realRejectedExecutionHandler.rejectedExecution(command, this);
            } else {
                //插入失敗，隊列已經滿了
                realRejectedExecutionHandler.rejectedExecution(command, this);
            }
        }
    }
}


public class MyLinkedBlockingQueue<E> extends LinkedBlockingQueue<E> {

    private int threshold = 20;

    private ThreadPoolExecutor threadPoolExecutor = null;

    public MyLinkedBlockingQueue(int queueCapacity) {
        super(queueCapacity);
    }

    public void setThreadPoolExecutor(ThreadPoolExecutor threadPoolExecutor) {
        this.threadPoolExecutor = threadPoolExecutor;
    }

    @Override
	public boolean offer(E e) {
	    if (threadPoolExecutor == null) {
	        throw new NullPointerException();
	    }
	    //當調用該方法時，已經確定了workerCountOf(c) > corePoolSize
	    //當數量小於threshold，在隊列里等待
	    if (size() < threshold) {
	        return super.offer(e);
		//當數量大於等於threshold，說明堆積的任務太多，返回false
		//讓線程池來創建新線程處理
	    } else {
	        //此處可能會因為多線程導致錯誤的拒絕
	        if (threadPoolExecutor.getPoolSize() < threadPoolExecutor.getMaximumPoolSize()) {
	            return false;
	        //線程池中的線程數量已經到達上限，只能添加到任務隊列中
	        } else {
	            return super.offer(e);
	        }
	    }
	}

    public boolean offerWithoutCheck(E e) {
        return super.offer(e);
    }
}

最後進行簡單的測試

corePoolSize:2
maximumPoolSize:5
queueCapacity:10
threshold:7
任務2
線程數量:2
等待隊列大小:0
等待隊列大小小於閾值，繼續等待。
任務3
線程數量:2
等待隊列大小:1
等待隊列大小小於閾值，繼續等待。
任務4
線程數量:2
等待隊列大小:2
等待隊列大小小於閾值，繼續等待。
任務5
線程數量:2
等待隊列大小:3
等待隊列大小小於閾值，繼續等待。
任務6
線程數量:2
等待隊列大小:4
等待隊列大小小於閾值，繼續等待。
任務7
線程數量:2
等待隊列大小:5
等待隊列大小小於閾值，繼續等待。
任務8
線程數量:2
等待隊列大小:6
等待隊列大小小於閾值，繼續等待。
任務9
線程數量:2
等待隊列大小:7
等待隊列大小大於等於閾值，線程數量小於MaximumPoolSize,創建新線程處理。
任務10
線程數量:3
等待隊列大小:7
等待隊列大小大於等於閾值，線程數量小於MaximumPoolSize,創建新線程處理。
任務11
線程數量:4
等待隊列大小:7
等待隊列大小大於等於閾值，線程數量小於MaximumPoolSize,創建新線程處理。
任務12
線程數量:5
等待隊列大小:7
等待隊列大小大於等於閾值，但線程數量大於等於MaximumPoolSize,只能添加到隊列中。
任務13
線程數量:5
等待隊列大小:8
等待隊列大小大於等於閾值，但線程數量大於等於MaximumPoolSize,只能添加到隊列中。
任務14
線程數量:5
等待隊列大小:9
等待隊列大小大於等於閾值，但線程數量大於等於MaximumPoolSize,只能添加到隊列中。
任務15
線程數量:5
等待隊列大小:10
等待隊列大小大於等於閾值，但線程數量大於等於MaximumPoolSize,只能添加到隊列中。
隊列已滿
任務16
線程數量:5
等待隊列大小:10
等待隊列大小大於等於閾值，但線程數量大於等於MaximumPoolSize,只能添加到隊列中。
隊列已滿

再重新複習一遍要實現的功能：

線程池保持corePoolSize個線程確保有新任務到來時可以立即得到執行
當沒有空閑線程時，先把任務放到等待隊列中（因為開啟一個線程需要10s，所以如果在等待隊列比較小的時候，等待其他任務完成比等待新線程創建更快）
當等待隊列的大小大於設定的閾值threshold時，說明堆積的任務已經太多了，這個時候開始創建非核心線程直到線程數量已經等於maximumPoolSize
當線程數量已經等於maximumPoolSize，再將新來的任務放回到任務隊列中等待（直到隊列滿後開始拒絕任務）
長時間空閑後退出非核心線程回收瀏覽器占用的記憶體資源

可以看出，線程池運行的邏輯和要實現的目標是相同的。