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.

许多应用领域中的一大类分布式计算需要地理上分布的自治参与者之间的动态和自适应协调。虽然分布式计算的基础已经相当发达，但诸如部分知识、初始化或部分协调等资源的价值问题仍然存在未解决。在许多当前的分布式系统中，参与者（例如任何粒度级别的客户端、设备或传感器）都被集成到不断变化的网络拓扑中以实现全局目标，尽管每个参与者可用的知识是本地的、不完整的、不完美的和不对称。基于状态的计算（例如自稳定协议中采用的计算）是一种令人兴奋的计算范式，它提供了涵盖此类针对全球目标的局部可计算性的保护伞。