Sciweavers

COORDINATION
2007
Springer

Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications

13 years 9 months ago
Reactors: A Data-Oriented Synchronous/Asynchronous Programming Model for Distributed Applications
Our aim is to define the kernel of a simple and uniform programming model—the reactor model—suitable for building and evolving internet-scale programs. A reactor consists of two principal components: mutable state, in the form of a fixed collection of relations, and code, in the form of a fixed collection of rules in the style of datalog. A reactor’s code is executed in response to an external stimulus, which takes the form of an attempted update to the reactor’s state. As in classical process calculi, the reactor model accommodates collections of distributed, concurrently executing processes. However, unlike classical process calculi, our observable behaviors are sequences of states, rather than sequences of messages. Similarly, the interface to a reactor is simply its state, rather than a collection of message channels, ports, or methods. One novel feature of our model is the ability to compose behaviors both synchronously and asynchronously. Also, our use of datalog-style...
John Field, Maria-Cristina V. Marinescu, Christian
Added 07 Jun 2010
Updated 07 Jun 2010
Type Conference
Year 2007
Where COORDINATION
Authors John Field, Maria-Cristina V. Marinescu, Christian Stefansen
Comments (0)