同じphpファイルの実行が重複しないような処理にしたいです。
getmypid() でプロセスIDをファイルに保存して、同じPIDが実行中でなければ重複していないと判断、みたいに考えてみましたが
これだと同じプロセスIDが別のプログラムに割り振られてしまった場合、
重複していないのにそう判断してしまうなど確実ではないので、もうすこしスマートな方法があれば教えていただけないでしょうか。