前言
此文承接之前的博文 解开Future的神秘面纱之取消任务 补充一些任务执行的一些细节,并从全局介绍程序的运行情况。
系列目录
- 揭开Future的神秘面纱——任务取消
- 揭开Future的神秘面纱——任务执行
- 揭开Future的神秘面纱——结果获取
任务的提交与执行
任务提交到执行的流程
前文我们已经了解到一些Future的实现细节,这里我们来梳理一下运行流程。注意:这里说的是提交(Submit),而不是执行(execute)
(1)客户端创建一个线程任务,即一个Callable或Runnable对象。
(2)客户端调用ExecutorService的submit方法,将任务提交给执行器。
(3)ExecutorService的具体类会将submit委托给AbstractExecutorService(具体类的父类)。
(4)父类submit方法将获取到的Runnable/Callable任务交由其内部方法newTaskFor进行包装。
(5)newTaskFor方法将Runnable/Callable包装成FutureTask对象。
(6)submit把包装好的FutureTask对象交由execute方法执行,此方法有ThreadPoolExecutor(具体类)提供。
(6)submit方法返回FutreTask对象引用给客户端。
任务提交为何能接收两种类型的接口?
FutureTask接收到Runnable对象后,会利用适配器,将其适配为Callable对象进行使用。注意,Runnable适配后,返回值基本没什么意义,都是写死的。
实际上很有意思的是,FutureTask只使用Callable对象(因为使用Future的初衷就是想要获取任务处理结果),而Executor的execute只接收Runnable对象(执行器只管执行任务)
FutureTask
FutureTask实际上相当于Runnable对象的装饰器,FutureTask的继承结构如图所示:
我们知道Runnable定义了任务该做什么,Future定义了任务的控制操作,而RunnableFuture接口兼具这两个功能。
Future就是实现这组操作的实现类,它也是Runnable的装饰器类,Runnable任务在经过其包装后,仍然还是Runnable,不影响其交给execute方法执行。而且他实现了Future接口,也就可以根据它对任务进行控制。
FutureTask有哪些字段,用来做什么的?
(1)state => 状态,用于基于状态的控制操作。
- NEW => 新建任务
- COMPLETING => 正在完成,即任务已经被线程启动
- NORMAL => 正常完成任务
- EXCEPTIONAL => 任务因为异常而终止
- CANCELLED => 任务已被取消,注意这里并不表示任务实际状态,即任务可能还在运行。
- INTERRUPTING => 中断任务中
- INTERRUPTD => 任务已被中断
(2)callable => callable任务,实际被执行的任务
(3)outcome => 执行结果
(4)runner => 执行线程的引用,用来控制任务的执行。
(5)waiters => 等待线程队列,当任务还未完成时,用于保存因为获取结果的而被阻塞的线程。
FutureTask的状态变化
(1)NEW -> COMPLETING -> NORMAL(任务正常执行到结束)
(2)NEW -> COMPLETING -> EXCEPTIONAL(任务执行过程中出现异常)
(3)NEW -> CANCELLED (任务被取消)
(4)NEW -> INTERRUPTING -> INTERRUPTED (任务已经开始,尚未完成就被取消)
FutureTask如何确定其执行线程的?
任务的控制最主要的两个功能就是取消和获取结果。取消的操作,上一篇博文已经讲到了,获取结果将于下篇讲述。这里补充前篇的一些内容,也就是取消操作相关的细节,当时已经获知,要取消任务,实际上是通过中断任务的执行线程实现的,如图:
FutureTask的cancel方法
但是,这个runner是何时被赋值的,我当时并不清楚,查阅源码也没发现什么setRunner之类的代码。后来突然想到,只有在任务被执行的时候才能知道,它到底被哪个线程执行。于是才注意到了这段CAS的代码,(当时不太懂,所以就算看到了这段代码,也不明白)。意思就是说,如果当前对象的runner字段值为null,就将其设置为当前的执行线程。到这里,我们就有了此线程的引用。
FutureTask到达ThreadPoolExecutor的execute之后,是什么情形?
这里简要说一下,任务到达ThreadPoolExecutor之后,线程池会根据当前线程数量的情况进行处理,可能创建一个新线程来执行,或者加入到任务队列等待执行,再或者就是被线程池抛弃等等。
相关细节可查看,我关于ThreadPoolExecutor的相关博文。