Reasoning about modern datacenter infrastructures using partial histories
Reasoning about modern datacenter infrastructures using partial histories
复制标题
DOI：
10.1145/3458336.3465276
复制
发表时间：
2021-06
期刊：
影响因子：
--
通讯作者：
Xudong Sun;L. Suresh;Aishwarya Ganesan;Ramnatthan Alagappan;Michael Gasch;Lilia Tang;Tianyin Xu
中科院分区：
文献类型：
--
作者：
Xudong Sun;L. Suresh;Aishwarya Ganesan;Ramnatthan Alagappan;Michael Gasch;Lilia Tang;Tianyin Xu
现代数据中心基础架构越来越多地作为一组松散的耦合服务群。群集状态通常维护在逻辑集中的，强烈一致的数据存储（例如Zookeeper，Chubby等）中，而服务通过从数据存储中或通过通知流来了解不断发展的状态。但是，即使在存在故障，网络问题以及分布式系统的固有异步方面，确保服务是正确的，这是一个挑战。在本文中，我们确定可以使用部分历史来有效地理由有关此类分布式基础架构系统中单个服务的正确性。也就是说，个人服务仅根据观察周围世界的一部分变化而做出决定。我们表明，当将部分历史应用于分布式基础设施时，对艺术的状态具有巨大的解释能力和效用。我们讨论了部分历史和草图工具对分布式基础架构系统的推理的含义。
Modern datacenter infrastructures are increasingly architected as a cluster of loosely coupled services. The cluster states are typically maintained in a logically centralized, strongly consistent data store (e.g., ZooKeeper, Chubby and etcd), while the services learn about the evolving state by reading from the data store, or via a stream of notifications. However, it is challenging to ensure services are correct, even in the presence of failures, networking issues, and the inherent asynchrony of the distributed system. In this paper, we identify that partial histories can be used to effectively reason about correctness for individual services in such distributed infrastructure systems. That is, individual services make decisions based on observing only a subset of changes to the world around them. We show that partial histories, when applied to distributed infrastructures, have immense explanatory power and utility over the state of the art. We discuss the implications of partial histories and sketch tooling for reasoning about distributed infrastructure systems.