A Protocol for the Atomic Capture of Multiple Molecules at Large Scale

Marin Bertier 1 Marko Obrovac 2 Cédric Tedeschi 2
1 ASAP - As Scalable As Possible: foundations of large scale dynamic distributed systems
Inria Rennes – Bretagne Atlantique , IRISA-D1 - SYSTÈMES LARGE ÉCHELLE
2 MYRIADS - Design and Implementation of Autonomous Distributed Systems
IRISA-D1 - SYSTÈMES LARGE ÉCHELLE, Inria Rennes – Bretagne Atlantique
Abstract : 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.
Complete list of metadatas

Cited literature [18 references]  Display  Hide  Download

https://hal.inria.fr/hal-00644262
Contributor : Marko Obrovac <>
Submitted on : Tuesday, March 13, 2012 - 3:07:07 PM
Last modification on : Friday, November 16, 2018 - 1:38:17 AM
Long-term archiving on : Friday, November 23, 2012 - 4:15:16 PM

Files

main.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00644262, version 1
  • ARXIV : 1203.3013

Citation

Marin Bertier, Marko Obrovac, Cédric Tedeschi. A Protocol for the Atomic Capture of Multiple Molecules at Large Scale. 13th International Conference on Distributed Computing and Networking, Jan 2012, Hong-Kong, China. ⟨hal-00644262⟩

Share

Metrics

Record views

650

Files downloads

253