[论文解读] Asynchronous iterations in ultrametric spaces

Alexander J. T. Gurney|arXiv (Cornell University)|Jan 25, 2017

advanced mathematical theories参考文献 9被引用 4

一句话总结

本文通过引入基于超度量空间的新型表征方法，建立了异步迭代收敛到与同步迭代相同不动点的必要且充分条件。证明了当且仅当迭代在超度量空间的轨道上为严格压缩映射时，该迭代才是异步安全的，并表明独立处理器的最大数量等于该空间的维数，从而为新型异步路由与逻辑编程实现提供了可能。

ABSTRACT

Some iterative calculations can be carried out by parallel communicating processors, and yield the same results whether or not the processors are synchronized. We show that this is the case if and only if the iteration is a contraction that is strict on orbits, with respect to an ultrametric defined on the state space. The maximum number of independent processors is given by the dimension of the space. We apply this theorem to interdomain routing, and are able to provide two advances over the previous state of the art. Firstly, multipath routing problems have unique solutions, if certain conditions are satisfied that are analogous to known correctness conditions for the single-path case. Secondly, these solutions can be computed asynchronously in a variety of ways, which go beyond methods that are currently used.

研究动机与目标

• 使用超度量空间对异步收缩算子（ACOs）进行完整表征。
• 解决在特定充分条件之外缺乏通用且可验证的异步安全条件的问题。
• 将异步迭代理论从数值数据扩展到离散结构（如路由路径与逻辑程序解释）的范畴。
• 证明多路径域间路由与逻辑程序求值可在保证收敛的前提下实现异步计算。

提出的方法

• 在状态空间上定义一个超度量，使得球体对应嵌套的盒子，以反映迭代细化的分层结构。
• 证明一个自映射是ACO当且仅当它在该超度量下的轨道上为严格压缩映射。
• 在超度量空间中应用Banach不动点定理，以保证在这些条件下不动点的存在性与唯一性。
• 证明独立处理器的数量受超度量空间维数的限制，该维数由其拓扑结构导出。
• 将该框架应用于域间路由，通过将路径集建模为乘积超度量空间中的元素，为每条路径或路径组件分配独立处理器。
• 将该方法扩展至逻辑编程，基于分层排序在解释上定义超度量，以确保压缩性与收敛性。

实验结果

研究问题

• RQ1 一个迭代算法在分布式处理器上安全地异步执行的必要且充分条件是什么？
• RQ2 如何将异步迭代理论从实数值数据推广至如路由路径或逻辑解释等离散数据结构？
• RQ3 决定异步迭代中可使用的最大独立处理器数量的因素是什么？
• RQ4 在类似于单路径正确性的条件下，能否证明多路径域间路由具有唯一解？
• RQ5 具有完美模型语义的逻辑程序能否通过分布式、非同步架构实现异步计算？

主要发现

• 当且仅当迭代在状态空间上的超度量下于轨道上为严格压缩映射时，该迭代才是异步安全的。
• 在异步实现中可使用的最大独立处理器数量等于超度量空间的维数。
• 在特定条件下，多路径域间路由具有唯一不动点，且该解可被异步计算。
• 异步计算中的路由路径可按多种粒度分解——按源、源-目的对、下一跳或地理区域——而不会影响收敛性。
• 具有局部分层语法的逻辑程序具有唯一完美模型，可通过基于超度量的压缩框架实现异步迭代计算。
• 该框架允许在异步执行过程中出现中间状态的瞬时不一致，但不会阻碍最终收敛至一致的不动点。