プロセスIDからプロセスの有無を確認する方法

質問

PHPのCLIからの実行で排他制御を行おうと思い、ある程度出来てきたのですが、保存しておいたプロセスIDからプロセスの有無を確認する方法が分かりませんでした。

簡単な方法としてはsystemやexecを使用して
ps -ef|grep xxxx
などとすれば良いかと思うのですが、grepそのものが引っ掛かってしまったりしてあまり美しくありません。リファレンスを一通り読んで関数を探してみたのですが適切な関数が見当たりませんでした。

何か良い方法をご存知の方がいらっしゃいましたらご教示頂けますでしょうか。宜しくお願い致します。

回答No.1

kaz33 · ベストアンサー

普通に
$ ps プロセスID
ではダメなのでしょうか？

上記方法なら該当プロセスIDだけ表示されますが・・

詳細が必要なら
$ ps l プロセスID
とか．．．

aやxを指定するとps自体も表示されてしまいますね。

お礼

なるほど！
パラメータを良く調べていなかったのですが、そんな手があったのですね。

理想はPHPで直接プロセスの有無を調べたいところですが、これはこれで良さそうです。