diff options
| author | Arseny Kapoulkine <arseny.kapoulkine@gmail.com> | 2017-10-20 21:57:14 -0700 |
|---|---|---|
| committer | Arseny Kapoulkine <arseny.kapoulkine@gmail.com> | 2017-10-20 21:57:14 -0700 |
| commit | 3af93a39d7dddadc13fba978da113aa847509ee5 (patch) | |
| tree | 4e7eacd5e4b52e8f9e45c8f3f52fdcdf06785196 /Makefile | |
| parent | b0fc587a7fbeb902bb0760dba73ee621105a86bc (diff) | |
Clarify a note about compact hash behavior during move
After move some nodes in the hash table can have keys that point to
other; this makes the table somewhat larger but this does not impact
correctness.
The reason is that for us to access a key in the hash table, there
should be a compact_pointer/string object with the state indicating that
it is stored in a hash table, and with the address matching the key. For
this to happen, we had to have put this object into this state which
would mean that we'd overwrite the hash entry with the new, correct
value.
When nodes/pages are being removed, we do not clean up keys from the
hash table - it's safe for the same reason, and thus move doesn't
introduce additional contracts here.
Diffstat (limited to 'Makefile')
0 files changed, 0 insertions, 0 deletions