CISE Postdoctoral Research Associates in Experimental Computer Science: Support for Developing Highly Available Distributed Applications

CISE 实验计算机科学博士后研究员：支持开发高度可用的分布式应用程序

• 批准号: 9901592
• 负责人: Nancy Lynch
• 金额: $ 6.6万
• 依托单位: Massachusetts Institute of Technology
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 1999
• 资助国家: 美国
• 起止时间: 1999-08-15 至 2001-07-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=9901592&HistoricalAwards=false
• 关键词: CISE; Postdoctoral; Research; Associates; Experimental

9901592Lynch, Nancy AMassachusetts Institute of TechnologyCISE Postdoctoral Research Associates in Experimental Computer Science: Support for Developing Highly Available Distributed ApplicationsThe focus of this research in highly available distributed algorithms and systems is on groupcommunications services and their applications. Group communication technology is becoming commonly exploited in academia and industry, and the significance of the group communication paradigm is becoming widely acknowledged. The goals of the work are to 1) construct a comprehensive framework for the construction of groupware and computer supported cooperative work applications, based on the group communication paradigm, 2) model complex distributed systems formally, focusing on group communication systems, and implement algorithms and communication protocols in a way that would allow verification of the actual implementation, and 3) understand more of the inherent limitations of fault tolerant distributed systems and the tradeoffs involved in building such systems.

9901592Lynch，Nancy AMASS麻省理工学院CISE实验计算机科学博士后研究员：支持开发高可用分布式应用程序这项研究的重点是高可用分布式算法和系统是groupcommunications服务及其应用程序。 群组通信技术在学术界和工业界都得到了广泛的应用，群组通信范式的重要性也得到了广泛的认可。 工作的目标是：1）构建一个全面的框架，用于构建群件和计算机支持的协同工作应用程序，基于组通信范式，2）正式建模复杂的分布式系统，重点是组通信系统，并实现算法和通信协议的方式，将允许验证的实际实现，以及3）更多地理解容错分布式系统的固有限制以及构建此类系统所涉及的权衡。