[darcs-users] patch file naming

Zooko O'Whielacronx 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.  

Regards,

Zooko





More information about the darcs-users mailing list