ctl成員變數

    /**
     * ctl 儲存了兩部分資訊 
     *    workerCount : 執行緒數
     *    runStatus: 執行緒池的狀態
     * 
     * ctl 是一個 AtomicInteger，int 總共 32位(bit),左邊3位用於記錄執行緒池執行狀態,
     * 後面29位用於記錄執行緒數
     * 
     * workerCount 記錄允許開始，還不允許結束的 worker數量。workerCount 可能在某個瞬間
     * 與實際存活執行緒數不一致。比如執行緒工廠(ThreadFactory)建立執行緒失敗了，或者執行緒已經開始
     * 退出，但還沒減少計數。對使用者可見的執行緒數，是通過 workers set 的大小。
     * 
     * runState 提供執行緒池的生命週期控制，主要有以下值，或者說執行緒池有以下狀態
     *    RUNNING: 接收新的任務、處理佇列中的任務
     *    SHUTDOWN: 不接收新的任務，但是處理佇列中的任務
     *    STOP：不接受新的任務，不執行佇列中的任務，中斷處理中的任務
     *    TIDYING: 所有任務都執行完成，workerCount=0,執行緒轉換到TIDYING的過程將
     *             執行鉤子方法terminated()
     *    TERMINATED: terminated() 方法執行完成後，進入TERMINATED 狀態
     *  
     * 為了可以實現狀態的比較，這些狀態值是隨著時間單調遞增的。狀態流轉如下：
     * RUNNING -> SHUTDOWN 
     *    呼叫shutdonw()方法時觸發
     * (RUNNING or SHUTDOWN) -> STOP
     *    呼叫showdownNow()方法時觸發
     * SHUTDOWN -> TIDYING
     *    當佇列和執行緒池都空以後
     * STOP -> TIDYING
     *    當執行緒池為空以後
     * TIDYING -> TERMINATED
     *    當 terminated() 鉤子方法執行完成後
     * 
     * awaitTermination() 方法將阻塞住直到執行緒池到達TERMINATED 狀態
     *  
     * 
     */
 

    private final AtomicInteger ctl = new AtomicInteger(ctlOf(RUNNING, 0));

    private static final int COUNT_BITS = Integer.SIZE - 3;//後29位用來存執行緒數
    private static final int CAPACITY   = (1 << COUNT_BITS) - 1;//最大執行緒數

    // runState is stored in the high-order bits
    private static final int
 
 RUNNING    = -1 << COUNT_BITS;//左邊三位 111 
    private static final int SHUTDOWN   =  0 << COUNT_BITS;//左邊三位 000 
    private static final int STOP       =  1 << COUNT_BITS;//左邊三位 001 
    private static final int TIDYING    =  2 << COUNT_BITS;//左邊三位 010 
    private static final int TERMINATED =  3
 
 << COUNT_BITS;//左邊三位 011 

    // Packing and unpacking ctl
    private static int runStateOf(int c)     { return c & ~CAPACITY; }  //取反取與，獲取執行緒池狀態
    private static int workerCountOf(int c)  { return c & CAPACITY; } //取與，獲取執行緒數量
    private static int ctlOf(int rs, int wc) { return rs | wc; } //狀態和執行緒數量取或，構建ctl變數