鍋あり谷あり

テーマを決めずに適当に書いています。

ファイルのID

ふと思ったのだが。
世の中の全てのファイルに、MD5 とか CRC みたいな方法で、ID をつけることを考える。
で。一つのハードディスクで、毎秒百万個、ユニークなファイルができるとする。
ハードディスクは、平均一人当たり千個持っているとする。
地球の人口は、平均一兆人だとする。
そんな惑星が千個あるとする。
そのなかで、百万年にわたって生成される全てのファイルを考えることにすると。
ファイルの個数は、私の計算が間違っていなければ、2の138乗個 ほどになる。
そうすると、ID には 320bit もあれば、非常に十分であることがわかる。320bit といえば、40バイト。
思ったより少ない。

なんてことを考えながら、ベッドで横になっていると、よく眠れる。