[论文解读] Stone Age Distributed Computing

Yuval Emek, Jasmin Smula+1 more|arXiv (Cornell University)|Feb 6, 2012

Distributed systems and fault tolerance参考文献 33被引用 7

一句话总结

本文提出了网络化有限状态机（nFSM）模型，这是一种针对纳米级或生物尺度等超弱设备的新型分布式计算框架。研究表明，尽管存在严重的计算与通信限制——仅能计数至固定上限b——该模型仍能以多对数时间高效解决最大独立集与3-着色等基础问题，其计算能力等价于随机化线性有界自动机（rLBA）。

ABSTRACT

The traditional models of distributed computing focus mainly on networks of computer-like devices that can exchange large messages with their neighbors and perform arbitrary local computations. Recently, there is a trend to apply distributed computing methods to networks of sub-microprocessor devices, e.g., biological cellular networks or networks of nano-devices. However, the suitability of the traditional distributed computing models to these types of networks is questionable: do tiny bio/nano nodes "compute" and/or "communicate" essentially the same as a computer? In this paper, we introduce a new model that depicts a network of randomized finite state machines operating in an asynchronous environment. Although the computation and communication capabilities of each individual device in the new model are, by design, much weaker than those of a computer, we show that some of the most important and extensively studied distributed computing problems can still be solved efficiently.

研究动机与目标

• 解决传统消息传递模型在子微处理器网络（如生物或纳米尺度系统）中不适用的问题。
• 提出一种新型分布式计算模型，以反映微型设备在计算与通信方面受到严重限制的根本特性。
• 探究在如此严苛的约束下，是否仍能高效解决关键的分布式问题。
• 正式表征新模型的计算能力与已知复杂度类之间的关系。

提出的方法

• 提出nFSM模型：一组在异步步骤中运行的随机化有限状态机（FSM）网络。
• 每个节点通过有限的消息字母表Σ进行通信，消息异步发送至对应邻居的端口。
• 每个节点的状态转移与消息输出取决于其当前状态以及每类消息的到达数量，上限为固定值b（一/二/多原则）。
• 引入同步器协议，以在异步nFSM模型中模拟同步行为。
• 建立nFSM协议与随机化线性有界自动机（rLBA）之间的形式化模拟，证明其计算能力等价。
• 设计了针对树结构的高效nFSM算法，用于最大独立集（MIS）与3-着色，运行时间为节点数的多对数时间。

实验结果

研究问题

• RQ1 在节点仅具有有限且有界状态与通信能力的模型中，是否能高效解决基础分布式问题？
• RQ2 具有有界计数与异步操作特性的有限状态机网络，其计算能力如何？
• RQ3 与经典消息传递模型相比，nFSM模型在可解性与效率方面有何差异？
• RQ4 nFSM模型能否模拟或被已知计算模型（如rLBA）所模拟？
• RQ5 在nFSM约束下，能否为MIS与3-着色等核心问题设计高效算法？

主要发现

• nFSM模型可在任意图中以多对数时间（关于节点数）高效求解最大独立集（MIS）问题。
• nFSM模型支持对无向树的3-着色问题的高效算法，同样具有多对数时间复杂度。
• nFSM模型的计算能力等价于随机化线性有界自动机（rLBA），意味着其可求解所有上下文有关语言。
• nFSM协议可由rLBA使用每节点与每条边O(1)的额外空间进行模拟，确认了计算能力的上界。
• rLBA可由nFSM协议在路径网络上进行模拟，确立了下界并实现了计算能力的完全等价。
• 尽管存在限制，nFSM模型仍可求解在经典消息传递模型中常数时间内不可解的问题，归因于其有界计数能力。