金蝉脱壳：Go 服务无损重启的 Unix 底层逻辑

在开发 knowly 这样的守护进程时，"自我重启"（Self-Restart）是一个看似简单实则暗藏杀机的功能。

很多 Go 开发者会尝试用 Goroutine 配合 exec 来实现重启，结果往往是进程"自杀"后，新进程也跟着陪葬。这背后的原因并非 Go 语言的 Bug，而是对 Unix 进程组（Process Group）和信号传递（Signal Propagation）机制的误解。

本文将深度拆解进程重启的经典陷阱，并给出一个工业级的"金蝉脱壳"方案。

1. 旧逻辑的死穴：被连坐的 Goroutine

典型错误代码：

// 假设这是处理 HTTP 重启请求的 Handler，运行在 Daemon 的主进程中  
go func() {  
    time.Sleep(2 * time.Second)  
    exec.Command(exePath, "--daemon").Start() // 试图启动新进程  
}()  
  
syscall.Kill(pid, syscall.SIGTERM) // 杀掉自己  

为什么失败？

1. 进程边界问题：Goroutine 不是进程，它是依附于主进程的轻量级线程（M 调度 G）。
2. 信号的连坐效应：SIGTERM 是发给进程的。当主进程收到信号并开始执行退出清理逻辑（exit(0)）时，操作系统内核会强制回收该进程的所有资源，包括所有线程。
3. 后果：那个负责启动新进程的 Goroutine 还没来得及执行 exec，或者刚刚 fork 出子进程，父进程就被销毁了。子进程虽然可能被 init (PID 1) 接管，但在高并发或资源紧张时，极易成为孤儿或僵尸进程。

一句话总结：自己杀自己，杀得太彻底，把负责善后的仆人也一起砍了。

2. 新逻辑的精妙之处：金蝉脱壳

要实现完美的无损重启，必须让"重启脚本"独立于"当前进程"的生命周期。

工业级解决方案：

script := fmt.Sprintf(  
    "kill -TERM %d; while kill -0 %d 2>/dev/null; do sleep 0.2; done; sleep 0.5; exec %s --daemon",  
    pid, pid, exePath,  
)  
restartCmd := exec.Command("setsid", "sh", "-c", script)  
restartCmd.SysProcAttr = &syscall.SysProcAttr{Setpgid: true}  
restartCmd.Start()  

这段代码利用了三个核心的 Unix 系统特性，实现了真正的"金蝉脱壳"。

第一重保障：setsid —— 脱离父子关系

• 原理：setsid 命令会创建一个新的会话（Session）和进程组。
• 作用：默认情况下，子进程属于父进程的进程组。父进程（Daemon）死的时候，终端可能会给整个进程组发 SIGHUP 信号。
• 效果：setsid 让重启脚本变成了"孤儿"（但由系统托管），哪怕 Daemon 进程死了，只要系统没关机，这个 sh -c 脚本就会继续运行，不受 Daemon 生死的影响。

第二重保障：while kill -0 —— 死等确认

• 原理：kill -0 $PID 不发送任何信号，仅检查该 PID 是否存在且当前用户有权限访问。
• 作用：这是进程同步的原子锁。
  • 如果旧 Daemon 还没退出（处于清理文件、关闭连接的状态），kill -0 返回真，循环继续 sleep。
  • 一旦旧 Daemon 进程结构体被内核回收，kill -0 返回假，循环退出。
• 效果：精确解决了 PID 文件锁冲突 和 端口占用 问题。确保旧进程"死透"后，新进程才尝试 Bind 端口。

第三重保障：exec —— 原地替换

• 原理：脚本最后使用的是 exec $exePath 而不是 $exePath &。
• 作用：exec 会用新程序的代码段和数据段替换当前 Shell 进程的内存空间，而不是创建新的子进程。
• 效果：这样做的好处是不留僵尸进程。setsid 启动的进程最终直接变成了新 Daemon，进程树上没有中间残留的 sh -c 节点。

3. 完整流程对比

步骤	旧逻辑（失败）	新逻辑（成功）
1. 触发	Web Handler 收到请求	Web Handler 收到请求
2. 分身	主进程内启动 Goroutine (依附)	主进程启动 setsid 子进程 (独立)
3. 处决	主进程收到 SIGTERM，全员处决	子进程发 SIGTERM 给主进程
4. 等待	❌ Goroutine 随主进程被杀	✅ 子进程循环 kill -0 等待主进程尸体凉透
5. 复活	❌ 无人执行，系统僵死	✅ 子进程 exec 原地复活为新 Daemon

4. 核心认知

Goroutine 只是 Runtime 的调度单位，不是 OS 的进程替身。

在涉及进程生命周期管理（启动、停止、重启）时，必须跳出 Go 的 Runtime 视角，回到 OS 的视角：

• 利用 Session 隔离生命周期。
• 利用 Signal 实现进程间通信与同步。
• 利用 Exec 实现进程身份的无缝切换。

这才是 Unix 哲学中"组合小工具解决大问题"的极致体现。