Reactors: A Deterministic Model for Composable Reactive Systems

Author(s): Marten Lohstroh, Iñigo Incer Romeo, Andrés Goens, Patricia Derler, Jeronimo Castrillon, Edward A. Lee, and Alberto Sangiovanni-Vincentelli

Citation
Marten Lohstroh, Iñigo Incer Romeo, Andrés Goens, Patricia Derler, Jeronimo Castrillon, Edward A. Lee, and Alberto Sangiovanni-Vincentelli. "Reactors: A Deterministic Model for Composable Reactive Systems". Model-Based Design of Cyber Physical Systems (CyPhy), Oct. 17-18 2019.

Abstract
This paper describes a component-based concurrent model of computation for reactive systems. The components in this model, featuring ports and hierarchy, are called reactors. The model leverages a semantic notion of time, an event scheduler, and a synchronous-reactive style of communication to achieve determinism. Reactors enable a programming model that ensures determinism, unless explicitly abandoned by the programmer. We show how the coordination of reactors can safely and transparently exploit parallelism, both in shared-memory and distributed systems.

Electronic Downloads

• https://ptolemy.berkeley.edu/publications/papers/19/Lohstroh_etAl_Reactor_CyPhy19_PDFA.pdf

---

Citation Formats

• HTML
  

                  
  Marten Lohstroh, Iñigo Incer Romeo, Andrés Goens, Patricia Derler, Jeronimo Castrillon, Edward A. Lee, and Alberto Sangiovanni-Vincentelli.
  "<a href="https://www.icyphy.org/publications/2019_LohstrohEtAl3/">Reactors: A Deterministic Model for Composable Reactive Systems</a>".
  <i>Model-Based Design of Cyber Physical Systems (CyPhy)</i>, Oct. 17-18 2019.
                  
                  

• Plain Text
  

                  
  Marten Lohstroh, Iñigo Incer Romeo, Andrés Goens, Patricia Derler, Jeronimo Castrillon, Edward A. Lee, and Alberto Sangiovanni-Vincentelli.
  "Reactors: A Deterministic Model for Composable Reactive Systems".
  Model-Based Design of Cyber Physical Systems (CyPhy), Oct. 17-18 2019.
                  
                  

• BibTeX
  

                      
  @inproceedings{LohstrohEtAl:19:Reactors,
  	author = {Marten Lohstroh, Iñigo Incer Romeo, Andrés Goens, Patricia Derler, Jeronimo Castrillon, Edward A. Lee, and Alberto Sangiovanni-Vincentelli},
  	title = {Reactors: A Deterministic Model for Composable Reactive Systems},
  	booktitle = {Model-Based Design of Cyber Physical Systems (CyPhy)},
  	month = {Oct. 17-18},
  	year = {2019},
  	abstract = {This paper describes a component-based concurrent model of computation for reactive systems. The components in this model, featuring ports and hierarchy, are called reactors. The model leverages a semantic notion of time, an event scheduler, and a synchronous-reactive style of communication to achieve determinism. Reactors enable a programming model that ensures determinism, unless explicitly abandoned by the programmer. We show how the coordination of reactors can safely and transparently exploit parallelism, both in shared-memory and distributed systems.},
  	URL = {https://www.icyphy.org/publications/2019_LohstrohEtAl3/}
  }