Index.v is racy #340
Description
See #339 (comment)
If a process opens twice the store in RW mode, this could start a (destructive) recovery process on both side and let the index in an inconsistent state.
{{ message }}
See #339 (comment)
If a process opens twice the store in RW mode, this could start a (destructive) recovery process on both side and let the index in an inconsistent state.