php - 如何对 `exec()` 的调用施加时间限制？

Question

我正在尝试用 PHP 编写在线法官。我的代码目前看起来像:

exec("gcc /var/www/qwerty.c -o /var/www/binary",$output,$returnval);
print_r($output);
exec("cat /var/www/qwe.txt | /var/www/binary",$output,$returnval);
print_r($output);

但是，我希望 exec 产生的每个进程最多有 1 秒的运行时间。我不知道该怎么做。set_time_limit() 不工作

Answer 1

我会使用 proc_按照@Adam Wright 的建议运行，但是类 Linux 环境的快速替代方法是在命令之前使用 GNU timeout 命令:

// If it took more than 1 second, $returnval will got the exit code 124
exec('timeout 1 gcc /var/www/qwerty.c -o /var/www/binary', $output, $returnval);