进程如何保证并发？｜阿里巴巴算法面经解析

60 秒回答模板

进程并发是操作系统提供的一种执行能力：从宏观看，多个进程都在向前推进；从微观看，单核 CPU 上某一瞬间只能执行一个进程，多核 CPU 上则可以让多个进程真正并行。操作系统通过调度器为就绪进程分配 CPU 时间片，到期、中断、阻塞或更高优先级任务出现时触发上下文切换，保存当前进程的寄存器、程序计数器、栈指针、页表等状态，再恢复另一个进程的运行状态。为了让并发安全，进程之间默认拥有独立地址空间，一个进程不能随意访问另一个进程的内存，避免普通内存写入互相破坏。需要协作时，进程通过管道、消息队列、套接字、共享内存等 IPC 机制交换数据，其中共享内存性能高但必须配合同步手段。同步通常依赖互斥锁、信号量、条件变量、文件锁或内核对象，保证临界区同一时刻只被符合条件的执行流访问。操作系统还会通过资源分配、权限控制、阻塞唤醒、优先级调整和死锁处理策略，减少竞争、饥饿和死锁风险。和线程相比，进程隔离更强、创建和切换成本更高，适合稳定性和故障隔离要求高的场景；线程共享地址空间，通信更轻量，但更容易出现数据竞争。

考点 调度切换

主线 多核并行

易错点 把并发和并行混为一谈，认为只有多核才有并发。

深入解析

调度切换

操作系统把可运行的进程放入就绪队列，由调度器按照时间片、优先级、公平性或实时性策略挑选下一个运行者。单核环境下，并发来自快速轮转：每个进程获得一小段 CPU 时间，时间片用完、发生中断、主动阻塞或更高优先级任务到来时切换出去。上下文切换会保存当前执行现场并恢复另一个进程的现场，因此不同进程可以在逻辑上交替推进。

多核并行

在多核 CPU 上，并发不只是时间片轮转，还可以体现为真正的同时执行。调度器会把不同进程分配到不同核心上运行，并尽量考虑负载均衡、缓存局部性和 CPU 亲和性。多核提升吞吐量，但也放大共享资源竞争，例如内存总线、磁盘、网络、锁和共享内存区域，因此仍需要同步和资源管理来保证结果正确。

上下文保存

进程能够被暂停后继续运行，依赖内核维护完整的进程控制信息，包括进程状态、寄存器值、程序计数器、栈、打开的文件、信号处理信息、内存映射和调度参数。切换时内核保存这些信息，下一次调度到该进程时再恢复，使进程感觉自己一直独占 CPU。这个机制是并发执行的底座，但切换本身有成本，过度切换会降低系统吞吐。

隔离与共享

进程之间默认通过独立虚拟地址空间隔离，每个进程看到的是自己的内存视图，普通指针不能跨进程访问。这种隔离使一个进程的内存错误通常不会直接破坏另一个进程，提高并发安全性。但系统也允许受控共享，例如共享内存、内存映射文件和继承的文件描述符。关键点是：隔离解决互相破坏，共享解决协作效率，两者需要平衡。

进程间通信

进程之间不能像线程那样直接读写同一批普通变量，所以需要 IPC。常见方式包括管道用于父子或流水线通信，消息队列用于结构化消息传递，套接字用于本机或网络通信，信号用于轻量事件通知，共享内存用于大数据量高速交换。消息传递天然减少共享状态，复杂度较低；共享内存性能更好，但对同步要求更高。

同步原语

当多个进程访问同一共享资源时，必须使用同步原语保护临界区。互斥锁保证同一时刻只有一个执行者进入关键代码；信号量可控制资源计数，例如连接池或缓冲区槽位；条件变量配合锁完成等待和唤醒；文件锁或命名信号量适合跨进程场景。同步的目标不是让并发消失，而是让共享资源按可预测顺序被访问。

竞态控制

并发错误常出现在读改写操作、检查后再执行、多个资源交叉获取等场景。即使每个进程内部逻辑正确，只要执行顺序不同，结果也可能不一致。解决方式包括缩小共享状态、保证临界区原子性、用事务或幂等设计处理重复执行、采用不可变消息减少写冲突，以及通过超时、重试和回滚处理竞争失败。

死锁与饥饿

安全并发不仅要防数据错，还要防系统停住。死锁通常来自互斥、持有并等待、不可剥夺和循环等待同时成立。工程上可以通过固定加锁顺序、一次性申请资源、锁超时、尝试锁、资源分级和死锁检测来降低风险。饥饿则是某些进程长期得不到 CPU 或锁资源，调度器的公平性、优先级老化和合理的锁策略都能缓解。

线程对比

进程和线程都能支持并发，但边界不同。进程拥有独立地址空间，故障隔离强，一个进程崩溃通常不直接拖垮其他进程，适合多服务、多任务和安全边界明显的场景；线程共享进程内存，通信成本低、创建和切换更轻，但共享变量更容易产生数据竞争。面试中要说明：进程并发靠内核调度和 IPC，线程并发更多依赖共享内存和线程同步。

易错点

把并发和并行混为一谈，认为只有多核才有并发。
只回答时间片轮转，忽略地址空间隔离、IPC 和同步机制。
认为进程之间完全不能共享数据，漏掉共享内存、文件映射和内核对象。
认为有了共享内存就天然安全，忽略锁、信号量和临界区保护。
只讲锁，不讲死锁、饥饿、优先级反转和资源竞争问题。
把进程并发的责任说成应用自己完成，忽略操作系统调度器的核心作用。
回答中过度强调概念定义，缺少上下文切换、阻塞唤醒、抢占等运行机制。
无法区分进程和线程在隔离性、通信成本、切换成本和故障影响上的差异。

面试官追问

单核 CPU 上为什么也能说进程并发？

因为并发关注一段时间内多个任务交替推进。单核同一瞬间只能运行一个进程，但时间片很短，调度器频繁切换执行现场，用户感知上多个进程都在运行。

上下文切换为什么有开销？

切换需要从用户态进入内核态，保存和恢复寄存器、程序计数器、栈、页表等状态，还可能导致缓存和 TLB 命中率下降，所以频繁切换会消耗 CPU。

进程之间为什么不能直接访问彼此内存？

因为每个进程运行在独立虚拟地址空间中，地址转换和访问权限由内核与硬件共同控制。这样可以防止一个进程的错误写入破坏其他进程。

共享内存为什么还需要锁？

共享内存只解决数据能被多个进程看到的问题，不保证访问顺序。如果多个进程同时读改写同一块数据，仍可能发生丢失更新、脏读或结构破坏。

进程并发和线程并发怎么选？

需要强隔离、独立部署、故障不互相影响时倾向进程；需要低成本共享数据、频繁协作和轻量切换时倾向线程。实际系统常常是多进程加多线程混合。

如何避免进程间死锁？

常见做法包括统一资源申请顺序，减少持锁时间，避免持锁等待外部 I/O，使用超时和 try-lock，必要时做死锁检测、资源回收或进程重启。