Cited By
View all- Sun WSalcic Z(2011)GALS-DesignerACM Transactions on Design Automation of Electronic Systems (TODAES)10.1145/2003695.200369916:4(1-24)Online publication date: 27-Oct-2011
LibGALS: a library for GALS systems design and modeling
Pages 107 - 112
Abstract
LibGALS is a library and run-time environment that extends a multi-process host operating system (OS) to support the design of Globally Asynchronous Locally Synchronous (GALS) software systems and models. LibGALS provides an application programming interface (API) that enables the designer to describe GALS concurrent programs and reactivity in sequential programming languages. Moreover, it facilitates the interface between the GALS concurrent program and other processes through the services provided by the host OS. LibGALS is also suitable as a target for code generation from GALS and synchronous concurrent languages. The experiments demonstrate code size and run-time gains when compared with other approaches to GALS system implementation.
References
[1]
G. Berry and G Gonthier. The ESTEREL synchronous programming language: Design, semantics, implementation. Sci. Comput. Program. 19, 2, 87--52, 1992.
[2]
A. Malik, Z. Salcic, and P. S. Roop. Tandem virtual machine -- An efficient execution platform for GALS language System J. In Proceeding of the 13th Asia-Pacific Computer Systems Architecture Conference, 2008.
[3]
Standard for Information Technology- Portable Operating System Interface (POSIX) Base Specifications, Issue 7. IEEE Std 1003.1-2008 Revision of IEEE Std 1003.1-2004. c1-3826, 2008.
[4]
A. Silberschatz and P. B. Galvin. Operating System Concepts, 5th edition. 2000.
[5]
S. Edwards, V. Kapadia, and M. Halas. Compiling Esterel into static discrete-event code. In Proceedings of Synchronous Languages, Applications, and Programming (SLAP), 2004.
[6]
F. Gruian, P. Roop, Z. Salcic, and I. Radojevic. The SystemJ approach to System-Level Design. In Proceeding of the 4th Internation Conference on Formal Methods and Model for Codesign, 2006.
[7]
M. Antonotti, A. Ferrari, A. Flesca, and A. Sangiovanni-Vincentelli. JESTER: An Esterel based reactive Java extension for reactive embedded systems. FDL, 2000.
[8]
L. Hazard, J. F. Susini, and F. Boussinot. The Junior reactive kernel. Research Report RR-3732, INRIA, 1999.
[9]
F. Boussinot and J. F. Susini. The sugarCubes tool box: a reactive Java framework. Softw. Pract. Exper. 28, 14, 1531--1550, 1998.
[10]
F. Boussinot and R. de Simone. The SL Synchronous Language. IEEE Trans. Softw. Eng. 22, 4, 256--266, 1996.
[11]
C. A. Hoare. Communicating sequential processes. Commun. ACM 21, 8, 666--677, 1978.
[12]
P. D. Butucaru. Optimisations for Faster Execution of Esterel Programs. Ph.D. thesis, Ecole des Mines de Paris, 2002.
- LibGALS: a library for GALS systems design and modeling
Recommendations
WFR-TM
Transactional Memory (TM) is a promising concurrent programming paradigm which employs transactions to achieve synchronization in accessing common data known as transactional variables. A transaction may either commit, making its updates to ...
SystemJ: A GALS language for system level design
In this paper we present the syntax, semantics, and compilation of a new system-level programming language called SystemJ. SystemJ is a multiclock language supporting the Globally Asynchronous Locally Synchronous (GALS) model of computation. The ...
TxLinux: using and managing hardware transactional memory in an operating system
SOSP '07TxLinux is a variant of Linux that is the first operating system to use hardware transactional memory (HTM) as a synchronization primitive, and the first to manage HTM in the scheduler. This paper describes and measures TxLinux and discusses two ...
Comments
Please enable JavaScript to view thecomments powered by Disqus.Information & Contributors
Information
Published In
Sponsors
- TICD: TICD
- SIGDA: ACM Special Interest Group on Design Automation
- IEEE CAS
Publisher
IEEE Press
Publication History
Published: 18 January 2010
Check for updates
Qualifiers
- Research-article
Conference
ASPDAC '10
Sponsor:
- TICD
- SIGDA
Acceptance Rates
Overall Acceptance Rate 466 of 1,454 submissions, 32%
Upcoming Conference
ASPDAC '25
- Sponsor:
- sigda
Contributors
Other Metrics
Bibliometrics & Citations
Bibliometrics
Article Metrics
- View Citations1Total Citations
- 62Total Downloads
- Downloads (Last 12 months)0
- Downloads (Last 6 weeks)0
Reflects downloads up to 18 Nov 2024
Other Metrics
Citations
Cited By
View all- Sun WSalcic Z(2011)GALS-DesignerACM Transactions on Design Automation of Electronic Systems (TODAES)10.1145/2003695.200369916:4(1-24)Online publication date: 27-Oct-2011
View Options
Login options
Check if you have access through your login credentials or your institution to get full access on this article.
Sign in