在jvm中,线程是一个宝贵的资源,创建与销毁都会抢占宝贵的内存资源,为了有效的重用线程,我们用线程池来管理线程,让创建的线程进行复用。
JDK提供了一套Executor框架,帮助我们管理线程,核心成员如下:
它们都在java.util.concurrent包中,是JDK并发包的核心类,其中,Executor是一个interface,只有一个execute方法;Executors扮演着线程工厂的角色;ThreadPoolExecutor表示一个线程池,用来管理我们的线程。
ThreadPoolExecutor通用的构造函数如下:
1 public ThreadPoolExecutor(
2 int corePoolSize, int maximumPoolSize, long keepAliveTime, TimeUnit timeUnit,
3 BlockingQueue<Runnable> workQueue) {
4 super(corePoolSize, maximumPoolSize, keepAliveTime, timeUnit, workQueue);
5 }
corePoolSize:线程池基本大小;maximumPoolSize:线程池最大大小;keepAliveTime:线程的存活时间;timeUnit:线程活动保持的时间单位;workQueue:工作队列;
说明:BlockingQueue,可以称之为共享队列,后续有专门的文章来介绍。
线程池工作原理:
1.线程池判断核心线程池中线程是否都在工作,如果不是,则创建一个新的工作线程来执行任务,如果核心线程池中的线程都在执行任务,则进入下一步;
2.线程池会判断工作线程是否已经满了,如果工作队列没有满,则将新提交的任务存储在工作队列中等待执行,如果队列满了,则进入下一步;
3.线程池判断线程池(这里判断的是否到达maximumPoolSize)是否都处于执行状态,如果没有的话,则创建一个新的线程来执行,如果满了,则交给饱和策略来处理这个任务,默 认是抛出异常(AbortPolicy),也可以自定义饱和策略。
现在来看一下exwcute方法:
public void execute(Runnable var1) {
if(var1 == null) {
//如果没有任务,直接抛出异常
throw new NullPointerException();
} else {
//ct1表示一个AtomicInteger,是一个原子类,非阻塞的,相比与synchronzied与锁,性能更好,后续文章会详细介绍,这里的含义表示在当前的线程数
int var2 = this.ctl.get();
// 如果当前线程数少于核心线程数,那么直接添加一个 worker 来执行任务
// 创建一个新的线程,并把当前任务 command 作为这个线程的第一个任务(firstTask)
if(workerCountOf(var2) < this.corePoolSize) {
//执行的结果会包装为一个FutureTask返回,后续有文章介绍异步(Future)
if(this.addWorker(var1, true)) {
//return直接返回,保证线程池的高可用,其他的任务交给addWorker()去执行,线程池去处理下一个任务。
return;
}
var2 = this.ctl.get();
}
//执行到这里,要么是因为,达到核心线程数,要么是因为,doWorker()执行失败,没有走return
//首先会判断线程池的运行状态,然后把该任务放入到工作队列中
if(isRunning(var2) && this.workQueue.offer(var1)) {
int var3 = this.ctl.get();
//如果线程池不在运行状态,移除该任务,并且执行拒绝策略
if(!isRunning(var3) && this.remove(var1)) {
this.reject(var1);
} else if(workerCountOf(var3) == 0) {
//否则执行该任务
this.addWorker((Runnable)null, false);
}
//进入这里表示上面的1,2都失败了,在maximumPoolSize来创建线程执行任务,如果失败,则执行决绝策略。
} else if(!this.addWorker(var1, false)) {
this.reject(var1);
}
}
}
然后我们来看一下,上面多次调用的doWorker()方法:
//两个参数,分别表示任务与判断是否进入的分支(true为corePoolSize,false为maximumPoolSize)
private boolean addWorker(Runnable var1, boolean var2) {
while(true) {
//上面讲述过
int var3 = this.ctl.get();
int var4 = runStateOf(var3);
// 如果线程池已关闭,并满足以下条件之一,那么不创建新的 worker:
//var4>0表示,线程池已经关闭
//若果任务不存在或者工作队列为空或者线程池正在关闭等,表示不执行该任务
if(var4 >= 0 && (var4 != 0 || var1 != null || this.workQueue.isEmpty())) {
return false;
}
while(true) {
int var5 = workerCountOf(var3);
if(var5 >= 536870911 || var5 >= (var2?this.corePoolSize:this.maximumPoolSize)) {
//var2通过true或者false来判断当前线程池的状况,大于corePoolSize或者maximumPoolSize,则决绝执行。
return false;
}
//成功则创建线程执行任务
//compareIncreamentWorkerCount()该方法表示原子操作,底层调用的是AtomicInteger.compareAndSet(int var1,int var2),表示当前值为var1,则设置为var2,后续会详细介绍
//如果失败,说明不止有一个线程同时操作此方法,创建线程。
if(this.compareAndIncrementWorkerCount(var3)) {
// worker 是否已经启动
boolean var18 = false;
/ 是否已将这个 worker 添加到 workers 这个 HashSet 中
boolean var19 = false;
ThreadPoolExecutor.Worker var20 = null;
try {
//创建线程执行任务
var20 = new ThreadPoolExecutor.Worker(var1);
//Worker的构造方法会调用 ThreadFactory 来创建一个新的线程
Thread var6 = var20.thread;
if(var6 != null) {
//重入锁,锁住下列操作,保证原子性,保证在操作过程中,线程池不会被关闭
ReentrantLock var7 = this.mainLock;
var7.lock();
try {
int var8 = runStateOf(this.ctl.get());
if(var8 < 0 || var8 == 0 && var1 == null) {
if(var6.isAlive()) {
throw new IllegalThreadStateException();
}
//增加到Set集合中。用于执行
this.workers.add(var20);
int var9 = this.workers.size();
//因为 workers 是不断增加减少的,通过这个值可以知道线程池的大小曾经达到的最大值
if(var9 > this.largestPoolSize) {
this.largestPoolSize = var9;
}
var19 = true;
}
} finally {
var7.unlock();
}
if(var19) {
//启动线程执行
var6.start();
var18 = true;
}
}
} finally {
if(!var18) {
this.addWorkerFailed(var20);
}
}
//返回线程的状态
return var18;
}
var3 = this.ctl.get();
if(runStateOf(var3) != var4) {
break;
}
}
}
}
以上就是整个线程池的工作原理。
接下来:会把一个线程封装为一个Worker(工作线程),也是一个线程,实现了序列化与队列的功能
Worker在执行完任务后,会循环执获取工作队列中的任务来执行。如下:
final void runWorker(ThreadPoolExecutor.Worker var1) {
Thread var2 = Thread.currentThread();
Runnable var3 = var1.firstTask;
var1.firstTask = null;
var1.unlock();
boolean var4 = true;
try {
//循环从队列中去任务执行
while(var3 != null || (var3 = this.getTask()) != null) {
var1.lock();
//判断线程池的状态
if((runStateAtLeast(this.ctl.get(), 536870912) || Thread.interrupted() && runStateAtLeast(this.ctl.get(), 536870912)) && !var2.isInterrupted()) {
var2.interrupt();
}
try {
//钩子方法,后续介绍
this.beforeExecute(var2, var3);
Object var5 = null;
try {
//^_^终于可以执行任务了。
var3.run();
} catch (RuntimeException var28) {
var5 = var28;
throw var28;
} catch (Error var29) {
var5 = var29;
throw var29;
} catch (Throwable var30) {
var5 = var30;
throw new Error(var30);
} finally {
this.afterExecute(var3, (Throwable)var5);
}
} finally {
var3 = null;
++var1.completedTasks;
var1.unlock();
}
}
var4 = false;
} finally {
this.processWorkerExit(var1, var4);
}
}
然后来看看getTask()方法
1 private Runnable getTask() {
2 boolean var1 = false;
3
4 while(true) {
5 int var2 = this.ctl.get();
6 int var3 = runStateOf(var2);
// 1. rs == SHUTDOWN && workQueue.isEmpty()
// 2. rs >= STOP
7 if(var3 >= 0 && (var3 >= 536870912 || this.workQueue.isEmpty())) {
//CAS操作,较少线程数
8 this.decrementWorkerCount();
9 return null;
10 }
11
12 int var4 = workerCountOf(var2);
/核心线程的回收,如果发生超时,则关闭
13 boolean var5 = this.allowCoreThreadTimeOut || var4 > this.corePoolSize;
14 if(var4 <= this.maximumPoolSize && (!var5 || !var1) || var4 <= 1 && !this.workQueue.isEmpty()) {
15 try {
16 Runnable var6 = var5?(Runnable)this.workQueue.poll(this.keepAliveTime, TimeUnit.NANOSECONDS):(Runnable)this.workQueue.take();
17 if(var6 != null) {
18 return var6;
19 }
20
21 var1 = true;
22 } catch (InterruptedException var7) {
23 var1 = false;
24 }
25 } else if(this.compareAndDecrementWorkerCount(var2)) {
26 return null;
27 }
28 }
29 }
线程池的主要运行流程基本如下,还有很多要学习的,望大家指点。