专栏首页陈言懒调深度解读Java线程池思想及实现

深度解读Java线程池思想及实现

相信很多Java从业者都听说过或者使用过Java的线程池,但真正了解线程池的并不多,这篇文章详细解读Java线程池设计思想及源码实现。线程池是一个非常重要的工具,也是一把双刃剑,解决了很多生产系统运行的问题,但很多线上问题都是因为没有用好线程池导致的,要成为一个好的工程师,还是得比较好地掌握这个知识。

友情提醒:本文略长,建议在PC上阅读,边看文章边翻源码效果更佳,建议想好好看的读者抽出至少30分钟的整块时间来阅读。如果仅为面试需要可直接跳到文章最后总结部分。

本文共分为以下几部分:

  • 总体介绍
  • Executor源码解读
  • ExecutorService源码解读
  • FutureTask解读
  • AbstractExecutorService源码解读
  • ThreadPoolExecutor源码解读
  • Executors介绍
  • 总结

总体介绍


上图为Java线程池几个相关类的继承结构,Executor 位于最顶层,也是最简单的,就一个 execute(Runnable runnable)接口方法定义。

ExecutorService 也是接口,在 Executor 接口的基础上添加了很多的接口方法,所以一般来说我们会使用这个接口。

然后再下来一层是 AbstractExecutorService,从名字我们就知道,这是抽象类,这里实现了非常有用的一些方法供子类直接使用,之后我们再细说。

然后才到我们的重点部分 ThreadPoolExecutor 类,这个类提供了关于线程池所需的非常丰富的功能。

另外,我们还涉及到下图中的这些类:

由于线程池支持获取线程执行的结果,所以引入了 Future 接口,RunnableFuture 继承自此接口,然后我们最需要关心的就是它的实现类 FutureTask。到这里,记住这个概念,在线程池的使用过程中,我们是往线程池提交任务(task),我们提交的每个任务是实现了 Runnable 接口的,其实就是先将 Runnable 的任务包装成 FutureTask,然后再提交到线程池。这样,才能比较容易记住 FutureTask 这个类名:它首先是一个任务(Task),然后具有 Future 接口的语义,即可以在将来(Future)得到执行的结果。

Executor 接口


/* 
 * @since 1.5
 * @author Doug Lea
 */
public interface Executor {
    void execute(Runnable command);
}

可以看到 Executor 接口非常简单,就一个 void execute(Runnable command) 方法,代表提交一个任务。为了让更好的理解Java线程池的整个设计方案,按照 Doug Lea(作者)的设计思路来进行分析。

经常使用的启动一个线程的方式如下:

new Thread (new Runnable(){
            @Override
            public void run() {
                //do something
            }
        }).start();

用了线程池 Executor 后就可以像下面这么使用:

Executor executor = anExecutor;
executor.execute(new RunnableTask1());
executor.execute(new RunnableTask2());

如果希望线程池同步执行每一个任务,可以这么实现这个接口:

class ExecutorDemo implements Executor {
    @Override
    public void execute(Runnable r) {
        // 这里不是用的new Thread(r).start(),也就是说没有启动任何一个新的线程
        r.run();
    }
}

希望每个任务提交进来后,直接启动一个新的线程来执行这个任务,可以这么实现:

class ThreadPerTaskExecutor implements Executor {
    public void execute(Runnable r) {
        // 每个任务都用一个新的线程来执行
        new Thread(r).start();
    }
}

再来看下怎么组合两个 Executor 来使用,下面这个实现是将所有的任务都加到一个 queue 中,然后从 queue 中取任务,交给真正的执行器执行,这里采用 synchronized 进行并发控制:

class SerialExecutor implements Executor {
    // 任务队列
    final Queue<Runnable> tasks = new ArrayDeque<Runnable>();

    // 真正的执行器
    final Executor executor;

    // 当前正在执行的任务
    Runnable activeTask;

    // 初始化的时候,指定执行器
    SerialExecutor(Executor executor) {
        this.executor = executor;
    }

    @Override
    public synchronized void execute(final Runnable command) {
        tasks.offer(new Runnable() {
            @Override
            public void run() {
                try{
                    command.run();
                }finally {
                    scheduleNext();
                }
            }
        });
        if (activeTask == null){
            scheduleNext();
        }
    }
    protected synchronized void scheduleNext() {
        if ((activeTask = tasks.poll()) != null) {
            // 具体的执行转给真正的执行器 executor
            executor.execute(activeTask);
        }
    }
}

当然 Executor 这个接口只有提交任务的功能,太简单了,我们想要更丰富的功能,比如我们想知道执行结果、我们想知道当前线程池有多少个线程活着、已经完成了多少任务等等,这些都是这个接口的不足的地方。接下来说一下继承自 Executor 接口的 ExecutorService 接口,这个接口提供了比较丰富的功能,也是我们最常使用到的接口。

ExecutorService接口


一般定义一个线程池的时候,往往都是使用这个接口:

ExecutorService executor = Executors.newFixedThreadPool(args...);
ExecutorService executor = Executors.newCachedThreadPool(args...);

因为这个接口中定义的一系列方法大部分情况下已经可以满足我们的需要了。

那么简单初略地来看一下这个接口中都有哪些方法:

public interface ExecutorService extends Executor {

    // 关闭线程池,已提交的任务继续执行,不接受继续提交新任务
    void shutdown();

    // 关闭线程池,尝试停止正在执行的所有任务,不接受继续提交新任务
    // 它和前面的方法相比,加了一个单词“now”,区别在于它会去停止当前正在进行的任务
    List<Runnable> shutdownNow();

    // 判断线程池是否已关闭
    boolean isShutdown();

    // 如果调用了 shutdown() 或 shutdownNow() 方法后,所有任务结束了,那么返回true
    // 这个方法必须在调用shutdown或shutdownNow方法之后调用才会返回true
    boolean isTerminated();

    // 等待所有任务完成,并设置超时时间
    // 我们这么理解,实际应用中是,先调用 shutdown 或 shutdownNow,
    // 然后再调这个方法等待所有的线程真正地完成,返回值意味着有没有超时
    boolean awaitTermination(long timeout, TimeUnit unit)
            throws InterruptedException;

    // 提交一个 Callable 任务
    <T> Future<T> submit(Callable<T> task);

    // 提交一个 Runnable 任务,第二个参数将会放到 Future 中,作为返回值,
    // 因为 Runnable 的 run 方法本身并不返回任何东西
    <T> Future<T> submit(Runnable task, T result);

    // 提交一个 Runnable 任务
    Future<?> submit(Runnable task);

    // 执行所有任务,返回 Future 类型的一个 list
    <T> List<Future<T>> invokeAll(Collection<? extends Callable<T>> tasks)
            throws InterruptedException;

    // 也是执行所有任务,但是这里设置了超时时间
    <T> List<Future<T>> invokeAll(Collection<? extends Callable<T>> tasks,
                                  long timeout, TimeUnit unit)
            throws InterruptedException;

    // 只有其中的一个任务结束了,就可以返回,返回执行完的那个任务的结果
    <T> T invokeAny(Collection<? extends Callable<T>> tasks)
            throws InterruptedException, ExecutionException;

    // 同上一个方法,只有其中的一个任务结束了,就可以返回,返回执行完的那个任务的结果,
    // 不过这个带超时,超过指定的时间,抛出 TimeoutException 异常
    <T> T invokeAny(Collection<? extends Callable<T>> tasks,
                    long timeout, TimeUnit unit)
            throws InterruptedException, ExecutionException, TimeoutException;
}

这些方法都很好理解,一个简单的线程池主要就是这些功能,能提交任务,能获取结果,能关闭线程池,这也是为什么经常用这个接口的原因。

FutureTask


在继续往下层介绍 ExecutorService 的实现类之前,我们先来说说相关的类 FutureTask。

FutureTask 通过 RunnableFuture 间接实现了 Runnable 接口,所以每个 Runnable 通常都先包装成 FutureTask,然后调用 executor.execute(Runnable command) 将其提交给线程池

Runnable 的 void run() 方法是没有返回值的,所以通常如果需要的话,会在 submit 中指定第二个参数作为返回值:

<T> Future<T> submit(Runnable task, T result);

其实到时候会通过这两个参数,将其包装成 Callable。它和 Runnable 的区别在于 run() 没有返回值,而 Callable 的 call() 方法有返回值,同时,如果运行出现异常,call() 方法会抛出异常

public interface Callable<V> {
    V call() throws Exception;
}

这里,就不展开说 FutureTask 类了,这里我们需要知道怎么用就行了。下面来看看 ExecutorService 的抽象实现 AbstractExecutorService

AbstractExecutorService


AbstractExecutorService 抽象类派生自 ExecutorService 接口,然后在其基础上实现了几个实用的方法,这些方法提供给子类进行调用。

这个抽象类实现了 invokeAny 方法和 invokeAll 方法,这里的两个 newTaskFor 方法也比较有用,用于将任务包装成 FutureTask。定义于最上层接口 Executor中的 void execute(Runnable command) 由于不需要获取结果,不会进行 FutureTask 的包装。

需要获取结果(FutureTask)用 submit 方法,不需要获取结果,可以用 execute 方法。

下面将一行一行源码地来分析这个类,跟着源码来看看其实现吧:

   public abstract class AbstractExecutorService implements ExecutorService {
        // RunnableFuture是用于获取执行结果的,我们常用的是它的子类 FutureTask
        protected <T> RunnableFuture<T> newTaskFor(Runnable runnable, T value) {
            return new FutureTask<T>(runnable, value);
        }

        // newTaskFor用于将我们的任务包装成 FutureTask 提交到线程池中执行
        protected <T> RunnableFuture<T> newTaskFor(Callable<T> callable) {
            return new FutureTask<T>(callable);
        }

        // submit方法用于提交任务
        public Future<?> submit(Runnable task) {
            if (task == null) throw new NullPointerException();
            // 1. 将任务包装成 FutureTask
            RunnableFuture<Void> ftask = newTaskFor(task, null);
            // 2. 交给执行器执行,execute 方法由具体的子类来实现
            // 前面也说了,FutureTask 间接实现了Runnable 接口。
            execute(ftask);
            return ftask;
        }

        // 可以接受返回结果的submit
        public <T> Future<T> submit(Runnable task, T result) {
            if (task == null) throw new NullPointerException();
            // 1. 将任务包装成 FutureTask
            RunnableFuture<T> ftask = newTaskFor(task, result);
            // 2. 交给执行器执行
            execute(ftask);
            return ftask;
        }

        // 执行Callable的submit
        public <T> Future<T> submit(Callable<T> task) {
            if (task == null) throw new NullPointerException();
            // 1. 将任务包装成 FutureTask
            RunnableFuture<T> ftask = newTaskFor(task);
            // 2. 交给执行器执行
            execute(ftask);
            return ftask;
        }

        /**
         * 此方法主要目的:将tasks集合中的任务提交到线程池执行,任意一个线程执行完成后就可以结束
         * @timed 代表是否设置超时机制,
         * @nanos 超时时间
         * 如果timed为true,同时执行时间超过了超时时间并且没有一个线程返回结果,则抛出TimeoutException异常
         */
        private <T> T doInvokeAny(Collection<? extends Callable<T>> tasks,
                                  boolean timed, long nanos)
                throws InterruptedException, ExecutionException, TimeoutException {
            if (tasks == null)
                throw new NullPointerException();
            // 任务数
            int ntasks = tasks.size();
            if (ntasks == 0)
                throw new IllegalArgumentException();
            //
            List<Future<T>> futures= new ArrayList<Future<T>>(ntasks);

            /**
             * ExecutorCompletionService并不是真正的执行器,参数this才是真正的执行器
             * 它对执行器进行了包装,每个任务结束后将结果保存到内部的一个completionQueue队列中
             */
            ExecutorCompletionService<T> ecs =
                    new ExecutorCompletionService<T>(this);
            try {
                // 用于保存异常信息,此方法如果没有得到任何有效的结果,那么我们可以抛出最后得到的一个异常
                ExecutionException ee = null;
                long lastTime = timed ? System.nanoTime() : 0;
                Iterator<? extends Callable<T>> it = tasks.iterator();

                // 首先先提交一个任务,后面的任务到下面的 for 循环一个个提交
                futures.add(ecs.submit(it.next()));
                // 提交了一个任务,所以任务数量减 1
                --ntasks;
                // 正在执行的任务数(提交的时候 +1,任务结束的时候 -1)
                int active = 1;

                for (;;) {
                    /**
                     * ecs 上面说了,其内部有一个 completionQueue 用于保存执行完成的结果
                     * BlockingQueue 的 poll 方法不阻塞,返回 null 代表队列为空
                     */
                    Future<T> f = ecs.poll();
                    /**
                     * 为 null,说明刚刚提交的第一个线程还没有执行完成
                     * 在前面先提交一个任务,加上这里做一次检查,也是为了提高性能
                     */
                    if (f == null) {
                        if (ntasks > 0) {
                            --ntasks;
                            futures.add(ecs.submit(it.next()));
                            ++active;
                        }
                        /**
                         * 这里是 else if,不是 if,这里说明,没有任务了
                         * 同时 active 为 0 说明任务都执行完成了
                         * 这里的 active == 0,说明所有的任务都执行失败,那么这里是 for 循环出口
                         */
                        else if (active == 0)
                            break;
                            // 这里也是 else if。这里说的是,没有任务了,但是设置了超时时间,这里检测是否超时
                        else if (timed) {
                            // 带等待的 poll 方法
                            f = ecs.poll(nanos, TimeUnit.NANOSECONDS);
                            // 如果已经超时,抛出 TimeoutException 异常,这整个方法就结束了
                            if (f == null)
                                throw new TimeoutException();
                            long now = System.nanoTime();
                            nanos -= now - lastTime;
                            lastTime = now;
                        }
                        /**
                         * 这里是 else,说明没有任务需要提交,但是池中的任务没有完成,还没有超时(如果设置了超时)
                         * take() 方法会阻塞,直到有元素返回,说明有任务结束了
                         */
                        else
                            f = ecs.take();
                    }
                /**
                 * 我感觉上面这一段并不是很好理解,这里简单说下。
                 * 1. 首先,这在一个 for 循环中,我们设想每一个任务都没那么快结束,
                      那么,每一次都会进到第一个分支,进行提交任务,直到将所有的任务都提交了
                 * 2. 任务都提交完成后,如果设置了超时,那么 for 循环其实进入了“一直检测是否超时”
                       这件事情上
                 * 3. 如果没有设置超时机制,那么不必要检测超时,那就会阻塞在 ecs.take() 方法上,
                       等待获取第一个执行结果
                 * 4. 如果所有的任务都执行失败,也就是说 future 都返回了,
                       但是 f.get() 抛出异常,那么从 active == 0 分支出去
                        // 当然,这个需要看下面的 if 分支。
                 */


                    // 有任务结束了
                    if (f != null) {
                        --active;
                        try {
                            // 返回执行结果,如果有异常,都包装成 ExecutionException
                            return f.get();
                        } catch (ExecutionException eex) {
                            ee = eex;
                        } catch (RuntimeException rex) {
                            ee = new ExecutionException(rex);
                        }
                    }
                }// 注意看 for 循环的范围,一直到这里

                if (ee == null)
                    ee = new ExecutionException();
                throw ee;

            } finally {
                // 方法退出之前,取消其他的任务
                for (Future<T> f : futures)
                    f.cancel(true);
            }
        }

        public <T> T invokeAny(Collection<? extends Callable<T>> tasks)
                throws InterruptedException, ExecutionException {
            try {
                return doInvokeAny(tasks, false, 0);
            } catch (TimeoutException cannotHappen) {
                assert false;
                return null;
            }
        }

        public <T> T invokeAny(Collection<? extends Callable<T>> tasks,
                               long timeout, TimeUnit unit)
                throws InterruptedException, ExecutionException, TimeoutException {
            return doInvokeAny(tasks, true, unit.toNanos(timeout));
        }

        /**
         * 执行所有的任务,返回任务结果
         * 其实我们自己提交任务到线程池,也是想要线程池执行所有的任务
         * 只不过,我们是每次 submit 一个任务,这里以一个集合作为参数提交
         */
        public <T> List<Future<T>> invokeAll(Collection<? extends Callable<T>> tasks)
                throws InterruptedException {
            if (tasks == null)
                throw new NullPointerException();
            List<Future<T>> futures = new ArrayList<Future<T>>(tasks.size());
            boolean done = false;
            try {
                for (Callable<T> t : tasks) {
                    // 包装成 FutureTask
                    RunnableFuture<T> f = newTaskFor(t);
                    futures.add(f);
                    // 提交任务
                    execute(f);
                }
                for (Future<T> f : futures) {
                    if (!f.isDone()) {
                        try {
                            /**
                             * 这是一个阻塞方法,直到获取到值,或抛出了异常
                             * 这里有个小细节,其实 get 方法签名上是会抛出 InterruptedException 的
                             * 可是这里没有进行处理,而是抛给外层去了。此异常发生于还没执行完的任务被取消了
                             */
                            f.get();
                        } catch (CancellationException ignore) {
                        } catch (ExecutionException ignore) {
                        }
                    }
                }
                done = true;
                /**
                 * 这个方法返回,不像其他的场景,返回 List<Future>,其实执行结果还没出来
                 * 这个方法返回是真正的返回,任务都结束了
                 */
                return futures;
            } finally {
                // 为什么要这个?就是上面说的有异常的情况
                if (!done)
                    for (Future<T> f : futures)
                        f.cancel(true);
            }
        }
    }

到这里,这个抽象类包装了一些基本的方法,可是像 submit、invokeAny、invokeAll 等方法,它们都没有真正开启线程来执行任务,它们都只是在方法内部调用了 execute 方法,所以最重要的 execute(Runnable runnable) 方法还没出现,需要等具体执行器来实现这个最重要的部分,这里要说的就是 ThreadPoolExecutor 类了。

ThreadPoolExecutor


ThreadPoolExecutor 是 JDK 中的线程池实现,这个类实现了一个线程池需要的各个方法,它实现了任务提交、线程管理、监控等等方法。

我们可以基于它来进行业务上的扩展,以实现我们需要的其他功能,比如实现定时任务的类 ScheduledThreadPoolExecutor 就继承自 ThreadPoolExecutor。当然,这不是本文关注的重点,下面,还是赶紧进行源码分析吧。

首先,来看看线程池实现中的几个概念和处理流程,先回顾下提交任务的几个方法:

public Future<?> submit(Runnable task) {
    if (task == null) throw new NullPointerException();
    RunnableFuture<Void> ftask = newTaskFor(task, null);
    execute(ftask);
    return ftask;
}
public <T> Future<T> submit(Runnable task, T result) {
    if (task == null) throw new NullPointerException();
    RunnableFuture<T> ftask = newTaskFor(task, result);
    execute(ftask);
    return ftask;
}
public <T> Future<T> submit(Callable<T> task) {
    if (task == null) throw new NullPointerException();
    RunnableFuture<T> ftask = newTaskFor(task);
    execute(ftask);
    return ftask;
}

一个最基本的概念是,submit 方法中,参数是 Runnable 类型(也有Callable 类型),这个参数不是用于 new Thread(runnable).start() 中的,此处的这个参数不是用于启动线程的,这里指的是任务,任务要做的事情是 run() 方法里面定义的或 Callable 中的 call() 方法里面定义的。

初学者往往会搞混这个,因为 Runnable 总是在各个地方出现,经常把一个 Runnable 包到另一个 Runnable 中。请把它想象成有个 Task 接口,这个接口里面有一个 run() 方法。

回过神来继续往下看,画了一个简单的示意图来描述线程池中的一些主要的构件:

当然,上图没有考虑队列是否有界,提交任务时队列满了怎么办?什么情况下会创建新的线程?提交任务时线程池满了怎么办?空闲线程怎么关掉?这些问题下面会一一解决。

我们经常会使用 Executors 这个工具类来快速构造一个线程池,对于初学者而言,这种工具类是很有用的,开发者不需要关注太多的细节,只要知道自己需要一个线程池,仅仅提供必需的参数就可以了,其他参数都采用作者提供的默认值。

public static ExecutorService newFixedThreadPool(int nThreads) {
    return new ThreadPoolExecutor(nThreads, nThreads,
                                  0L, TimeUnit.MILLISECONDS,
                                  new LinkedBlockingQueue<Runnable>());
}
public static ExecutorService newCachedThreadPool() {
    return new ThreadPoolExecutor(0, Integer.MAX_VALUE,
                                  60L, TimeUnit.SECONDS,
                                  new SynchronousQueue<Runnable>());
}

这里先不说有什么区别,它们最终都会导向这个构造方法:

public ThreadPoolExecutor(int corePoolSize,
                              int maximumPoolSize,
                              long keepAliveTime,
                              TimeUnit unit,
                              BlockingQueue<Runnable> workQueue,
                              ThreadFactory threadFactory,
                              RejectedExecutionHandler handler) {
        if (corePoolSize < 0 ||
            maximumPoolSize <= 0 ||
            maximumPoolSize < corePoolSize ||
            keepAliveTime < 0)
            throw new IllegalArgumentException();
        // 这几个参数都是必须要有的
        if (workQueue == null || threadFactory == null || handler == null)
            throw new NullPointerException();

        this.corePoolSize = corePoolSize;
        this.maximumPoolSize = maximumPoolSize;
        this.workQueue = workQueue;
        this.keepAliveTime = unit.toNanos(keepAliveTime);
        this.threadFactory = threadFactory;
        this.handler = handler;
    }

基本上,上面的构造方法中列出了我们最需要关心的几个属性了,下面逐个介绍下构造方法中出现的这几个属性:

  • corePoolSize:核心线程数
  • maximumPoolSize:最大线程数,线程池允许创建的最大线程数
  • workQueue:任务队列,BlockingQueue 接口的某个实现(常使用 ArrayBlockingQueue 和 LinkedBlockingQueue)
  • keepAliveTime:空闲线程的保活时间,如果某线程的空闲时间超过这个值都没有任务给它做,那么可以被关闭了。注意这个值并不会对所有线程起作用,如果线程池中的线程数少于等于核心线程数 corePoolSize,那么这些线程不会因为空闲太长时间而被关闭,当然,也可以通过调用 allowCoreThreadTimeOut(true)使核心线程数内的线程也可以被回收。
  • threadFactory:用于生成线程,一般我们可以用默认的就可以了。通常,我们可以通过它将我们的线程的名字设置得比较可读一些,如 Message-Thread-1, Message-Thread-2 类似这样。
  • handler:当线程池已经满了,但是又有新的任务提交的时候,该采取什么策略由这个来指定。有几种方式可供选择,像抛出异常、直接拒绝然后返回等,也可以自己实现相应的接口实现自己的逻辑,这个之后再说。

除了上面几个属性外,我们再看看其他重要的属性。

作者采用了一个 32 位的整数来存放线程池的状态和当前池中的线程数,其中高 3 位用于存放线程池状态,低 29 位表示线程数(即使只有 29 位,也已经不小了,大概 5 亿多,现在还没有哪个机器能起这么多线程的吧)。我们知道,java 语言在整数编码上是统一的,都是采用补码的形式,下面是简单的移位操作和布尔操作,都是挺简单的。

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

    /**
     * 这里 COUNT_BITS 设置为 29(32-3),意味着前三位用于存放线程状态,后29位用于存放线程数
     * 很多初学者很喜欢在自己的代码中写很多 29 这种数字,或者某个特殊的字符串,然后分布在各个地方,这是非常糟糕的
     */
    private static final int COUNT_BITS = Integer.SIZE - 3;

    /**
     * 000 11111111111111111111111111111
     * 这里得到的是 29 个 1,也就是说线程池的最大线程数是 2^29-1=536870911
     * 以目前现在计算机的实际情况,这个数量还是够用的
     */
    private static final int CAPACITY   = (1 << COUNT_BITS) - 1;

    /**
     * 前面说了,线程池的状态存放在高 3 位中
     * 运算结果为 111跟29个0:111 00000000000000000000000000000
     */
    private static final int RUNNING    = -1 << COUNT_BITS;
    // 000 00000000000000000000000000000
    private static final int SHUTDOWN   =  0 << COUNT_BITS;
    // 001 00000000000000000000000000000
    private static final int STOP       =  1 << COUNT_BITS;
    // 010 00000000000000000000000000000
    private static final int TIDYING    =  2 << COUNT_BITS;
    // 011 00000000000000000000000000000
    private static final int TERMINATED =  3 << COUNT_BITS;

    // 将整数 c 的低 29 位修改为 0,就得到了线程池的状态
    private static int runStateOf(int c)     { return c & ~CAPACITY; }
    // 将整数 c 的高 3 位修改为 0,就得到了线程池中的线程数
    private static int workerCountOf(int c)  { return c & CAPACITY; }

    private static int ctlOf(int rs, int wc) { return rs | wc; }

    /*
     * Bit field accessors that don't require unpacking ctl.
     * These depend on the bit layout and on workerCount being never negative.
     */

    private static boolean runStateLessThan(int c, int s) {
        return c < s;
    }

    private static boolean runStateAtLeast(int c, int s) {
        return c >= s;
    }

    private static boolean isRunning(int c) {
        return c < SHUTDOWN;
    }

上面就是对一个整数的简单的位操作,几个操作方法将会在后面的源码中一直出现,所以读者最好把方法名字和其代表的功能记住,看源码的时候也就不需要来来回回翻了。

在这里,介绍下线程池中的各个状态和状态变化的转换过程:

  • RUNNING:正常状态,接受新的任务,处理等待队列中的任务
  • SHUTDOWN:不接受新的任务提交,但是会继续处理等待队列中的任务
  • STOP:不接受新的任务提交,不再处理等待队列中的任务,中断正在执行任务的线程
  • TIDYING:所有的任务都销毁了,workCount 为 0。线程池的状态在转换为 TIDYING 状态时,会执行钩子方法 terminated()
  • TERMINATED:terminated() 方法结束后,线程池的状态就会变成这个RUNNING 定义为 -1,SHUTDOWN 定义为 0,其他的都比 0 大,所以等于 0 的时候不能提交任务,大于 0 的话,连正在执行的任务也需要中断。

看了这几种状态的介绍,大体也可以猜到大致的状态转换了,各个状态的转换过程有以下几种:

  • RUNNING -> SHUTDOWN:当调用了 shutdown() 后,会发生这个状态转换,这也是最重要的
  • (RUNNING or SHUTDOWN) -> STOP:当调用 shutdownNow() 后,会发生这个状态转换,这下要清楚 shutDown() 和 shutDownNow() 的区别了
  • SHUTDOWN -> TIDYING:当任务队列和线程池都清空后,会由 SHUTDOWN 转换为 TIDYING
  • STOP -> TIDYING:当任务队列清空后,发生这个转换
  • TIDYING -> TERMINATED:这个前面说了,当 terminated() 方法结束后

上面的几个记住核心的就可以了,尤其第一个和第二个。

另外,还要看看一个内部类 Worker,因为作者把线程池中的线程包装成了一个个 Worker,翻译成工人,就是线程池中做任务的线程。所以到这里,我们知道任务是 Runnable(内部变量名叫 task 或 command),线程是 Worker。下面来详细看看

private final class Worker
            extends AbstractQueuedSynchronizer
            implements Runnable
    {
        private static final long serialVersionUID = 6138294804551838833L;

        // 这个是真正的线程
        final Thread thread;

        /**
         * 前面说了,这里的 Runnable 是任务。为什么叫 firstTask?
         * 因为在创建线程的时候,如果同时指定了这个线程起来以后需要执行的第一个任务,那么第一个任务就是存放在这里的(线程可不止执行这一个任务)
         * 当然了,也可以为 null,这样线程起来了,自己到任务队列(BlockingQueue)中取任务(getTask 方法)就行了
         */
        Runnable firstTask;

        // 用于存放此线程完成的任务数,注意了,这里用了 volatile,保证可见性
        volatile long completedTasks;

        // Worker 只有这一个构造方法,传入 firstTask,也可以传 null
        Worker(Runnable firstTask) {
            setState(-1); // inhibit interrupts until runWorker
            this.firstTask = firstTask;
            // 调用 ThreadFactory 来创建一个新的线程
            this.thread = getThreadFactory().newThread(this);
        }

        // 这里调用了外部类的 runWorker 方法
        public void run() {
            runWorker(this);
        }

    ...// 其他几个方法没什么好看的,就是用 AQS 操作,来获取这个线程的执行权,用了独占锁
    }

有了上面的这些基础后,终于可以看看 ThreadPoolExecutor 的 execute 方法了,前面源码分析的时候也说了,各种方法都最终依赖于 execute 方法:

public void execute(Runnable command) {
        if (command == null)
            throw new NullPointerException();

        // 前面说的那个表示 “线程池状态” 和 “线程数” 的整数
        int c = ctl.get();

        /**
         * 如果当前线程数少于核心线程数,那么直接添加一个 worker 来执行任务,
         * 创建一个新的线程,并把当前任务 command 作为这个线程的第一个任务(firstTask)
         */
        if (workerCountOf(c) < corePoolSize) {
            /**
             * 添加任务成功,那么就结束了。提交任务嘛,线程池已经接受了这个任务,这个方法也就可以返回了
             * 至于执行的结果,到时候会包装到 FutureTask 中
             * 返回 false 代表线程池不允许提交任务
             */
            if (addWorker(command, true))
                return;
            c = ctl.get();
        }

        /**
         * 执行到这里说明:要么当前线程数大于等于核心线程数,要么刚刚 addWorker 失败了
         * 如果线程池处于 RUNNING 状态,把这个任务添加到任务队列 workQueue 中
         */

        if (isRunning(c) && workQueue.offer(command)) {
            /**
             * 这里面说的是,如果任务进入了 workQueue,我们是否需要开启新的线程
             * 因为线程数在 [0, corePoolSize) 是无条件开启新的线程
             * 如果线程数已经大于等于 corePoolSize,那么将任务添加到队列中,然后进到这里
             */
            int recheck = ctl.get();
            // 如果线程池已不处于 RUNNING 状态,那么移除已经入队的这个任务,并且执行拒绝策略
            if (! isRunning(recheck) && remove(command))
                reject(command);
            /**
             * 如果线程池还是 RUNNING 的,并且线程数为 0,那么开启新的线程
             * 执行到这里,这块代码的真正意图是:担心任务提交到队列中了,但是线程都关闭了
             */
            else if (workerCountOf(recheck) == 0)
                addWorker(null, false);
        }
        /**
         * 如果 workQueue 队列满了,那么进入到这个分支
         * 以 maximumPoolSize 为界创建新的 worker,
         * 如果失败,说明当前线程数已经达到 maximumPoolSize,执行拒绝策略
         */
        else if (!addWorker(command, false))
            reject(command);
    }

对创建线程的错误理解:如果线程数少于 corePoolSize,创建一个线程,如果线程数在 corePoolSize, maximumPoolSize 之间那么可以创建线程或复用空闲线程,keepAliveTime 对这个区间的线程有效。

从上面的几个分支,我们就可以看出,上面的这段话是错误的。

上面这些一时半会也不可能全部消化搞定,我们先继续往下吧,到时候再回头看几遍。

这个方法非常重要 addWorker(Runnable firstTask, boolean core) 方法,我们看看它是怎么创建新的线程的:

/**
     *
     * @param firstTask 该参数是准备提交给这个线程执行的任务,之前说了,可以为 null
     * @param core 该参数为true代表使用核心线程数 corePoolSize 作为创建线程的界限,也就说创建这个线程的时候
     *             如果线程池中的线程总数已经达到 corePoolSize,那么不能响应这次创建线程的请求;
     *             该参数如果是 false,代表使用最大线程数 maximumPoolSize 作为界限
     */
    private boolean addWorker(Runnable firstTask, boolean core) {
        retry:
        for (;;) {
            int c = ctl.get();
            int rs = runStateOf(c);

            /**
             * 这里有点绕,不太好理解
             * 如果线程池已关闭,并满足以下条件之一,那么不创建新的 worker:
             *  1. 线程池状态大于 SHUTDOWN,其实也就是 STOP, TIDYING, 或 TERMINATED
             *  2. firstTask != null
             *  3. workQueue.isEmpty()
             *
             * 简单分析:
             * 还是状态控制的问题,当线程池处于 SHUTDOWN 的时候,不允许提交任务,但是已有的任务继续执行
             * 当状态大于 SHUTDOWN 时,不允许提交任务,且中断正在执行的任务
             * 如果线程池处于 SHUTDOWN,但是 firstTask 为 null,且 workQueue 非空,那么是允许创建 worker 的
             *
             * 这是因为 SHUTDOWN 的语义:不允许提交新的任务,但是要把已经进入到 workQueue 的任务执行完,
             * 所以在满足条件的基础上,是允许创建新的 Worker 的
             */
            if (rs >= SHUTDOWN &&
                    ! (rs == SHUTDOWN &&
                            firstTask == null &&
                            ! workQueue.isEmpty()))
                return false;

            for (;;) {
                int wc = workerCountOf(c);
                if (wc >= CAPACITY ||
                        wc >= (core ? corePoolSize : maximumPoolSize))
                    return false;
                /**
                 * 如果成功,那么就是所有创建线程前的条件校验都满足了,准备创建线程执行任务了
                 * 这里失败的话,说明有其他线程也在尝试往线程池中创建线程
                 */
                if (compareAndIncrementWorkerCount(c))
                    break retry;
                // 由于有并发,重新再读取一下 ctl
                c = ctl.get();
                /**
                 * 正常如果是 CAS 失败的话,进到下一个里层的for循环就可以了
                 * 可是如果是因为其他线程的操作,导致线程池的状态发生了变更,如有其他线程关闭了这个线程池
                 * 那么就需要回到外层的for循环
                 */
                if (runStateOf(c) != rs)
                    continue retry;
                // else CAS failed due to workerCount change; retry inner loop
            }
        }

        /**
         * 到这里,我们认为在当前这个时刻,可以开始创建线程来执行任务了,
         * 因为该校验的都校验了,至于以后会发生什么,那是以后的事,至少当前是满足条件的
         */

        // worker 是否已经启动
        boolean workerStarted = false;
        // 是否已将这个 worker 添加到 workers 这个 HashSet 中
        boolean workerAdded = false;
        Worker w = null;
        try {
            final ReentrantLock mainLock = this.mainLock;
            // 把 firstTask 传给 worker 的构造方法
            w = new Worker(firstTask);
            // 取 worker 中的线程对象,之前说了,Worker的构造方法会调用 ThreadFactory 来创建一个新的线程
            final Thread t = w.thread;
            if (t != null) {
                /**
                 * 这个是整个线程池的全局锁,持有这个锁才能让下面的操作“顺理成章”,
                 * 因为关闭一个线程池需要这个锁,至少持有锁的期间,线程池不会被关闭
                 */
                mainLock.lock();
                try {

                    int c = ctl.get();
                    int rs = runStateOf(c);

                    /**
                     * 小于 SHUTTDOWN 那就是 RUNNING,是最正常的情况
                     * 如果等于 SHUTDOWN,前面说了,不接受新的任务,但是会继续执行等待队列中的任务
                     */
                    if (rs < SHUTDOWN ||
                            (rs == SHUTDOWN && firstTask == null)) {
                        // worker 里面的 thread 可不能是已经启动的
                        if (t.isAlive())
                            throw new IllegalThreadStateException();
                        // 加到 workers 这个 HashSet 中
                        workers.add(w);
                        int s = workers.size();
                        /**
                         * largestPoolSize 用于记录 workers 中的个数的最大值
                         * 因为 workers 是不断增加减少的,通过这个值可以知道线程池的大小曾经达到的最大值
                         */
                        if (s > largestPoolSize)
                            largestPoolSize = s;
                        workerAdded = true;
                    }
                } finally {
                    mainLock.unlock();
                }
                // 添加成功的话,启动这个线程
                if (workerAdded) {
                    // 启动线程
                    t.start();
                    workerStarted = true;
                }
            }
        } finally {
            // 如果线程没有启动,需要做一些清理工作,如前面 workCount 加了 1,将其减掉
            if (! workerStarted)
                addWorkerFailed(w);
        }
        // 返回线程是否启动成功
        return workerStarted;
    }

简单看下 addWorkFailed 的处理:

/**
     * workers 中删除掉相应的 worker
     * workCount 减 1
     */
    private void addWorkerFailed(Worker w) {
        final ReentrantLock mainLock = this.mainLock;
        mainLock.lock();
        try {
            if (w != null)
                workers.remove(w);
            decrementWorkerCount();
            // rechecks for termination, in case the existence of this worker was holding up termination
            tryTerminate();
        } finally {
            mainLock.unlock();
        }
    }

回过头来,继续往下走。worker 中的线程 start 后,其 run 方法会调用 runWorker 方法:

// Worker 类的 run() 方法
public void run() {
    runWorker(this);
}

继续往下看 runWorker 方法:

    /**
     * 此方法由 worker 线程启动后调用,这里用一个 while 循环来不断地从等待队列中获取任务并执行
     * 前面说了,worker 在初始化的时候,可以指定 firstTask,那么第一个任务也就可以不需要从队列中获取
     */
    final void runWorker(Worker w) {

        Thread wt = Thread.currentThread();
        // 该线程的第一个任务(如果有的话)
        Runnable task = w.firstTask;
        w.firstTask = null;
        w.unlock(); // allow interrupts
        boolean completedAbruptly = true;
        try {
            // 循环调用 getTask 获取任务
            while (task != null || (task = getTask()) != null) {
                w.lock();
                // 如果线程池状态大于等于 STOP,那么意味着该线程也要中断
                if ((runStateAtLeast(ctl.get(), STOP) ||
                        (Thread.interrupted() &&
                                runStateAtLeast(ctl.get(), STOP))) &&
                        !wt.isInterrupted())
                    wt.interrupt();
                try {
                    // 这是一个钩子方法,留给需要的子类实现
                    beforeExecute(wt, task);
                    Throwable thrown = null;
                    try {
                        // 到这里终于可以执行任务了
                        task.run();
                    } catch (RuntimeException x) {
                        thrown = x; throw x;
                    } catch (Error x) {
                        thrown = x; throw x;
                    } catch (Throwable x) {
                        // 这里不允许抛出 Throwable,所以转换为 Error
                        thrown = x; throw new Error(x);
                    } finally {
                        // 也是一个钩子方法,将 task 和异常作为参数,留给需要的子类实现
                        afterExecute(task, thrown);
                    }
                } finally {
                    // 清空 task,准备 getTask 获取下一个任务
                    task = null;
                    // 累加完成的任务数
                    w.completedTasks++;
                    // 释放掉 worker 的独占锁
                    w.unlock();
                }
            }
            completedAbruptly = false;
        } finally {
            /**
             * 如果执行到这里,需要执行线程关闭:
             *  1. 说明 getTask 返回 null,也就是说,队列中已经没有任务需要执行了,执行关闭
             *  2. 任务执行过程中发生了异常
             * 第一种情况,已经在代码处理了将 workCount 减 1,这个在 getTask 方法分析中会说
             * 第二种情况,workCount 没有进行处理,所以需要在 processWorkerExit 中处理
             */
            processWorkerExit(w, completedAbruptly);
        }
    }

我们看看 getTask() 是怎么获取任务的,这个方法写得真的很好,每一行都很简单,组合起来却所有的情况都想好了:

    /**
     * 此方法有三种可能:
     *  1. 阻塞直到获取到任务返回。默认 corePoolSize 之内的线程是不会被回收的,它们会一直等待任务
     *  2. 超时退出。keepAliveTime 起作用的时候,也就是如果这么多时间内都没有任务,那么应该执行关闭
     *  3. 如果发生了以下条件,此方法必须返回 null:
     *      3.1 池中有大于 maximumPoolSize 个 workers 存在(通过调用 setMaximumPoolSize 进行设置)
     *      3.2 线程池处于 SHUTDOWN,而且 workQueue 是空的,前面说了,这种不再接受新的任务
     *      3.3 线程池处于 STOP,不仅不接受新的线程,连 workQueue 中的线程也不再执行
     */
    private Runnable getTask() {
        boolean timedOut = false; // Did the last poll() time out?

        retry:
        for (;;) {
            int c = ctl.get();
            int rs = runStateOf(c);
            /**
             * 两种可能:
             * 1. rs == SHUTDOWN && workQueue.isEmpty()
             * 2. rs >= STOP
             */
            if (rs >= SHUTDOWN && (rs >= STOP || workQueue.isEmpty())) {
                // CAS 操作,减少工作线程数
                decrementWorkerCount();
                return null;
            }

            boolean timed;      // Are workers subject to culling?
            for (;;) {
                int wc = workerCountOf(c);
                // 允许核心线程数内的线程回收,或当前线程数超过了核心线程数,那么有可能发生超时关闭
                timed = allowCoreThreadTimeOut || wc > corePoolSize;

                
                /**
                 * 这里 break,是为了不往下执行后一个 if (compareAndDecrementWorkerCount(c))
                 * 两个 if 一起看:如果当前线程数 wc > maximumPoolSize,或者超时,都返回 null
                 * 那这里的问题来了,wc > maximumPoolSize 的情况,为什么要返回 null?
                 * 换句话说,返回 null 意味着关闭线程。
                 * 那是因为有可能开发者调用了 setMaximumPoolSize() 将线程池的 maximumPoolSize 调小了,那么多余的 Worker 就需要被关闭
                 */
                if (wc <= maximumPoolSize && ! (timedOut && timed))
                    break;
                if (compareAndDecrementWorkerCount(c))
                    return null;
                c = ctl.get();  // Re-read ctl
                // compareAndDecrementWorkerCount(c) 失败,线程池中的线程数发生了改变
                if (runStateOf(c) != rs)
                    continue retry;
                // else CAS failed due to workerCount change; retry inner loop
            }
            // wc <= maximumPoolSize 同时没有超时
            try {
                // 到 workQueue 中获取任务
                Runnable r = timed ?
                        workQueue.poll(keepAliveTime, TimeUnit.NANOSECONDS) :
                        workQueue.take();
                if (r != null)
                    return r;
                timedOut = true;
            } catch (InterruptedException retry) {
                /**
                 * 如果此 worker 发生了中断,采取的方案是重试
                 * 解释下为什么会发生中断,这个要去看 setMaximumPoolSize 方法。
                 * 如果开发者将 maximumPoolSize 调小了,导致其小于当前的 workers 数量,
                 * 那么意味着超出的部分线程要被关闭。重新进入 for 循环,自然会有部分线程会返回 null
                 */
                timedOut = false;
            }
        }
    }

到这里,基本上也说完了整个流程,读者这个时候应该回到 execute(Runnable command) 方法,看看各个分支,我把代码贴过来一下:

public void execute(Runnable command) {
        if (command == null)
            throw new NullPointerException();

        // 前面说的那个表示 “线程池状态” 和 “线程数” 的整数
        int c = ctl.get();
        
        /**
         * 如果当前线程数少于核心线程数,那么直接添加一个 worker 来执行任务,
         * 创建一个新的线程,并把当前任务 command 作为这个线程的第一个任务(firstTask)
         */
        if (workerCountOf(c) < corePoolSize) {
            /**
             * 添加任务成功,那么就结束了。提交任务嘛,线程池已经接受了这个任务,这个方法也就可以返回了
             * 至于执行的结果,到时候会包装到 FutureTask 中。
             * 返回 false 代表线程池不允许提交任务
             */
            if (addWorker(command, true))
                return;
            c = ctl.get();
        }

        /**
         * 到这里说明,要么当前线程数大于等于核心线程数,要么刚刚 addWorker 失败了
         * 如果线程池处于 RUNNING 状态,把这个任务添加到任务队列 workQueue 中
         */
        if (isRunning(c) && workQueue.offer(command)) {
            /**
             * 这里面说的是,如果任务进入了 workQueue,我们是否需要开启新的线程
             * 因为线程数在 [0, corePoolSize) 是无条件开启新的线程
             * 如果线程数已经大于等于 corePoolSize,那么将任务添加到队列中,然后进到这里
             */
            int recheck = ctl.get();
            // 如果线程池已不处于 RUNNING 状态,那么移除已经入队的这个任务,并且执行拒绝策略
            if (! isRunning(recheck) && remove(command))
                reject(command);
            /**
             * 如果线程池还是 RUNNING 的,并且线程数为 0,那么开启新的线程
             * 到这里,我们知道了,这块代码的真正意图是:担心任务提交到队列中了,但是线程都关闭了
             */
            else if (workerCountOf(recheck) == 0)
                addWorker(null, false);
        }
        /**
         * 如果 workQueue 队列满了,那么进入到这个分支
         * 以 maximumPoolSize 为界创建新的 worker,
         * 如果失败,说明当前线程数已经达到 maximumPoolSize,执行拒绝策略
         */
        else if (!addWorker(command, false))
            reject(command);
    }

上面各个分支中,有两种情况会调用 reject(command) 来处理任务,因为按照正常的流程,线程池此时不能接受这个任务,所以需要执行我们的拒绝策略。接下来看一下 ThreadPoolExecutor 中的拒绝策略。

final void reject(Runnable command) {
    // 执行拒绝策略
    handler.rejectedExecution(command, this);
}

此处的 handler 我们需要在构造线程池的时候就传入这个参数,它是 RejectedExecutionHandler 的实例。

RejectedExecutionHandler 在 ThreadPoolExecutor 中有四个已经定义好的实现类可供我们直接使用,当然,我们也可以实现自己的策略,不过一般也没有必要。

// 只要线程池没有被关闭,那么由提交任务的线程自己来执行这个任务。
    public static class CallerRunsPolicy implements RejectedExecutionHandler {
        public CallerRunsPolicy() { }
        public void rejectedExecution(Runnable r, ThreadPoolExecutor e) {
            if (!e.isShutdown()) {
                r.run();
            }
        }
    }

    /**
     * 不管怎样,直接抛出 RejectedExecutionException 异常
     * 这个是默认的策略,如果我们构造线程池的时候不传相应的 handler 的话,那就会指定使用这个
     */
    public static class AbortPolicy implements RejectedExecutionHandler {
        public AbortPolicy() { }
        public void rejectedExecution(Runnable r, ThreadPoolExecutor e) {
            throw new RejectedExecutionException("Task " + r.toString() +
                    " rejected from " +
                    e.toString());
        }
    }

    // 不做任何处理,直接忽略掉这个任务
    public static class DiscardPolicy implements RejectedExecutionHandler {
        public DiscardPolicy() { }
        public void rejectedExecution(Runnable r, ThreadPoolExecutor e) {
        }
    }

    /**
     * 这个相对霸道一点,如果线程池没有被关闭的话,
     * 把队列队头的任务(也就是等待了最长时间的)直接扔掉,然后提交这个任务到等待队列中
     */
    public static class DiscardOldestPolicy implements RejectedExecutionHandler {
        public DiscardOldestPolicy() { }
        public void rejectedExecution(Runnable r, ThreadPoolExecutor e) {
            if (!e.isShutdown()) {
                e.getQueue().poll();
                e.execute(r);
            }
        }
    }

到这里,ThreadPoolExecutor 的源码算是分析结束了。单纯从源码的难易程度来说,ThreadPoolExecutor 的源码还算是比较简单的,只是需要我们静下心来好好研究罢了。

Executors


这节其实也不是分析 Executors 这个类,因为它仅仅是工具类,它的所有方法都是 static 的。来了解一下

  • 生成一个固定大小的线程池:
public static ExecutorService newFixedThreadPool(int nThreads) {
    return new ThreadPoolExecutor(nThreads, nThreads,
                                  0L, TimeUnit.MILLISECONDS,
                                  new LinkedBlockingQueue<Runnable>());
}

最大线程数设置为与核心线程数相等,此时 keepAliveTime 设置为 0(因为这里它是没用的,即使不为 0,线程池默认也不会回收 corePoolSize 内的线程),任务队列采用 LinkedBlockingQueue,无界队列。

过程分析:刚开始,每提交一个任务都创建一个 worker,当 worker 的数量达到 nThreads 后,不再创建新的线程,而是把任务提交到 LinkedBlockingQueue 中,而且之后线程数始终为 nThreads

  • 生成只有一个线程的固定线程池,这个更简单,和上面的一样,只要设置线程数为 1 就可以了:
public static ExecutorService newSingleThreadExecutor() {
    return new FinalizableDelegatedExecutorService
        (new ThreadPoolExecutor(1, 1,
                                0L, TimeUnit.MILLISECONDS,
                                new LinkedBlockingQueue<Runnable>()));
}
  • 生成一个需要的时候就创建新的线程,同时可以复用之前创建的线程(如果这个线程当前没有任务)的线程池:
public static ExecutorService newCachedThreadPool() {
    return new ThreadPoolExecutor(0, Integer.MAX_VALUE,
                                  60L, TimeUnit.SECONDS,
                                  new SynchronousQueue<Runnable>());
}

核心线程数为 0,最大线程数为 Integer.MAX_VALUE,keepAliveTime 为 60 秒,任务队列采用 SynchronousQueue。

这种线程池对于任务可以比较快速地完成的情况有比较好的性能。如果线程空闲了 60 秒都没有任务,那么将关闭此线程并从线程池中移除。所以如果线程池空闲了很长时间也不会有问题,因为随着所有的线程都会被关闭,整个线程池不会占用任何的系统资源。

过程分析:我把 execute 方法的主体黏贴过来,可以看得明白些。鉴于 corePoolSize 是 0,那么提交任务的时候,直接将任务提交到队列中,由于采用了 SynchronousQueue,所以如果是第一个任务提交的时候,offer 方法肯定会返回 false,因为此时没有任何 worker 对这个任务进行接收,那么将进入到最后一个分支来创建第一个 worker。之后再提交任务的话,取决于是否有空闲下来的线程对任务进行接收,如果有,会进入到第二个 if 语句块中,否则就是和第一个任务一样,进到最后的 else if 分支创建新线程。

int c = ctl.get();
// corePoolSize 为 0,所以不会进到这个 if 分支
if (workerCountOf(c) < corePoolSize) {
    if (addWorker(command, true))
        return;
    c = ctl.get();
}
// offer 如果有空闲线程刚好可以接收此任务,那么返回 true,否则返回 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);
}
else if (!addWorker(command, false))
    reject(command);

SynchronousQueue 是一个比较特殊的 BlockingQueue,其本身不储存任何元素,它有一个虚拟队列(或虚拟栈),不管读操作还是写操作,如果当前队列中存储的是与当前操作相同模式的线程,那么当前操作也进入队列中等待;如果是相反模式,则配对成功,从当前队列中取队头节点

总结


本文篇幅过长,简单进行一下总结,方便没有时间阅读全文的面试者

  • java 线程池有哪些关键属性?

corePoolSize,maximumPoolSize,workQueue,keepAliveTime,rejectedExecutionHandler

corePoolSize 到 maximumPoolSize 之间的线程会被回收,当然 corePoolSize 的线程也可以通过设置而得到回收(allowCoreThreadTimeOut(true))。

workQueue 用于存放任务,添加任务的时候,如果当前线程数超过了 corePoolSize,那么往该队列中插入任务,线程池中的线程会负责到队列中拉取任务。

keepAliveTime 用于设置空闲时间,如果线程数超出了 corePoolSize,并且有些线程的空闲时间超过了这个值,会执行关闭这些线程的操作

rejectedExecutionHandler 用于处理当线程池不能执行此任务时的情况,默认有抛出 RejectedExecutionException 异常、忽略任务、使用提交任务的线程来执行此任务和将队列中等待最久的任务删除,然后提交此任务这四种策略,默认为抛出异常。

  • 线程池中的线程创建时机?

1. 如果当前线程数少于 corePoolSize,那么提交任务的时候创建一个新的线程,并由这个线程执行这个任务;

2. 如果当前线程数已经达到 corePoolSize,那么将提交的任务添加到队列中,等待线程池中的线程去队列中取任务; 3. 如果队列已满,那么创建新的线程来执行任务,需要保证池中的线程数不会超过 maximumPoolSize,如果此时线程数超过了 maximumPoolSize,那么执行拒绝策略。

注意:如果将队列设置为无界队列,那么线程数达到 corePoolSize 后,其实线程数就不会再增长了。因为后面的任务直接往队列塞就行了,此时 maximumPoolSize 参数就没有什么意义。

  • Executors.newFixedThreadPool(…) 和 Executors.newCachedThreadPool() 构造出来的线程池有什么差别?

详看“Executors”章节

  • 任务执行过程中发生异常怎么处理?

如果某个任务执行出现异常,那么执行任务的线程会被关闭,而不是继续接收其他任务。然后会启动一个新的线程来代替它。

  • 什么时候会执行拒绝策略?

1. workers 的数量达到了 corePoolSize(任务此时需要进入任务队列),任务入队成功,与此同时线程池被关闭了,而且关闭线程池并没有将这个任务出队,那么执行拒绝策略。这里说的是非常边界的问题,入队和关闭线程池并发执行,读者仔细看看 execute 方法是怎么进到第一个 reject(command) 里面的。

2. workers 的数量大于等于 corePoolSize,将任务加入到任务队列,可是队列满了,任务入队失败,那么准备开启新的线程,可是线程数已经达到 maximumPoolSize,那么执行拒绝策略。

原文链接:https://javadoop.com/post/java-thread-pool

我来说两句

0 条评论
登录 后参与评论

相关文章

  • 深度解读 java 线程池设计思想及源码实现

    转自:https://javadoop.com/2017/09/05/java-thread-pool

    Java技术江湖
  • Java并发指南12:深度解读 java 线程池设计思想及源码实现

    本文是微信公众号【Java技术江湖】的《Java并发指南》其中一篇,本文大部分内容来源于网络,为了把本文主题讲得清晰透彻,也整合了很多我认为不错的技术博客内容,...

    Java技术江湖
  • 深入Java线程池:从设计思想到源码解读

    各位小伙伴儿,春节已经结束了,在此献上一篇肝了一个春节假期的迟来的拜年之作,希望读者朋友们都能有收获。

    云深i不知处
  • 由浅入深理解Java线程池及线程池的如何使用

    前言 多线程的异步执行方式,虽然能够最大限度发挥多核计算机的计算能力,但是如果不加控制,反而会对系统造成负担。线程本身也要占用内存空间,大量的线程会占用内存资源...

    Janti
  • 寒冬也挡不住进大厂的决心,Android面试完整知识架构,面试需要掌握的都在这里!

    年年寒冬,年年也挡不住一个Android程序员追求大厂的决心。想要进入大厂,我们需要掌握哪些知识点呢?这里,我为大家梳理了一个整体的知识架构。整体包括Java、...

    Android技术干货分享
  • 浅谈 Java 并发编程中的若干核心技术

    作者:一字马胡 原文:http://www.jianshu.com/p/5f499f8212e7 索引 Java线程 线程模型 Java线程池 Future(各...

    企鹅号小编
  • 浅谈 Java 并发编程中的若干核心技术

    索引 Java线程 线程模型 Java线程池 Future(各种Future) Fork/Join框架 volatile CAS(原子操作) AQS(并发同步框...

    程序员宝库
  • 浅谈 Java 并发编程中的若干核心技术

    作者:一字马胡 原文:http://www.jianshu.com/p/5f499f8212e7 索引 Java线程 线程模型 Java线程池 Future(...

    程序员宝库
  • Java并发编程中的若干核心技术,向高手进阶!

    本文试图从一个更高的视角来总结Java语言中的并发编程内容,希望阅读完本文之后,可以收获一些内容,至少应该知道在Java中做并发编程实践的时候应该注意什么,应该...

    Java技术栈
  • Tomcat 高并发之道原理拆解与性能调优

    上回「码哥字节」站在上帝视角给大家拆解了 Tomcat 架构设计,分析 Tomcat 如何实现启动、停止,通过设计连接池与容器两大组件完成了一个请求的接受与响应...

    码哥字节
  • 【原创】Java并发编程系列1:大纲

    随着现今互联网行业的迅猛发展,其业务复杂度、并发量也在不断增加,对程序的要求变得越来越高,传统的线性模型也越来越不适用。 同时,计算机软硬件技术的发展,也为多...

    王金龙
  • 如何学习Java多线程

    最近一段时间,我对《Java并发编程实践》这本经典而又有些难懂的书籍,尝试用了一些简单有趣、通俗易懂的方式进行解读,现整理成GitBook(文末有链接),方便大...

    敖丙
  • 由浅入深理解Java四种线程池及Java并发库

    线程,程序执行流的最小执行单位,是行程中的实际运作单位,经常容易和进程这个概念混淆。那么,线程和进程究竟有什么区别呢?首先,进程是一个动态的过程,是一个活动的实...

    葆宁
  • 2020疫情年,程序员在金九银十期间该如何抉择?

    年初期间的“足不出户”是我们每天的一个状态,疫情肆虐的今天,对我们的学习、工作、生活等各个方面都造成了很严重的负面影响,对于一个拥有房贷车贷的普通上班族来说,更...

    烂猪皮
  • 5年经验Java程序员面试20天,拿下数个offer,总结出的经验感想!

    今天分享的是一位5年工作经验的Java工程师在帝都的面试经验总结,看看这些互联网公司都爱问些什么题,希望对大家的面试有指导意义。 从事Java开发也有5年经验了...

    Java知音
  • 记录年前Java岗整个历程(附字节,阿里,百度,网易,美团等面经)

    实习的时候真的是屡战屡败(阿里三次已回绝),真的要好好调整自己,面试过程中要充分思考,祝大家都收获自己满意的Offer?

    Java码农那些事
  • 金三银四背后,一个JAVA程序员的面试心得

    回顾一下自己这段时间的经历,去年十二月份的时候,公司通知了裁员,我匆匆忙忙地出去面了几家,但最终都没有拿到offer,我感觉今年的寒冬有点冷。后续的面试过程我做...

    烂猪皮
  • 你和阿里资深架构师之间,差的不仅仅是年龄(进阶必看)

    技术zhai
  • 【你问我答】这些Java并发问题,专家是这么回答的

    针对上期Java高并发【你问我答】中读者提出的问题,王锐同学的回答如下。 一 ---- 美团内部使用过Akka么?有什么坑? ——Absurd “ 答: 只简...

    美团技术团队

扫码关注云+社区

领取腾讯云代金券