ThreadPoolExecutor源码分析(二):任务提交主逻辑execute()

简介:         继上篇《ThreadPoolExecutor源码分析(一):重要成员变量》续...         作为一个执行服务ExecutorService的实例,ThreadPoolExecutor的首要任务当然是提交任务进行处理,那么,在任务提交时,ThreadPoolExecutor的处理流程是怎样的?它是一味的开启线程进行处理,还是有一套完整的逻辑来处理呢?本文,我们将继续分析ThreadPoolExecutor,看下它在任务提交时的主逻辑。

        继上篇《ThreadPoolExecutor源码分析(一):重要成员变量》续...

        作为一个执行服务ExecutorService的实例,ThreadPoolExecutor的首要任务当然是提交任务进行处理,那么,在任务提交时,ThreadPoolExecutor的处理流程是怎样的?它是一味的开启线程进行处理,还是有一套完整的逻辑来处理呢?本文,我们将继续分析ThreadPoolExecutor,看下它在任务提交时的主逻辑。

        任务的提交是通过execute()方法完成的,代码如下:

    /**
     * Executes the given task sometime in the future.  The task
     * may execute in a new thread or in an existing pooled thread.
     *
     * If the task cannot be submitted for execution, either because this
     * executor has been shutdown or because its capacity has been reached,
     * the task is handled by the current {@code RejectedExecutionHandler}.
     *
     * @param command the task to execute
     * @throws RejectedExecutionException at discretion of
     *         {@code RejectedExecutionHandler}, if the task
     *         cannot be accepted for execution
     * @throws NullPointerException if {@code command} is null
     */
    public void execute(Runnable command) {
        if (command == null)
            throw new NullPointerException();
        /*
         * Proceed in 3 steps:
         *
         * 1. If fewer than corePoolSize threads are running, try to
         * start a new thread with the given command as its first
         * task.  The call to addWorker atomically checks runState and
         * workerCount, and so prevents false alarms that would add
         * threads when it shouldn't, by returning false.
         * 1、如果少于corePoolSize数量的线程正在运行,尝试利用给定的Runnable实例command开启一个新的线程作为它的第一个任务。
         * addWorker()方法的调用会对线程池运行状态runState、worker线程数量workerCount进行原子性检测,返回值为启动新线程结果。
         *
         * 2. If a task can be successfully queued, then we still need
         * to double-check whether we should have added a thread
         * (because existing ones died since last checking) or that
         * the pool shut down since entry into this method. So we
         * recheck state and if necessary roll back the enqueuing if
         * stopped, or start a new thread if there are none.
         * 2、如果一个任务可以成功地进入队列,然后我们还需要再次检查(即双份检查)自从进入这个方法后,我们是否应该添加一个线程
         * (因为自从上一次检查以来可能存在死亡情况),
         * 所以我们重新检查状态,如果有必要的话,即线程池已停止,回滚之前的入队操作,或者在没有线程时启动一个新线程。
         *
         * 3. If we cannot queue task, then we try to add a new
         * thread.  If it fails, we know we are shut down or saturated
         * and so reject the task.
         * 3、如果我们不能入列一个任务,那么我们尝试添加一个新线程。
         * 如果添加失败,我们知道线程池可能已被关闭或者数量饱和,所以我们会拒绝这个任务。
         */
        
        // 获取ctl的值c
        int c = ctl.get();
        
        // 如果c中有效线程数目小于corePoolSize大小,尝试添加新的worker线程处理任务command:
        // 从c中获取有效线程数目调用的是workerCountOf()方法,
        // 添加新的worker线程处理任务command调用的是addWorker()方法,
        // 线程数的判断利用corePoolSize作为边界约束条件
        // 方法返回值是标志添加worker是否成功的标志位,ture表示成功,false表示失败,
        // 如果为true,则直接返回,否则重新获取ctl的值c
        if (workerCountOf(c) < corePoolSize) {
            if (addWorker(command, true))
                return;
            
            // 添加work线程失败则再次获取ctl的值
            c = ctl.get();
        }
        
        // 根据c判断当前线程池的状态是否为RUNNING状态,即既可以接受新任务,又会处理队列任务的状态,
        // 并且通过offer()方法,尝试将commond添加到队列workQueue中
        // BlockingQueue的offer()方法表示如果可能的话,将参数对象加到BlockingQueue里,
        // 即如果BlockingQueue可以容纳,则返回true,否则返回false
        
        if (isRunning(c) && workQueue.offer(command)) {
            
        	// 如果当前线程池处于RUNNING状态,且workQueue能够容纳command,并添加成功的话,
            // 再次获取ctl的值recheck,
        	int recheck = ctl.get();
        	
        	// 如果当前线程池的状态不是RUNNING,并且从队列workQueue移除command成功的话,
            // 调用reject()方法拒绝任务command,
            if (! isRunning(recheck) && remove(command))
                reject(command);
            
            // 否则如果当前工作线程woker数目为0,尝试添加新的worker线程,但是不携带任务
            else if (workerCountOf(recheck) == 0)
                addWorker(null, false);
        }
        // 如果尝试添加新的worker线程处理任务command失败,
        // 调用reject()方法拒绝任务command,线程数的判断利用maximumPoolSize作为边界约束条件
        else if (!addWorker(command, false))
            reject(command);
    }
        execute()方法的运行逻辑比较简单,它会首先检查待处理任务command是否为空,为空的话直接抛出空指针NullPointerException异常,并获取ctl的值c,ctl我们在上一篇文章中已讲到过,它是ThreadPoolExecutor当前线程池的一个综合控制状态,然后再根据当前ThreadPoolExecutor具体情况做如下处理:

        1、如果当前线程池有效线程数目小于corePoolSize,那么尝试添加新的worker线程处理任务command:

              从c中获取有效线程数目调用的是workerCountOf()方法,添加新的worker线程处理任务command调用的是addWorker()方法,且第二个参数为true表示线程数的判断利用corePoolSize作为边界约束条件,方法返回值是标志添加worker是否成功的标志位,ture表示成功,false表示失败,如果为true,则直接返回,否则重新获取ctl的值c;

        2、根据c判断当前线程池的状态是否为RUNNING状态,即既可以接受新任务,又会处理队列任务的状态,注意此时c是重新获取的最新的数据,并且通过offer()方法,尝试将commond添加到队列workQueue中,BlockingQueue的offer()方法表示如果可能的话,将参数对象加到BlockingQueue里,即如果BlockingQueue可以容纳,则返回true,否则返回false:

              此时,如果当前线程池处于RUNNING状态,且workQueue能够容纳command,并添加成功的话,再次获取ctl的值recheck,做第二次检查,如果当前线程池的状态不是RUNNING,并且从队列workQueue移除command成功的话,否则如果当前工作线程woker数目为0,尝试添加新的worker线程,但是不携带任务;

        3、如果尝试添加新的worker线程处理任务command失败,调用reject()方法拒绝任务command,这时线程数的判断利用maximumPoolSize作为边界约束条件。

        从上面的逻辑我们大致可以分析出如下一个主要思路:

        1、如果ThreadPoolExecutor中当前有效线程数低于corePoolSize,那么我们总是优先尝试启动新的worker线程处理任务command;

        2、如果ThreadPoolExecutor中当前有效线程数高于或等于corePoolSize,亦或者低于的情况下启动新的worker线程失败,我们会根据当前线程池状态是否为RUNNING,将任务command添加到任务队列workQueue中;

        3、最后实在不行,在maximumPoolSize允许的情况下,强行开启一个线程处理任务。

        这里,还有一点需要说明,在第2步中,既然已经将任务成功加入workQueue队列,为什么还需要再次做线程池状态检查呢?因为在我们刚刚把任务成功添加到任务队列workQueue中的那一刻,或者前一刻,任务还是RUNNING状态,但是保不齐其他调用者或者线程此时会修改线程池状态,那么此时我们就需要将任务再进行必要的移除,这是考虑复杂情况的一种安全机制的保障!


相关文章
|
5月前
|
安全 Java
【亮剑】Java中的`Future`接口代表异步计算结果,常与`ExecutorService`配合启动任务并获取结果
【4月更文挑战第30天】Java中的`Future`接口代表异步计算结果,常与`ExecutorService`配合启动任务并获取结果。`Future`接口提供`isDone()`、`get()`、`get(timeout, unit)`和`cancel(mayInterruptIfRunning)`等方法。`FutureTask`是`Future`的实现类,可作为`Runnable`执行并返回结果。
60 1
|
5月前
|
Java 测试技术
|
Java
线程池的核心参数及执行原理你知道嘛?
线程池是一种管理和复用线程的机制,它可以提高线程的利用率和系统的性能。
377 0
|
存储 Java
线程池的核心参数和执行流程
本章主要讲解了线程池的核心参数和执行流程
118 0
|
存储 消息中间件 Android开发
Handler切换线程原理解析
写在前面:本文的目的是想将Handler、Looper和Thread之间绑定的原理讲明白,如果没讲明白,也希望能给关于Handler的学习留个印象。 Android中的多线程间交互离不开Handler,开发中最常见的操作是在子线程中执行耗时操作,在主线程中更新UI,这其中就涉及到了Handler的线程切换操作。
|
Java Android开发
JobService源码探究之 onStartJob()里执行耗时逻辑导致Job可能被强制销毁
JobService源码探究之 onStartJob()里执行耗时逻辑导致Job可能被强制销毁
|
Java
重写线程池 execute 方法导致线程池“失效” 问题
今天群里有个同学遇到一个看似很奇怪的问题,自定义 `ThreadPoolTaskExecutor` 子类,重写了 execute 方法,通过 execute 方法来执行任务时打印当前线程,日志显示任务一直在调用者线程里执行 (其实并不是),似乎线程池失效了。
211 0
重写线程池 execute 方法导致线程池“失效” 问题
|
Java
【多线程:线程池】ThreadPoolExecutor类-提交、停止
【多线程:线程池】ThreadPoolExecutor类-提交、停止
198 0
JUC(二)JAVA线程池开启,等待全部执行完毕,配合计数器使用,List并发异常解决
JUC(二)JAVA线程池开启,等待全部执行完毕,配合计数器使用,List并发异常解决
JUC(二)JAVA线程池开启,等待全部执行完毕,配合计数器使用,List并发异常解决
|
Java
【Java 并发编程】线程池机制 ( 线程池状态分析 | 线程池状态转换 | RUNNING | SHUTDOWN | STOP | TIDYING | TERMINATED )
【Java 并发编程】线程池机制 ( 线程池状态分析 | 线程池状态转换 | RUNNING | SHUTDOWN | STOP | TIDYING | TERMINATED )
136 0
【Java 并发编程】线程池机制 ( 线程池状态分析 | 线程池状态转换 | RUNNING | SHUTDOWN | STOP | TIDYING | TERMINATED )