Unix での PID ファイルの適切な処理について詳しく説明している、評判の良いリファレンスはどこにありますか?
Unix オペレーティング システムでは、特殊なロック ファイル (PID ファイル) を使用してプログラム (多くの場合、デーモン) を「ロック」するのが一般的です。
これは予測可能な場所にあるファイルで、多くの場合「/var/run/foo.pid」です。プログラムは、起動時に PID ファイルが存在するかどうかを確認し、ファイルが存在する場合はエラーで終了することになっています。したがって、これは一種の助言的で協調的なロック メカニズムです。
このファイルには、現在ロックを保持しているプロセスの数値プロセス ID (したがって「PID ファイル」という名前) である 1 行のテキストが含まれています。これにより、ロックを保持しているプロセスへのシグナルの送信を自動化する簡単な方法が可能になります。
私が見つけられないのは、PID ファイルを処理するための予想される動作または「ベスト プラクティス」の動作に関する適切なリファレンスです。さまざまなニュアンスがあります: ファイルを実際にロックする方法 (気にしないでください。カーネルを使用しますか? プラットフォームの非互換性についてはどうですか?)、古いロックの処理 (静かに削除しますか? いつチェックするか?)、正確にいつロックを取得して解放するかなど。
この小さなトピックについて、尊敬され、最も権威のある参考文献(理想的には W. リチャード・スティーブンスのレベル) をどこで見つけることができますか?