Autonomous Distributed Local Computing Models using Self-Stabilization

使用自稳定的自治分布式本地计算模型

• 批准号: 0832582
• 负责人: Pradip Srimani
• 金额: $ 15万
• 依托单位: Clemson University
• 依托单位国家: 美国
• 项目类别: Standard Grant
• 财政年份: 2008
• 资助国家: 美国
• 起止时间: 2008-09-01 至 2013-08-31
• 项目状态: 已结题
• 来源: https://www.nsf.gov/awardsearch/showAward?AWD_ID=0832582&HistoricalAwards=false
• 关键词: Autonomous; Distributed; Local; Computing; Models

A large class of distributed computations in many application domains requires dynamic and adaptive coordination among geographically distributed and autonomous participants.While the foundations of distributed computing have been considerably developed, the question of the value of resources such as partial knowledge, initialization or partial coordination remains unresolved. In many current distributed systems, participants, such as clients, devices, or sensors at any level of granularity, are integrated into a changing network topology to accomplish a global objective despite the fact that the knowledge available at each participant is local, incomplete, imperfect and asymmetric. State-based computation?such as that employed in self-stabilizing protocols?is an exciting computing paradigm that provides an umbrella covering such local computability towards global objectives.

许多应用域中的大量分布式计算都需要地理分布和自主参与者之间的动态和适应性协调。虽然分布式计算的基础已经大大开发，但资源价值（例如部分知识，初始化或部分协调）的价值问题仍未解决。在许多当前的分布式系统中，尽管每个参与者的可用知识都是本地，不完美，不完美和不对称的，但在任何级别的粒度上，诸如客户，设备或传感器等参与者都集成到不断变化的网络拓扑中。基于国家的计算？例如自稳定协议中使用的计算？是否提供了令人兴奋的计算范式，它提供了覆盖全球目标的局部计算性的雨伞。