字节 5 年 Java 社招面经：虚拟线程与 GraalVM 深挖

《面试题目》

一面（45 分钟）

1. 虚拟线程和平台线程的核心区别是什么？什么场景下虚拟线程收益最大？
2. 虚拟线程环境下 ThreadLocal 会有什么问题？
3. GraalVM 原生镜像的启动时间和内存占用相比 JVM 有什么优势？什么场景下值得用？
4. Spring Boot 3.x 的 AOT 编译和 GraalVM 有什么关系？

二面（50 分钟）

5. 系统设计：设计一个支持百万级并发的 Serverless 函数平台
6. 项目深挖：你主导过的最复杂的架构演进

三面（交叉面，40 分钟）

7. 线上故障排查：讲一个你处理过的 P0 级事故

HR 面（20 分钟）：流程沟通，最终 OC。

《参考解析》

1. 虚拟线程要讲清「谁在调度、阻塞时发生什么」：平台线程一对一映射操作系统线程，栈默认约 1MB，创建和切换都要过内核；虚拟线程由 JVM 调度，多个虚拟线程复用到少量载体线程上，栈按需增长、初始很小，因此可以开到几十万级。收益最大的场景是 IO 密集型：虚拟线程在阻塞（网络、数据库、队列）时会把载体线程让出去，让别的虚拟线程继续跑，于是「一个请求一个线程」的写法又能撑住高并发；CPU 密集型任务几乎没收益，因为算力就那么多，反而可能因为调度带来额外开销。再补一个真实坑：早期 JDK 里在 synchronized 块中阻塞会钉住（pin）载体线程，这时并发度会退化，需要换 ReentrantLock，后续 JDK 版本已逐步改善。

2. ThreadLocal 在虚拟线程下的问题是「数量乘上副本」：平台线程池通常就几百个线程，ThreadLocal 副本数量有限；虚拟线程每个请求一个、数量可能到几十万，每个都持有自己的 ThreadLocalMap，不清理就会快速吃掉内存，而且线程池复用时代那套「池子小所以不清理也没事」的直觉不再成立。工程做法是必须 remove()，或改用作用域受限的 ScopedValue（JDK 21 起以预览形式引入，后续版本转正）——它不可变、随作用域自动失效，天然适配虚拟线程。面试官想听的是你知道这两者的差别，而不是只会说「记得 remove」。

3. GraalVM 原生镜像要能说出收益和代价的对价关系：AOT 把 Java 应用提前编译成原生可执行文件，没有 JIT 预热过程，启动从秒级压到毫秒级、常驻内存也明显更低（省掉 JIT 编译器和相关元数据）。适合 Serverless、CLI、需要快速扩缩容的对冷启动敏感的服务；不适合依赖运行时代码生成、大量反射或动态代理、以及吃 JIT 峰值性能的应用。代价是构建时间长、反射与资源需要提供可达性配置、部分库不兼容、峰值吞吐通常不如跑久了的 JVM。具体数字别背死，说清「取决于应用」并给判断依据更可信。

4. Spring Boot 3.x 的 AOT 是原生镜像的前置工作：它在构建期就把 Bean 定义、条件装配、代理方式分析清楚，生成更直接的初始化代码和反射/资源提示，减少运行时的扫描与动态代理；这既让普通 JVM 模式启动更快，也是 Native Image 能跑起来的基础。回答时把「AOT 不是只有原生镜像才用」这一点讲出来，能区分出你是真上手过还是只看了文章。

5. Serverless 平台设计题先给约束再给方案：百万级并发要拆成几个子问题——冷启动优化（运行时预加载与快照、原生镜像、预留实例/预热池）、调度与弹性（按请求量扩缩实例、装箱与排队、避免惊群）、多租户隔离（每个函数独立执行环境、CPU/内存/网络的配额与限制）、数据面（连接池复用、对象存储放代码包与临时盘）、计费（执行时长乘内存的计量口径与精度）。每个选择都给出成本收益，比如预留实例降延迟但抬高闲置成本，能讲取舍才算架构题过关。

6. 架构演进题按决策链讲，不要按时间线讲：选一条自己主导过的路径（比如单库到分库分表再到单元化），每次演进讲清触发条件（哪个指标到了什么量级）、当时的备选方案与选型对比、数据迁移怎么做（双写、全量迁移、校验与补偿）、灰度怎么切（按用户或流量百分比）、出问题怎么回滚。面试官最想听的是「当时为什么这么定」，而不是最后系统长什么样。

7. 线上故障排查题要有完整的取证顺序：挑一个自己真实处理过的 P0，按「怎么发现（监控/告警/用户反馈）→ 先止损还是先定位 → 用了哪些工具拿到什么证据 → 根因是什么 → 怎么修复 → 事后怎么防止复发」讲。以虚拟线程上线后 CPU 飙升但 QPS 不涨为例，取证路径是先看是 us 还是 sy 高，再看线程与栈或 JFR/火焰图，确认是业务计算热点、锁自旋还是线程钉住，然后决定回滚、改锁还是把 CPU 密集任务放回平台线程。最后一定要落到机制性改进（灰度分批、压测场景补齐、上线观测指标），只讲「改了个参数就好了」会显得没有体系。