1. 引言Java 21 正式引入了虚拟线程Virtual Threads这是 JDK 在并发编程领域的一次重大革新。虚拟线程由 JVM 调度而非操作系统调度因此可以以极低的成本创建成千上万个线程彻底改变了传统「一个请求一个线程」的并发模型。然而虚拟线程并非万能银弹。它擅长高吞吐 IO 场景但在 CPU 密集型任务中反而可能带来性能回退。本文将从原理出发结合实战案例讲清楚虚拟线程适合什么、不适合什么帮助你做出正确的技术选型。2. 虚拟线程原理2.1 从平台线程到虚拟线程传统上Java 的Thread对应操作系统线程平台线程线程的创建、切换、阻塞都由操作系统内核管理。每个平台线程占用约 1MB 栈内存且线程切换涉及内核态与用户态之间的上下文切换成本高昂。虚拟线程则由 JVM 在用户态调度底层复用一个小的平台线程池称为 Carrier Thread。虚拟线程的栈可以动态伸缩初始占用极小因此可以轻松创建百万级虚拟线程。2.2 调度机制虚拟线程的调度器ForkJoinPool负责将虚拟线程挂载到 Carrier Thread 上执行。当虚拟线程执行阻塞操作如 IO 等待时调度器会将其卸载unmount让出 Carrier Thread 给其他虚拟线程当阻塞解除后再重新挂载mount继续执行。// 创建虚拟线程的三种方式// 方式一Thread.ofVirtual()ThreadvThreadThread.ofVirtual().start(()-{System.out.println(Hello from virtual thread);});// 方式二Thread.startVirtualThread()ThreadvThread2Thread.startVirtualThread(()-{System.out.println(Hello from virtual thread 2);});// 方式三ExecutorService推荐try(varexecutorExecutors.newVirtualThreadPerTaskExecutor()){executor.submit(()-System.out.println(Hello from virtual thread 3));}2.3 关键特性轻量单个虚拟线程内存开销约几 KB远低于平台线程的 1MB。阻塞即让出synchronized之外的阻塞操作如 IO、Thread.sleep会自动让出 Carrier Thread。与现有代码兼容虚拟线程是Thread的子类现有基于Thread的代码无需改动即可运行。3. 高吞吐 IO 场景改造3.1 传统线程池的痛点在传统模型中高并发 IO 场景通常使用固定大小线程池。假设线程池大小为 200当 200 个线程全部阻塞在 IO 等待时第 201 个请求只能排队等待导致吞吐量受限。// 传统线程池模型ExecutorServicepoolExecutors.newFixedThreadPool(200);for(inti0;i10000;i){pool.submit(()-{// 模拟 IO 阻塞Thread.sleep(100);returndone;});}3.2 虚拟线程改造改用虚拟线程后每个请求对应一个虚拟线程IO 阻塞时自动让出 Carrier Thread无需担心线程池耗尽。// 虚拟线程模型try(varexecutorExecutors.newVirtualThreadPerTaskExecutor()){for(inti0;i10000;i){executor.submit(()-{// 模拟 IO 阻塞Thread.sleep(100);returndone;});}}3.3 实战高并发 HTTP 请求以下示例模拟一个高并发调用外部 API 的场景对比传统线程池与虚拟线程的吞吐表现。importjava.net.URI;importjava.net.http.HttpClient;importjava.net.http.HttpRequest;importjava.net.http.HttpResponse;importjava.util.concurrent.ExecutorService;importjava.util.concurrent.Executors;importjava.util.concurrent.TimeUnit;publicclassHttpComparison{privatestaticfinalHttpClientCLIENTHttpClient.newBuilder().version(HttpClient.Version.HTTP_2).build();publicstaticvoidmain(String[]args)throwsException{Stringurlhttps://httpbin.org/delay/1;// 模拟 1 秒延迟// 传统线程池固定 200 线程longstart1System.nanoTime();try(ExecutorServicepoolExecutors.newFixedThreadPool(200)){for(inti0;i1000;i){pool.submit(()-fetch(url));}}longelapsed1TimeUnit.NANOSECONDS.toMillis(System.nanoTime()-start1);System.out.println(固定线程池耗时: elapsed1 ms);// 虚拟线程每任务一线程longstart2System.nanoTime();try(ExecutorServiceexecutorExecutors.newVirtualThreadPerTaskExecutor()){for(inti0;i1000;i){executor.submit(()-fetch(url));}}longelapsed2TimeUnit.NANOSECONDS.toMillis(System.nanoTime()-start2);System.out.println(虚拟线程耗时: elapsed2 ms);}privatestaticvoidfetch(Stringurl){try{HttpRequestrequestHttpRequest.newBuilder().uri(URI.create(url)).GET().build();HttpResponseStringresponseCLIENT.send(request,HttpResponse.BodyHandlers.ofString());System.out.println(Status: response.statusCode());}catch(Exceptione){e.printStackTrace();}}}3.4 适用场景总结IO 密集型服务Web 服务、网关、代理、消息消费者。高并发短连接大量短生命周期任务如定时抓取、批量通知。阻塞调用为主数据库访问、远程调用、文件读写等。4. 与传统线程池对比维度传统线程池虚拟线程线程来源操作系统线程JVM 用户态线程创建成本高约 1MB 栈极低几 KB最大并发数受系统资源限制可达百万级阻塞行为占用线程阻塞等待自动让出 Carrier Thread上下文切换内核态切换成本高用户态切换成本低适用场景CPU 密集型、任务数可控IO 密集型、高并发阻塞调试工具成熟jstack 等相对较新需适配4.1 何时仍应使用传统线程池CPU 密集型任务线程数应约等于 CPU 核心数虚拟线程无优势。需要精细控制并发数如限流场景固定线程池更直观。依赖线程池的队列策略如ThreadPoolExecutor的拒绝策略、任务队列。5. CPU 密集型为什么不适用5.1 原理分析虚拟线程的优势在于「阻塞时让出」而 CPU 密集型任务几乎不阻塞始终占满 Carrier Thread。此时虚拟线程的调度开销挂载/卸载、调度器管理反而成为额外负担性能可能低于传统线程池。// CPU 密集型任务计算斐波那契数列publicclassCpuIntensiveDemo{publicstaticvoidmain(String[]args)throwsException{inttaskCount1000;// 传统线程池线程数 CPU 核心数intcoresRuntime.getRuntime().availableProcessors();longstart1System.nanoTime();try(ExecutorServicepoolExecutors.newFixedThreadPool(cores)){for(inti0;itaskCount;i){pool.submit(()-fibonacci(40));}}longelapsed1TimeUnit.NANOSECONDS.toMillis(System.nanoTime()-start1);System.out.println(固定线程池(cores线程)耗时: elapsed1 ms);// 虚拟线程每任务一线程longstart2System.nanoTime();try(ExecutorServiceexecutorExecutors.newVirtualThreadPerTaskExecutor()){for(inti0;itaskCount;i){executor.submit(()-fibonacci(40));}}longelapsed2TimeUnit.NANOSECONDS.toMillis(System.nanoTime()-start2);System.out.println(虚拟线程耗时: elapsed2 ms);}privatestaticlongfibonacci(intn){if(n1)returnn;returnfibonacci(n-1)fibonacci(n-2);}}5.2 为什么反而更慢调度开销虚拟线程调度器需要管理挂载/卸载CPU 密集型任务频繁切换反而增加开销。Carrier Thread 争用大量虚拟线程争抢有限的 Carrier Thread调度器成为瓶颈。缓存局部性下降线程频繁切换导致 CPU 缓存命中率下降。5.3 正确做法CPU 密集型任务应使用固定大小线程池线程数设置为CPU 核心数 1考虑一个线程用于 IO 等待。intcoresRuntime.getRuntime().availableProcessors();ExecutorServicepoolExecutors.newFixedThreadPool(cores1);6. 实战注意事项6.1 避免 synchronized 阻塞虚拟线程在synchronized块内阻塞时不会让出 Carrier ThreadJDK 21 中仍会固定住 Carrier Thread可能导致 Carrier Thread 被占满。应优先使用ReentrantLock。// 不推荐synchronized 阻塞会固定 Carrier Threadsynchronized(lock){Thread.sleep(100);// 阻塞期间不释放 Carrier Thread}// 推荐ReentrantLock 支持虚拟线程让出ReentrantLocklocknewReentrantLock();lock.lock();try{Thread.sleep(100);// 阻塞期间释放 Carrier Thread}finally{lock.unlock();}6.2 线程本地变量虚拟线程支持ThreadLocal但创建百万级虚拟线程时每个线程的ThreadLocal会占用大量内存。应谨慎使用或改用ScopedValueJDK 21 预览特性。6.3 池化资源虚拟线程本身无需池化但连接池如数据库连接池、HTTP 连接池仍需合理配置避免资源耗尽。7. 总结场景推荐方案原因高并发 IOWeb 服务、网关虚拟线程阻塞自动让出吞吐量高大量短任务消息消费、抓取虚拟线程创建成本低无需池化CPU 密集型计算、加密传统线程池避免调度开销充分利用 CPU需要限流/精细控制传统线程池队列策略、拒绝策略更成熟虚拟线程是 Java 并发编程的重要演进但它解决的是「IO 阻塞浪费线程」的问题而非「CPU 计算不够快」的问题。选型时先判断任务是 IO 密集型还是 CPU 密集型再决定是否引入虚拟线程才能发挥其最大价值。