面试刷题36:线程池的原理和使用方法？

线程池原理和使用在面试中被高频问到，好比阿里的面试题。下面咱们针对问题来进行回答。

为何要使用线程池？

线程池的使用场景有2：

1， 高并发场景：好比tomcat的处理机制，内置了线程池处理http请求；

2，异步任务处理：好比spring的异步方法改造，增长@Asyn注解对应了一个线程池；

使用线程池带来的好处有4：

1， 下降系统的消耗：线程池复用了内部的线程对比处理任务的时候建立线程处理完毕销毁线程下降了线程资源消耗

2，提升系统的响应速度：任务没必要等待新线程建立，直接复用线程池的线程执行

3，提升系统的稳定性：线程是重要的系统资源，无限制建立系统会奔溃，线程池复用了线程，系统会更稳定

4，提供了线程的可管理功能：暴露了方法，能够对线程进行调配，优化和监控

线程池的实现原理

线程池处理任务流程

当向线程池中提交一个任务，线程池内部是如何处理任务的？

先来个流程图，标识一下核心处理步骤：

1，线程池内部会获取activeCount, 判断活跃线程的数量是否大于等于corePoolSize(核心线程数量)，若是没有，会使用全局锁锁定线程池，建立工做线程，处理任务，而后释放全局锁；

2，判断线程池内部的阻塞队列是否已经满了，若是没有，直接把任务放入阻塞队列；

3，判断线程池的活跃线程数量是否大于等于maxPoolSize,若是没有，会使用全局锁锁定线程池，建立工做线程，处理任务，而后释放全局锁；

4，若是以上条件都知足，采用饱和处理策略处理任务。

说明：使用全局锁是一个严重的可升缩瓶颈，在线程池预热以后（即内部线程数量大于等于corePoolSize）,任务的处理是直接放入阻塞队列，这一步是不须要得到全局锁的，效率比较高。

源码以下：

public void execute(Runnable command) {
        if (command == null)
            throw new NullPointerException();
       
        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);
    }

注释没保留，注释的内容就是上面画的流程图；
代码的逻辑就是流程图中的逻辑。

线程池中的线程执行任务

执行任务模型以下：

线程池中的线程执行任务分为如下两种状况：

1， 建立一个线程，会在这个线程中执行当前任务；

2，工做线程完成当前任务以后，会死循环从BlockingQueue中获取任务来执行；

代码以下：

private boolean addWorker(Runnable firstTask, boolean core) {
        retry:
        for (int c = ctl.get();;) {
            // Check if queue empty only if necessary.
            if (runStateAtLeast(c, SHUTDOWN)
                && (runStateAtLeast(c, STOP)
                    || firstTask != null
                    || workQueue.isEmpty()))
                return false;

            for (;;) {
                if (workerCountOf(c)
                    >= ((core ? corePoolSize : maximumPoolSize) & COUNT_MASK))
                    return false;
                if (compareAndIncrementWorkerCount(c))
                    break retry;
                c = ctl.get();  // Re-read ctl
                if (runStateAtLeast(c, SHUTDOWN))
                    continue retry;
                // else CAS failed due to workerCount change; retry inner loop
            }
        }

        boolean workerStarted = false;
        boolean workerAdded = false;
        Worker w = null;
        try {
            w = new Worker(firstTask);
            final Thread t = w.thread;
            if (t != null) {
                final ReentrantLock mainLock = this.mainLock;
                mainLock.lock();
                try {
                    // Recheck while holding lock.
                    // Back out on ThreadFactory failure or if
                    // shut down before lock acquired.
                    int c = ctl.get();

                    if (isRunning(c) ||
                        (runStateLessThan(c, STOP) && firstTask == null)) {
                        if (t.isAlive()) // precheck that t is startable
                            throw new IllegalThreadStateException();
                        workers.add(w);
                        int s = workers.size();
                        if (s > largestPoolSize)
                            largestPoolSize = s;
                        workerAdded = true;
                    }
                } finally {
                    //释放锁
                    mainLock.unlock();
                }
                if (workerAdded) {
                    //执行提交的任务，而后设置工做线程为启动状态
                    t.start();
                    workerStarted = true;
                }
            }
        } finally {
            if (! workerStarted)
                addWorkerFailed(w);
        }
        return workerStarted;
    }

从代码中能够看到：把工做线程增长到线程池，而后释放锁，执行完提交进来的任务以后，新建的工做线程状态为启动状态；

线程池的使用

建立线程池

建立线程池使用线程池的构造函数来建立。

/**
     * Creates a new {@code ThreadPoolExecutor} with the given initial
     * parameters.
     *
     * @param corePoolSize the number of threads to keep in the pool, even
     *        if they are idle, unless {@code allowCoreThreadTimeOut} is set
     * @param maximumPoolSize the maximum number of threads to allow in the
     *        pool
     * @param keepAliveTime when the number of threads is greater than
     *        the core, this is the maximum time that excess idle threads
     *        will wait for new tasks before terminating.
     * @param unit the time unit for the {@code keepAliveTime} argument
     * @param workQueue the queue to use for holding tasks before they are
     *        executed.  This queue will hold only the {@code Runnable}
     *        tasks submitted by the {@code execute} method.
     * @param threadFactory the factory to use when the executor
     *        creates a new thread
     * @param handler the handler to use when execution is blocked
     *        because the thread bounds and queue capacities are reached
     * @throws IllegalArgumentException if one of the following holds:<br>
     *         {@code corePoolSize < 0}<br>
     *         {@code keepAliveTime < 0}<br>
     *         {@code maximumPoolSize <= 0}<br>
     *         {@code maximumPoolSize < corePoolSize}
     * @throws NullPointerException if {@code workQueue}
     *         or {@code threadFactory} or {@code handler} is null
     */
    public ThreadPoolExecutor(int corePoolSize,
                              int maximumPoolSize,
                              long keepAliveTime,
                              TimeUnit unit,
                              BlockingQueue<Runnable> workQueue,
                              ThreadFactory threadFactory,
                              RejectedExecutionHandler handler)

参数简单翻译过来，而后作一下备注：

RejectedExecutionHandler分为4种：

Abort:直接抛出异常

Discard:静默丢弃最后的任务

DiscardOldest:静默丢弃最早入队的任务，并处理当前任务

CallerRuns:调用者线程来执行任务

也能够自定义饱和策略。实现RejectedExecutionHandler便可。

线程池中提交任务

线程池中提交任务的方法有2：
1，void execute(Runable) ,没有返回值，没法判断任务的执行状态。

2，Future