Chapar: certified causally consistent distributed key-value stores

© 2016 ACM. Today's Internet services are often expected to stay available and render high responsiveness even in the face of site crashes and network partitions. Theoretical results state that causal consistency is one of the strongest consistency guarantees that is possible under these requir...

Полное описание

Библиографические подробности
Главные авторы: Lesani, Mohsen, Bell, Christian J., Chlipala, Adam
Другие авторы: Massachusetts Institute of Technology. Computer Science and Artificial Intelligence Laboratory
Формат: Статья
Язык:English
Опубликовано: ACM 2021
Online-ссылка:https://hdl.handle.net/1721.1/137718