程序師世界是廣大編程愛好者互助、分享、學習的平台,程序師世界有你更精彩!
首頁
編程語言
C語言|JAVA編程
Python編程
網頁編程
ASP編程|PHP編程
JSP編程
數據庫知識
MYSQL數據庫|SqlServer數據庫
Oracle數據庫|DB2數據庫
 程式師世界 >> 編程語言 >> JAVA編程 >> 關於JAVA >> Java中斷機制詳解

Java中斷機制詳解

編輯:關於JAVA

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
  測試當前線程是否已經中斷。線程的中斷 狀態 由該方法清除。換句話說,如果連續兩次調用該方法,則第二次調用將返回 false(在第一次調用已清除了其中 斷狀態之後,且第二次調用檢驗完中斷狀態前,當前線程再次中斷的情況除外)。
  public boolean isInterrupted()
  測試線程 是否已經中斷。線程的中斷狀態不受該方法的影響。
  public void interrupt()
  中斷線程。
 

 

其中,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)會使得整個程序退出。

  1. 上一頁:
  2. 下一頁:
Copyright © 程式師世界 All Rights Reserved