A Language for Large Ensembles of Independently Executing Nodes

Download Now Date Added: Sep 2009
Format: PDF

The authors address how to write programs for distributed computing systems in which the network topology can change dynamically. Examples of such systems, which they call ensembles, include programmable sensor networks (where the network topology can change due to failures in the nodes or links) and modular robotics systems (whose physical configuration can be rearranged under program control).They extend Meld, a logic programming language that allows an ensemble to be viewed as a single computing system. In addition to proving some key properties of the language, they have also implemented a complete compiler for Meld.