会员服务
ZooKeeper是一个分布式的，开放源码的分布式应用程序协调服务，是Google的Chubby一个开源的实现，是Hadoop和Hbase的重要组件。
Multi-Grained Specifications for Distributed System Model Checking and Verification
Arxiv
0+阅读 · 9月27日
Multi-Grained Specifications for Distributed System Model Checking and Verification
Arxiv
0+阅读 · 9月24日
FaaSKeeper: Learning from Building Serverless Services with ZooKeeper as an Example
Arxiv
0+阅读 · 5月1日
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service
Arxiv
0+阅读 · 2023年10月16日
FaaSKeeper: Learning from Building Serverless Services with ZooKeeper as an Example
Arxiv
0+阅读 · 2023年5月16日
Leveraging TLA+ Specifications to Improve the Reliability of the ZooKeeper Coordination Service
Arxiv
0+阅读 · 2023年2月6日
FaasKeeper: a Blueprint for Serverless Services
Arxiv
0+阅读 · 2022年3月28日
Can 100 Machines Agree?
Arxiv
0+阅读 · 2019年11月18日
NetChain: Scale-Free Sub-RTT Coordination (Extended Version)
Arxiv
0+阅读 · 2018年2月22日
Incremental Consistency Guarantees for Replicated Objects
Arxiv
0+阅读 · 2016年9月8日
参考链接
父主题
数据一致性相关框架
微信扫码咨询专知VIP会员
Top