ファイルのロック

tcov Enhanced は、ブロックカバレージデータファイルの更新にシンプルなファイルロッキングメカニズムを使用します。tcov Enhanced は、tcovd ファイルと同じディレクトリに生成された単独ファイルを使用します。そのファイル名は tcovd.temp.lock です。カバレージ解析用にコンパイルされたプログラムの実行が手動で終了された場合、ロックファイルは必ず手動で削除してください。

ロックの競合が存在する場合、このロッキングスキームは指数バックオフを行います。そして、5 回試みた後、tcov ランタイムがロックを獲得できないと、tcov はあきらめ、その実行用のデータは失われます。この場合、以下のメッセージが表示されます。

tcov_exit: temp file exists, is someone else running this executable?