Как проверить, работает ли в данный момент указанный PID, не вызывая ps из PHP?

Мы хотели бы проверить, запущен ли в данный момент указанный процесс через PHP.

Мы хотели бы просто предоставить PID и посмотреть, выполняется ли он в данный момент или нет.

Есть ли у PHP внутренняя функция, которая дала бы нам эту информацию, или нам нужно проанализировать ее из вывода «ps»?