如何在 30 秒内确保子进程彻底清理：Corral 的实战应用与隐藏陷阱

在使用 CI/CD 任务或 AI 代理工具时，经常会因为子进程残留、端口冲突或 IO 卡住而导致任务失败。Corral 通过独立会话和可选的 cgroup 机制，确保命令执行后所有衍生进程被强制终止。它的核心原理是隔离进程组和资源，但实际应用中仍有几个关键点需要注意。

为什么标准 runner 会遗漏进程清理

1. 双重 fork + setsid 机制

进程在子进程中再次调用 fork 和 setsid()，形成独立会话后，父进程退出时，新的进程组（由子进程组长管理）无法接收到信号。这在 GitHub Actions 或 GitLab CI 等平台中常见，因为它们只向直接启动的进程或其原始进程组发送终止信号。

1. 管道输出未关闭导致卡住

运行器等待子进程的标准输出管道关闭。如果后台进程仍持有写端口，管道永远不会达到 EOF，导致运行器无法继续，形成死锁。这种情况在长时间运行的任务中尤为明显。

1. 进程忽略 SIGTERM 信号

即使接收到终止信号，某些进程会选择忽略，继续占用端口或文件锁，导致后续任务因资源冲突而报错。这种情况在自定义脚本或复杂依赖链中更为常见。

Corral 的解决方案与多重保障

Corral 通过三种机制确保进程清理：

• 独立会话：通过 setsid 创建全新的会话，隔离子进程的信号流。即使命令内部再次 fork，也不会将信号传回父进程。
• cgroup 优先级：在支持 cgroup 的环境下，Corral 将整个进程树封装在临时 cgroup 中，结束时直接删除该 cgroup，确保所有子进程一起终止。
• /proc 追踪模式：在无 cgroup 权限的情况下，Corral 通过遍历 /proc 树监控子进程，但只能在父进程死亡后捕获已切换会话的进程，且无法处理交给 systemd 的服务或跨用户进程。

如果清理失败，Corral 会以退出码 120 提示，提醒用户手动干预。例如，在返回码为 120 时，可以通过 ps -ef | grep yourcommand 检查残留进程，并手动杀死剩余进程。

快速部署与常见坑点

在实际使用中，Corral 的基本命令如下：

corral --wall 30s -- yourcommand arg1 arg2

• --wall 30s 指定最大运行时间，超时后 Corral 会强制终止进程树。
• -- 后面的参数视为命令行，避免与工具参数冲突。

注意事项包括：

• cgroup 权限：创建临时 cgroup 需要 root 或 CAP_SYS_ADMIN 权限。普通 CI 环境缺少此权限时，Corral 会降级到 /proc 追踪模式。
• 跨用户进程：如果子进程切换到其他用户（如 sudo -u），/proc 追踪将失效，导致进程残留。
• systemd 交接：某些守护进程会将自身交给 systemd，即使在独立会话中，也会在父进程退出后被 systemd 接管，Corral 无法清理。
• 资源压力：高并发 CI 环境中频繁创建 cgroup 可能导致内核 cgroup 控制块耗尽，需要预先配置资源限制。

扩展应用：游戏逻辑中的“CLAMP”机制

在某些游戏逻辑中，如 BAS 2025 的马匹追逐游戏，类似的“CLAMP”机制用于确保马匹不会超出游戏区域。例如：

• 每轮可向马匹移动 1-5 步，但移动超过半程会导致马匹逃跑。
• 如果马匹距离轨道仅剩 2 步，马匹可能会被“踢”出游戏场景。
• 变量 HORSE_MOVES 和 HORSE_CLAMP 确保马匹不会离开预定义区域，类似于 Corral 确保进程不会残留的作用。具体代码片段如下：

: GOSUB HORSE_MOVES
H=H+L*(P+1)
: GOSUB HORSE_CLAMP
GOTO RESET_STATUS

这段代码在检查马匹位置后，通过 HORSE_CLAMP 确保其不超出边界，类似于 Corral 通过 cgroup 或 /proc 追踪确保进程不残留的逻辑。