一种大规模多分子原子捕获方案
A Protocol for the Atomic Capture of Multiple Molecules at Large Scale
摘要：
随着面向服务计算的兴起，应用越来越多地基于自治服务的协调。设想在大部分分布式和高度动态的平台上，表达这种协调需要替代的编程模型。化学编程范式将应用程序建模为化学解决方案，其中代表参与计算的数字实体的分子一起反应以产生结果，最近已被证明可以为服务的自主协调提供所需的抽象。然而，在大规模平台上执行这样的程序引起了几个问题，阻碍了实际利用这种范例。其中，参与同时反应的分子的原子俘获是最重要的研究之一。在本文中，我们提出了一个协议的原子捕获这些分子分布和发展在一个大规模的平台。由于可能反应的密度对于这种捕获的活性和效率至关重要，因此所提出的协议由两个子协议组成，每个协议都旨在解决溶液中潜在反应的不同密度水平。虽然选择一个或另一个的决定是本地的每个节点参与程序的执行，一个全局一致的行为获得。活性证明，以及密集的模拟结果显示的效率和有限的开销的协议。
英文摘要：
With the rise of service-oriented computing, applications are more and more based on coordination of autonomous services. Envisioned over largely distributed and highly dynamic platforms, expressing this coordination calls for alternative programming models. The chemical programming paradigm, which models applications as chemical solutions where molecules representing digital entities involved in the computation, react together to produce a result, has been recently shown to provide the needed abstractions for autonomic coordination of services. However, the execution of such programs over large scale platforms raises several problems hindering this paradigm to be actually leveraged. Among them, the atomic capture of molecules participating in concur- rent reactions is one of the most significant. In this paper, we propose a protocol for the atomic capture of these molecules distributed and evolving over a large scale platform. As the density of possible reactions is crucial for the liveness and efficiency of such a capture, the protocol proposed is made up of two sub-protocols, each of them aimed at addressing different levels of densities of potential reactions in the solution. While the decision to choose one or the other is local to each node participating in a program's execution, a global coherent behaviour is obtained. Proof of liveness, as well as intensive simulation results showing the efficiency and limited overhead of the protocol are given.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
