On the Feasibility of a Distributed Runtime for the Chemical Programming Model

International audienceChemical computing was initially proposed as an intuitive paradigm to capture the essence of parallel computing. Within such a model, a program is a solution of information-carrying molecules, that, at run time, collide non-deterministically to produce new data. Such a paradigm allowed the programmers to focus on the logic of the problem to be solved in parallel, without having to worry about implementation's considerations. Throughout the years, the model has been enriched with various features related to program structure, control and practicability. More importantly, the model was raised to the higher order, increasing again its expressiveness. With the rise of service-oriented computing, such models have recently regained a lot of interest. They have been shown to provide adequate abstractions to enhance service-oriented architectures with autonomic properties such as self-adaptation, self-healing, or self-organisation. However, the deployment of chemical programs over large scale distributed platforms is still a widely open problem, hindering the model to be leveraged in practice. This paper studies the possibility of building a distributed execution environment for chemical programs. A generic peer-to peer-based runtime model and distributed algorithms for large scale chemical computing are discussed. To complete this study, a software prototype was developed and experimented over the Grid'5000 test-bed. Experimental performance results are detailed, allowing for a discussion of the feasibility and performance of such a runtime, thus lifting a barrier towards the enactment of the chemical programming model.Le modèle de programmation chimique a été initialement proposé pour permettre de capturer l'essence d'un programme parallèle. Selon ce modèle, un programme est vu comme une solution chimique de molécules porteuses d'information, qui, lors de l'exécution du programme, se rencontrent de façon non déterministe, parfois réagissant, produisant de nouvelles molécules de données. Un tel paradigme permet aux programmeurs de se focaliser sur la logique du problème à résoudre, sans se soucier des détails de sa mise en oeuvre. Au fil des ans, le modèle a été enrichi avec de la structure, du contrôle, et plus de facilité d'utilisation. Plus significativement, le modèle a été élevé à l'ordre supérieur, ajoutant à son expressivité. Récemment, de tels modèles ont ainsi pu être utilisée pour développer des abstractions de haut-niveau pour la spécification d'architectures orientées service autonomes. Toutefois, le déploiement de programmes chimiques sur des plates-formes distribuées à large échelle reste un problème largement ouvert, empêchant sa mise en pratique. Dans ce papier, nous étudions la possibilité de construire un environnement pour l'exécution distribuée de programmes chimiques. Un modèle d'exécution générique et les algorithmes distribués d'une machine chimique distribuée sont proposés. Afin de compléter cette étude, un prototype logiciel a été développé et expérimenté au-dessus de la plate-forme Grid'5000. Les résultats de ces expériences sont discutés, et donnent des indications quant aux performances et la viabilité d'un tel environnement