php - is_dir の結果はキャッシュされますか?

Question

別のプロセスが完了するのを待つ単純な関数を作成しました（Linuxシステム上）：

function WaitPID($pid)
{
    while (is_dir('/proc/' . $pid))
        usleep(2500);
    return true;
}

ただし、この関数は返されないため、スクリプトが無期限にハングします。

キャッシュされた結果ですか、is_dir()それとも何か間違ったことをしていますか?

いずれにせよ、機能を修正して期待どおりに動作させるにはどうすればよいですか?