1. 引言
當我們點擊某個殺毒軟件的取消按鈕來停止查殺病毒時,當我們在控制台敲入quit命令以結束某個後台 服務時……都需要通過一個線程去取消另一個線程正在執行的任務。Java沒有提供一種安全直接的方法來停止某個線程,但 是Java提供了中斷機制。
如果對Java中斷沒有一個全面的了解,可能會誤以為被中斷的線程將立馬退出運行,但事 實並非如此。中斷機制是如何工作的?捕獲或檢測到中斷後,是拋出InterruptedException還是重設中斷狀態以及在方法中 吞掉中斷狀態會有什麼後果?Thread.stop與中斷相比又有哪些異同?什麼情況下需要使用中斷?本文將從以上幾個方面進 行描述。
2. 中斷的原理
Java中斷機制是一種協作機制,也就是說通過中斷並不能直接終止另一個線程,而 需要被中斷的線程自己處理中斷。這好比是家裡的父母叮囑在外的子女要注意身體,但子女是否注意身體,怎麼注意身體則 完全取決於自己。
Java中斷模型也是這麼簡單,每個線程對象裡都有一個boolean類型的標識(不一定就要是Thread 類的字段,實際上也的確不是,這幾個方法最終都是通過native方法來完成的),代表著是否有中斷請求(該請求可以來自 所有線程,包括被中斷的線程本身)。例如,當線程t1想中斷線程t2,只需要在線程t1中將線程t2對象的中斷標識置為true ,然後線程2可以選擇在合適的時候處理該中斷請求,甚至可以不理會該請求,就像這個線程沒有被中斷一樣。
java.lang.Thread類提供了幾個方法來操作這個中斷狀態,這些方法包括:
public static boolean interrupted
其中,interrupt方法是唯一能將中斷狀態設置為true的方法。靜態方法 interrupted會將當前線程的中斷狀態清除,但這個方法的命名極不直觀,很容易造成誤解,需要特別注意。
上面的 例子中,線程t1通過調用interrupt方法將線程t2的中斷狀態置為true,t2可以在合適的時候調用interrupted或 isInterrupted來檢測狀態並做相應的處理。
此外,類庫中的有些類的方法也可能會調用中斷,如FutureTask中的 cancel方法,如果傳入的參數為true,它將會在正在運行異步任務的線程上調用interrupt方法,如果正在執行的異步任務 中的代碼沒有對中斷做出響應,那麼cancel方法中的參數將不會起到什麼效果;又如ThreadPoolExecutor中的shutdownNow 方法會遍歷線程池中的工作線程並調用線程的interrupt方法來中斷線程,所以如果工作線程中正在執行的任務沒有對中斷 做出響應,任務將一直執行直到正常結束。
3. 中斷的處理
既然Java中斷機制只是設置被中斷線程的中斷狀 態,那麼被中斷線程該做些什麼?
處理時機
顯然,作為一種協作機制,不會強求被中斷 線程一定要在某個點進行處理。實際上,被中斷線程只需在合適的時候處理即可,如果沒有合適的時間點,甚至可以不處理 ,這時候在任務處理層面,就跟沒有調用中斷方法一樣。“合適的時候”與線程正在處理的業務邏輯緊密相關,例如,每次 迭代的時候,進入一個可能阻塞且無法中斷的方法之前等,但多半不會出現在某個臨界區更新另一個對象狀態的時候,因為 這可能會導致對象處於不一致狀態。
處理時機決定著程序的效率與中斷響應的靈敏性。頻繁的檢查中斷狀態可能會 使程序執行效率下降,相反,檢查的較少可能使中斷請求得不到及時響應。如果發出中斷請求之後,被中斷的線程繼續執行 一段時間不會給系統帶來災難,那麼就可以將中斷處理放到方便檢查中斷,同時又能從一定程度上保證響應靈敏度的地方。 當程序的性能指標比較關鍵時,可能需要建立一個測試模型來分析最佳的中斷檢測點,以平衡性能和響應靈敏性。
處理方式
1、中斷狀態的管理
一般說來,當可能阻塞的方法聲明中有拋出 InterruptedException則暗示該方法是可中斷的,如BlockingQueue#put、BlockingQueue#take、Object#wait、 Thread#sleep等,如果程序捕獲到這些可中斷的阻塞方法拋出的InterruptedException或檢測到中斷後,這些中斷信息該如 何處理?一般有以下兩個通用原則:
如果遇到的是可中斷的阻塞方法拋出InterruptedException,可以繼續向方法調用棧的上層拋出該異常,如果是檢測到 中斷,則可清除中斷狀態並拋出InterruptedException,使當前方法也成為一個可中斷的方法。
若有時候不太方便在方法上拋出InterruptedException,比如要實現的某個接口中的方法簽名上沒有throws InterruptedException,這時就可以捕獲可中斷方法的InterruptedException並通過Thread.currentThread.interrupt()來 重新設置中斷狀態。如果是檢測並清除了中斷狀態,亦是如此。
一般的代碼中,尤其是作為一個基礎類庫時,絕不應當吞掉中斷,即捕獲到InterruptedException後在catch裡什麼也不 做,清除中斷狀態後又不重設中斷狀態也不拋出InterruptedException等。因為吞掉中斷狀態會導致方法調用棧的上層得不 到這些信息。
當然,凡事總有例外的時候,當你完全清楚自己的方法會被誰調用,而調用者也不會因為中斷被吞掉 了而遇到麻煩,就可以這麼做。
總得來說,就是要讓方法調用棧的上層獲知中斷的發生。假設你寫了一個類庫,類 庫裡有個方法amethod,在amethod中檢測並清除了中斷狀態,而沒有拋出InterruptedException,作為amethod的用戶來說 ,他並不知道裡面的細節,如果用戶在調用amethod後也要使用中斷來做些事情,那麼在調用amethod之後他將永遠也檢測不 到中斷了,因為中斷信息已經被amethod清除掉了。如果作為用戶,遇到這樣有問題的類庫,又不能修改代碼,那該怎麼處 理?只好在自己的類裡設置一個自己的中斷狀態,在調用interrupt方法的時候,同時設置該狀態,這實在是無路可走時才 使用的方法。
2、中斷的響應
程序裡發現中斷後該怎麼響應?這就得視實際情況而定了。有些程序可能一檢 測到中斷就立馬將線程終止,有些可能是退出當前執行的任務,繼續執行下一個任務……作為一種協作機制,這要與中斷方 協商好,當調用interrupt會發生些什麼都是事先知道的,如做一些事務回滾操作,一些清理工作,一些補償操作等。若不 確定調用某個線程的interrupt後該線程會做出什麼樣的響應,那就不應當中斷該線程。
4. Thread.interrupt VS Thread.stop
Thread.stop方法已經不推薦使用了。而在某些方面Thread.stop與中斷機制有著相似之處。如當線程在 等待內置鎖或IO時,stop跟interrupt一樣,不會中止這些操作;當catch住stop導致的異常時,程序也可以繼續執行,雖然 stop本意是要停止線程,這麼做會讓程序行為變得更加混亂。
那麼它們的區別在哪裡?最重要的就是中斷需要程序 自己去檢測然後做相應的處理,而Thread.stop會直接在代碼執行過程中拋出ThreadDeath錯誤,這是一個java.lang.Error 的子類。
在繼續之前,先來看個小例子:
package com.ticmy.interrupt; import java.util.Arrays; import java.util.Random; import java.util.concurrent.TimeUnit; public class TestStop { private static final int[] array = new int[80000]; private static final Thread t = new Thread() { public void run() { try { System.out.println(sort(array)); } catch (Error err) { err.printStackTrace(); } System.out.println("in thread t"); } }; static { Random random = new Random(); for(int i = 0; i < array.length; i++) { array[i] = random.nextInt(i + 1); } } private static int sort(int[] array) { for (int i = 0; i < array.length-1; i++){ for(int j = 0 ;j < array.length - i - 1; j++){ if(array[j] < array[j + 1]){ int temp = array[j]; array[j] = array[j + 1]; array[j + 1] = temp; } } } return array[0]; } public static void main(String[] args) throws Exception { t.start(); TimeUnit.SECONDS.sleep(1); System.out.println("go to stop thread t"); t.stop(); System.out.println("finish main"); } }
這個例子很簡單,線程t裡面做了一個非常耗時的排序操作,排序方法中,只有簡單的加、減、賦值、比較等操 作,一個可能的執行結果如下:
go to stop thread t java.lang.ThreadDeath at java.lang.Thread.stop(Thread.java:758) at com.ticmy.interrupt.TestStop.main(TestStop.java:44) finish main in thread t
這裡sort方法是個非常耗時的操作,也就是說主線程休眠一秒鐘後調用stop的時候,線程t還在執行 sort方法。就是這樣一個簡單的方法,也會拋出錯誤!換一句話說,調用stop後,大部分Java字節碼都有可能拋出錯誤,哪 怕是簡單的加法!
如果線程當前正持有鎖,stop之後則會釋放該鎖。由於此錯誤可能出現在很多地方,那麼這就讓 編程人員防不勝防,極易造成對象狀態的不一致。例如,對象obj中存放著一個范圍值:最小值low,最大值high,且low不 得大於high,這種關系由鎖lock保護,以避免並發時產生競態條件而導致該關系失效。假設當前low值是5,high值是10,當 線程t獲取lock後,將low值更新為了15,此時被stop了,真是糟糕,如果沒有捕獲住stop導致的Error,low的值就為15, high還是10,這導致它們之間的小於關系得不到保證,也就是對象狀態被破壞了!如果在給low賦值的時候catch住stop導致 的Error則可能使後面high變量的賦值繼續,但是誰也不知道Error會在哪條語句拋出,如果對象狀態之間的關系更復雜呢? 這種方式幾乎是無法維護的,太復雜了!如果是中斷操作,它決計不會在執行low賦值的時候拋出錯誤,這樣程序對於對象 狀態一致性就是可控的。
正是因為可能導致對象狀態不一致,stop才被禁用。
5. 中斷的使用
通常, 中斷的使用場景有以下幾個:
點擊某個桌面應用中的取消按鈕時;
某個操作超過了一定的執行時間限制需要 中止時;
多個線程做相同的事情,只要一個線程成功其它線程都可以取消時;
一組線程中的一個或多個出現 錯誤導致整組都無法繼續時;
當一個應用或服務需要停止時。
下面來看一個具體的例子。這個例子裡,本打 算采用GUI形式,但考慮到GUI代碼會使程序復雜化,就使用控制台來模擬下核心的邏輯。這裡新建了一個磁盤文件掃描的任 務,掃描某個目錄下的所有文件並將文件路徑打印到控制台,掃描的過程可能會很長。若需要中止該任務,只需在控制台鍵 入quit並回車即可。
package com.ticmy.interrupt; import java.io.BufferedReader; import java.io.File; import java.io.InputStreamReader; public class FileScanner { private static void listFile(File f) throws InterruptedException { if(f == null) { throw new IllegalArgumentException(); } if(f.isFile()) { System.out.println(f); return; } File[] allFiles = f.listFiles(); if(Thread.interrupted()) { throw new InterruptedException("文件掃描任務被中斷"); } for(File file : allFiles) { //還可以將中斷檢測放到這裡 listFile(file); } } public static String readFromConsole() { BufferedReader reader = new BufferedReader(new InputStreamReader(System.in)); try { return reader.readLine(); } catch (Exception e) { e.printStackTrace(); return ""; } } public static void main(String[] args) throws Exception { final Thread fileIteratorThread = new Thread() { public void run() { try { listFile(new File("c:")); } catch (InterruptedException e) { e.printStackTrace(); } } }; new Thread() { public void run() { while(true) { if("quit".equalsIgnoreCase(readFromConsole())) { if(fileIteratorThread.isAlive()) { fileIteratorThread.interrupt(); return; } } else { System.out.println("輸入quit退出文件掃描"); } } } }.start(); fileIteratorThread.start(); } }
在掃描文件的過程中,對於中斷的檢測這裡采用的策略是,如果碰到的是文件就不檢測中斷,是目錄才檢測中斷 ,因為文件可能是非常多的,每次遇到文件都檢測一次會降低程序執行效率。此外,在fileIteratorThread線程中,僅是捕 獲了InterruptedException,沒有重設中斷狀態也沒有繼續拋出異常,因為我非常清楚它的使用環境,run方法的調用棧上 層已經沒有可能需要檢測中斷狀態的方法了。
在這個程序中,輸入quit完全可以執行System.exit(0)操作來退出程 序,但正如前面提到的,這是個GUI程序核心邏輯的模擬,在GUI中,執行System.exit(0)會使得整個程序退出。