Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications

John Field*, Maria Cristina Marinescu, Christian Stefansen

*Autor corresponent d’aquest treball

Producció científica: Article en revista indexadaArticleAvaluat per experts

11 Cites (Scopus)

Resum

Our aim is to define the kernel of a simple and uniform programming model-the reactor model-which can serve as a foundation for building and evolving internet-scale programs. Such programs are characterized by collections of loosely-coupled distributed components that are assembled on the fly to produce a composite application. 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 rules allows aspect-like composition of separately-specified functional concerns in a natural way.

Idioma originalAnglès
Pàgines (de-a)168-201
Nombre de pàgines34
RevistaTheoretical Computer Science
Volum410
Número2-3
DOIs
Estat de la publicacióPublicada - 6 de febr. 2009
Publicat externament
Esdeveniment9th International Conference on Coordination Models and Languages, COORDINATION 2007 - Paphos, Cyprus
Durada: 6 de juny 20078 de juny 2007

Fingerprint

Navegar pels temes de recerca de 'Reactors: A data-oriented synchronous/asynchronous programming model for distributed applications'. Junts formen un fingerprint únic.

Com citar-ho