search

bbengfort / fluidfs

A highly consistent distributed filesystem built with FUSE
http://www.fluidfs.com
MIT License
1 stars 0 forks source link

Linearizable w/ timeouts? #10

Open keleher opened 7 years ago

keleher commented 7 years ago

Strong guarantees for correctness: linearizable w/ timeouts, is this still strong? E.g. if we implement a lease mechanism such that the leader can take away locks, is this still linearizable?

See #11 for second question.