index icon indicating copy to clipboard operation
index copied to clipboard

Index.v is racy

Open samoht opened this issue 3 years ago • 0 comments

See https://github.com/mirage/index/pull/339#discussion_r669080547

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.

samoht avatar Jul 15 '21 12:07 samoht