[论文解读] Memory Consistency Conditions for Self-Assembly Programming

Aaron Sterling|ArXiv.org|Sep 15, 2009

Modular Robots and Swarm Intelligence参考文献 22被引用 3

一句话总结

本文通过将抽象 Tile 自组装模型（aTAM）和动力学 Tile 自组装模型（kTAM）分别约化为因果一致性与 GWO 下的分布式共享内存（DSM）系统，建立了自组装编程与分布式内存一致性模型之间的正式联系。研究表明，自组装中的局部确定性恰好对应于 DSM 程序中的并发写入自由，从而使得既有的数据竞争检测技术可用于验证唯一终态自组装；同时证明了自稳定化理论可应用于自组装中的错误纠正，提供了一个可推广至 DNA tiles 之外及二维表面以外场景的一般性框架。

ABSTRACT

Perhaps the two most significant theoretical questions about the programming of self-assembling agents are: (1) necessary and sufficient conditions to produce a unique terminal assembly, and (2) error correction. We address both questions, by reducing two well-studied models of tile assembly to models of distributed shared memory (DSM), in order to obtain results from the memory consistency systems induced by tile assembly systems when simulated in the DSM setting. The Abstract Tile Assembly Model (aTAM) can be simulated by a DSM system that obeys causal consistency, and the locally deterministic tile assembly systems in the aTAM correspond exactly to the concurrent-write free programs that simulate tile assembly in such a model. Thus, the detection of the failure of local determinism (which had formerly been an open problem) reduces to the detection of data races in simulating programs. Further, the Kinetic Tile Assembly Model can be simulated by a DSM system that obeys GWO, a memory consistency condition defined by Steinke and Nutt. (To our knowledge, this is the first natural example of a DSM system that obeys GWO, but no stronger consistency condition.) We combine these results with the observation that self-assembly algorithms are local algorithms, and there exists a fast conversion of deterministic local algorithms into deterministic self-stabilizing algorithms. This provides an "immediate" generalization of a theorem by Soloveichik et al. about the existence of tile assembly systems that simultaneously perform two forms of self-stabilization: proofreading and self-healing. Our reductions and proof techniques can be extended to the programming of self-assembling agents in a variety of media, not just DNA tiles, and not just two-dimensional surfaces.

研究动机与目标

• 解决自组装编程中的两个基本理论挑战：唯一终态自组装与错误纠正。
• 弥合自组装模型与并发编程及分布式系统中既定理论之间的鸿沟。
• 将 DNA tile 自组装的结果推广至更广泛的自组装场景，包括非 DNA 媒体以及高维或非平面结构。
• 证明自稳定化技术可应用于纳米尺度自组装以实现容错与错误纠正。
• 识别出模拟自组装系统所需的最小内存一致性条件——aTAM 为因果一致性，kTAM 为 GWO。

提出的方法

• 将抽象 Tile 自组装模型（aTAM）约化为在因果一致性下运行的分布式共享内存（DSM）系统，表明 aTAM 的模拟等价于无并发写入的程序。
• 将局部确定性的自组装系统映射为无并发写入的 DSM 程序，从而可利用数据竞争检测技术验证唯一终态自组装。
• 将动力学 Tile 自组装模型（kTAM）约化为在 GWO 内存一致性条件下运行的 DSM 系统，该条件严格弱于因果一致性。
• 利用自组装算法为局部算法的特性，应用将确定性局部算法转换为确定性自稳定化算法的已知变换。
• 将此变换应用于推广 Soloveichik 等人的结果，表明 tile 系统可通过自稳定化同时实现校验与自修复。
• 通过将 tile 结合建模为具有特定一致性语义的共享内存操作，将该框架扩展至混合介质自组装。

实验结果

研究问题

• RQ1 在分布式共享内存模型中，模拟抽象 Tile 自组装模型（aTAM）所需的最小且紧致的内存一致性条件是什么？
• RQ2 自组装中的局部确定性与并发编程中的并发写入自由之间有何关系？
• RQ3 自稳定化理论是否可应用于动力学 Tile 自组装系统以实现错误纠正？
• RQ4 能够捕捉动力学 Tile 自组装模型（kTAM）行为的最小内存一致性条件是什么？
• RQ5 如何利用分布式系统中的通用技术设计出超越 DNA tiles 的鲁棒、容错自组装代理？

主要发现

• 抽象 Tile 自组装模型（aTAM）可在满足因果一致性的分布式共享内存系统中被模拟，且该条件对这类模拟而言是紧致的。
• 局部确定性的自组装系统恰好对应于 DSM 模型中的无并发写入程序，从而可利用数据竞争检测技术验证唯一终态自组装。
• 动力学 Tile 自组装模型（kTAM）可在满足 GWO 内存一致性条件的 DSM 系统中被模拟，该条件严格弱于因果一致性，据我们所知，这是此类系统的首个自然实例。
• 约化为自稳定化算法的变换推广了 Soloveichik 等人的结果，表明 tile 系统可同时实现校验与自修复。
• 该框架为设计具备错误纠正能力的自组装系统提供了通用方法，适用于非 DNA 媒体与非二维表面，其模拟给定 tile 集 $T$ 的 tile 复杂度上界为 $|T'| \≤q \binom{4}{3}^2 c^2 |T|^2$。
• 结果表明，如 GWO 这类弱内存一致性模型可能足以建模复杂的自组装过程，为纳米尺度系统中的容错设计开辟了新途径。