进程和线程有什么区别？

Question

进程和线程有什么区别？

IT Interview Practice · Accepted Answer

**进程（process）** 是一个正在运行的程序，拥有自己隔离的内存（地址空间）；**线程（thread）** 是进程*内部*的一个执行单元。一个进程可以持有多个线程，这些线程**共享**该进程的内存——但每个进程与其他所有进程相互隔离。

## 各自拥有什么

```text
PROCESS A                          PROCESS B
┌─────────────────────────────┐    ┌───────────────┐
│ address space (code/heap)   │    │ address space │
│ file descriptors, PID       │    │  (isolated)   │
│ ┌────────┐ ┌────────┐       │    │  ┌────────┐   │
│ │thread 1│ │thread 2│  ...  │    │  │thread 1│   │
│ │ stack  │ │ stack  │       │    │  │ stack  │   │
│ │ regs/PC│ │ regs/PC│       │    │  └────────┘   │
│ └────────┘ └────────┘       │    └───────────────┘
│  ▲ shared heap, globals, fds│
└─────────────────────────────┘
```

- **每个进程独有：** 地址空间、打开的 file descriptor、PID——由 kernel 完全隔离。
- **每个线程独有：** 它自己的 **stack**、寄存器和 program counter（PC）。
- **进程内线程间共享：** heap、全局变量和打开的文件。

## 实践中的取舍

- **线程**创建代价小、通信即时（共享内存）——但一个线程中的 bug（错误指针、崩溃）会拖垮整个进程，而共享数据需要 lock。
- **进程**更重，必须用 IPC 通信，但隔离意味着一个崩溃的进程不会破坏另一个——这正是浏览器用来 sandbox 各个标签页的模型。

同一进程的**线程之间**做 context switch 比进程之间更便宜，因为内存映射（及其 TLB entry）不需要改变。

## 为什么这很重要

“进程 vs 线程”是最常见的操作系统面试题之一，因为答案会驱动真实的设计选择：在一个 service 内部用线程做共享内存的并行，用独立进程做故障隔离和安全 sandbox。准确知道什么是共享的（heap、fd）与什么是私有的（stack、寄存器），也是理解 race condition 以及为什么需要同步的基础。

各自拥有什么

实践中的取舍

为什么这很重要

相关问题