Java线程池深入学习

线程池的实现原理

• 接口：
  • 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状态。
• 线程创建的三种方法：
  • 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。
        • 一个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，线程也会被终止。
• 线程池的状态

  

  • 线程池的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。
• 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
  • 当然，这只是一个参考值，具体的设置还需要根据实际情况进行调整，比如可以先将线程池大小设置为参考值，再观察任务运行情况和系统负载、资源利用率来进行适当调整。