Career: Principles and Practices of Dependable Distributed Computing

本研究将为可靠的分布式系统技术提供理论基础和探索实际实现。当分布式系统在性能、容错、正确性和组合性方面提供保证时，它是可靠的。以容错和正确性为重点的分布式系统研究，以加速和效率为重点的并行计算研究，以及系统规范、开发、部署和性能等实际工程考虑之间的协同作用，将实现研究目标。本建议包括三个研究领域：(1)鲁棒算法：开发容错和高效的分布式算法，并探索在分布式计算中实现鲁棒性的限制。(2)构建块：定义和分析需要精确保证的应用所需的可靠分布式构建块；并设计了用于捕获设计和优化分布式系统部署的规范框架。(3)分布式实现：开发组合构建块和鲁棒算法的探索性实现，并在现实和模拟环境中评估其性能；经验评价将补充分析建立的效率特征。教育部分包括：开发和提供分布式计算的新课程，以支持计算机科学的本科和研究生课程；建立一个吸引研究生和博士后研究人员的研究小组。

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.