PYI: Realistic Partially Synchronous Models of Distributed Computation

分布式计算中的许多理论工作都假设了两种极端计时模型中的一种，即完全同步或完全异步。这项研究的目标是开发现实的、部分同步的模型，并确定它们之间的关系。这应该有助于准确地确定特定属性所需的和充分的时间行为。补充工作将是设计和分析具有基于计时的正确性条件或依赖于特定计时行为的分布式算法。另一个应用领域是支持共享对象的系统的正确性条件。目标是了解和统一并行体系结构、分布式文件系统和操作系统文献中存在的大量不同的正确性条件，其中许多是基于时间的，并量化并发性和时间性能之间的权衡。

Much of the theoretical work in distributed computing has assumed one of two extreme timing models, either completely synchronous or completely asynchronous. The goal of this research is to develop realistic, partially synchronous models and to determine the relationships among them. This should help to identify precisely what time behavior is necessary and sufficient for particular properties to hold. Complementary work will be to design and analyze distributed algorithms that have timing-based correctness conditions or rely on specific timing behavior. Another application area is that of correctness conditions for systems that support shared objects. The goal is to understand and unify the large number of different correctness conditions present in the parallel architectures, distributed file systems, and operating systems literature, many of which are timing-based, and to quantify tradeoffs between concurrency and time performance.