PYI: Realistic Partially Synchronous Models of Distributed Computation

PYI：分布式计算的现实部分同步模型

• 批准号: 9158478
• 负责人: Jennifer Welch
• 金额: $ 3.53万
• 依托单位: University of North Carolina at Chapel Hill
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 1991
• 资助国家: 美国
• 起止时间: 1991-08-01 至 1992-10-15
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9158478&HistoricalAwards=false
• 关键词: PYI; Realistic; Partially; Synchronous; Models

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.

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