Career: Principles and Practices of Dependable Distributed Computing

职业：可靠分布式计算的原理和实践

• 批准号: 9984778
• 负责人: Alexander Schwarzmann
• 金额: $ 20万
• 依托单位: University of Connecticut
• 依托单位国家: 美国
• 项目类别: Continuing Grant
• 财政年份: 2000
• 资助国家: 美国
• 起止时间: 2000-06-01 至 2005-05-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9984778&HistoricalAwards=false
• 关键词: Career; Principles; Practices; Dependable; Distributed

This research will advance the theoretical foundations and explore practical implementations of dependable distributed system technology. A distributed system is dependable, when it provides guarantees regarding its performance, fault-tolerance, correctness and compositionality.The research objectives will be achieved through synergy between the research in distributed systems with its focus on fault-tolerance and correctness, the research in parallel computing with its focus on speed-up and efficiency, and the practical engineering considerations of specification, development, deployment and performance of systems. This proposal envelops three investigation areas:(1) Robust Algorithmics: Development of fault-tolerant and efficient distributed algorithms and exploration of limitations on achieving robustness in distributed computing.(2) Building Blocks: Definition and analysis of dependable distributed building blocks needed by applications requiring precise guarantees; and design of specification frameworks for capturing designs and optimizing distributed system deployment.(3) Distributed Implementation: Development of exploratory implementations of compositional building blocks and robust algorithms, and evaluation of their performance in realistic and simulated settings; empirical evaluations will complement the analytically established efficiency characterizations.The educational component includes: developing and delivering new courses in distributed computing in support of undergraduate and graduate programs in computer science; and, building a research group that attracts graduate students and postdoctoral researchers.

这项研究将推进可靠分布式系统技术的理论基础，并探索实际的实现。分布式系统的可靠性取决于系统的性能、容错性、正确性和组合性。研究目标将通过分布式系统的容错性和正确性研究、并行计算的加速性和效率研究以及规范、开发、系统的部署和性能。（1）鲁棒计算：研究容错的、高效的分布式算法，探索分布式计算中实现鲁棒性的局限性。(2)构建块：定义和分析需要精确保证的应用程序所需的可靠分布式构建块;设计用于捕获设计和优化分布式系统部署的规范框架。(3)分布式实现：开发组合构建块和鲁棒算法的探索性实现，并评估其在现实和模拟环境中的性能;经验评估将补充分析建立的效率特征。教育部分包括：开发和提供分布式计算的新课程，以支持计算机科学的本科生和研究生课程;建立一个吸引研究生和博士后研究人员的研究团队。