此函数适合用于检查给定进程是否正在运行,我看到过一些解决方案,其中涉及运行系统实用工具(如 PS),再解析答案,这应该也能正常使用,但此函数允许仅通过一个调用即可检查给定 PID
函数 CheckPID( $PID )
{
// 检查传入的 PID 是否表示系统中的有效进程
// 如果是,则返回 true
// 暂时关闭非致命的运行时警告,因为我们知道
// 如果 PID 不表示有效的进程,我们会收到一个警告
$oldErrorLevel = error_reporting(0);
error_reporting( $oldErrorLevel & ~E_WARNING );
$res = pcntl_getpriority($PID);
error_reporting( $oldErrorLevel);
return ! ( $res === false);
}