C++ 多线程与并发系统取向（一）—— 从线程模型开始（类比 Java 理解）
一、为什么必须先讲“线程模型”？
很多人学 C++ 多线程，是从std::thread开始的。
但问题是：
你真的知道线程在“并发什么”吗？
如果你不知道线程共享什么、隔离什么，你就不知道应该保护什么。
这就是并发系统取向的第一步：
先理解线程模型，再谈加锁。
二、进程 vs 线程（Java 类比）
1️⃣ 进程是什么？
操作系统中的资源单位。
- 拥有独立内存空间
- 拥有文件描述符
- 拥有自己的地址空间
在 Java 中：
- 每个 JVM 进程就是一个独立进程
- 运行一个
java -jar xxx.jar就是启动一个进程
2️⃣ 线程是什么？
线程是：
CPU 调度的最小单位
- 同一个进程内的线程
- 共享同一块内存空间
- 共享堆
- 共享全局变量
但：
- 每个线程有自己的栈
3️⃣ C++ vs Java 对比
| 项目 | C++ | Java |
|---|---|---|
| 创建线程 | std::thread | new Thread() |
| 内存模型 | 共享堆 | 共享堆 |
| 栈 | 每线程独立 | 每线程独立 |
| 垃圾回收 | 无 | 有 GC |
| 资源释放 | 手动 | JVM 管理 |
⚠ 关键区别：
C++ 没有 GC。
所以c++在多线程中管理的是：
- 数据竞争
- 资源释放
- 生命周期
风险比 Java 大。
三、线程到底“共享”什么？
每个线程：
拥有：
- 自己的栈
- 自己的函数调用链
- 自己的局部变量
所有线程共享：
- 全局变量
- 静态变量
- 堆内存
- 文件
- socket
四、最重要概念：数据竞争（Data Race）
如果：
- 两个线程
- 同时访问同一个变量
- 至少一个在写
- 没有同步手段
那就是：
数据竞争（Undefined Behavior）
注意：
不是“结果错误”。
而是：
未定义行为。
可能对，可能错，可能崩溃。
五、最小示例：C++ 数据竞争
#include <iostream> #include <thread> int counter = 0; void task() { for (int i = 0; i < 100000; ++i) { counter++; } } int main() { std::thread t1(task); std::thread t2(task); t1.join(); t2.join(); std::cout << counter << std::endl; }你猜结果是多少？
理论上：
200000
实际可能：
173456 189234 200000原因：
counter++ 不是原子操作
它其实是：
- 读取
- 加 1
- 写回
两个线程可能交错执行。
六、Java 对比这个例子
Java 代码：
static int counter = 0; static void task() { for (int i = 0; i < 100000; i++) { counter++; } }结果一样会错。
Java 解决方式：
synchronizedAtomicIntegerC++ 对应：
std::mutexstd::atomic
七、线程生命周期（必须理解）
1️⃣ 创建
C++：
std::thread t(task);
Java：
new Thread(() -> task()).start();
2️⃣ join（等待结束）
C++：
t.join();
Java：
t.join();
几乎一样。
3️⃣ detach（危险）
C++ 允许：
t.detach();
线程变成“后台线程”。
主线程退出：
进程结束 → 所有线程被杀。
⚠ 工程里：
99% 不要用 detach
Java 没有这种用法（你不能让 JVM 不知道线程状态）。
八、线程模型核心图（必须记住）
进程 ├── 线程1（独立栈） ├── 线程2（独立栈） └── 线程3（独立栈） 共享： 堆 全局变量 静态变量九、系统取向思维：你要问的 3 个问题
写任何并发代码前，问自己：
1️⃣ 这个数据是否被多个线程访问？
2️⃣ 是否存在写操作？
3️⃣ 谁负责保护它？
如果第 1 + 第 2 = YES
那就必须同步。
十、C++ 并发的风险比 Java 高在哪？
Java：
- 有 GC
- 有内存模型规范
- synchronized 语义强
C++：
- 没 GC
- 锁用错直接 UB
- 原子用错更隐蔽
- 资源释放需要你自己管
但：
C++ 性能控制能力更强。
十一、本篇总结
线程模型核心记住一句话：
线程私有栈，共享堆；
共享即风险；
写必加锁。
十二、下一篇预告
下一篇我们进入：
资源保护（一）：std::mutex 与 lock_guard
我们会讲：
- 什么是临界区
- 为什么 RAII 是 C++ 的核心思想
- lock_guard 为什么比手动 lock/unlock 安全
- 锁的粒度怎么设计