Making Network Protocols Simpler and More Robust Using Self-Stabilization

94054444瓦格西随着网络成为国家基础设施的一部分，它们变得像电话和电力服务等其他公用事业一样可靠是很重要的。该项目致力于通过使用自稳定来设计、评估和实施可靠的网络协议。无论协议处于何种状态，如果它开始正常运行，则该协议是自稳定的。主要研究者认为，自稳定网络协议更简单(即，使用少量的统一机制而不是多个机制来处理预期故障的目录)并且更健壮(例如，可以从诸如存储器损坏之类的瞬时故障以及诸如链路和节点崩溃之类的常见故障中恢复)。虽然现有网络中存在自稳定协议，但此类协议通常依赖于与最坏情况下的网络延迟成正比的计时器，从而导致恢复时间较慢。此外，这样的协议屈指可数。这个项目将研究恢复时间快得多的稳定协议，并针对更大类别的问题。这个项目将把分布式算法理论(主要研究人员和其他人开发的)的技术应用到自稳定协议的系统设计中。分布式算法文献中的工作已经引入了一些有用的范例和技术，但尚未将这些想法完全应用于实际网络。这个项目将解决的正是这一差距。***

94054444 Varghesee As networks become part of the nation's infrastructure, it is important that they become as reliable as other utilities such as the telephone and power services. This project is concerned with the design, evaluation, and implementation of reliable network protocols through the use of self-stabilization. A protocol is self-stabilizing if it begins to behave correctly no matter what state it starts in. The principal investigator believes that self-stabilizing network protocols are simpler (i.e., a small number of uniform mechanisms instead of multiple mechanisms to deal with a catalog of anticipated faults) and more robust (e.g., can recover from transient faults such as memory corruption as well as common faults such as link and node crashes). While there are self-stabilizing protocols in existing networks, such protocols typically rely on timers that are proportional to worst-case network delays and result in slow recovery times. Further, there are only a handful of such protocols. This project will investigate stabilizing protocols that have much faster recovery times and for a larger class of problems. This project will apply techniques from the theory of distributed algorithms (that the principal investigator and others have developed) to the systematic design of self-stabilizing protocols. The work in the distributed algorithm literature has introduced some useful paradigms and techniques but has not fully applied these ideas to real networks. It is this gap that this project will address. ***