exec() with timeout

Я ищу способ запустить процесс PHP с таймаутом. В настоящее время я просто использую exec(), но он не предоставляет опцию таймаута.

Я также пробовал открыть процесс с помощью proc_open() и использовать stream_set_timeout() на результирующем канале, но это тоже не сработало.

Итак, есть ли способ запустить команду (точнее, PHP-команду) с таймаутом? (PS: Это для случаев, когда ограничение max_execution_time не работает, так что не нужно предлагать это.)

(Кстати, мне также нужно получить код возврата процесса.)