真实面经题目 · 原创解析

多线程如何在多个CPU上分布？

多线程并不是由程序自己平均分到多个 CPU 上，而是由操作系统调度器把处于可运行状态的线程调度到逻辑 CPU 上执行。线程能否真正并行，取决于可运行线程数、CPU 核心数或逻辑 CPU 数、调度策略、亲和性、负载均衡、锁竞争、I/O 等待、缓存与 NUMA 局部性等因素。

出现于：阿里巴巴 · 算法
Java 并发 并发 多线程 Linux
01

60 秒回答模板

可以这样答：在 Linux 里，线程是调度器可调度的实体。每个可运行线程会进入某个 CPU 的运行队列，调度器在各个 CPU 上选择线程运行。如果可运行线程数小于等于可用逻辑 CPU 数，多个线程可能真正并行；如果线程数更多，就通过时间片、抢占和上下文切换在 CPU 之间交替执行。调度器还会做负载均衡，把线程从繁忙 CPU 迁移到空闲 CPU，但不会无脑频繁迁移，因为迁移会破坏缓存局部性，NUMA 机器上还可能带来远程内存访问成本。线程亲和性可以限制线程在哪些 CPU 上运行。Java 线程通常映射为本地操作系统线程，所以 Java 多线程最终也受 Linux 调度器管理。线程越多不一定越快，CPU 密集任务通常接近核心数即可，超过后可能被上下文切换、锁竞争、缓存失效和内存带宽限制拖慢。

考点 调度实体
主线 可运行状态
易错点 误以为线程会被程序自动平均分配到所有 CPU 上，忽略…
02

深入解析

01

调度实体

在现代 Linux 中，进程和线程都以 task_struct 表示，线程是调度器可以直接调度的实体。多线程程序创建出的线程不会固定天然属于某个 CPU，而是由内核根据调度策略、优先级、负载和亲和性决定在哪个逻辑 CPU 上运行。

02

可运行状态

只有处于 TASK_RUNNING 状态的线程才会争抢 CPU。大量线程如果在等待锁、等待 I/O、sleep 或阻塞系统调用中，它们并不会占用 CPU。面试中要区分线程总数和可运行线程数，真正影响 CPU 分布的是同一时刻可运行的线程数量。

03

运行队列

Linux 调度器通常为每个 CPU 维护运行队列。线程被放入某个 CPU 的队列后，该 CPU 从队列中选择合适线程运行。这样可以减少全局锁竞争，并提高缓存局部性。多核机器上，多个 CPU 各自调度自己的队列，因此多个线程可以在多个核心上同时执行。

04

并行与轮转

如果有 4 个逻辑 CPU 和 4 个 CPU 密集型可运行线程，它们可能同时在 4 个 CPU 上运行；如果有 20 个 CPU 密集型线程争抢 4 个逻辑 CPU，就不会 20 个都同时执行，而是被分批调度。调度器通过时间片、抢占和上下文切换让线程轮流获得 CPU，看起来并发，实际同时运行数量不超过可用逻辑 CPU 数。

05

负载均衡

当某些 CPU 很忙而另一些 CPU 空闲时，调度器会尝试负载均衡，把可运行线程迁移到较空闲的 CPU 上。但迁移不是越多越好，因为线程在一个 CPU 上运行一段时间后，其数据和指令可能已经在该 CPU 缓存中，迁移到另一个 CPU 会增加缓存失效成本。

06

CPU 亲和性

CPU affinity 可以限制线程允许运行的 CPU 集合。例如把线程绑定到某几个核心，可以降低迁移开销、提升缓存命中，也可以隔离关键任务。但绑定过死可能导致某些 CPU 过载、其他 CPU 空闲，反而降低整体吞吐。

07

NUMA 与超线程

在 NUMA 系统中，不同 CPU 访问本地内存和远程内存的成本不同，调度器会尽量考虑线程运行位置与内存位置的局部性。超线程会把一个物理核心暴露为多个逻辑 CPU，但同一物理核心上的硬件线程共享执行单元、缓存和内存带宽，所以逻辑 CPU 数不等于完整物理核心数。

08

线程数边界

更多线程不必然提升吞吐。CPU 密集型任务超过核心数太多，往往增加上下文切换、调度开销和缓存抖动；锁竞争严重时，线程越多等待越多；内存带宽或 I/O 成为瓶颈时，CPU 核心再多也难以线性扩展。

03

易错点

  • 误以为线程会被程序自动平均分配到所有 CPU 上，忽略操作系统调度器的作用。
  • 把线程总数等同于并行度，忘记只有可运行线程才参与 CPU 竞争。
  • 认为线程越多吞吐越高，忽略上下文切换、锁竞争、缓存失效和内存带宽瓶颈。
  • 把超线程当成完整物理核心，错误估算 CPU 密集任务的并行能力。
  • 只关注 CPU 利用率，不分析运行队列长度、上下文切换次数和阻塞原因。
  • 随意绑定 CPU 亲和性，导致负载不均或破坏调度器原本的均衡策略。
04

面试官追问

线程数大于 CPU 核心数会怎样？

不会全部同时运行。调度器会把可运行线程分批放到 CPU 上执行，通过时间片、抢占和上下文切换轮流运行。线程过多会增加调度开销和缓存失效。

线程会固定在一个 CPU 上运行吗？

默认不一定固定。调度器可能为了负载均衡迁移线程，也可能为了缓存局部性让线程继续在原 CPU 运行。如果设置了 CPU affinity，线程只能在指定 CPU 集合内运行。

为什么 CPU 利用率很高但吞吐不提升？

可能是上下文切换过多、锁竞争严重、内存带宽打满、缓存抖动、GC 或系统调用开销过高。CPU 忙不代表都在做有效业务计算，也可能消耗在调度和同步上。

Java 线程和操作系统线程是什么关系？

主流 JVM 中 Java 线程通常映射为操作系统原生线程，由 Linux 调度器调度到逻辑 CPU 上执行。因此 Java 线程池大小也要结合 CPU 数、阻塞比例、任务耗时和竞争情况设置。

CPU 密集型和 I/O 密集型线程池如何估算？

CPU 密集型通常接近 CPU 核心数或逻辑 CPU 数，避免过多切换；I/O 密集型由于线程经常等待，可以多于 CPU 数，但要通过压测观察队列长度、响应时间、上下文切换和资源瓶颈。