線程池中線程是如何?;詈突厥盏?/h1>
面試時(shí)經(jīng)常被問(wèn)的一個(gè)問(wèn)題,線程池中線程是如何?;畹??
這個(gè)問(wèn)題對(duì)于看過(guò)線程池源碼的同學(xué)應(yīng)該已經(jīng)知道答案了,沒(méi)有看過(guò)源碼的也不要慌,現(xiàn)在我們就一起看一下線程池線程的保活策略。
一、線程池中在哪執(zhí)行任務(wù)
首先進(jìn)入ThreadPoolExecutor的execute方法。
- 首先檢查當(dāng)前工作線程數(shù)量,workerCountOf(c) 是否小于核心線程數(shù)量corePoolSize,如果小于就創(chuàng)建一個(gè)新線程addWorker()執(zhí)行這個(gè)任務(wù)。
- 如果線程池在運(yùn)行且任務(wù)加入隊(duì)列成功,但是當(dāng)前工作線程數(shù)量為0,也會(huì)創(chuàng)建一個(gè)新線程addWorker()。
- 如果任務(wù)不能被加入任務(wù)隊(duì)列(workQueue.offer(command)返回false), 也會(huì)創(chuàng)建一個(gè)新線程addWorker()。
在execute方法內(nèi)部有三處調(diào)用addWorker()方法的位置,進(jìn)入到addWorker() 方法中,可以看到有這樣一行代碼new Worker(firstTask) 。
而 Worker類(lèi)又實(shí)現(xiàn)了 Runnable,所以線程池中的線程也就是Worker,而執(zhí)行就在run()方法內(nèi)部,我們只需要找到Worker類(lèi)中的run方法即可。
Worker(Runnable firstTask) {
setState(-1); // inhibit interrupts until runWorker
this.firstTask = firstTask;
this.thread = getThreadFactory().newThread(this);
}
/** Delegates main run loop to outer runWorker */
public void run() {
runWorker(this);
}
run 方法內(nèi)部調(diào)用了 runWorker,秘密就在runWorker方法內(nèi)部。
所以線程池中線程最終就在runWorker方法中執(zhí)行的。
二、getTask 獲取任務(wù)方法
在上面ThreadPoolExecutor的execute方法中,有一步是往阻塞隊(duì)列中放入任務(wù)(workQueue.offer(command))。
上面我們找到了線程池中線程執(zhí)行任務(wù)的地方,那么我們看看是從哪讀取的任務(wù)?
runWorker方法中有一行代碼task = getTask(),此處就是從阻塞隊(duì)列中獲取任務(wù)的代碼,讓我們看一下 getTask() 的內(nèi)部實(shí)現(xiàn)。
核心代碼就是
Runnable r = timed ?
workQueue.poll(keepAliveTime, TimeUnit.NANOSECONDS) :
workQueue.take();
根據(jù)timed 的狀態(tài)判斷,當(dāng)工作線程數(shù)量大于核心線程數(shù)量時(shí)調(diào)用poll方法獲取任務(wù),當(dāng)工作線程數(shù)量小于和核心線程數(shù)量時(shí)調(diào)用take方法。
對(duì)于阻塞隊(duì)列的介紹如下:
- poll 方法如果隊(duì)列不為空,返回頭部元素。如果隊(duì)列為空會(huì)將線程阻塞在此處,阻塞時(shí)間是keepAliveTime。當(dāng)時(shí)間到了獲取不到任務(wù)時(shí)返回null。
- take方法如果隊(duì)列不為空返回頭部元素。如果隊(duì)列為空會(huì)將線程阻塞在此處,直到隊(duì)列中有元素可供使用。
對(duì)于非核心線程,當(dāng)線程池中的線程數(shù)量超過(guò)核心線程數(shù)量且空閑時(shí)間超過(guò)keepAliveTime時(shí),非核心線程會(huì)被回收。
通過(guò)這種方式,線程在沒(méi)有任務(wù)時(shí)就阻塞在隊(duì)列上,從而實(shí)現(xiàn)?;睢?/p>
上面我們知道了非核心線程的?;畈呗裕敲磳?duì)于核心線程又是如何保活的呢?
三、核心線程如何實(shí)現(xiàn)的?;?/h4>
在線程池中核心線程默認(rèn)是不會(huì)被回收的。
不過(guò)我們可以通過(guò)設(shè)置allowCoreThreadTimeOut來(lái)實(shí)現(xiàn),getTask方法中timed的校驗(yàn)。
boolean timed = allowCoreThreadTimeOut || wc > corePoolSize;
所以當(dāng)allowCoreThreadTimeOut 設(shè)置為true時(shí),核心線程在沒(méi)有任務(wù)可以執(zhí)行時(shí)會(huì)使用take方法進(jìn)行阻塞,直到獲取到任務(wù)位置,而不是因?yàn)闆](méi)有任務(wù)就被銷(xiāo)毀,從而實(shí)現(xiàn)的線程?;睢?/p>
任務(wù)執(zhí)行的過(guò)程是無(wú)法保證不出問(wèn)題的,不管是核心線程還是非核心線程,當(dāng)線程中出現(xiàn)異常之后,線程池是如何處理的呢?
四、線程異常之后如何?;?/h4>
繼續(xù)回到runWorker方法中,其中task.run()是真正執(zhí)行任務(wù)的地方,當(dāng)此處發(fā)生異常之后,有try catch。
所以當(dāng)任務(wù)執(zhí)行異常之后,會(huì)依次執(zhí)三個(gè)finally塊中的代碼。
再看processWorkerExit() 方法之前,我們先看一個(gè)參數(shù)completedAbruptly。
completedAbruptly 代表是否是異常退出的,默認(rèn)是true代表異常退出。
在runWorker方法中,如果線程任務(wù)是正常執(zhí)行完成的,會(huì)在最后修改該值。
由于我們是異常線程,所以代碼肯定不會(huì)走到這,直接走到finally中的processWorkerExit方法。
在processWorkerExit方法中,它會(huì)根據(jù)completedAbruptly的值來(lái)調(diào)整線程池中的工作線程數(shù)量,從工作線程集合中移除該線程,并根據(jù)線程池的狀態(tài)和工作線程數(shù)量決定是否需要添加新線程。
!completedAbruptly 判斷工作線程是不是異常退出的,如果不是異常退出的計(jì)算最小線程數(shù)量。
如果允許核心線程回收allowCoreThreadTimeOut=true,min為0。
如果min為0 且工作隊(duì)列不為空! workQueue.isEmpty(),min為1。
如果當(dāng)前工作線程workerCountOf(c)大于等于這個(gè)最小的線程數(shù)量min,直接返回。
如果小于這個(gè)最小的工作線程數(shù)量min,調(diào)用addWorker。
此處addWorker 的觸發(fā)條件就是當(dāng)線程池的狀態(tài)小于STOP 也就是線程池還在運(yùn)行runStateLessThan(c, STOP)時(shí)且不滿足上述不需要添加新線程的判斷。
當(dāng)上述條件滿足的時(shí)候,則調(diào)用addWorker(null,false)添加一個(gè)新的工作線程,因?yàn)閭魅氲膮?shù)Runnable為null,所以這個(gè)新線程會(huì)從任務(wù)隊(duì)列中繼續(xù)讀取任務(wù)來(lái)執(zhí)行。
最后總結(jié)一下,當(dāng)線程異常之后,按照正常情況來(lái)說(shuō)線程就直接消失了,但是通過(guò)processWorkerExit方法的補(bǔ)救,增加了一個(gè)新的線程,保證線程池的運(yùn)行。
五、總結(jié)
線程池中的線程分為核心線程與非核心線程。
核心線程默認(rèn)不回收,可以通過(guò)設(shè)置allowCoreThreadTimeOut為true 來(lái)回收。
非核心線程在獲取任務(wù)為空且空閑時(shí)間超過(guò)一定時(shí)間之后進(jìn)行回收。
線程池的?;畈呗酝ㄟ^(guò)阻塞隊(duì)列的阻塞特性實(shí)現(xiàn),poll 方法實(shí)現(xiàn)可以指定超時(shí)時(shí)間的阻塞,take 方法實(shí)現(xiàn)阻塞直到獲取到任務(wù)。
當(dāng)線程異常之后,通過(guò)新增線程的方式實(shí)現(xiàn)線程的補(bǔ)救,保證線程池的運(yùn)行。