2005-01-05 webdiff-2.7リリース Devel Web http://fhuman.esys.tsukuba.ac.jp/~nozom/wiki.cgi?webdiffこのバージョンアップの目玉は次の2点。 更新間隔の動的な調整を実装 マルチタスク処理方式の変更(ポータビリティ向上のため) ページ更新確認のアルゴリズム 最後に更新されてから、更新間隔だけ時間が経っていれば更新確認処理を行う。そうでなければ何もしない。 更新があれば、(更新時刻-前回更新時刻)/2を更新間隔とする。ただし更新時刻が得られない場合は、最後に更新確認を行った時刻と現在時刻の平均を更新時刻とする。 更新がなければ、更新間隔を1.5倍する。 更新間隔のデフォルトは24時間。 いろいろ考えたけど、結局こんなシンプルな方法になった。前回挙げた確率分布との関連で言えば、ページが更新される事象の発生は一様分布を仮定する以外ないので、期待値は平均になって、1/2とか1.5(=1+0.5)という数字が出てくる。
