Mentions légales du service

Skip to content

Draft: Resolve "RocksDBEmul.removeLiveLevelPair() deletes pair in the wrong order"

Jaurel Fosset requested to merge 4-removelivelevelpair-fix into main

Resolves #4 Inverts the order of operation in RocksDBEmul.removeLiveLevelPair() : first we delete the filename from the manifest, then we delete the file itself. Then implement a garbage collection when we recover that deletes files removed from the manifest and not deleted

Edited by Jaurel Fosset

Merge request reports