操作系统如何应对fork炸弹？相关防护机制与策略详解

关于代码运行效果 #

import os
while 1:
    os.fork()

在未做特殊资源限制的普通环境中直接运行该代码，确实会导致系统卡顿甚至崩溃。这段代码会无限循环调用os.fork()生成子进程，进程数量呈指数级增长，快速耗尽系统的PID号、内存、CPU调度资源，最终导致正常进程无法运行。

操作系统抵御fork炸弹的内置机制 #

• 单用户进程数配额限制：多数系统会给普通用户设置最大可运行进程数上限，比如Linux系统中可通过ulimit -u查看和临时调整该阈值，Windows系统可通过作业对象（Job Object）限制进程组的进程总数。当用户的进程数触及配额后，后续fork操作会直接失败，避免单个用户的fork炸弹占满全系统资源。
• 全局PID数量上限：操作系统内核会设置全局的最大PID号阈值，进程ID不会无限分配，PID耗尽后所有进程的fork操作都会失败，从根源上避免进程数无限增长。
• OOM（内存不足）杀死机制：当系统内存被fork炸弹的大量进程占满时，内核的OOM killer会自动扫描进程，优先杀掉优先级低、内存占用高、非系统核心的进程，fork炸弹生成的进程通常符合被优先杀死的条件，会被批量清理释放资源。
• 资源控制组（cgroups，Linux特有）：系统可通过cgroups对指定用户、进程组的可用资源做细粒度隔离限制，包括允许的最大进程数、CPU使用率上限、内存上限等。就算fork炸弹跑在被cgroups限制的组内，最多耗尽该组的配额，不会影响到全局系统和其他组的进程，现在的容器技术基本都依赖该机制隔离风险。
• 调度器优先级动态调整：系统进程调度器会自动降低长时间占用CPU、无IO交互的进程的优先级，fork炸弹生成的进程都属于CPU密集型的低优先级任务，调度器会优先保证系统核心进程（如登录进程、系统服务进程）的资源占用，避免系统完全失去响应。

内容的提问来源于stack exchange，提问作者fish