Reactors: A Deterministic Model for Composable Reactive Systems

被引：30

作者：

Lohstroh, Marten ^{[1
]}

Romeo, Inigo Incer ^{[1
]}

Goens, Andres ^{[2
]}

Derler, Patricia ^{[3
]}

Castrillon, Jeronimo ^{[2
]}

Lee, Edward A. ^{[1
]}

Sangiovanni-Vincentelli, Alberto ^{[1
]}

机构：

[1] Univ Calif Berkeley, Dept Elect Engn & Comp Sci, Berkeley, CA 94704 USA

[2] Tech Univ Dresden, Chair Compiler Construct, Dresden, Germany

[3] Natl Instruments, Austin, TX USA

来源：

CYBER PHYSICAL SYSTEMS: MODEL-BASED DESIGN, CYPHY 2019 | 2020年 / 11971卷

基金：

美国国家科学基金会;

关键词：

PROGRAMMING LANGUAGE; SEMANTICS; DESIGN;

D O I：

10.1007/978-3-030-41131-2_4

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

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.

引用

页码：59 / 85

页数：27

共 62 条

[1]

Agha G., 1986, MIT PRESS SERIES ART

[2] TIME, CLOCKS, AND ORDERING OF EVENTS IN A DISTRIBUTED SYSTEM [J].

LAMPORT, L .

COMMUNICATIONS OF THE ACM, 1978, 21 (07) :558-565

[3]

[Anonymous], 1996, Concurrent Programming in ERLANG (2nd Edition).

[4]

Bai Y, 2018, PROCEEDINGS OF THE 2018 16TH ACM/IEEE INTERNATIONAL CONFERENCE ON FORMAL METHODS AND MODELS FOR SYSTEM DESIGN (MEMOCODE), P109

[5] A Survey on Reactive Programming [J].

Bainomugisha, Engineer ;

Carreton, Andoni Lombide ;

Van Cutsem, Tom ;

Mostinckx, Stijn ;

De Meuter, Wolfgang .

ACM COMPUTING SURVEYS, 2013, 45 (04)

[6]

Baker H. G. Jr., 1977, SIGPLAN Notices, V12, P55, DOI 10.1145/872734.806932

[7] Debugging Data Flows in Reactive Programs [J].

Banken, Herman ;

Meijer, Erik ;

Gousios, Georgios .

PROCEEDINGS 2018 IEEE/ACM 40TH INTERNATIONAL CONFERENCE ON SOFTWARE ENGINEERING (ICSE), 2018, :752-763

[8] HYBRID DYNAMIC-SYSTEMS THEORY AND THE SIGNAL LANGUAGE [J].

BENVENISTE, A ;

LEGUERNIC, P .

IEEE TRANSACTIONS ON AUTOMATIC CONTROL, 1990, 35 (05) :535-546

[9] THE ESTEREL SYNCHRONOUS PROGRAMMING LANGUAGE - DESIGN, SEMANTICS, IMPLEMENTATION [J].

BERRY, G ;

GONTHIER, G .

SCIENCE OF COMPUTER PROGRAMMING, 1992, 19 (02) :87-152

[10]

Bilsen G., 1994, WORKSH VLSI SIGN PRO

← 1 2 3 4 5 6 7 →