May 11, 2021

If the store terminates without clearing the flush lock file, the store files are corrupt. That’s the purpose of the flush lock, to detect store corruption and prevent use of a corrupt store, which would be undefined behavior.