Get 20M+ Full-Text Papers For Less Than $1.50/day. Start a 14-Day Trial for You or Your Team.

Learn More →

The Design and Implementation of the Synchronous Language CÉU

The Design and Implementation of the Synchronous Language CÉU ´ The Design and Implementation of the Synchronous Language CEU FRANCISCO SANT'ANNA, UERJ ROBERTO IERUSALIMSCHY and NOEMI RODRIGUEZ, PUC­Rio SILVANA ROSSETTO, UFRJ ADRIANO BRANCO, PUC­Rio C´ U is a synchronous language targeting soft real-time systems. It is inspired by Esterel and has a simple E semantics with fine-grain control over program execution. C´ U uses an event-triggered notion of time that E 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. CCS Concepts: r Software and its engineering Concurrent programming languages Additional Key Words and Phrases: Concurrency, determinism, embedded systems, Esterel, synchronous, reactivity ACM Reference Format: Francisco Sant'Anna, Roberto Ierusalimschy, Noemi Rodriguez, Silvana Rossetto, and Adriano Branco. 2017. The design and implementation of the synchronous language C´ U. ACM Trans. Embed. Comput. Syst. 16, 4, E Article 98 (July 2017), 26 pages. DOI: http://dx.doi.org/10.1145/3035544 1. INTRODUCTION An established alternative to C in http://www.deepdyve.com/assets/images/DeepDyve-Logo-lg.png ACM Transactions on Embedded Computing Systems (TECS) Association for Computing Machinery

The Design and Implementation of the Synchronous Language CÉU

The Design and Implementation of the Synchronous Language CÉU


Abstract

´ The Design and Implementation of the Synchronous Language CEU FRANCISCO SANT'ANNA, UERJ ROBERTO IERUSALIMSCHY and NOEMI RODRIGUEZ, PUC­Rio SILVANA ROSSETTO, UFRJ ADRIANO BRANCO, PUC­Rio C´ U is a synchronous language targeting soft real-time systems. It is inspired by Esterel and has a simple E semantics with fine-grain control over program execution. C´ U uses an event-triggered notion of time that E 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. CCS Concepts: r Software and its engineering Concurrent programming languages Additional Key Words and Phrases: Concurrency, determinism, embedded systems, Esterel, synchronous, reactivity ACM Reference Format: Francisco Sant'Anna, Roberto Ierusalimschy, Noemi Rodriguez, Silvana Rossetto, and Adriano Branco. 2017. The design and implementation of the synchronous language C´ U. ACM Trans. Embed. Comput. Syst. 16, 4, E Article 98 (July 2017), 26 pages. DOI: http://dx.doi.org/10.1145/3035544 1. INTRODUCTION An established alternative to C in

Loading next page...
 
/lp/association-for-computing-machinery/the-design-and-implementation-of-the-synchronous-language-c-u-YVSiNq66wM

References (61)

Publisher
Association for Computing Machinery
Copyright
Copyright © 2017 by ACM Inc.
ISSN
1539-9087
DOI
10.1145/3035544
Publisher site
See Article on Publisher Site

Abstract

´ The Design and Implementation of the Synchronous Language CEU FRANCISCO SANT'ANNA, UERJ ROBERTO IERUSALIMSCHY and NOEMI RODRIGUEZ, PUC­Rio SILVANA ROSSETTO, UFRJ ADRIANO BRANCO, PUC­Rio C´ U is a synchronous language targeting soft real-time systems. It is inspired by Esterel and has a simple E semantics with fine-grain control over program execution. C´ U uses an event-triggered notion of time that E 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. CCS Concepts: r Software and its engineering Concurrent programming languages Additional Key Words and Phrases: Concurrency, determinism, embedded systems, Esterel, synchronous, reactivity ACM Reference Format: Francisco Sant'Anna, Roberto Ierusalimschy, Noemi Rodriguez, Silvana Rossetto, and Adriano Branco. 2017. The design and implementation of the synchronous language C´ U. ACM Trans. Embed. Comput. Syst. 16, 4, E Article 98 (July 2017), 26 pages. DOI: http://dx.doi.org/10.1145/3035544 1. INTRODUCTION An established alternative to C in

Journal

ACM Transactions on Embedded Computing Systems (TECS)Association for Computing Machinery

Published: Jul 13, 2017

There are no references for this article.