7becf4e389
why: It is not safe in general to recycle vertex IDs while the `RocksDb` cache has `VertexID` rather than `RootedVertexID` where the former type seems preferable. In some fringe cases one might remove a vertex with key `(root1,vid)` and insert another vertex with key `(root2,vid)` while re-using the vertex ID `vid`. Without knowledge of `root1` and `root2`, the LRU cache will return the same vertex for `(root2,vid)` also for `(root1,vid)`. |
||
---|---|---|
.. | ||
rdb_desc.nim | ||
rdb_get.nim | ||
rdb_init.nim | ||
rdb_put.nim | ||
rdb_walk.nim |