The Design and Implementation of the Synchronous Language CÉU
The Design and Implementation of the Synchronous Language CÉU
复制标题
同步语言CÉU的设计与实现
DOI：
10.1145/3035544
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Adriano Branco
中科院分区：
文献类型：
--
作者：
Francisco Sant'anna;R. Ierusalimschy;N. Rodriguez;Silvana Rossetto;Adriano Branco
CéU是一种面向软实时系统的同步语言。它受到Esterel的启发，具有简单的语义和对程序执行的细粒度控制力。CéU使用事件触发的时间概念，使编译时检查能够检测冲突的并发语句，从而产生确定性和并发安全的程序。与Esterel相比，我们展示了我们设计的特殊性，例如基于堆栈的内部事件、并发检查、与C的安全集成以及一流的计时器。我们还提供了两个实现后端：一个旨在实现资源效率和与C的互操作性，另一个作为允许远程重新编程的虚拟机。
CéU is a synchronous language targeting soft real-time systems. It is inspired by Esterel and has a simple semantics with fine-grain control over program execution. CéU uses an event-triggered notion of time that enables compile-time checks to detect conflicting concurrent statements, resulting in deterministic and concurrency-safe programs. We present the particularities of our design in comparison to Esterel, such as stack-based internal events, concurrency checks, safe integration with C, and first-class timers. We also present two implementation back ends: one aiming for resource efficiency and interoperability with C, and another as a virtual machine that allows remote reprogramming.