Java 21 正式 GA，虛擬線程真的來了

来源:https://www.cnblogs.com/calvinit/archive/2023/09/26/17730501.html
-Advertisement-
Play Games

UTC 時間 2023 年 9 月 19 日，期盼已久的 Java 21 終於發佈正式版！ 本文一起來看看其中最受 Java 開發者關註的一項新特性：Loom 項目的兩個新特性之一的 ”虛擬線程（Virtual Thread）“（另外一個新特性是 ”結構化併發（Structured Concurre ...


UTC 時間 2023 年 9 月 19 日，期盼已久的 Java 21 終於發佈正式版！

本文一起來看看其中最受 Java 開發者關註的一項新特性：Loom 項目的兩個新特性之一的 ”虛擬線程（Virtual Thread）“（另外一個新特性是 ”結構化併發（Structured Concurrency）“，當前是預覽狀態），它被稱之為 Java 版的 ”協程“，它到底是什麼？有什麼神奇之處嗎？

虛擬線程是輕量級線程（類似於 Go 中的 “協程（Goroutine）”），可以減少編寫、維護和調度高吞吐量併發應用程式的工作量。

線程是可供調度的最小處理單元，它與其他類似的處理單元併發運行，並且在很大程度上是獨立運行的。線程（java.lang.Thread）有兩種，平臺線程和虛擬線程。

平臺線程

平臺線程也就是之前的普通線程 java.lang.Thread 的實例，它被實現為對操作系統線程的簡單包裝，它通常以 1:1 的比例映射到由操作系統調度的內核線程中。它在其底層操作系統線程上運行 Java 代碼，並且在它的整個生命周期內捕獲著其映射的操作系統線程。因此，可用平臺線程的數量局限於對應操作系統線程的數量。

平臺線程通常有一個大的堆棧和其他由操作系統維護的資源，它適合運行所有類型的任務，但可供使用的資源可能有限。

平臺線程可被指定為守護線程或非守護線程，除了守護線程狀態之外，平臺線程還具有線程優先順序，並且是線程組的成員。預設情況下，平臺線程會獲得自動生成的線程名稱。

與此同時，關於線程還有一些需要特別提到的變更，並值得我們的註意：如果我們先前有通過直接 new Thread(...) 手工創建單個平臺線程並使用（儘管此做法在大多數情況下是不推薦的）的話，請記住 Java 21 中的 suspend()、 resume()、stop() 和 countStackFrames() 等棄用方法將會直接拋出 UnsupportedOperationException 異常，可能會影響到之前的業務處理邏輯！

虛擬線程

與平臺線程一樣，虛擬線程同樣是 java.lang.Thread 的實例，但是，虛擬線程並不與特定的操作系統線程綁定。它與操作系統線程的映射關係比例也不是 1:1，而是 m:n。虛擬線程通常是由 Java 運行時來調度的，而不是操作系統。虛擬線程仍然是在操作系統線程上運行 Java 代碼，但是，當在虛擬線程中運行的代碼調用阻塞的 I/O 操作時，Java 運行時會將虛擬線程掛起，直到其可以恢復為止。此時與掛起的虛擬線程相關聯的操作系統線程便可以自由地為其他虛擬線程來執行操作。

與平臺線程不同，虛擬線程通常有一個淺層調用棧，它只需要很少的資源，單個 Java 虛擬機可能支持數百萬個虛擬線程（也正因為如此，儘管虛擬線程支持使用 ThreadLocal 或 InheritableThreadLocal 等線程局部變數，我們也應該仔細考慮是否需要使用它們）。虛擬線程適合執行大部分時間被阻塞的任務，這些任務通常需要等待 I/O 操作完成，它不適合用於長時間運行的 CPU 密集型操作。

虛擬線程通常使用一小組平臺線程作為載體線程（Carrier Thread），在虛擬線程中運行的代碼不知道其底層的載體線程。

虛擬線程是守護線程，具有固定的線程優先順序，不能更改。預設情況下，虛擬線程沒有線程名稱，如果未設置線程名稱，則獲取當前線程名稱時將會返回空字元串。

那麼，為什麼要使用虛擬線程呢？

在高吞吐量併發應用程式中使用虛擬線程，尤其是那些包含由大量併發任務組成的應用程式，這些任務需要花費大量時間等待。例如伺服器應用程式，因為它們通常處理許多執行阻塞 I/O 操作（例如獲取資源）的客戶端請求。

虛擬線程並不是更快的線程，它們運行代碼的速度並不會比平臺線程更快。它們的存在是為了提高擴展性（更高的吞吐量，而吞吐量意味著系統在給定時間內可以處理多少個信息單元），而不是速度（更低的延遲）。

創建和運行虛擬線程

1. Thread.ofVirtual() 創建和運行虛擬線程

Thread thread = Thread.ofVirtual().start(() -> System.out.println("Hello"));
thread.join();			// 等待虛擬線程終止

Thread.startVirtualThread(task) 可以快捷地創建並啟動虛擬線程，它與 Thread.ofVirtual().start(task) 是等價的。

2. Thread.Builder 創建和運行虛擬線程

Thread.Builder 介面允許我們創建具有通用的線程屬性（例如線程名稱）的線程，Thread.Builder.OfPlatform 子介面創建平臺線程，而 Thread.Builder.OfVirtual 子介面則創建虛擬線程。

Thread.Builder builder = Thread.ofVirtual().name("MyThread");		// 虛擬線程的名稱是 MyThread
Runnable task = () -> System.out.println("Running thread");
Thread t = builder.start(task);
System.out.println("Thread t name: " + t.getName());                    // 控制台列印：Thread t name: MyThread
t.join();

下麵的示例代碼創建了 2 個虛擬線程，名稱分別是 worker-0 和 worker-1（這個是由 name() 中的兩個參數 prefix 和 start 指定的）：

Thread.Builder builder = Thread.ofVirtual().name("worker-", 0);
Runnable task = () -> System.out.println("Thread ID: " + Thread.currentThread().threadId());

// 虛擬線程 1，名稱為 worker-0
Thread t1 = builder.start(task);
t1.join();
System.out.println(t1.getName() + " terminated");

// 虛擬線程 2，名稱為 worker-1
Thread t2 = builder.start(task);
t2.join();  
System.out.println(t2.getName() + " terminated");

以上示例代碼運行結果，在控制臺中列印內容如下：

Thread ID: 21
worker-0 terminated
Thread ID: 24
worker-1 terminated

3. Executors.newVirtualThreadPerTaskExecutor() 創建和運行虛擬線程

Executor 允許我們將線程管理和創建與應用程式的其餘部分分開：

// Java 21 中 ExecutorService 介面繼承了 AutoCloseable 介面，
// 所以可以使用 try-with-resources 語法使 Executor 在最後被自動地 close()
try (ExecutorService myExecutor = Executors.newVirtualThreadPerTaskExecutor()) {
    // 每次 submit() 調用向 Executor 提交任務時都會創建和啟動一個新的虛擬線程
    Future<?> future = myExecutor.submit(() -> System.out.println("Running thread"));
    future.get();		// 等待線程任務執行完成
    System.out.println("Task completed");
} catch (ExecutionException | InterruptedException ignore) {}

4. 一個多線程的回顯客戶端伺服器示例

EchoServer 為回顯伺服器程式，監聽本地 8080 埠併為每個客戶端連接創建並啟動一個新的虛擬線程：

import java.io.BufferedReader;
import java.io.IOException;
import java.io.InputStreamReader;
import java.io.PrintWriter;
import java.net.ServerSocket;
import java.net.Socket;

public class EchoServer {
    public static void main(String[] args) {
        try (ServerSocket serverSocket = new ServerSocket(8080)) {
            while (true) {
                try {
                    // 接受傳入的客戶端連接
                    Socket clientSocket = serverSocket.accept();
                    // 啟動服務線程，處理這個客戶端連接傳輸的數據並回顯。可以通過虛擬線程同時服務多個客戶端，每個客戶端連接一個線程。
                    Thread.ofVirtual().start(() -> {
                        try (PrintWriter out = new PrintWriter(clientSocket.getOutputStream(), true);
                             BufferedReader in = new BufferedReader(new InputStreamReader(clientSocket.getInputStream()))) {
                            String inputLine;
                            while ((inputLine = in.readLine()) != null) {
                                System.out.println(inputLine);
                                out.println(inputLine);
                            }
                        } catch (IOException ignore) {}
                    });
                } catch (Throwable unknown) {
                    break;
                }
            }
        } catch (IOException e) {
            System.err.println("Exception caught when trying to listen on port 8080 or listening for a connection: " + e.getMessage());
            System.exit(1);
        }
    }
}

EchoClient 為回顯客戶端程式，它連接到本地的伺服器併發送在命令行輸入的文本消息：

import java.io.BufferedReader;
import java.io.InputStreamReader;
import java.io.PrintWriter;
import java.net.Socket;

public class EchoClient {
    public static void main(String[] args) {
        try (Socket echoSocket = new Socket("127.0.0.1", 8080);
             PrintWriter out = new PrintWriter(echoSocket.getOutputStream(), true);
             BufferedReader in = new BufferedReader(new InputStreamReader(echoSocket.getInputStream()))) {
            BufferedReader stdIn = new BufferedReader(new InputStreamReader(System.in));
            String userInput;
            while ((userInput = stdIn.readLine()) != null) {
                out.println(userInput);
                System.out.println("echo: " + in.readLine());
                if (userInput.equals("bye")) {
                    break;
                }
            }
        } catch (Exception e) {
            System.err.println("Couldn't get I/O for the connection to 127.0.0.1:8080: " + e.getMessage());
            System.exit(1);
        }
    }
}

在上面的示常式序代碼中，可以看到 EchoServer 的 while (true) {...} 無限迴圈體內每次接受到一個新的客戶端連接時，都創建和啟動一個新的虛擬線程，並且沒有用到虛擬線程池。請不要擔心，事實上以上不管哪種創建和運行虛擬線程的方式，其背後都有一個線程池 ForkJoinPool（Carrier Thread 載體線程的池，這些載體線程是平臺線程）。ForkJoinPool 的預設的調度參數：parallelism 並行度為電腦處理器的可用核心數、maxPoolSize 池的最大線程數為 256 和 parallelism 的最大值、minRunnable 允許的不被 join 或阻塞的最小核心線程數為 1 和 parallelism /2 的最大值，它們可以通過系統屬性啟動參數 jdk.virtualThreadScheduler.parallelism、jdk.virtualThreadScheduler.maxPoolSize、jdk.virtualThreadScheduler.minRunnable 自定義修改。

5. CompletableFuture 應當如何適應虛擬線程？

CompletableFuture 平常我們用得比較多，在有虛擬線程以前，它一個慣常的使用方法如下：

long startMills = System.currentTimeMillis();
ExecutorService executor = Executors.newFixedThreadPool(256);
List<CompletableFuture<Void>> futures = new ArrayList<>();
IntStream.range(0, 10000).forEach(i -> {
    // 如果 runAsync 不指定 Executor，則會使用預設的線程池（除非系統不支持並行，否則會使用一個通用的 ForkJoinPool.commonPool 線程池）
    CompletableFuture<Void> f = CompletableFuture.runAsync(() -> {
        try {
            Thread.sleep(1000L);
        } catch (InterruptedException ignore) {
            Thread.currentThread().interrupt();
        }
    }, executor);
    futures.add(f);
});
CompletableFuture.allOf(futures.toArray(new CompletableFuture[0])).join();
executor.shutdown();
System.out.println("【線程池】任務執行時間：" + (System.currentTimeMillis() - startMills) / 1000 + " 秒！");

以上示例代碼運行結果，在控制臺中列印內容如下：

【線程池】任務執行時間：40 秒！

在有虛擬線程後，其實改動非常少，只需要將平臺線程池的 executor 替換為虛擬線程的 executor 即可：

long startMills = System.currentTimeMillis();
List<CompletableFuture<Void>> futures = new ArrayList<>();
try (var executor = Executors.newVirtualThreadPerTaskExecutor()) {
    IntStream.range(0, 10000).forEach(i -> {
        // 如果 runAsync 不指定 Executor，則會使用預設的線程池（除非系統不支持並行，否則會使用一個通用的 ForkJoinPool.commonPool 線程池）
        CompletableFuture<Void> f = CompletableFuture.runAsync(() -> {
            try {
                Thread.sleep(1000L);
            } catch (InterruptedException ignore) {
                Thread.currentThread().interrupt();
            }
        }, executor);
        futures.add(f);
    });
    CompletableFuture.allOf(futures.toArray(new CompletableFuture[0])).join();
}
System.out.println("【虛擬線程】任務執行時間：" + (System.currentTimeMillis() - startMills) / 1000 + " 秒！");

以上示例代碼運行結果，在控制臺中列印內容如下：

【虛擬線程】任務執行時間：1 秒！

同時，也可以看到在這個示例代碼的場景下，虛擬線程相比平臺線程池的方案在性能上提升了約 40 倍！

調度和固定虛擬線程

平臺線程由操作系統來調度並決定何時運行，但是虛擬線程是由 Java 運行時來調度並決定何時運行的。當 Java 運行時調度虛擬線程時，它在平臺線程上分配或掛載虛擬線程，然後操作系統像往常一樣調度該平臺線程，這個平臺線程稱為載體（Carrier）。運行一些代碼後，虛擬線程可以從它的載體卸載，這通常發生在虛擬線程執行阻塞 I/O 操作時。虛擬線程從它的載體上卸載後，載體是空閑的，這意味著 Java 運行時調度器可以在其上掛載不同的虛擬線程。

在阻塞操作期間，當虛擬線程被固定到它的載體上時，它不能被卸載。虛擬線程在以下情況下會被固定（pinning）：

  • 虛擬線程在 synchronized 同步塊或方法中運行代碼；
  • 虛擬線程運行本地方法（native method）或外部函數（foreign function）。

固定不會使應用程式出錯，但可能會影響其擴展性。嘗試通過修改頻繁運行的 synchronized 同步塊或方法，並使用java.util.concurrent.locks.ReentrantLock 來保護可能長時間執行的 I/O 操作，以避免頻繁和長時間的虛擬線程固定。

調試虛擬線程

虛擬線程仍然是線程，調試器可以像平臺線程那樣對它們進行步進。Java Flight Recorder (JFR) 和 jcmd 工具具有額外的特性功能可以幫助觀察應用程式中的虛擬線程。

1. 用於虛擬線程的 JFR 事件

Java Flight Recorder (JFR) 可以發出以下與虛擬線程相關的事件：

  • jdk.VirtualThreadStart 和 jdk.VirtualThreadEnd 虛擬線程的開始和結束的時間，這些事件在預設情況下是禁用的；
  • jdk.VirtualThreadPinned 表示一個虛擬線程被固定（並且它的載體線程沒有被釋放）的超過閾值的持續時間，預設情況下啟用該事件，閾值為 20 毫秒；
  • jdk.VirtualThreadSubmitFailed 表示啟動或取消掛起（unpark）虛擬線程失敗，可能是由於資源問題。掛起（park）一個虛擬線程釋放底層的載體線程去做其他工作，取消掛起（unpark）一個虛擬線程以被調度它繼續，該事件預設開啟。

要列印這些事件，請運行以下命令，其中 recording.jfr 是我們記錄的文件名：

jfr print --events jdk.VirtualThreadStart,jdk.VirtualThreadEnd,jdk.VirtualThreadPinned,jdk.VirtualThreadSubmitFailed recording.jfr

2. 查看 jcmd 線程轉儲中的虛擬線程

可以創建純文本或 JSON 格式的線程轉儲：

jcmd <PID> Thread.dump_to_file -format=text <file>
jcmd <PID> Thread.dump_to_file -format=json <file>

jcmd 線程轉儲列出在網路 I/O 操作中阻塞的虛擬線程和由 ExecutorService 介面創建的虛擬線程。它不包括對象地址、鎖、JNI 統計信息、堆統計信息和其他出現在傳統線程轉儲中的信息。

總結：虛擬線程採用指南

虛擬線程是由 Java 運行時而不是操作系統實現的 Java 線程。虛擬線程和傳統線程（我們現在稱之為平臺線程）之間的主要區別在於，我們可以很容易地在同一個 Java 進程中運行大量活動的虛擬線程，甚至數百萬個。大量的虛擬線程賦予了它們強大的功能：通過允許伺服器併發處理更多的請求，它們可以更有效地運行以每個請求一個線程的方式編寫的伺服器應用程式，從而實現更高的吞吐量和更少的硬體浪費。

由於虛擬線程是 java.lang.Thread 的實現，並且遵循自 Java SE 1.0 以來指定的 java.lang.Thread 的相同規則，因此開發人員不需要學習使用它們的新概念。然而，由於無法生成非常多的平臺線程（多年來 Java 中唯一可用的線程實現），因此產生了旨在應對其高成本的實踐做法。當這些做法應用於虛擬線程時會適得其反，必須摒棄。此外，成本上的巨大差異提示了一種考慮線程的新方式，這些線程一開始可能是外來的。

1. 編寫簡單、同步的代碼，採用單請求單線程風格的阻塞 I/O API

虛擬線程可以顯著提高以單請求單線程（Thread-Per-Request）的方式編寫的伺服器應用程式的吞吐量（而不是延遲）。在這種風格中，伺服器在整個持續時間內專用一個線程來處理每個傳入請求。它至少專用一個線程，因為在處理單個請求時，我們可能希望使用更多的線程來併發地執行一些任務。

阻塞平臺線程的代價很高，因為它占用了系統線程（相對稀缺的資源），而它並沒有做多少有意義的工作。因為虛擬線程可能很多，所以阻塞它們的成本很低，而且應該得到提倡。因此，應該以直接的同步風格編寫代碼，並使用阻塞 I/O API。

以下這種以非阻塞、非同步風格編寫的代碼不會從虛擬線程中獲得太多好處：

CompletableFuture.supplyAsync(info::getUrl, pool)
        .thenCompose(url -> getBodyAsync(url, HttpResponse.BodyHandlers.ofString()))
        .thenApply(info::findImage)
        .thenCompose(url -> getBodyAsync(url, HttpResponse.BodyHandlers.ofByteArray()))
        .thenApply(info::setImageData)
        .thenAccept(this::process)
        .exceptionally(ignore -> null);

但是下麵這種以同步風格編寫並使用簡單阻塞 I/O 的代碼卻將受益匪淺：

try {
    String page = getBody(info.getUrl(), HttpResponse.BodyHandlers.ofString());
    String imageUrl = info.findImage(page);
    byte[] data = getBody(imageUrl, HttpResponse.BodyHandlers.ofByteArray());
    info.setImageData(data);
    process(info);
} catch (Exception ignore) {}

這樣的代碼也更容易在調試器中進行調試，在分析器中進行概要分析，或者使用線程轉儲進行觀察。為了觀察虛擬線程，使用 jcmd 命令創建一個線程轉儲：

jcmd <pid> Thread.dump_to_file -format=json <file>

以這種風格編寫的堆棧越多，虛擬線程的性能和可觀察性就越好。用其他風格編寫的程式或框架，如果沒有為每個任務指定一個線程，就不應該期望從虛擬線程中獲得顯著的好處。避免將同步、阻塞代碼與非同步框架混在一起。

2. 將每個併發任務表示為一個虛擬線程，不要池化虛擬線程

關於虛擬線程，最難內化的是，雖然它們具有與平臺線程相同的行為，但它們不應該表示相同的程式概念。

平臺線程是稀缺的，因此是一種寶貴的資源。需要管理寶貴的資源，管理平臺線程的最常用方法是使用線程池。接下來需要回答的問題是，池中應該有多少線程？

但是虛擬線程非常多，因此每個線程不應該代表一些共用的、池化的資源，而應該代表一個任務。線程從托管資源轉變為應用程式域對象。我們應該有多少個虛擬線程的問題變得很明顯，就像我們應該使用多少個字元串在記憶體中存儲一組用戶名的問題一樣：虛擬線程的數量總是等於應用程式中併發任務的數量。

將 n 個平臺線程轉換為 n 個虛擬線程不會產生什麼好處；相反，需要轉換的是任務。

為了將每個應用程式任務表示為一個線程，不要像下麵的例子那樣使用共用線程池執行器：

Future<ResultA> f1 = sharedThreadPoolExecutor.submit(task1);
Future<ResultB> f2 = sharedThreadPoolExecutor.submit(task2);
// ... 使用 f1、f2

相反地，應該使用虛擬線程執行器，如下例所示：

try (var executor = Executors.newVirtualThreadPerTaskExecutor()) {		// 註意這裡實際上並沒有將虛擬線程進行池化
    Future<ResultA> f1 = executor.submit(task1);
    Future<ResultB> f2 = executor.submit(task2);
    // ... 使用 f1、f2
}

代碼仍然使用 ExecutorService，但是從 Executors.newVirtualThreadPerTaskExecutor() 返回的那個沒有使用線程池。相反，它為每個提交的任務創建一個新的虛擬線程。

此外，ExecutorService 本身是輕量級的，我們可以創建一個新的，就像處理任何簡單的對象一樣。這允許我們依賴於新添加的ExecutorService.close() 方法和 try-with-resources 語句。在 try 塊結束時隱式調用的 close 方法將自動等待提交給ExecutorService 的所有任務（即由 ExecutorService 生成的所有虛擬線程）終止。

對於 fanout 場景，這是一個特別有用的模式，在這種場景中，我們希望併發地向不同的服務執行多個傳出調用，如下麵的示例所示：

void handle(Request request, Response response) {
    var url1 = ...
    var url2 = ...

    try (var executor = Executors.newVirtualThreadPerTaskExecutor()) {
        var future1 = executor.submit(() -> fetchURL(url1));
        var future2 = executor.submit(() -> fetchURL(url2));
        response.send(future1.get() + future2.get());
    } catch (ExecutionException | InterruptedException e) {
        response.fail(e);
    }
}

String fetchURL(URL url) throws IOException {
    try (var in = url.openStream()) {
        return new String(in.readAllBytes(), StandardCharsets.UTF_8);
    }
}

我們應該創建一個新的虛擬線程，如上例所示，即使是小型的、短暫的併發任務也是如此。

為了在編寫 fanout 模式和其他常見併發模式時獲得更多幫助，並且具有更好的可觀察性，請使用結構化併發。

根據經驗，如果我們的應用程式從來沒有 10000 個或更多的虛擬線程，那麼它不太可能從虛擬線程中獲益。要麼它的負載太輕，不需要更好的吞吐量，要麼我們沒有向虛擬線程表示有足夠多的任務。

3. 使用信號量限制併發

有時需要限制某個確定操作的併發性。例如，某些外部服務可能無法處理 10 個以上的併發請求。由於平臺線程是通常在池中管理的寶貴資源，因此線程池已經變得如此普遍，以至於它們被用於限制併發性的目的，如下例所示：

ExecutorService es = Executors.newFixedThreadPool(10);		// 固定線程池的核心及最大線程數量為 10
...
Result foo() {
    try {
        var fut = es.submit(() -> callLimitedService());
        return f.get();
    } catch (...){ ...}
}

此示例確保對有限的服務最多有 10 個併發請求。

但是限制併發性只是線程池操作的副作用。池被設計為共用稀缺資源，而虛擬線程並不稀缺，因此永遠不應該被池化！

在使用虛擬線程時，如果希望限制訪問某些服務的併發性，則應該使用專門為此目的設計的構造：Semaphore 類。如下示例：

Semaphore sem = new Semaphore(10);		    // 初始化一個信號量，擁有 10 個許可
...
Result foo() {
    sem.acquire();                                  // 申請許可，如果當前沒有許可了，則阻塞直至其他線程 release 以釋放許可
    try {
        return callLimitedService();	            // 只有申請並獲得了許可的線程，才能進入此處執行業務邏輯，從而控制了併發性
    } finally {
        sem.release();                              // 釋放許可，以供其他線程使用
    }
}

簡單地用信號量阻塞一些虛擬線程可能看起來與將任務提交到一個固定線程池有很大的不同，但事實上並非如此。將任務提交到線程池會將它們排隊等待以供稍後執行，但是信號量內部（或任何其他類似的阻塞同步構造）會創建一個阻塞在它上面的線程隊列，這些線程被阻塞在其上，與等待池化的平臺線程來執行它們的任務隊列相對應。因為虛擬線程即是任務，所以其結果結構是等價的：

![對比線程池和信號量](https://img2023.cnblogs.com/blog/2564756/202309/2564756-20230926164514662-1908659572.png)
圖示：對比線程池和信號量

即使我們可以將平臺線程池視為從隊列中提取任務並處理它們的工作線程，而將虛擬線程視為等待繼續執行的任務本身，但在電腦中的基礎表示實際上幾乎相同。認識到排隊的任務和被阻塞的線程之間的等效性將有助於我們充分利用虛擬線程。

4. 不要線上程局部變數中緩存昂貴的可重用對象

虛擬線程與平臺線程一樣支持線程局部變數。通常，線程局部變數用於將某些與當前運行的代碼相關的上下文特定信息關聯起來，例如當前的事務和用戶 ID。在虛擬線程中，使用線程本地變數來實現這種用途是完全合理的。但是，考慮使用更安全和更高效的作用域值（java.lang.ScopedValue，當前為預覽特性）。

還有一種使用線程局部變數的方式與虛擬線程存在根本性衝突：緩存可重覆使用的對象。這些對象通常創建昂貴（並消耗大量記憶體），是可變的，並且不是線程安全的。它們被緩存線上程局部變數中，以減少它們被實例化的次數和記憶體中的實例數量，但它們會被在不同時間運行線上程上的多個任務重覆使用。

例如，SimpleDateFormat 的實例創建昂貴且不是線程安全的。一種常見的做法是將這樣的實例緩存在 ThreadLocal 中，如下例所示：

static final ThreadLocal<SimpleDateFormat> cachedFormatter = ThreadLocal.withInitial(SimpleDateFormat::new);

void foo() {
    ...
    cachedFormatter.get().format(...);
    ...
}

這種類型的緩存僅線上程（因此線上程局部緩存的昂貴對象）被多個任務共用和重覆使用時才有幫助，就像在平臺線程池中的池化線程時的情況一樣。線上程池中運行時，許多任務可能會調用 foo，但由於池中只包含一些線程，該對象只會被實例化幾次 - 每個池線程一次 - 然後被緩存和重覆使用。

然而，虛擬線程從不被池化，也不會被不相關的任務重覆使用。因為每個任務都有自己的虛擬線程，來自不同任務的每次對 foo 的調用都會觸發新的 SimpleDateFormat 實例的實例化。而且，由於可能有大量虛擬線程同時運行，昂貴的對象可能會消耗大量記憶體。這與線程局部緩存的預期成果完全相反。

沒有單一的通用替代方案，但在 SimpleDateFormat 的情況下，我們應該將其替換為 DateTimeFormatter。DateTimeFormatter 是不可變的，因此可以由所有線程共用單個實例：

static final DateTimeFormatter formatter = DateTimeFormatter….;

void foo() {
    ...
    formatter.format(...);
    ...
}

請註意，有時候，使用線程局部變數來緩存共用的昂貴對象是由非同步框架在幕後完成的，這是它們的隱式假設，認為它們會被一個非常小的線程池中的線程使用。這就是為什麼混合使用虛擬線程和非同步框架不是一個好主意的原因之一：調用一個方法可能會導致在本應緩存和共用的線程本地變數中實例化昂貴的對象。

5. 避免長時間和頻繁的固定

目前虛擬線程的實現存在一個限制，即在 synchronized 同步塊或方法內執行阻塞操作會導致 JDK 的虛擬線程調度器阻塞一個寶貴的操作系統線程，而如果阻塞操作在 synchronized 同步塊或方法之外執行，就不會出現這種情況。我們稱這種情況為 “pinning”（固定）。如果阻塞操作既長時間存在又頻繁發生，pinning 可能會對伺服器的吞吐量產生不利影響。使用 synchronized 同步塊或方法保護短時操作（例如記憶體操作）或不頻繁的操作應該不會產生不利影響。

為了檢測可能有害的 pinning 情況，JDK Flight Recorder（JFR）在阻塞操作被固定時會發出 jdk.VirtualThreadPinned 線程事件；預設情況下，當操作持續時間超過 20 毫秒時，此事件被啟用。

或者，我們可以使用系統屬性 jdk.tracePinnedThreads，線上程被固定時發出堆棧跟蹤。使用選項 -Djdk.tracePinnedThreads=full 時，當線程被固定時會列印完整的堆棧跟蹤，突出顯示本機幀和持有監視器的幀。使用選項 -Djdk.tracePinnedThreads=short 時，輸出將限製為僅包括有問題的幀。

如果這些機制檢測到 pinning 在某些地方既長時間存在又頻繁發生，那麼在那些特定地方使用 ReentrantLock 替代 synchronized（再次強調，不需要替代用於保護短時操作或不頻繁操作的 synchronized）。以下是一個長時間存在且頻繁使用同步塊的示例：

synchronized(lockObj) {
    frequentIO();
}

我們可以將其替換為：

lock.lock();
try {
    frequentIO();
} finally {
    lock.unlock();
}

參考資料

[1] Java SE 21 核心庫文檔：14. 併發 - 虛擬線程


您的分享是我們最大的動力!

-Advertisement-
Play Games
更多相關文章
  • vue3 + mark.js | 實現文字標註功能
    頁面效果 具體實現 新增 1、監聽滑鼠抬起事件，通過window.getSelection()方法獲取滑鼠用戶選擇的文本範圍或游標的當前位置。 2、通過 選中的文字長度是否大於0或window.getSelection().isCollapsed (返回一個布爾值用於描述選區的起始點和終止點是否位於 ...
  • vue~封裝一個文本框添加與刪除的組件
    標簽組件的效果如下 組件作用 這是一個div，包含了兩個文本框，後面是添加和刪除按鈕 添加按鈕複製出新的div，除了文本框沒有內容，其它都上面一樣 刪除按鈕將當前行div刪除 組件實現 <template> <div> <template v-for="(item,index) in tags"> ...
  • vue~封裝一個文本框標簽組件
    用到的技術 父組件向子組件的傳值 類型檢查和預設值：您可以為props指定類型檢查和預設值。這可以確保傳遞給子組件的數據符合期望的類型，以及在沒有傳遞數據時具有合理的預設值。例如： props: { message: { type: String, default: 'Default Message ...
  • vue3+ant design的form數組表單，如何校驗
    首先，先說說我要實現的內容：如下圖，點“新增”會添加一個灰框內容，form表單是一個數組，一個灰框為一個對象，各對象保存時各自校驗自己表單里的內容，互不幹擾！ 上頁面代碼（看部分代碼就懂了）： 1 <div v-for="(item,index) in formList" :key="index"> ...
  • 聊聊 QianKun JS 沙箱的那些事
    我們是袋鼠雲數棧 UED 團隊，致力於打造優秀的一站式數據中台產品。我們始終保持工匠精神，探索前端道路，為社區積累並傳播經驗價值。 本文作者：空山 什麼是沙箱 沙箱即 SandBox，它是一種安全機制，用於嚴格控制訪問資源。通過在程式中創建一個獨立的運行環境，把一些來源不可信、具有破壞力或者又是無法 ...
  • 代碼層面探索前端性能
    最近在做性能優化，具體優化手段，網上鋪天蓋地，這裡就不重覆了。性能優化可分為以下幾個維度：代碼層面、構建層面、網路層面。本文主要是從代碼層面探索前端性能，主要分為以下 4 個小節。使用 CSS 替代 JS、深度剖析 JS、前端演算法、電腦底層 ...
  • Java 集合
    集合概述 為了保存數量不確定的數據，以及保存具有映射關係的數據，Java 提供了集合類。集合類主要負責保存、盛裝其他數據，因此集合類也被稱為容器類。所有的集合都位於java.util包下 Java 的集合類主要由兩個介面派生而出：Collection和Map，Collection和Map 是 Jav ...
  • Springboot簡單功能示例-6 使用加密數據源並配置日誌
    0. 數據說明 本項目所用數據集包含了一個家庭6個月的用電數據，收集於2007年1月至2007年6月。 這些數據包括有功功率、無功功率、電壓、電流強度、分項計量1（廚房）、分項計量2（洗衣房）和分項計量3（電熱水器和空調）等信息。該數據集共有260,640個測量值，可以為瞭解家庭用電情況提供重要的見 ...
一周排行
    -Advertisement-
    Play Games
  • 移動開發（一）：使用.NET MAUI開發第一個安卓APP
    移動開發（一）：使用.NET MAUI開發第一個安卓APP 對於工作多年的C#程式員來說，近來想嘗試開發一款安卓APP，考慮了很久最終選擇使用.NET MAUI這個微軟官方的框架來嘗試體驗開發安卓APP，畢竟是使用Visual Studio開發工具，使用起來也比較的順手，結合微軟官方的教程進行了安卓 ...
  • wpf ToggleButton選中效果和一個登錄界面
    前言 QuestPDF 是一個開源 .NET 庫，用於生成 PDF 文檔。使用了C# Fluent API方式可簡化開發、減少錯誤並提高工作效率。利用它可以輕鬆生成 PDF 報告、發票、導出文件等。 項目介紹 QuestPDF 是一個革命性的開源 .NET 庫，它徹底改變了我們生成 PDF 文檔的方 ...
  • 彈幕樹洞項目功能新增篇
    項目地址 項目後端地址： https://github.com/ZyPLJ/ZYTteeHole 項目前端頁面地址： ZyPLJ/TreeHoleVue (github.com) https://github.com/ZyPLJ/TreeHoleVue 目前項目測試訪問地址： http://tree ...
  • 第27篇 sqlserver2022詳細安裝步驟
    話不多說，直接開乾 一.下載 1.官方鏈接下載： https://www.microsoft.com/zh-cn/sql-server/sql-server-downloads 2.在下載目錄中找到下麵這個小的安裝包 SQL2022-SSEI-Dev.exe，運行開始下載SQL server； 二. ...
  • .NET 開源高性能 MQTT 類庫
    前言 隨著物聯網（IoT）技術的迅猛發展，MQTT（消息隊列遙測傳輸）協議憑藉其輕量級和高效性，已成為眾多物聯網應用的首選通信標準。 MQTTnet 作為一個高性能的 .NET 開源庫，為 .NET 平臺上的 MQTT 客戶端與伺服器開發提供了強大的支持。 本文將全面介紹 MQTTnet 的核心功能 ...
  • Serilog文檔翻譯系列（六） - 可用的接收器、增強器、格式化輸出
    Serilog支持多種接收器用於日誌存儲，增強器用於添加屬性，LogContext管理動態屬性，支持多種輸出格式包括純文本、JSON及ExpressionTemplate。還提供了自定義格式化選項，適用於不同需求。 ...
  • 警惕 Visual Studio 屬性求值副作用導致邏輯不符合預期
    目錄簡介獲取 HTML 文檔解析 HTML 文檔測試參考文章 簡介 動態內容網站使用 JavaScript 腳本動態檢索和渲染數據，爬取信息時需要模擬瀏覽器行為，否則獲取到的源碼基本是空的。 本文使用的爬取步驟如下： 使用 Selenium 獲取渲染後的 HTML 文檔 使用 HtmlAgility ...
  • [使用目前最新版]HybridCLR6.9.0+YooAsset2.2.4實現純C# Unity熱更新方案 (一)
    1.前言 什麼是熱更新 游戲或者軟體更新時，無需重新下載客戶端進行安裝，而是在應用程式啟動的情況下，在內部進行資源或者代碼更新 Unity目前常用熱更新解決方案 HybridCLR，Xlua，ILRuntime等 Unity目前常用資源管理解決方案 AssetBundles，Addressable， ...
  • 在 ASP.NET Core Web API 中使用操作篩選器統一處理通用操作
    本文章主要是在C# ASP.NET Core Web API框架實現向手機發送驗證碼簡訊功能。這裡我選擇是一個互億無線簡訊驗證碼平臺，其實像阿裡雲，騰訊雲上面也可以。 首先我們先去 互億無線 https://www.ihuyi.com/api/sms.html 去註冊一個賬號 註冊完成賬號後，它會送 ...
  • 第28篇 如何.net中實現高效可靠數據同步api
    通過以下方式可以高效，並保證數據同步的可靠性 1.API設計 使用RESTful設計，確保API端點明確，並使用適當的HTTP方法（如POST用於創建，PUT用於更新）。 設計清晰的請求和響應模型，以確保客戶端能夠理解預期格式。 2.數據驗證 在伺服器端進行嚴格的數據驗證，確保接收到的數據符合預期格 ...
所有分類