线程池的实现原理
- 接口:
- Executor是一个顶层接口,在它里面只声明了一个方法execute(Runnable),返回值为void,参数为Runnable类型,从字面意思可以理解,就是用来执行传进去的任务的;
- 然后ExecutorService接口继承了Executor接口,并声明了一些方法:submit、invokeAll、invokeAny以及shutDown等;
- 抽象类AbstractExecutorService实现了ExecutorService接口,基本实现了ExecutorService中声明的所有方法;
- 然后ThreadPoolExecutor继承了类AbstractExecutorService。
- 状态
- 在ThreadPoolExecutor中定义了一个volatile变量,另外定义了几个static final变量表示线程池的各个状态:volatile int runState;
- static final int RUNNING = 0;当创建线程池后,初始时,线程池处于RUNNING状态;
- static final int SHUTDOWN = 1;如果调用了shutdown()方法,则线程池处于SHUTDOWN状态,此时线程池不能够接受新的任务,它会等待所有任务执行完毕;
- static final int STOP = 2;如果调用了shutdownNow()方法,则线程池处于STOP状态,此时线程池不能接受新的任务,并且会去尝试终止正在执行的任务;
- static final int TERMINATED = 3;当线程池处于SHUTDOWN或STOP状态,并且所有工作线程已经销毁,任务缓存队列已经清空或执行结束后,线程池被设置为TERMINATED状态。
- 在ThreadPoolExecutor中定义了一个volatile变量,另外定义了几个static final变量表示线程池的各个状态:volatile int runState;
- 线程创建的三种方法:
- 1、继承Thread类创建线程
- 2、实现Runnable接口创建线程
- 3、实现Callable接口通过FutureTask包装器来创建Thread线程
- 4、使用ExecutorService、Callable、Future实现有返回结果的线程
- future接口:
- get获取计算结果
- 可取消任务(任务完成后无法取消)
- FutureTask实现类:适配器模式
- FutureTask(Callable<v>,callable)运行指定的callable
- FutureTask(Runnable runnable ,v result)运行指定的Runnable,并在成功完成时get返回给定结果。其中包含定义状态变量state,new(0)--->completing(1) ------>normal(2)正常状态,exp(3)异常,cancell(4)取消,interrupting(5)打断中,interrupted(已经被打断),outcome接受返回值
- t.start()实际上是调用FutureTask中的run方法, 调用重写的call方法,-----》set方法将状态从0变成1,再将返回值赋值给outcome,然后状态改变为normal2
- 再调用get方法是时,会判断状态,当 状态等于2时,将outcome返回给get
- Callable是一种可以返回结果的任务,通过适配器模式让runnable和callable像类似,Future代表一个异步计算,可以get到计算结果,查看计算状态。其实现FutureTask可以以被提交给Executor执行,多个线程可以得到计算结果。Callable和Future是配合使用的,当Future get到计算结果的时,如果还没被计算出来,那么线程将被挂起,内部使用一个单链表位置等待过程,当计算出结果后,等待线程解除挂起,等待线程就可以得到计算结果了
- 四种线程池?区别?线程池参数?
- Executor框架
- new Thread()缺点
- 每次new耗费性能
- new出来的线程可以无限创建,直接会互相竞争,过多占用系统资源
- 不利于扩展(定时执行,定期执行,线程中断)
- 采用线程池:重复使用存在的线程,减少对象的创建、消亡带来的开销,有效控制最大并发数,提高系统资源的使用率。同时避免过多资源竞争、避免堵塞、提供定时执行、定期执行、单线程和多线程并发控制等功能
- Executor:异步执行框架,将任务提交和运行过程解耦,基于生产者-消费者模式,用runnable表示任务,Executor还提供了对生命周期的支持,以及统计信息收集,应用程序管理机制和性能监视等机制
- Executor接口定义了最基本的Execute方法,用于接受用户提交任务
- ExecutorService定义了线程池终止shoutdown和submit提交futureTask任务支持方法。submit提交runnable和callable,返回future可引用实例;当excute提交任务后,任务进入BlockingDeque队列,然后由submit执行任务并返回结果
- isShutdown boolean isShutdown() 如果这个执行者已被关闭,则返回 true 。
- shutdown()启动有序关闭,其中先前提交的任务将被执行,但不会接受任何新任务。执行完一个关闭一个,顺序关闭
- isTerminated()如果所有任务在关闭后完成,则返回 true
- <T> Future<T> submit(Callable<T> task)提交值返回任务以执行,并返回代表任务待处理结果的Future。
- Future<?> submit(Runnable task)提交一个可运行的任务执行,并返回一个表示该任务的未来。
- <T> Future<T> submit(Runnable task, T result)提交一个可运行的任务执行,并返回一个表示该任务的未来。
- ThreadPoolExecutor
- 线程池不允许使用 Executors 去创建,而是通过 ThreadPoolExecutor 的方式,这样的处理方式让写的同学更加明确线程池的运行规则,规避资源耗尽的风险。
- 说明:Executors 返回的线程池对象的弊端如下:
- 1)FixedThreadPool 和 SingleThreadPool:允许的请求队列长度为 Integer.MAX_VALUE,可能会堆积大量的请求,从而导致 OOM。
- 2)CachedThreadPool 和 ScheduledThreadPool:允许的创建线程数量为 Integer.MAX_VALUE,可能会创建大量的线程,从而导致 OOM。
- 说明:Executors 返回的线程池对象的弊端如下:
- 一个ExecutorService ,使用可能的几个合并的线程执行每个提交的任务,通常使用Executors工厂方法配置。
- Executors.newCachedThreadPool() (无限线程池,具有自动线程回收) 底层的实现类还是ThreadPoolExecutor ,阻塞队列无限127 SynchronousQueue
- Executors.newFixedThreadPool(int) (固定大小的线程池)对于ThreadPoolExecutor ,核心线程数是3,最大线程数也是3 LinkedBlockingQueue
- Executors.newSingleThreadExecutor() (单个后台线程)LinkedBlockingQueue
- Executors.newSingleThreadScheduledExecuto(创建一个单线程执行器,可以调度命令在给定的延迟之后运行,或定期执行。 )
- 如果当前线程池中的线程数目小于corePoolSize,则每来一个任务,就会创建一个线程去执行这个任务;
- 如果当前线程池中的线程数目>=corePoolSize,则每来一个任务,会尝试将其添加到任务缓存队列当中,若添加成功,则该任务会等待空闲线程将其取出去执行;若添加失败(一般来说是任务缓存队列已满),则会尝试创建新的线程去执行这个任务;
- 如果当前线程池中的线程数目达到maximumPoolSize,则会采取任务拒绝策略进行处理;
- 如果线程池中的线程数量大于 corePoolSize时,如果某线程空闲时间超过keepAliveTime,线程将被终止,直至线程池中的线程数目不大于corePoolSize;如果允许为核心池中的线程设置存活时间,那么核心池中的线程空闲时间超过keepAliveTime,线程也会被终止。
- 线程池不允许使用 Executors 去创建,而是通过 ThreadPoolExecutor 的方式,这样的处理方式让写的同学更加明确线程池的运行规则,规避资源耗尽的风险。
- new Thread()缺点
- Executor框架
- 线程池的状态
- 线程池的5种状态:Running、ShutDown、Stop、Tidying、Terminated。
- 1、RUNNING
- (1) 状态说明:线程池处在RUNNING状态时,能够接收新任务,以及对已添加的任务进行处理。
- (2) 状态切换:线程池的初始化状态是RUNNING。换句话说,线程池被一旦被创建,就处于RUNNING状态,并且线程池中的任务数为0!
- 2、 SHUTDOWN
- (1) 状态说明:线程池处在SHUTDOWN状态时,不接收新任务,但能处理已添加的任务。
- (2) 状态切换:调用线程池的shutdown()接口时,线程池由RUNNING -> SHUTDOWN。
- 3、STOP
- (1) 状态说明:线程池处在STOP状态时,不接收新任务,不处理已添加的任务,并且会中断正在处理的任务。
- (2) 状态切换:调用线程池的shutdownNow()接口时,线程池由(RUNNING or SHUTDOWN ) -> STOP。
- 4、TIDYING
- (1) 状态说明:当所有的任务已终止,ctl记录的”任务数量”为0,线程池会变为TIDYING状态。当线程池变为TIDYING状态时,会执行钩子函数terminated()。terminated()在ThreadPoolExecutor类中是空的,若用户想在线程池变为TIDYING时,进行相应的处理;可以通过重载terminated()函数来实现。
- (2) 状态切换:当线程池在SHUTDOWN状态下,阻塞队列为空并且线程池中执行的任务也为空时,就会由 SHUTDOWN -> TIDYING。当线程池在STOP状态下,线程池中执行的任务为空时,就会由STOP -> TIDYING。
- 5、 TERMINATED
- (1) 状态说明:线程池彻底终止,就变成TERMINATED状态。
- (2) 状态切换:线程池处在TIDYING状态时,执行完terminated()之后,就会由 TIDYING -> TERMINATED。
- 线程池的5种状态:Running、ShutDown、Stop、Tidying、Terminated。
- workQueue的类型为BlockingQueue<Runnable>,通常可以取下面三种类型:
- 1)ArrayBlockingQueue:基于数组的先进先出队列,此队列创建时必须指定大小;
- 2)LinkedBlockingQueue:基于链表的先进先出队列,如果创建时没有指定此队列大小,则默认为Integer.MAX_VALUE;
- 3)synchronousQueue:这个队列比较特殊,它不会保存提交的任务,而是将直接新建一个线程来执行新来的任务。
- 线程池的任务缓存队列已满并且线程池中的线程数目达到maximumPoolSize,如果还有任务到来就会采取任务拒绝策略,通常有以下四种策略:
- ThreadPoolExecutor.AbortPolicy:丢弃任务并抛出RejectedExecutionException异常。
- ThreadPoolExecutor.DiscardPolicy:也是丢弃任务,但是不抛出异常。
- ThreadPoolExecutor.DiscardOldestPolicy:丢弃队列最前面的任务,然后重新尝试执行任务(重复此过程)
- ThreadPoolExecutor.CallerRunsPolicy:由调用线程处理该任务
- 线程池容量设计
- 如果是CPU密集型任务,就需要尽量压榨CPU,参考值可以设为 CPU+1
- 如果是IO密集型任务,参考值可以设置为2*CPU
- 当然,这只是一个参考值,具体的设置还需要根据实际情况进行调整,比如可以先将线程池大小设置为参考值,再观察任务运行情况和系统负载、资源利用率来进行适当调整。