**


《手册》第 14 页有关于线程池的论述 1
【强制】创建线程或线程池时请指定有意义的线程名称,方便出错时回溯。
【强制】线程资源必须通过线程池提供,不允许在应用中自行显式创建线程
【强制】线程池不允许使用 Executors 去创建,而是通过 ThreadPoolExecutor 的方式,这 样的处理方式让写的同学更加明确线程池的运行规则,规避资源耗尽的风险。

看到这些规定我们可以思考下面几个问题:

  • 那么为何会有这样的规定呢?
  • 线程池那么重要,我们该如何学习线程池?

这些都是本节所要解决的问题。

**

**


那么第一个问题:为什么要指定有意义的线程名称呢?
《手册》给出的解释是 “方便出错时回溯”。
如果大家还没啥体会的话, 可以对比一下下面通过

  1. jstack


看到的线程片段:
默认命名:

  1. "pool-1-thread-1" #11 prio=5 os_prio=31 tid=0x00007fa0964c7000 nid=0x4403 waiting on condition [0x000070000db67000]
  2. ...
  3. at java.lang.Thread.run(Thread.java:748)

自定义命名:

  1. "定时短息任务线程 thread-2" #11 prio=5 os_prio=31 tid=0x00007fa0964c7000 nid=0x4403 waiting on condition [0x000070000db67000]
  2. ...
  3. at java.lang.Thread.run(Thread.java:748)

反差是不是很明显呢?
通过自定义名称,我们可以快速理解所关注的线程所属的线程池,对一些问题可以快速作出预判。
如何实现呢?
很多人总是先直接百度,直接查资料,虽然便捷,但是容易浅尝辄止,学啥都不深入,离开了资料就束手无策。
显然这不是我们想要的,那么怎么办呢?
我们可以去

  1. ThreadPoolExecutor


的构造方法中寻找答案,构造函数中有一个

  1. threadFactory


参数,通过常识或者其注释我们可以知道该参数是为线程池构造线程。
它的类型为:

  1. java.util.concurrent.ThreadFactory


,按照惯例,我们查看源码:

  1. /**
  2. * Constructs a new {@code Thread}. Implementations may also initialize
  3. * priority, name, daemon status, {@code ThreadGroup}, etc.
  4. *
  5. * @param r a runnable to be executed by new thread instance
  6. * @return constructed thread, or {@code null} if the request to
  7. * create a thread is rejected
  8. */
  9. Thread newThread(Runnable r);

通过注释我们可以知道,重写此函数可以指定线程的优先级,设置是否是守护线程、设置线程的线程组等。
那么我们如何找到自定义

  1. ThreadFactory


的参考范例呢?
15 学习线程池的正确姿势 - 图1
大家可以通过点击左侧的 f 标志或使用快捷键查看实现类,进行学习。
具体写法我们可以参考:

  1. net.sf.ehcache.util.NamedThreadFactory
  1. /**
  2. * A {@link ThreadFactory} that sets names to the threads created by this factory. Threads created by this factory
  3. * will take names in the form of the string <code>namePrefix + " thread-" + threadNum</code> where <tt>threadNum</tt> is the
  4. * count of threads created by this type of factory.
  5. *
  6. * @author <a href="mailto:asanoujam@terracottatech.com">Abhishek Sanoujam</a>
  7. *
  8. */
  9. public class NamedThreadFactory implements ThreadFactory {
  10. private static AtomicInteger threadNumber = new AtomicInteger(1);
  11. private final String namePrefix;
  12. private final boolean daemon;
  13. /**
  14. * Constructor accepting the prefix of the threads that will be created by this {@link ThreadFactory}
  15. *
  16. * @param namePrefix Prefix for names of threads
  17. */
  18. public NamedThreadFactory(String namePrefix, boolean daemon) {
  19. this.namePrefix = namePrefix;
  20. this.daemon = daemon;
  21. }
  22. /**
  23. * Constructor accepting the prefix of the threads that will be created by this {@link ThreadFactory}
  24. *
  25. * @param namePrefix
  26. * Prefix for names of threads
  27. */
  28. public NamedThreadFactory(String namePrefix) {
  29. this(namePrefix, false);
  30. }
  31. /**
  32. * Returns a new thread using a name as specified by this factory {@inheritDoc}
  33. */
  34. public Thread newThread(Runnable runnable) {
  35. final Thread thread = new Thread(runnable, namePrefix + " thread-" + threadNumber.getAndIncrement());
  36. thread.setDaemon(daemon);
  37. return thread;
  38. }
  39. }

大家可以参考这个类进行改编。
另外,建议大家工作中如果不忙的时候要主动地去源码中看一看,看一些 JDK 源码中的接口有哪些实现类,它们的代码都是如何编写的,这对我们学习进阶有很大帮助。

**


这里要先讲一个设计模式:“对象池模式”, 参见 《Java 设计模式及实践》 34 页 2
对象的实例化是最耗费性能的操作之一,这在过去是一个大问题,现在已经不需要再那么关注。
但当我们处理封装外部资源的对象(例如数据库连接)时,对象的创建会耗费很多资源。
解决方案就是重用和共享这些创建成本昂贵的对象,这被称为对象池模式。

而根据《 Java 虚拟机规范 (Java SE 8 版)》第 9 - 15 页 3 描述,以及《深入理解 Java 虚拟机:JVM 高级特性与最佳实践》第 39 页 4 相关描述可知:
15 学习线程池的正确姿势 - 图2
线程的创建需要开辟虚拟机栈、本地方法栈、程序计数器等线程私有的内存空间。
线程销毁时也会回收这些系统资源,因此如果频繁创建和销毁线程将大量消耗系统资源。
从上述特点我们可以看出,该场景非常符合对象池设计模式,其核心目的是复用资源消耗加大的对象。
建议大家学习设计模式时,着重了解设计模式的常见使用场景,优势和劣势,而不是着急跟着书上敲代码。
这样才能在看到对应的源码时能够 “恍然大悟”,遇到使用的场景时才能够想到要用这种设计模式。

另外,既然不提倡某种用法而提倡另外一种用法 / 技术,我们要着重思考另外一种用法 / 技术的优势。
不提倡手动创建线程的另外一个原因是线程池自身的优点,使用线程池有利于控制最大并发数,可以实现任务队列的缓存和拒绝策略,实现定时和周期执行任务,可以更好地隔离不同的场景等。

**


推荐通过源码和写 DEMO 来学习线程池。
那么为什么推荐这种学习方式呢?
这是因为:

  1. 源码最权威,通过读源码印象更深刻,面试时或者使用时更有底气。
  2. 写 DEMO 能够构造更多场景,我们可以通过运行看结果,通过各种调试技巧等方式验证自己的想法。

另外大家如果细心,可以看到很多人用过线程池,但是面试时或者和别人交流时迷迷糊糊。
为什么呢?
其实,这是因为很多人都是通过读书来记住线程池的一些参数和用法,而不是通过读源码和练习来学习的,导致印象不深刻,回答问题时没底气,没把握。
接下来我们介绍一下这两种不错的方式在线程池学习中的运用。

**


我们先从

  1. java.util.concurrent.ThreadPoolExecutor


的构造函数说起。
前面注释章节讲过 JDK 的注释是我们学习的典范。我们看源码时注释是帮助我们理解的一大突破口。
如果不看书,我们如何更准确地理解参数含义呢?如何避免被一些博客误导呢?
我们应该先从核心参数的名称对参数的含义有一个大概的了解,然后看再看线程池的核心函数的逻辑。

  1. /**
  2. * Creates a new {@code ThreadPoolExecutor} with the given initial
  3. * parameters.
  4. *
  5. * @param corePoolSize the number of threads to keep in the pool, even
  6. * if they are idle, unless {@code allowCoreThreadTimeOut} is set
  7. * @param maximumPoolSize the maximum number of threads to allow in the
  8. * pool
  9. * @param keepAliveTime when the number of threads is greater than
  10. * the core, this is the maximum time that excess idle threads
  11. * will wait for new tasks before terminating.
  12. * @param unit the time unit for the {@code keepAliveTime} argument
  13. * @param workQueue the queue to use for holding tasks before they are
  14. * executed. This queue will hold only the {@code Runnable}
  15. * tasks submitted by the {@code execute} method.
  16. * @param threadFactory the factory to use when the executor
  17. * creates a new thread
  18. * @param handler the handler to use when execution is blocked
  19. * because the thread bounds and queue capacities are reached
  20. * @throws IllegalArgumentException if one of the following holds:<br>
  21. * {@code corePoolSize < 0}<br>
  22. * {@code keepAliveTime < 0}<br>
  23. * {@code maximumPoolSize <= 0}<br>
  24. * {@code maximumPoolSize < corePoolSize}
  25. * @throws NullPointerException if {@code workQueue}
  26. * or {@code threadFactory} or {@code handler} is null
  27. */
  28. public ThreadPoolExecutor(int corePoolSize,
  29. int maximumPoolSize,
  30. long keepAliveTime,
  31. TimeUnit unit,
  32. BlockingQueue<Runnable> workQueue,
  33. ThreadFactory threadFactory,
  34. RejectedExecutionHandler handler) {
  35. if (corePoolSize < 0 ||
  36. maximumPoolSize <= 0 ||
  37. maximumPoolSize < corePoolSize ||
  38. keepAliveTime < 0)
  39. throw new IllegalArgumentException();
  40. if (workQueue == null || threadFactory == null || handler == null)
  41. throw new NullPointerException();
  42. this.acc = System.getSecurityManager() == null ?
  43. null :
  44. AccessController.getContext();
  45. this.corePoolSize = corePoolSize;
  46. this.maximumPoolSize = maximumPoolSize;
  47. this.workQueue = workQueue;
  48. this.keepAliveTime = unit.toNanos(keepAliveTime);
  49. this.threadFactory = threadFactory;
  50. this.handler = handler;
  51. }

  • 通过注释我们可以清晰地知道每个参数的含义。

    1. corePoolSize
  • 表示核心常驻线程池。即使空闲也会在线程池中保活,除非设置了允许核心线程池超时;

  1. maximumPoolSize
  • 表示线程池同时执行的最大线程数量;

    1. keepAliveTime


    表示线程池中的线程空闲时间,线程在销毁前等待新任务的最大时限;

    1. unit
  • 表示

    1. keepAliveTime


    的单位;

    1. workQueue


    存放执行前的任务。只会存放通过

    1. execute


    函数提交的

    1. Runnable
  • 任务;

  1. threadFactory
  • 创建新线程的工厂;
  1. handler


线程超限且队列容量也达到最大值时执行受阻的处理策略。
注释中还给出了抛出异常的条件,大家可以自行学习。
接下来我们查看其核心函数之一的

  1. execute


源码:

  1. /**
  2. * Executes the given task sometime in the future. The task
  3. * may execute in a new thread or in an existing pooled thread.
  4. *
  5. * If the task cannot be submitted for execution, either because this
  6. * executor has been shutdown or because its capacity has been reached,
  7. * the task is handled by the current {@code RejectedExecutionHandler}.
  8. *
  9. * @param command the task to execute
  10. * @throws RejectedExecutionException at discretion of
  11. * {@code RejectedExecutionHandler}, if the task
  12. * cannot be accepted for execution
  13. * @throws NullPointerException if {@code command} is null
  14. */
  15. public void execute(Runnable command) {
  16. if (command == null)
  17. throw new NullPointerException();
  18. /*
  19. * Proceed in 3 steps:
  20. *
  21. * 1. If fewer than corePoolSize threads are running, try to
  22. * start a new thread with the given command as its first
  23. * task. The call to addWorker atomically checks runState and
  24. * workerCount, and so prevents false alarms that would add
  25. * threads when it shouldn't, by returning false.
  26. *
  27. * 2. If a task can be successfully queued, then we still need
  28. * to double-check whether we should have added a thread
  29. * (because existing ones died since last checking) or that
  30. * the pool shut down since entry into this method. So we
  31. * recheck state and if necessary roll back the enqueuing if
  32. * stopped, or start a new thread if there are none.
  33. *
  34. * 3. If we cannot queue task, then we try to add a new
  35. * thread. If it fails, we know we are shut down or saturated
  36. * and so reject the task.
  37. */
  38. int c = ctl.get();
  39. if (workerCountOf(c) < corePoolSize) {
  40. if (addWorker(command, true))
  41. return;
  42. c = ctl.get();
  43. }
  44. if (isRunning(c) && workQueue.offer(command)) {
  45. int recheck = ctl.get();
  46. if (! isRunning(recheck) && remove(command))
  47. reject(command);
  48. else if (workerCountOf(recheck) == 0)
  49. addWorker(null, false);
  50. }
  51. else if (!addWorker(command, false))
  52. reject(command);
  53. }

通过注释我们可以知道,该函数的作用:
在未来的某个时刻执行给定的任务。该任务可能会被新创建的线程执行,也可能会被线程池中已经存在的线程执行。
如果任务因为 executor 被关闭 (shutdown) 或者容量达到上限而不能再提交执行时,会调用当前设置的

  1. RejectedExecutionHandler


另外源码中关于执行步骤的注释是我们理解线程池的关键:

  1. execute


分为 3 个处理步骤:
1、如果线程池中小于

  1. corePoolSize


个执行的线程,则新建线程将当前任务作为第一个任务来执行;
2、如果任务成功入队,我们仍然需要 double-check 判断是否需要往线程池中新增线程(因为上次检查后可能有一个已经存在的线程挂了)或者进入这段函数时线程池关闭了;
3、如果不能入队,则创建一个新线程。如果失败,我们就知道线程池已经被关闭或已经饱和就需要调用拒绝策略来拒绝当前任务。

读完注释,哪怕我们不读代码或者读不懂源码,我们对线程池的理解也会较为深入的理解,读完注释后再读代码就会发现容易了很多。
我们再学习

  1. java.util.concurrent.ThreadPoolExecutor#shutdown


函数:

  1. /**
  2. * Initiates an orderly shutdown in which previously submitted
  3. * tasks are executed, but no new tasks will be accepted.
  4. * Invocation has no additional effect if already shut down.
  5. *
  6. * <p>This method does not wait for previously submitted tasks to
  7. * complete execution. Use {@link #awaitTermination awaitTermination}
  8. * to do that.
  9. *
  10. * @throws SecurityException {@inheritDoc}
  11. */
  12. public void shutdown() {
  13. final ReentrantLock mainLock = this.mainLock;
  14. mainLock.lock();
  15. try {
  16. checkShutdownAccess();
  17. advanceRunState(SHUTDOWN);
  18. interruptIdleWorkers();
  19. onShutdown(); // hook for ScheduledThreadPoolExecutor
  20. } finally {
  21. mainLock.unlock();
  22. }
  23. tryTerminate();
  24. }

根据注释我们可知:
已经提交的任务执行完后关闭,此时不会不再接收新的任务。
如果已经关闭,那么调用此函数没啥副作用。
此函数不会等待已经提交的任务执行完成(才返回)。如果需要可以使用

  1. java.util.concurrent.ThreadPoolExecutor#awaitTermination


假如我们对这里关键的一句话:“This method does not wait for previously submitted tasks to complete execution.” 很困惑,可以通过 StackOverFlow 搜索相关关键词来寻找解答。
我们找到这样一篇:does-executorservice-shutdown-cancel-existing-tasks 文章
The point is that the

  1. shutDown


method returns without waiting for the previously submitted tasks to complete, but it still lets them complete. You might want to think of it as a “start shutting down” method.

  1. shutDown


不会等待直接提交的任务执行完成(但是会让它们执行完毕)就会返回。你可以将该方法理解为 “开始关闭” 函数。

线程池还有其它核心函数,需要大家自己去学习,这里就不作展开。
*上面讲述了线程池的核心参数和核心函数。
那么我们来看另外一个问题,为啥《手册》不建议用

  1. Executors


来创建线程池?
我们以

  1. FixedThreadPool


为例,来分析具体原因:

  1. /**
  2. * Creates a thread pool that reuses a fixed number of threads
  3. * operating off a shared unbounded queue, using the provided
  4. * ThreadFactory to create new threads when needed. At any point,
  5. * at most {@code nThreads} threads will be active processing
  6. * tasks. If additional tasks are submitted when all threads are
  7. * active, they will wait in the queue until a thread is
  8. * available. If any thread terminates due to a failure during
  9. * execution prior to shutdown, a new one will take its place if
  10. * needed to execute subsequent tasks. The threads in the pool will
  11. * exist until it is explicitly {@link ExecutorService#shutdown
  12. * shutdown}.
  13. *
  14. * @param nThreads the number of threads in the pool
  15. * @param threadFactory the factory to use when creating new threads
  16. * @return the newly created thread pool
  17. * @throws NullPointerException if threadFactory is null
  18. * @throws IllegalArgumentException if {@code nThreads <= 0}
  19. */
  20. public static ExecutorService newFixedThreadPool(int nThreads, ThreadFactory threadFactory) {
  21. return new ThreadPoolExecutor(nThreads, nThreads,
  22. 0L, TimeUnit.MILLISECONDS,
  23. new LinkedBlockingQueue<Runnable>(),
  24. threadFactory);
  25. }

通过工作上面的学习我们知道,工作队列是用来存放线程执行前的任务。
通过上面源码我们可以看出

  1. FixedThreadPool


的核心线程数和最大线程数相等,而工作队列为

  1. java.util.concurrent.LinkedBlockingQueue



通过其默认构造方法,我们可以看出其容量为整数的最大值。

  1. /**
  2. * Creates a {@code LinkedBlockingQueue} with a capacity of
  3. * {@link Integer#MAX_VALUE}.
  4. */
  5. public LinkedBlockingQueue() {
  6. this(Integer.MAX_VALUE);
  7. }

根据前面学到的知识,我们试想一下这样的场景:
如果对该线程池的请求不断增多,达到核心线程数后,任务将暂存到该工作队列。但是这个阻塞队列是 “无界” 的,如果大量任务过来,工作队列可能还没达到整数最大值可能就已经 OOM 了。

如果我们自定义线程池对象,可以设置相对可控的最大线程数和可控的工作队列长度以及拒绝策略。那么即使任务大量堆积,在 OOM 之前就进入了拒绝策略。
总之通过自定义线程池参数,线程池的可控性更强。

**


前面讲到

  1. java.util.concurrent.ThreadPoolExecutor#shutdown


的功能,那么如何验证该函数的效果呢?
我们可以通过下面的例子来学习:

  1. import java.time.LocalDateTime;
  2. import java.time.ZoneId;
  3. import java.util.concurrent.LinkedBlockingQueue;
  4. import java.util.concurrent.ThreadPoolExecutor;
  5. import java.util.concurrent.TimeUnit;
  6. @Slf4j
  7. public class ThreadPoolShutDownDemo {
  8. public static void main(String[] args) throws InterruptedException {
  9. ThreadPoolExecutor executorService = new ThreadPoolExecutor(10, 10,
  10. 0L, TimeUnit.MILLISECONDS,
  11. new LinkedBlockingQueue<>(50000), new NamedThreadFactory("shutdown-demo"));
  12. int total = 20000;
  13. for (int i = 0; i < total; i++) {
  14. executorService.submit(() -> {
  15. try {
  16. TimeUnit.MILLISECONDS.sleep(5L);
  17. } catch (InterruptedException ignore) {
  18. }
  19. //System.out.println(Thread.currentThread().getName());
  20. });
  21. }
  22. // 第 1 处代码
  23. //executorService.shutdownNow();
  24. printExecutorInfo(total, executorService);
  25. // 第 2 处代码
  26. executorService.shutdown();
  27. // 第 3 处代码
  28. /* shutdown()之后再提交任务
  29. executorService.submit(() -> {
  30. });*/
  31. // 线程池没结束,隔一秒打印任务情况
  32. while (!executorService.isTerminated()) {
  33. TimeUnit.SECONDS.sleep(1);
  34. printExecutorInfo(total, executorService);
  35. }
  36. }
  37. /**
  38. * 打印线程池信息
  39. */
  40. private static void printExecutorInfo(int total, ThreadPoolExecutor executorService) {
  41. String dateString = DateUtil.toDateString(LocalDateTime.now(ZoneId.systemDefault()));
  42. log.debug("时间:{},总任务数:{}, 工作队列中有:{}个任务,已完成:{}个任务,正在执行:{}个任务", dateString, total, executorService.getQueue().size(), executorService.getCompletedTaskCount(), executorService.getActiveCount());
  43. }
  44. }

执行效果如下:
时间:2019-08-24 20:58:50,总任务数:20000,工作队列中有:19900 个任务,已完成:90 个任务,正在执行:10 个任务

时间:2019-08-24 20:59:02,总任务数:20000,工作队列中有:0 个任务,已完成:20000 个任务,正在执行:0 个任务

线程池没结束,每隔一秒打印一次线程池的任务信息。
从此示例中可以清楚地观察到调用

  1. executorService.shutdown()


后 ,已经提交的任务仍然会被执行。
大家可以打开第 1 处代码,观察执行

  1. ThreadPoolExecutor#executorService.shutdownNow


后如果继续提交任务将抛出

  1. RejectedExecutionException



如果需要学习其他特性,大家都可以写一些简单的 DEMO,也可以断点调试观察更多细节。

**


本节,我们再次使用源码法、StackOverFlow 大法、写 DEMO 法来学习线程池的一些知识点,包括线程池的核心参数,线程池的核心函数的源码和用法。
当然,大家还可以尝试断点调试法来进入核心函数来学习执行流程等。
下一节我们将带着大家深入研究:为何 JUnit 单元测试 “不支持多线程” 的问题。

**

  1. 请大家根据本节学的内容,分析为什么不推荐使用 CachedThreadPool 的原因;
  2. 通过本节课的学习,通过读源码和写 DEMO 的方式研究
  1. ThreadPoolExecutor


  1. shutdownNow


  1. shutdown


函数的区别。

**


  1. 阿里巴巴与 Java 社区开发者.《 Java 开发手册 1.5.0》华山版. 2019. 14 ↩︎
  2. [印度] Kamalmeet Singh, [荷兰] Adrian lanculescu, [罗马尼亚] Lucian-Paul Torje. Java 设计模式及实践。张小坤,黄凯,贺涛 译。机械工业出版社:2019:34-36 ↩︎
  3. [美] Tim Lindholm, Frank Yellin, Gilad Bracha, Alex Buckley.《 Java 虚拟机规范 (Java SE 8 版)》. 爱飞翔,周志明等译。机械工业出版社:2018:9-15 ↩︎
  4. 周志明.《深入理解 Java 虚拟机:JVM 高级特性与最佳实践》. 机械工业出版社. 2018:38-43 ↩︎


14 集合去重的正确姿势
16 虚拟机退出时机问题研究

精选留言 1
欢迎在这里发表留言,作者筛选后可公开显示


new ThreadPoolExecutor(0, Integer.MAX_VALUE, 60L, TimeUnit.SECONDS, new SynchronousQueue()); 最大线程数为Integer最大值
0
回复
举报
2019-12-21

回复Seed2009

看源码中每个参数的含义就可以知道参数的目的。文中另外“无界”这里打了引号。 不管是最大线程数是整数最大值 还是阻塞队列是无界或者长度是整数最大值都容易OOM,要慎重。