This idea has been superseded by the ideas described at (p3,mrc)

The diode directory is a mutable object that between mutations provides a mapping of a name onto a 32 bit number. Additions and deletions may be made to a diode directory. A name is just what a record collection thinks a name is. A diode directory comes with a hole-free factory that produces an associated object that maps a name to its 32 bit value.



A directory reader accepts a name and returns a 32 bit value along with a 64 bit version value. Another call provides just the version value. A new version value is produced every time the underlying directory is changed.

Design Notes: