Reactors: A Deterministic Model for Composable Reactive Systems
Reactors: A Deterministic Model for Composable Reactive Systems
复制标题
DOI：
10.1007/978-3-030-41131-2_4
复制
发表时间：
2019-10
期刊：
影响因子：
--
通讯作者：
Marten Lohstroh;Í. Í. Romeo-Í.;Andrés Goens;P. Derler;J. Castrillón;Edward A. Lee;A. Sangiovanni-Vincentelli-A.-Sangiovanni
中科院分区：
文献类型：
--
作者：
Marten Lohstroh;Í. Í. Romeo-Í.;Andrés Goens;P. Derler;J. Castrillón;Edward A. Lee;A. Sangiovanni-Vincentelli-A.-Sangiovanni
本文描述了一种基于组件的反应式系统并发计算模型。该模型中的组件，具有端口和层次结构，称为反应器。该模型利用时间的语义概念、事件调度器和同步反应式通信来实现确定性。反应器使编程模型能够确保确定性，除非程序员显式放弃。我们展示了如何协调反应器可以安全和透明地利用并行性，无论是在共享内存和分布式系统。
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.