CAREER: Systematic Design of Distributed Protocols - from Methodologies and Toolkits to Systems

提案编号：CNS-0448246主要作者：Gupta，Indranil机构：伊利诺伊大学厄巴纳-香槟分校提案标题：职业：分布式协议的系统设计-从方法论和工具包到系统分布式协议，如资源发现，合作缓存，复制等，对于Web和网格等大规模分布式系统的可伸缩性和可靠性至关重要。然而，今天，设计分布式协议的关键活动依赖于一种特殊的方法-文献，经验和基本的计算机科学知识提供了唯一的帮助。这往往会导致复杂的协议，增加设计时间和成本，并最终到低效使用的研究potential.This项目正在探索系统的技术，设计分布式协议，辅助使用的分布式协议的设计方法。设计方法增强了协议创新的创造性过程，而不会扼杀它。该项目正在创建新的方法，系统地将自然观察到的现象转化为具有可预测属性的协议。一种创新的方法将微分方程系统转化为等效的分布式协议。可组合的方法也正在开发中，允许协议设计者灵活地丰富具有所需属性的协议。在这个项目中发明和发现的方法将被用来设计新的系统设计的合作Web缓存，自适应网格计算，持久的分布式文件系统，灾难响应和恢复。这些方法将作为集成设计工具包（IdT）提供给社区，这些工具包使方法自动化，并使设计人员能够自动生成协议的可编译代码。虽然方法已经在其他科学领域取得了不同程度的成功，但该项目是第一个研究其在分布式系统某些重点领域的优点和缺点的项目。

PROPOSAL NUMBER: CNS-0448246PRINCIPAL INVESTIGATOR: Gupta, IndranilINSTITUTION: University of Illinois at Urbana-ChampaignPROPOSAL TITLE: CAREER: Systematic Design of Distributed Protocols- from Methodologies and Toolkits to SystemsDistributed protocols such as resource discovery, cooperative caching, replication, etc., are crucial to the scalability and reliability of large-scale distributed systems such as the Web and the Grid. Today, however, the critical activity of designing a distributed protocol relies on an ad-hoc approach - literature, experience, and basic Computer Science knowledge provide the only assistance. This often leads to complex protocols, increased design times and costs, and eventually to inefficient use of research potential.This project is exploring systematic techniques for designing distributed protocols, assisted by the use of Design Methodologies for distributed protocols. Design methodologies augment the creative process of protocol innovation, without stifling it. The project is creating new methodologies that systematically convert naturally observed phenomena into protocols with predictable properties. One innovative methodology translates differential equation systems into equivalent distributed protocols. Composable methodologies are also being developed, allowing protocol designers flexibility to enrich protocols with desired properties. The methodologies invented and discovered in this project will be used to design new system designs for cooperative web caching, adaptive Grid computing, persistent distributed file systems, and disaster response and recovery. The methodologies will be made available to the community as Integrated design Toolkits (IdTs) that automate methodologies and enable a designer to automatically generate compilable code for a protocol. While methodologies have been used with varying degrees of success in other fields of science, this project is the one of the first to study its benefits and drawbacks in certain focus areas of distributed systems.