Dynamic Distributed Systems

动态分布式系统

• 批准号: 9402050
• 负责人: Sukumar Ghosh
• 金额: $ 13.5万
• 依托单位: University of Iowa
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1994
• 资助国家: 美国
• 起止时间: 1994-12-15 至 1998-11-30
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9402050&HistoricalAwards=false
• 关键词: Dynamic; Distributed; Systems

The objective of this project is to develop a hierarchical design methodology for dynamic distributed systems, and investigate its applicability to several application areas. One such application is the design of gracefully degradable systems that guarantee acceptably good performance in the presence of failures. Another application that will be investigated focuses on the design of distributed algorithms for dynamic graphs and computational geometry. The project will demonstrate how the hierarchical design helps synthesizing provably correct systems in the presence of failures, reconfigurations and how existing algorithms can be reused at appropriate layers.

本计画的目标是发展动态分散式系统的阶层式设计方法，并探讨其在多个应用领域的适用性。 一个这样的应用是优雅地可降解系统的设计，保证可接受的良好性能，在故障的存在。 另一个应用程序，将调查集中在动态图形和计算几何的分布式算法的设计。 该项目将展示分层设计如何帮助合成可证明正确的系统，在存在故障，重新配置以及如何在适当的层重用现有的算法。