SystemJ: A GALS language for system level design

Formal Semantics, Compilation and Execution of the GALS Programming Language DSystemJ

“…At the start of the tick of each CD, the CD's input signals are sampled from the environment by the program; next the required transitions are computed, and, finally, the CD's output signals are emitted to the environment at the end of the CD tick, thereby implementing a state machine. All the syntactic constructs presented in Tables 1 and 2 can be freely intermixed with most of the Java constructs (refer [15] for complete description).…”

“…c) Finally, multiple serverListener CDs would be essential in a large distributed system for load balancing requests from multiple GUIListener CDs. Finally, SystemJ also provides the asynchronous >< construct to create CDs; this asynchronous parallelism is only logical, i.e., all the parallelism is compiled into a single threaded code [15], and hence, SystemJ is unable to take advantage of the multicore and distributed architecture. …”

“…The reader is referred to [15] for a detailed explanation about the rest of the kernel statements ( The run construct is used to dynamically fork CDs. The version "run unique-name ([args])" forks the CD already registered with the runtime system, while the version "run #channel-name ([args])" forks a CD received via the channel "channel-name."…”

“…DSystemJ is a conservative extension of SystemJ [15] and hence it follows the GALS MoC of the SystemJ language. A SystemJ program consists of a set of clock-domains, (in Fig.…”

“…It is a conservative extension of the Globally Asynchronous Locally Synchronous (GALS) language SystemJ [15]. DSystemJ extends SystemJ with new features to deal with the dynamics of asynchronous processes, called clock-domains.…”