/孤儿进程

Created Mon, 29 Jan 2024 10:31:56 +0800 Modified Fri, 09 Aug 2024 13:25:47 +0000
868 Words 4 min

问题背景

前两天室友问我,怎么 kill 掉在 Shell 脚本中调用的 Python 进程,我第一时间想到的是:打开 htop,把它调整成树形布局,然后搜索 Shell 脚本,选中之后把它 kill 掉,Python 进程应该也会被 kill 掉。

image-20240129104955840

但是结果是 Python 进程并没有变红,而是成为了 init 进程的子进程。

孤儿进程是怎么产生的

大二学 OS 学到父进程和子进程的概念的时候,还是只是以为父进程和子进程之间应该存在牢固的控制关系,父进程退出时子进程也应该默认退出。

但是 OS 的实际行为不是这样,子进程和父进程只是说明了二者之间存在谁创建谁的关系,并不存在牢固的控制关系(而是类似于现实中的父子关系)。

  • 父进程结束时子进程并没有结束,子进程成为孤儿进程,会被 init 进程收养

  • 父进程崩溃或异常终止

  • 并发和竞争条件导致父子进程的结束顺序错误

如何避免孤儿进程的产生

其实就是需要在程序设计时,考虑到上述的这几种可能导致孤儿进程产生的原因,然后对异常情况进行注册和处理。对于开始时的这个引入问题而言,答案可以写成以下两个脚本:

#!/bin/bash

# 定义一个函数来处理信号
cleanup() {
	echo "捕捉到终止信号,正在终止 Python 进程..."
	kill $PYTHON_PID
	exit
}

# 在接收到 SIGINT || SIGTERM || SIGKILL 时执行 cleanup 函数
trap 'cleanup' SIGINT SIGTERM

# 启动 Python 脚本并获取其进程 ID
python example_python.py &
PYTHON_PID=$!

# 等待 Python 进程结束
wait $PYTHON_PID
import time
import signal
import sys


# 定义信号处理函数
def signal_handler(signum, frame):
    print("Python 脚本接收到终止信号,正在退出...")
    sys.exit()


# 设置 SIGINT SIGTERM 的处理器
signal.signal(signal.SIGINT, signal_handler)
signal.signal(signal.SIGTERM, signal_handler)

# Python 脚本的主逻辑
try:
    while True:
        print("Python 脚本正在运行...")
        time.sleep(1)
except KeyboardInterrupt:
    pass

通过在父进程和子进程中都注册相应的事件,就可以保证 kill 作为父进程的 Shell 进程之后,作为子进程的 Python 进程也会终止。

实际演示:chmod +x example.sh example_python.py && bash example.sh

image-20240129110124042

执行 SIGTERM 信号的 kill 之后,父子进程都被终止。

image-20240129110653343

需要注意的是,如果使用 kill -9 $PARENT_PID 的形式来杀死父进程的话,子进程并不会被杀死。

因为 9 这个编号对应的是 SIGKILL 信号,SIGKILL 信号被设计为不能被捕捉、阻塞或忽略的。SIGKILL 的主要用途是允许操作系统或用户强制终止一个进程,即使该进程处于非响应状态。(类似的还有 SIGSTOP 信号,用于暂停一个进程的执行,也不能被捕捉、阻塞或忽略。)

所以我们也无法在 Python 脚本中注册监听这个信号(强行注册 Python 脚本会无法运行)。

image-20240129111153165