[darcs-users] patch file naming
zooko at zooko.com
Fri Mar 19 16:16:54 UTC 2004
Serial numbers are safer than timestamps, because (a) synchronization between
clocks on different computers is not robust even in the non-adversarial case,
and is impossible (for current state of the art) in the adversarial case.
(b) the monotonicity of the clock on a single computer is not robust even in
the non-adversarial case, and is even less robust in the adversarial case.
Nonetheless, humans really like timestamps. One suggestion would be to make a
serial number be the only part that is meaningful to the computer -- the only
part included in the hashed name -- and keep the "nominal timestamp" as a
convenience to the user. Another, perhaps less safe alternative, would be to
included both in the name.
More information about the darcs-users