ファイルのロック

PHP で次のような簡単なアクセスカウンタを作りました。

<?php
  $f = fopen("count.txt", "r+");
  $c = fgets($f, 10);
  $c = $c + 1;
  fseek($f, 0);
  fputs($f, $c);
  fclose($f);
?>

<p>あなたは <?php echo $c; ?> 人目のお客様です。</p>

しかし，これでは忙しいシステムでは数え間違えることがあります。アクセスカウンタくらいなら問題ないかもしれませんが，切符を発行するシステムなどではオーバーブッキングが生じる可能性があります。

そこで，次のようにファイルを排他ロックします。

<?php
  $f = fopen("count.txt", "r+");
  if (flock($f, LOCK_EX)) { // 排他ロック
    $c = fgets($f, 10);
    $c = $c + 1;
    fseek($f, 0);
    fputs($f, $c);
    flock($f, LOCK_UN);     // ロック解除
  } else {
    echo "<p>ロックできません</p>";
  }
  fclose($f);
?>

<blockquote>
<p>あなたは <?php echo $c; ?> 人目のお客様です。</p>
</blockquote>

ファイルをロックしている時間はなるべく短くする必要があります。複数のファイル（一般にリソース）をロックする場合，下手にロックするとデッドロックが発生することがあります。

【課題】ファイルを読み書きする他のプログラムについても，ロックするように手直ししてください。

Last modified: