Executor框架
Java的线程即是工作单元,也是执行机制。从JDK 5开始,把工作单元与执行机制分离开来,工作单元包括Runnable和Callable,而执行机制由Executor框架提供。
在上层,java多线程程序通常把应用分解为若干个任务,然后使用用户级的调度器将这些任务映射为固定数量的线程;在底层,操作系统内核将这些线程映射到硬件处理器上。
Executor框架的结构
Executor框架主要由3大部分组成
1. 任务,包括被执行任务需要实现的接口:Runnable接口或Callable接口。
2. 任务的执行。包括任务执行机制的核心接口Executor,以及继承Executor的ExecutorService接口。
3. 异步计算的结果。包括接口Future和实现Future接口的FutureTask类。
Executor框架的主要成员:ThreadPoolExecutor,ScheduledThreadPoolexecutor,Future接口,Runnable接口,Callable接口和Executors。
ThreadPoolExecutor
ThreadPoolExecutors通常使用工厂类Executors来创建。Executors可以创建3种类型的ThreadPoolExecutor.它是线程池的实现类,主要由corePool,maximumPool,BlockingQueue,RejectedExcutionHandler组成。
FixedThreadPool
适用于为了满足资源管理的需求,而需要限制当前线程数量的应用场景,它适用于负载比较重的服务器。
FixedThreadPool设置固定大小的初始值,keepAliveTime为0L,使用无界队列LinkedBlockingQueue获取任务来执行。,不会调用RejectedExcutionHandler.rejectedExcution方法执行拒绝任务。
SingleThreadExecutor
创建使用单个线程的SingleThreadExecutor的API,适用于需要保证顺序的执行各个人物,并且在任意时间点,不会有多个线程是活动的应用场景。
corePoolsize和maximumPoolsize都被设置为1,也使用无界队列LinkedBlockingQueue队列
CachedThreadPool
是一个大小无界的线程池,适用于执行很多的短期异步任务的小程序,或者是负载较轻的服务器。
CachedThreadPool的corePoolsize被设置为0,即corePool为空,maximumPoolsize被设置为Integer.Max_VALUE,keepAliveTime设置为60L,而且使用没有容量的SynchronousQueue作为线程池的工作队列,意味着主线程提交任务的速度高于maximumPool中线程的处理速度的时候,CachedThreadPool会不断创建新线程。
ScheduledThreadPoolExecutor
通常使用工厂类Executors来创建,可以分为两类,主要用来在给定的延迟之后运行任务,或者定期执行任务。ScheduledThreadPoolExcutor的功能与Timer类似,但ScheduledThreadPoolExecutor功能更强大,更灵活,可以在构造函数中指定多个对应的后台线程数。(Timer对应的是单个后台线程)
ScheduledThreadPoolExecutor
包含若干个线程的ScheduledThreadPoolExecutor,适用于需要多个后台线程执行周期任务,同时为了满足资源管理的需求而需要限制后台线程的数量的应用场景。
1.当调用ScheduledThreadPoolExecutor的scheduleAtFixedRate()方法或者scheduleWithFixedDelay()方法时,会向ScheduledThreadPoolExecutor的无界队列DelayQueue添加一个实现RunnableScheduledFuture接口的ScheduledFutureTask.
2.线程池中的线程从DelayQueue中获取ScheduledFutureTask,然后执行任务。
ScheduledFutureTask主要包含3个成员变量,如下:
- long型成员变量time,表示这个任务将要被执行的具体时间。
- long型成员变量sequenceNumber,表示这个任务被添加到ScheduledThreadPoolExcutor中的序号。
- long型成员变量period,表示任务执行的间隔周期。
DelayQueue封装了一个PriorityQueue,这个PriorityQueue会对队列中的ScheduledFutureTask进行排序,按照time,sequenceNumber的顺序排序。
周期任务 ScheduledThreadPoolExecutor中的线程从DelayQueue中获取已到期的ScheduledFutureTask(time大于当前时间),线程执行这个任务,并修改time变脸为下次将要被执行的时间,然后放回到DelayQueue中。
SingleThreadScheduledExecutor
包含一个线程的SingleThreadScheduledExecutor,适用于单个后台线程执行周期任务,同时需要保证顺序地执行各个任务的应用场景。
Future接口
当我们把Runnable接口或Callable接口的实现类提交给ThreadPoolExecutor或ScheduledThreadPoolExecutor时,它们会想我们返回一个FutureTask对象。
FutureTask实现了Future接口,还实现了Runnable接口,FutureTask可以处于未启动,已启动,已完成3种状态。FutureTask的状态迁移图如图所示:
当FutureTask处于未启动或已启动状态时,执行FutureTask.get()方法将导致调用线程阻塞;
当FutureTask处于已完成状态时,执行FutureTask.get()方法会立即返回结果或抛出异常。
当FutureTask处于未启动状态时,执行FutureTask.cancel()方法会导致该任务永远不会被执行
当FutureTask处于已启动状态时,执行FutureTask.cancel(true)方法将以中断执行此任务线程的方式来试图停止任务,执行FutureTask.cancel(false)方法将不会对正在执行此任务的线程产生影响;
当FutureTask处于已完成状态时,执行FutureTask.cancel()方法将返回false;
FutureTask的get和cancel方法的示意图如图所示:
FutureTask的实现基于AQS,基于AQS实现的同步容器包括:ReentrantLock,Semaphore,ReetrantReadWriteLock,CountDownLatch和FutueTask.
FutureTask声明了一个内部私有的继承于AQS的子类Sync,对FutureTask的所有公有方法的调用都会委托这个内部子类。Sync实现AQS的tryAcquireShared(int)方法和tryReleaseShared(int)方法,Sync通过这两个方法来检查和更新同步状态。FutureTask的方法设计如下:
FutureTask.get–>AQS.acquireSharedInterruptibly–>回调子类Sync的tryAcquireShared()方法
FutureTask.run–>Callable.call执行指定任务–>CAS更新–>AQS.releaseShared–>Sync.tryReleaseShared–>FutureTask.done
Runnable接口和Callable接口
Runnable接口和Callable接口的实现类都可以被ThreadPoolExecutor或ScheduledThreadPoolExecutor执行,它们之间的区别是Runnable不会返回结果,而Callable可以返回结果。