进程和线程有什么区别？

核心回答

进程是程序运行时的资源与隔离边界，线程是进程内的一条执行流。 一个进程至少有一个线程，也可以有多个线程协作，主要从四个方面比较：

• 资源：不同进程通常各有独立虚拟地址空间；同一进程内的线程共享代码、全局数据、堆和打开的文件等资源，但各有栈、寄存器、程序计数器和线程本地存储。
• 调度和开销：在常见的内核线程模型中，操作系统调度可运行的线程，多条线程可以在多个核心上并行。同一进程内切换线程通常不用更换地址空间；跨进程切换还涉及地址空间等状态，创建和通信的开销通常也更高。
• 通信与同步：进程间常用管道、Socket、共享内存等 IPC；线程可以直接访问共享对象，协作更方便，但读写共享可变数据时要处理竞争与可见性。
• 隔离与故障：进程的隔离更强，一个进程的内存错误通常不会直接破坏另一个进程；线程共享内存，内存破坏或进程级终止可能影响所有线程。但普通任务异常是否导致整个进程退出，要看错误类型和语言运行时。

因此，需要独立生命周期、故障隔离时更适合多进程；同一应用中需要共享数据、低成本协作时更适合多线程。

“共享资源、各有现场”具体是什么意思？

假设一个服务进程里有两个工作线程处理请求。两个线程都能访问进程中的同一份商品缓存，但各自执行不同函数、处理不同请求，因此需要分别保存调用栈、当前指令位置和寄存器状态。切换回来时，才能从各自暂停的位置继续运行。

“各有栈”说的是执行状态分别维护，不代表栈之间有进程级的访问隔离。它们仍位于同一进程的地址空间中；在允许直接操作内存的语言里，经由有效地址也可能访问其他线程的栈内存，访问还受对象生命周期和同步规则约束。

共享也不等于自动安全。两个线程同时读取同一个计数器、分别加一并写回，可能覆盖彼此的更新。需要根据操作选择互斥锁、原子操作或线程安全队列，保证必要的原子性、可见性与执行顺序；只读且正确初始化的数据则通常更容易共享。

为什么进程通信更复杂，切换通常更重？

不同进程里的同名变量不是同一个对象。比如两个服务进程都维护自己的会话历史字典，进程 A 更新后，进程 B 的字典不会自动变化。可以通过管道或 Socket 传递消息，也可以把公共状态放进 Redis 等外部服务；共享内存则需要显式建立映射，并额外解决同步。

共享内存不等于取消进程边界：双方只是把一片共享区域映射进各自地址空间，其余内存仍各自独立。它减少了数据搬运，但不能自动保证多方读写正确。

上下文切换时，两种情况都要保存和恢复寄存器、栈指针等执行现场。跨进程还可能更换页表等地址空间状态，影响地址转换缓存和 CPU 缓存的局部性；这不是把整个进程内存复制一遍。同进程的线程虽省去部分工作，仍有调度、缓存和锁竞争成本，因此不能用固定倍数概括差异，也不能推导出线程越多越快。

故障隔离应该怎样理解？

线程共享进程资源，影响也可能随之扩散：一个线程关闭共享连接、破坏公共数据，或触发导致进程退出的故障，会影响其他线程。普通任务报错与进程被终止是两回事，不能把所有异常都称为“线程崩溃后整个进程必崩溃”。

多进程能更好地限制直接内存破坏的范围，也便于单独重启工作进程；代价是通信、资源管理和状态协调更复杂。它仍可能通过数据库、文件或共享内存影响其他进程，所以故障隔离还要配合资源限制与依赖治理。

常见追问

一个线程阻塞，整个进程都会停吗？ 在常见的一对一内核线程模型中，阻塞通常只让当前线程等待，其他可运行线程仍能被调度。不过，如果其他线程都在等待它持有的锁，业务仍可能整体停滞；多对一的用户线程模型又有不同限制。

多线程一定能利用多核吗？ 多个内核线程具备被调度到不同核心的条件，但实际并行还取决于可运行任务数量、CPU 配额、锁竞争以及语言运行时的约束。

进程、线程和协程怎样进一步区分？ 协程增加了运行时如何管理可挂起任务的问题，可继续看进程、线程和协程有什么区别？。

对应教程

参考资料