
#### **引言：告别`ThreadLocal`的陷阱**

在多线程编程中，我们经常需要在调用栈的不同层级之间传递一些**上下文信息**，例如用户身份、事务ID、追踪ID（Trace ID）或安全令牌。传统上，Java开发者普遍使用`ThreadLocal`来解决这个问题。然而，`ThreadLocal`在现代高并发、特别是虚拟线程（Virtual Threads）普及的背景下，暴露出了诸多严重缺陷：

1.  **内存泄漏**：在线程池中，工作线程会被复用。如果任务执行完毕后忘记调用`ThreadLocal.remove()`，其存储的值会一直保留在该线程上，污染下一个使用该线程的任务。
2.  **可变性风险**：`ThreadLocal`持有的值是可变的，这可能导致意外的状态修改和线程安全问题。
3.  **与虚拟线程不匹配**：虚拟线程是短暂且数量庞大的。为每个虚拟线程维护一个`ThreadLocal`副本效率低下，并且加剧了内存泄漏的风险。

**JEP 463: Scoped Values**（作用域值）应运而生，旨在提供一种更安全、更高效、更易于推理的上下文数据传递机制。它通过将值的生命周期与代码的**执行作用域**（而非线程本身）绑定，从根本上解决了`ThreadLocal`的痛点。

---

### **第一章：Scoped Values的核心概念与设计哲学**

#### **1.1 核心思想：不可变性与作用域绑定**

Scoped Values的设计基于两个核心原则：

- **不可变性**（Immutability）：一旦一个`ScopedValue`被绑定到一个值，该值在其整个生命周期内都无法被修改。这消除了状态被意外篡改的风险。
- **作用域绑定**（Scope-Bound Lifetime）：`ScopedValue`的值只在其被显式绑定的代码块（及其内部启动的子任务）内可见。当代码块退出时，该值会**自动消失**，无需开发者手动清理，彻底杜绝了内存泄漏。

> **关键洞见**：Scoped Values不是“属于线程的”，而是“属于执行流的作用域的”。这使得它与结构化并发（Structured Concurrency）和虚拟线程完美契合。

#### **1.2 与`ThreadLocal`的本质区别**

| 特性 | **`ThreadLocal`** | **`ScopedValue`** |
| :--- | :--- | :--- |
| **生命周期** | 绑定到**线程**，直到显式`remove()` | 绑定到**代码作用域**，作用域退出即自动销毁 |
| **可变性** | **可变**，值可以被随时修改 | **不可变**，绑定后无法更改 |
| **内存泄漏** | **高风险**，尤其在线程池中 | **零风险**，自动管理生命周期 |
| **继承性** | 子线程不会自动继承父线程的`ThreadLocal`值 | 在结构化并发或`Thread.start()`中，子任务/线程**自动继承**父作用域的`ScopedValue` |
| **适用场景** | 传统平台线程，简单场景 | 虚拟线程、结构化并发，现代高并发应用 |

---

### **第二章：核心API与使用方式**

#### **2.1 声明与绑定**

使用Scoped Values非常直观，主要涉及三个步骤：声明、绑定和读取。

```java
// 1. 声明一个ScopedValue（通常是静态final的）
private static final ScopedValue<String> USER_ID = ScopedValue.newInstance();

public void handleRequest(String userId) {
    // 2. 将userId绑定到USER_ID，并在给定的作用域内执行逻辑
    // where()方法返回一个ScopedValue.Carrier，用于执行run()或call()
    ScopedValue.where(USER_ID, userId).run(() -> {
        // 3. 在此作用域内，可以通过USER_ID.get()安全地获取userId
        processRequest();
    });
    // 作用域结束后，USER_ID的值自动失效，无需任何清理代码
}

private void processRequest() {
    String currentUserId = USER_ID.get(); // 安全地获取上下文
    System.out.println("Processing for user: " + currentUserId);
    
    // 即使在此处启动一个新的虚拟线程，子线程也能继承父线程的ScopedValue
    Thread.ofVirtual().start(() -> {
        String childUserId = USER_ID.get(); // 值被正确继承
        System.out.println("Child thread processing for user: " + childUserId);
    }).join();
}
```

#### **2.2 与结构化并发（Structured Concurrency）的协同**

Scoped Values与`StructuredTaskScope`结合使用，可以构建出极其健壮和清晰的并发代码。

```java
private static final ScopedValue<String> TRACE_ID = ScopedValue.newInstance();

public Summary fetchSummary(String traceId, String userId, String orderId) throws Exception {
    return ScopedValue.where(TRACE_ID, traceId).call(() -> {
        try (var scope = new StructuredTaskScope.ShutdownOnFailure()) {
            // 在这个结构化并发作用域内启动的所有子任务，
            // 都会自动继承TRACE_ID的值。
            Subtask<String> userTask = scope.fork(() -> fetchUser(userId));
            Subtask<String> orderTask = scope.fork(() -> fetchOrder(orderId));
            
            scope.join();
            scope.throwIfFailed();
            
            return new Summary(userTask.get(), orderTask.get());
        }
    });
}

private String fetchUser(String userId) {
    // 这里可以直接访问TRACE_ID，用于日志记录等
    logger.info("TraceID: {}, Fetching user: {}", TRACE_ID.get(), userId);
    return userService.getUser(userId);
}
```

在这个例子中，`TRACE_ID`贯穿了整个请求处理流程，从主线程到结构化并发作用域内的所有子任务，都共享同一个不可变的上下文值，且完全无需担心清理问题。

---

### **第三章：技术优势与性能考量**

#### **3.1 安全性与可靠性**

- **无泄漏**：自动的生命周期管理是Scoped Values最大的安全优势。
- **无污染**：不可变性确保了上下文数据在整个作用域内保持一致，不会被中间环节意外修改。
- **清晰的语义**：代码明确地表达了“在这个作用域内，这个值是可用的”这一意图，提高了代码的可读性和可维护性。

#### **3.2 性能优势**

Scoped Values的实现经过了高度优化：
- **低开销**：读取一个`ScopedValue`的性能开销与读取一个`final`字段相当，远低于`ThreadLocal`的哈希表查找。
- **高效的继承**：在虚拟线程和结构化并发中，子任务继承父作用域的值是一个非常轻量级的操作，因为它本质上是共享一个不可变的数据结构。

---

### **第四章：最佳实践与未来展望**

#### **4.1 最佳实践**

- **优先使用**：在新项目中，尤其是在使用虚拟线程和结构化并发的场景下，应优先考虑使用`ScopedValue`来替代`ThreadLocal`。
- **声明为静态final**：`ScopedValue`实例本身应该是无状态的，通常声明为`private static final`。
- **仅用于上下文传递**：它适用于传递请求级别的上下文信息，而不适合用作通用的缓存或状态存储。

#### **4.2 发展历程与现状**

- **孵化与预览**：Scoped Values最初在Java 21中作为孵化特性引入（JEP 429），随后在Java 22（JEP 464）、Java 23中经历了多轮预览。
- **正式发布**：根据社区规划，Scoped Values预计将在**Java 25**（计划于2025年9月发布）中正式成为标准API。

#### **4.3 总结**

Scoped Values（作用域值）是Project Loom为现代Java并发编程生态贡献的又一利器。它精准地解决了`ThreadLocal`在新时代下面临的挑战，提供了一种安全、高效、符合直觉的上下文数据传递方案。随着其正式落地，Scoped Values有望成为构建高可靠、高性能Java应用的标准实践之一，与虚拟线程、结构化并发一起，共同塑造Java并发编程的未来。

在多线程编程中，我们经常需要在调用栈的不同层级之间传递一些上下文信息，例如用户身份、事务ID、追踪ID（Trace ID）或安全令牌。传统上，Java开发者普遍使用ThreadLocal来解决这个问题。然而，ThreadLocal在现代高并发、特别是虚拟线程（Virtual Threads）普及的背景下，暴露出了诸多严重缺陷：

JDK 26 并发新纪元：JDK 25 LTS Scoped Values (JEP 506) 与结构化并发 (JEP 525) 的百万级虚拟线程下的上下文传递

在多线程编程中，我们经常需要在调用栈的不同层级之间传递一些上下文信息，例如用户身份、事务ID、追踪ID（Trace ID）或安全令牌。传统上，Java开发者普遍使用ThreadLocal来解决这个问题。然而，ThreadLocal在现代高并发、特别是虚拟线程（Virtual Threads）普及的背景下，暴露出了诸多严重缺陷.

后端

编程语言

职业发展

Java ScopedValues替代ThreadLocal，解决内存泄漏与线程安全问题。基于作用域绑定与不可变性，适用于虚拟线程与结构化并发，自动管理生命周期，提升性能与安全性。Java 25将正式发布，成为现代高并发编程标准方案。

安全令牌

数据结构

Java

文章

问答

视频

教程

学习中心

腾讯云实验室

直播

竞赛

腾讯云代码分析专区

腾讯iOA零信任安全管理系统专区

腾讯云架构师技术同盟交流圈

腾讯云数据库专区

腾讯云智能顾问专区

腾讯云原生专区

腾讯混元专区

腾讯云TCE专区

腾讯云Lighthouse专区

腾讯云HAI专区

腾讯云Edgeone专区

腾讯云存储专区

腾讯云智能专区

腾讯轻联专区 

腾讯云开发专区

TAPD专区

腾讯轻量云游戏服专区

腾讯云最具价值专家

腾讯云架构师技术同盟

腾讯云创作之星

腾讯云开发者先锋

腾讯云代码助手

云原生构建

TAPD 敏捷项目管理

Cloud Studio

SDK中心

API中心

命令行工具

涵盖代码开发、场景应用、自动测试全流程，助你从零构建专属AI助手

一站式MCP教程库，解锁AI应用新玩法

聚焦“写作效率、视觉美观与运行性能”三方面进行全面升级，为您提供更高效、稳定的创作环境

社区富文本&Markdown编辑器全新改版上线，欢迎大家体验!

诚挚邀请您参与本次调研，分享您的真实使用感受与建议。您的反馈至关重要，感谢您的支持与参与！

社区新版编辑器体验调研

JDK 26 并发新纪元：JDK 25 LTS Scoped Values (JEP 506) 与结构化并发 (JEP 525) 的百万级虚拟线程下的上下文传递-腾讯云开发者社区-腾讯云

JDK 26 并发新纪元：JDK 25 LTS Scoped Values (JEP 506) 与结构化并发 (JEP 525) 的百万级虚拟线程下的上下文传递

JDK 26 并发新纪元：JDK 25 LTS Scoped Values (JEP 506) 与结构化并发 (JEP 525) 的百万级虚拟线程下的上下文传递

社区

活动

圈层

关于

腾讯云开发者

热门产品

热门推荐

更多推荐