PHPプロセス/サーバーがクラッシュしたときにファイルデッドロックを避ける方法は？

Question

私はPHPが初めてです。私は使えることを理解しています flock() ファイルをロックし、2人のユーザーがロック可能なファイルにコンテンツを追加するのと同じPHPファイルに到達したときのレース条件を回避します。

ただし、PHPプロセスがクラッシュするとどうなりますか？ロック可能なファイルを待っている次のユーザーはどうなりますか？サーバーがクラッシュするとどうなりますか（誰かがプラグを引く）？ロックは自動的にリリースされますか？サーバーを再起動した後、ファイルはロックされたままになりますか？

それを短くするために、PHPはそのような重要な状況（つまり、ロックが明示的にリリースされない）が適切に処理されていることを確認しますか？そうでない場合、これらの状況にどのように対処すべきですか？これらから回復する方法は？