【Java 并发编程】线程池机制 ( 线程池执行任务细节分析 | 线程池执行 execute 源码分析 | 先创建核心线程 | 再放入阻塞队列 | 最后创建非核心线程 )

if (command == null)
            throw new NullPointerException();

/*
         * 进行以下三个步骤处理:
         *
         * 1. 如果当前运行的线程 , 小于核心线程数 , 那么创建一个新的核心线程 , 
         * 将传入的任务作为该线程的第一个任务 . 
         * 调用 addWorker 方法 , 会原子性检查运行状态和任务数量 ; 
         * 如果在不应该添加线程的情况下执行添加线程操作 , 就会发出错误警报 ; 
         * 如果该方法返回 false , 说明当前不能添加线程 , 此时就不要执行添加线程的操作了 ; 
         *
         * 2. 如果任务被成功放入 线程池任务 队列 , 不管我们此时是否应该添加线程 , 都需要进行双重验证 ;
         * 双重验证 : 添加到任务队列时验证一次 , 添加到线程执行时验证一次 ; 
         * 可能存在这种情况 , 在上次验证线程运行状态之后 , 有可能该线程就立刻被销毁了 ;
         * 也可能存在进入该方法后 , 线程池被销毁的情况 ; 
         * 因此我们反复验证线程状态 , 如果需要在线程停止时回滚队列 , 如果没有线程就创建新线程 ;
         *
         * 3. 如果不能将任务放入队列中 , 尝试创建一个新线程 ; 
         * 如果创建线程失败 , 说明当前线程池关闭 , 或者线程池中线程饱和 , 此时拒绝执行该任务 ; 
         */
        int c = ctl.get();

/**
  * 主池控制状态ctl是一个原子整数
  * 两个概念领域
  * workerCount，指示有效线程数
  * 运行状态，指示是否运行、关闭等
  * 
  * 为了将它们打包成一个整数，我们将workerCount限制为
  * （2^29）-1（约5亿）个线程，而不是（2^31）-1（2
  * 10亿）否则可代表。如果这曾经是一个问题
  * 将来，变量可以更改为原子长度，
  * 下面的移位/遮罩常数已调整。但在需要之前
  * 因此，此代码使用int更快更简单。
  * 
  * workerCount是已注册的工人数
  * 允许启动，不允许停止。该值可能是
  * 与活动线程的实际数量暂时不同，
  * 例如，ThreadFactory在以下情况下无法创建线程：
  * 当退出线程仍在执行时
  * 终止前的簿记。用户可见池大小为
  * 报告为工作集的当前大小。
  * 
  * 运行状态提供主要的生命周期控制，具有以下值：
  * 
  * 正在运行：接受新任务和处理排队的任务
  * 关机：不接受新任务，但处理排队的任务
  * 停止：不接受新任务，不处理排队的任务，
  * 并中断正在进行的任务
  * 整理：所有任务都已终止，workerCount为零，
  * 正在转换为状态整理的线程
  * 将运行终止的（）钩子方法
  * 终止：终止（）已完成
  * 
  * 这些值之间的数字顺序很重要，以允许
  * 有序比较。运行状态随时间单调增加
  * 时间，但不需要击中每个状态。这些转变是：
  * 
  * 运行->关机
  * 在调用shutdown（）时，可能隐式地在finalize（）中
  * （运行或关闭）->停止
  * 在调用shutdownNow（）时
  * 关机->整理
  * 当队列和池都为空时
  * 停止->整理
  * 当池为空时
  * 清理->终止
  * 当终止的（）钩子方法完成时
  * 
  * 等待终止（）的线程将在
  * 国家终止。
  * 
  * 检测从关闭到清理的过渡较少
  * 比您希望的简单，因为队列可能会
  * 非空后为空，关机状态下为空，但
  * 只有在看到它是空的之后，我们才能终止
  * workerCount为0（有时需要重新检查——请参阅
  * 下）。
  */
    private final AtomicInteger ctl = new AtomicInteger(ctlOf(RUNNING, 0));
    private static final int COUNT_BITS = Integer.SIZE - 3;
    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;
    private static final int SHUTDOWN   =  0 << COUNT_BITS;
    private static final int STOP       =  1 << COUNT_BITS;
    private static final int TIDYING    =  2 << COUNT_BITS;
    private static final int TERMINATED =  3 << COUNT_BITS;
    // 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; }

// runState is stored in the high-order bits
    private static final int RUNNING    = -1 << COUNT_BITS;
    private static final int SHUTDOWN   =  0 << COUNT_BITS;
    private static final int STOP       =  1 << COUNT_BITS;
    private static final int TIDYING    =  2 << COUNT_BITS;
    private static final int TERMINATED =  3 << COUNT_BITS;

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);