Networking Research: A Foundation for Designing Overlay Network Protocols

本课题研究的重点是对等网络中并发加入和退出协议的设计以及故障恢复问题。协议将被指定到足够详细的水平，以实现对正确性的操纵证明。覆盖网络中用于加入、离开和故障恢复的大多数协议是非正式地或以伪代码描述的。在没有严格证据的情况下，经常陈述不变的和进步的性质。因此，它们是令人向往的目标，而不是已被证实的财产。在此背景下，拟议研究的一个目标是为这些协议的设计、规范和验证奠定坚实的基础。特别是，研究是在概念基础上对一致性进行推理，以设计一套用于超立方体路由的协议。此外，还将研究改善局部性的技术。该方法是在维护网络一致性的约束范围内设计优化步骤。拟议的研究将有助于设计下一代重新搜索的对等和覆盖网络和跨学科协作工具，以及共享的研究和教育平台。

This project focuses on an important problem of the design of protocols for con-current joins and leaves, as well as for failure recovery for peer-to-peer net-works. The protocols will be specified to a sufficient level of detail to enable rig-orous proofs of correctness. Most protocols for joining, leaving, and failure re-covery in the overlay networks are described informally or in pseudo code. In-variant and progress properties are often stated without rigorous proofs. As such, they are desirable goals rather than proven properties. In this context, an objective of the proposed research is to investigate a sound foundation for the design, specification, and verification of these protocols. In particular, the re-search is on conceptual foundations for reasoning about consistency to design a suite of protocols for hypercube routing. Furthermore, the techniques for im-proving locality will also be investigated. The approach is to devise optimization steps that are within the constraints of maintaining network consistency. The proposed research will contribute towards designing the next-generation re-search peer-to-peer and overlay networks and tools for interdisciplinary collaborations, as well as shared research and education platforms.