并发与并行（Concurrency and Parallelism）

2026-09-26 · 软件工程

最后更新：2026-09-26 ｜领域：软件工程｜说明：信息来源为公开网络资料，详见文末参考来源

概述

并发（concurrency）指多个任务在时间上重叠推进，并行（parallelism）指多个任务在同一时刻真正同时执行。并发模型讨论的是「如何组织任务、如何共享状态、如何取消与传播错误」；并行则关心如何把工作切分到多核与多机上。

主流实现路线可分为几类：共享内存 + 线程/锁（Java、C++）、异步任务 + 事件循环（Rust async、JavaScript、Python asyncio）、协程（Go goroutine、Kotlin coroutines）、Actor 消息传递（Erlang/OTP、Akka/Pekko）、CSP 通道（Go channel）。2025–2026 年的主要变化是：结构化并发从语言实验走向标准化，虚拟线程/无栈协程大规摸进入生产，运行时（GC、调度器）也在为并发吞吐做专门优化。

核心技术与关键概念

结构化并发：以作用域限定任务生命周期，作用域结束即任务结束，从而获得清晰的错误传播与线程转储可观测性（javacodegeeks.com）。
虚拟线程（virtual threads）：降低线程成本以支持大量并发阻塞式任务；对既有 WebFlux/Reactor 的团队，reactive 与虚拟线程以不同方式解决同一问题，而新项目若使用 Spring MVC 等命令式风格，虚拟线程通常更易调试（Java Virtual Threads Deep Dive: Project Loom in Production (2026)）。
取消语义：Rust async 中取消通过 drop future 实现，例如 Tokio 的 oneshot::Receiver 在 Drop 时向 Sender 发送关闭通知，从而实现自动撤销（Tokio — Select）；Tokio 的文档强调其利用所有权模型自动侦测「不再需要的计算」并撤销，无需用户显式调用 cancel（Tokio 中文文档）。
工作窃取调度：Tokio 开箱提供多线程、工作窃取（work-stealing）调度器，启动运行时即利用全部 CPU 核心，在最小开销下可处理每秒数十万请求（Tokio - An asynchronous Rust runtime；What is Tokio?）。
抢占式调度与 reductions：BEAM 虚拟机自行决定何时暂停并切换 Erlang/Elixir 进程，每个进程分配少量 reductions（计算单位），超出即被抢占，因此不会有单段代码饿死其他进程（Why Developers Are Turning to Elixir for Scalable Apps）。
Actor 模型的无锁特性：计算被组织为轻量、隔离、只通过消息通信的单元，没有共享状态、没有锁；JVM 上的代表实现是 Akka，其开源分支为 Apache Pekko（What Is Reactive Architecture and Why It Matters）。
背压（backpressure）：Tokio 与 Akka 均把背压作为一等能力；Akka 强调流式处理端到端非阻塞、有背压，数据不在系统内无界缓冲（akka.io）。

代表性项目 / 公司 / 产品（附官方链接）

项目 / 平台	模型	链接
OpenJDK Structured Concurrency（JEP 525）	结构化并发（预览）	openjdk.org/jeps/525
Java Virtual Threads（Project Loom）	虚拟线程	techoral.com
Go runtime	goroutine、Green Tea GC	go.dev
CPython free-threading	无 GIL 多线程	docs.python.org
Tokio	Rust 异步运行时、工作窃取	tokio.rs
Erlang/OTP / Elixir	BEAM 抢占式调度、Actor	codowl.com
Akka / Apache Pekko	JVM Actor 模型	tms-outsource.com

关键数据与评测结果（附来源）

Go 1.26 官方预期 GC 开销降低约 10%–40%（重 GC 场景），cgo 基线开销降低约 30%（go.dev/doc/go1.26、go.dev/blog/go1.26）。
有第三方资料引述 Akka 在生产部署中达到每秒 140 万笔交易、9ms 延迟（tms-outsource.com）——该数字来自厂商转引的第三方博客，未附独立评测，引用时需注意口径。
Tokio 官方称其应用可在最小开销下处理每秒数十万请求（tokio.rs）。
虚拟线程与固定线程池的基准结果因工作负载而异，公开文章中的典型生产发现按 I/O 密集型服务器场景对比（techoral.com）。

趋势与争议

协程/虚拟线程 vs 异步回调：命令式阻塞式写法（配虚拟线程）在可调试性上更优，而 reactive 在完全不阻塞线程的场景仍有优势；对既有 reactive 系统，迁移未必划算（techoral.com）。
结构化并发是否应取代 CompletableFuture：结构化并发在错误传播、取消与可观测性上更清晰，但无阻塞的异步流水线仍需要 CompletableFuture 一类工具，两者并非替代关系（javacodegeeks.com）。
语言层简化 vs 运行时复杂度：无 GIL、Green Tea GC、虚拟线程等都在把复杂度下沉到运行时；收益依赖具体负载，官方也多以「预期」「因程序而异」表述（docs.python.org、go.dev）。
生态兼容性：free-threading 的收益受第三方 C 扩展是否支持无 GIL 构建制约（docs.python.org）。
Actor 模型的适配边界：其无锁与顺序消息语义在实体级并发下收益明显，但需要改变数据建模方式（实体即单写者），并非对所有问题都适用（akka.io）。

并发与并行（Concurrency and Parallelism）

概述

最新进展（2025–2026）

核心技术与关键概念

代表性项目 / 公司 / 产品（附官方链接）

关键数据与评测结果（附来源）

趋势与争议

参考来源