[論文レビュー] Memory Consistency Conditions for Self-Assembly Programming

Aaron Sterling|ArXiv.org|Sep 15, 2009

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

ひとこと要約

本稿は、因果的整合性およびGWOの下で、抽象タイル自己集合モデル（aTAM）および運動的タイル自己集合モデル（kTAM）を分散共有メモリ（DSM）システムに還元することにより、自己集合プログラミングと分散メモリ整合性モデルとの間の形式的関係を確立する。タイル自己集合における局所的決定性がDSMプログラムにおける同時書き込み自由性に正確に一致することを示し、これにより一意の終端的自己集合を検証するための確立されたデータレース検出技術の利用が可能になる。また、自己安定化理論が自己集合における誤り訂正に応用可能であることを示し、DNAタイルや2次元表面にとどまらない一般化可能なフレームワークを提供する。

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.

研究の動機と目的

• 自己集合プログラミングにおける2つの根本的理論的課題、すなわち一意の終端的自己集合と誤り訂正に対処すること。
• 自己集合モデルと並列プログラミングおよび分散システム分野における確立された理論との間の溝を埋めること。
• DNAタイル自己集合に限らない、より広範な自己集合文脈への一般化を図ること。これには非DNA媒体や高次元または非平面構造が含まれる。
• 自己安定化技術がナノスケール自己集合においてフォールトトレランスと誤り訂正を達成するために応用可能であることを示すこと。
• aTAMのシミュレーションに十分な最小限のメモリ整合性条件、すなわちaTAMには因果的整合性、kTAMにはGWOを特定すること。

提案手法

• 因果的整合性の下で抽象タイル自己集合モデル（aTAM）を分散共有メモリ（DSM）システムに還元し、aTAMのシミュレーションが同時書き込み自由プログラムと等価であることを示した。
• 局所的決定的タイル自己集合システムを同時書き込み自由プログラムにマッピングし、データレース検出を用いて一意の終端的自己集合を検証する手法を可能にした。
• GWOメモリ整合性条件の下で運動的タイル自己集合モデル（kTAM）をDSMシステムに還元した。これは因果的整合性よりも厳密に弱い条件である。
• 自己集合アルゴリズムが局所的アルゴリズムであることを利用し、決定的局所アルゴリズムから決定的自己安定化アルゴリズムへの既知の変換を適用した。
• この変換を用いてSoloveichikらの結果を一般化し、タイルシステムが自己安定化を用いて同時に検証（プローフリーディング）と自己修復を実行できることを示した。
• タイル結合を特定の整合性セマンティクスを持つ共有メモリ操作としてモデル化することで、混合媒体自己集合へのフレームワークの拡張を実現した。

実験結果

リサーチクエスチョン

• RQ1 分散共有メモリモデルにおいて抽象タイル自己集合モデル（aTAM）をシミュレートするのに十分かつタイトなメモリ整合性条件は何か？
• RQ2 タイル自己集合における局所的決定性は、並列プログラミングにおける同時書き込み自由性とどのように関係するか？
• RQ3 自己安定化理論は運動的タイル自己集合システムにおける誤り訂正に応用可能か？
• RQ4 運動的タイル自己集合モデル（kTAM）の挙動を捉えるために必要な最小限のメモリ整合性条件は何か？
• RQ5 一般化された分散システム技術を用いて、DNAタイルにとどまらない、より強固でフォールトトレラントな自己集合エージェントを設計する方法は何か？

主な発見

• 抽象タイル自己集合モデル（aTAM）は、因果的整合性を満たす分散共有メモリシステムでシミュレート可能であり、このようなシミュレーションにおいてこの条件はタイトである。
• 局所的決定的タイル自己集合システムは、DSMモデルにおける同時書き込み自由プログラムに正確に一致する。これにより、データレース検出を用いて一意の終端的自己集合を検証できる。
• 運動的タイル自己集合モデル（kTAM）は、GWOメモリ整合性条件を満たすDSMシステムでシミュレート可能であり、これは因果的整合性よりも厳密に弱い条件であり、知られている限りではこのようなシステムの自然な例として初めてである。
• 自己安定化アルゴリズムへの還元は、Soloveichikらの結果を一般化する。これにより、タイルシステムが自己安定化を用いて同時に検証と自己修復を実行できることを示した。
• 本フレームワークは、誤り訂正を備えた自己集合システムを設計する一般化された手法を提供する。非DNA媒体や2次元表面にとどまらない応用が可能であり、与えられたタイル集合$T$のシミュレーションにおいて、タイル複雑度の上界は$|T'| \≤q \binom{4}{3}^2 c^2 |T|^2$である。
• 弱いメモリ整合性モデル、たとえばGWOが、複雑な自己集合プロセスのモデル化に十分である可能性を示唆しており、ナノスケールシステムにおけるフォールトトレラント設計の新しい道筋を開く。