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

9901592 Lynch，Nancy AMassachusetts理工学院CSE实验计算机科学博士后研究助理：支持开发高可用的分布式应用程序这项高可用的分布式算法和系统的研究重点是组通信服务及其应用。群组通信技术在学术界和工业界得到了普遍的应用，群组通信范式的重要性也得到了广泛的认可。该工作的目标是：1)基于群组通信范型，构建一个用于构建群件和计算机支持的协同工作应用的综合框架；2)以群组通信系统为重点，形式化地建模复杂的分布式系统，并以允许验证实际实现的方式实现算法和通信协议；3)更多地了解容错分布式系统的内在局限性以及在构建此类系统时所涉及的权衡。

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.