research-article

Scheduling Globally Asynchronous Locally Synchronous Programs for Guaranteed Response Times

Authors:

Zoran SalcicAuthors Info & Claims

ACM Transactions on Design Automation of Electronic Systems (TODAES), Volume 20, Issue 3

Article No.: 40, Pages 1 - 25

https://doi.org/10.1145/2740961

Published: 24 June 2015 Publication History

Abstract

Safety-critical software systems need to guarantee functional correctness and bounded response times to external input events. Programs designed using reactive programming languages, based on formal mathematical semantics, can be automatically verified for functional correctness guarantees. Real-time guarantees on the other hand are much harder to achieve. In this article we provide a static analysis framework for guaranteeing response times for reactive programs developed using the Globally Asynchronous Locally Synchronous (GALS) model of computation. The proposed approach is applicable to scheduling of GALS programs for different target architectures with single or multiple processors or cores. A Satisfiability Modulo Theory (SMT) formulation in the quantifier free linear real arithmetic (QF_LRA) logic is used for scheduling. A novel technique to encode rendezvous used in synchronization of globally asynchronous processes in the presence of locally synchronous parallelism and arbitrary preemption into QF_LRA logic is presented. Finally, our SMT formulation is shown to produce schedules in reasonable time.

References

[1]

Y. Abdeddaïm and O. Maler. 2001. Job-shop scheduling using timed automata. In Computer Aided Verification, G. Berry, H. Comon, and A. Finkel, Eds., Springer, 478--492.

Digital Library

[2]

H. I. Abdel Aziz Ali, L. M. Pinho, and B. Akesson. 2013. Critical-Path-First based allocation of real-time streaming applications on 2D mesh-type multi-cores. In Proceedings of the IEEE 19th International Conference on Embedded and Real-Time Computing Systems and Applications. 201--208.

[3]

A. Alhammad and R. Pellizzoni. 2014. Schedulability analysis of global memory-predictable scheduling. In Proceedings of the 14th International Conference on Embedded Software. ACM, 1--10.

Digital Library

[4]

R. Alur and T. A. Henzinger. 1991. Time for logic. ACM SIGACT News 22, 100--109.

[5]

S. K. Baruah. 1998. A general model for recurring real-time tasks. In Proceedings of the IEEE 34th Real-Time Systems Symposium IEEE, 114--114.

Digital Library

[6]

G. Berry. 2005. Esterel v7: From verified formal specification to efficient industrial designs. In Proceedings of the 8th International Conference on Fundamental Approaches to Software Engineering. Springer.

Digital Library

[7]

G. Berry and G. Gonthier. 1992. The Esterel synchronous programming language: Design, semantics, implementation. Sci. Computer Programming 19, 87--152.

Digital Library

[8]

V. Bertin, E. Closse, M. Poize, J. Pulou, J. Sifakis, P. Venier, D. Weil, and S. Yovine. 2001. TAXYS=Esterel+ Kronos. A tool for verifying real-time properties of embedded systems. In Proceedings of the 40th IEEE Conference on Decision and Control. Lecture Notes in Computer Science, vol. 2873, 2875--2880.

[9]

P. Butucaru, D. Edwards, S. A. Edwards, and G. Berry. 2007. Compiling Esterel. Springer.

Digital Library

[10]

D. Dasari, B. Andersson, V. Nelis, S. M. Petters, A. Easwaran, and L. Jinkyu. 2011. Response time analysis of COTS-based multicores considering the contention on the shared memory bus. In Proceedings of the IEEE 10th International Conference on Trust, Security and Privacy in Computing and Communications. 1068--1075.

Digital Library

[11]

R. Gerth, D. Peled, M. Y. Vardi, and P. Wolper. 1996. Simple on-the-fly automatic verification of linear temporal logic. In Proceedings of the 15th IFIP WG6.1 International Symposium on Protocol Specification, Testing and Verification. Chapman & Hall, Ltd., 3--18.

Digital Library

[12]

A. Girault, X. Nicollin, and M. Pouzet. 2006. Automatic rate desynchronization of embedded reactive programs. ACM Trans. Embed. Comput. Syst. 5, 687--717.

Digital Library

[13]

R. Henia, A. Hamann, M. Jersak, R. Racu, K. Richter, and R. Ernst. 2005. System level performance analysis: The SymTA/S approach. In IEE Proceedings - Computers and Digital Techniques. 148--166.

[14]

C. A. R. Hoare. 1978. Communicating sequential processes. Commun. ACM 21, 666--677.

Digital Library

[15]

M. Jersak and R. Ernst. 2003. Enabling scheduling analysis of heterogeneous systems with multi-rate data dependencies and rate intervals. In Proceedings of the Design Automation Conference. 454--459.

Digital Library

[16]

M. Joseph and P. K. Pandya. 1986. Finding response times in a real-time system. Comput. J. 29, 390--395.

[17]

S. Kang, P. Xuezeng, W. Jiebing, and W. Jimin. 2006. Design of a novel asynchronous reconfigurable architecture for cryptographic applications. In Proceedings of the 1st International Multi-Symposiums on Computer and Computational Sciences (IMSCCS'06). 751--757.

Digital Library

[18]

H. Kim, D. de Niz, B. Andersson, M. Klein, O. Mutlu, and R. R. Rajkumar. 2014. Bounding memory interference delay in COTS-based multi-core systems. In Proceedings of the 20th IEEE Real-Time and Embedded Technology and Applications Symposium.

[19]

P. LeGuernic, T. Gautier, M. Le Borgne, and C. Le Maire. 1991. Programming real-time applications with SIGNAL. Proc. IEEE 79, 1321--1336.

[20]

J. Lehoczky, S. Lui, and Y. Ding. 1989. The rate monotonic scheduling algorithm: Exact characterization and average case behavior. In Proceedings of the Real Time Systems Symposium. 166--171.

[21]

Z. Li, A. Malik, and Z. Salcic. 2014. TACO: A scalable framework for timing analysis and code optimization of synchronous programs. In Proceedings of the International Workshop on Embedded Multi-core Systems and Applications (IWMSA'14),

[22]

C. L. Liu and J. W. Layland. 1973. Scheduling algorithms for multiprogramming in a hard-real-time environment. J. ACM 20, 46--61.

Digital Library

[23]

D. Locke, B. S. Andersen, B. Brosgol, M. Fulton, T. Henties, J. J. Hunt, J. O. Nielsen, K. Nilsen, M. Schoeberl, J. Vitek, and A. Wellings. 2013. Safety-critical Java technology specification. Public draft.

[24]

A. Malik, Z. Salcic, C. Chong, and S. Javed. 2013. System-level approach to the design of a smart distributed surveillance system using SystemJ. ACM Trans. Embed. Comput. Syst. 11, 1--24.

Digital Library

[25]

A. Malik, Z. Salcic, and P. S. Roop. 2009. SystemJ compilation using the tandem virtual machine approach. ACM Trans. Des. Autom. Electron. Syst. 14, 1--37.

Digital Library

[26]

A. Malik, Z. Salcic, P. S. Roop, and A. Girault. 2010. SystemJ: A GALS language for system level design. Computer Languages, Syst. Structures 36, 317--344.

Digital Library

[27]

A. K. Mok and C. Deji. 1997. A Multiframe Model for Real-Time Tasks. IEEE Trans. Software Eng. 23, 635--645.

Digital Library

[28]

L. D. Moura and N. Bjørner. 2011. Satisfiability Modulo Theories: Introduction and Applications. Commun. ACM 54, 69--77.

Digital Library

[29]

M. Nadeem, M. Biglari-Abhari, and Z. Salcic. 2011. GALS-JOP: A Java embedded processor for GALS reactive programs. In Proceedings of the 9th International Conference on Dependable, Autonomic and Secure Computing. 292--299.

Digital Library

[30]

M. Nadeem, M. Biglari-Abhari, and Z. Salcic. 2012. JOP-Plus: A processor for efficient execution of java programs extended with gals concurrency. In Proceedings of the 17th Asia and South Pacific Design Automation Conference. 17--22.

[31]

H. Park, A. Malik, M. Nadeem, and Z. Salcic. 2014a. The cardiac pacemaker: SystemJ versus safety critical Java. In Proceedings of the 12th International Workshop on Java Technologies for Real-Time and Embedded Systems. ACM, 37--46.

Digital Library

[32]

H. Park, A. Malik, and Z. Salcic. 2014b. WYPIWYE automation systems: An intelligent manufacturing system case study. In Proceedings of the 19th International Conference on Emeting Technologies and Factory Automation.

[33]

T. M. Parks and E. A. Lee. 1995. Non-preemptive real-time scheduling of dataflow systems. In Proceedings of the International Conference on Acoustics, Speech, and Signal Processing (ICASSP'95). Lecture Notes in Computer Science, vol. 3235, 3235--3238.

[34]

G. Plotkin. 1991. A structural approach to operational semantics. J. Logic Algebraic Programming 60, 17.

[35]

A. Pnueli. 1977. The temporal logic of programs. In Proceedings of the 18th Annual Symposium on Foundations of Computer Science. 46--57.

Digital Library

[36]

D. Potop-Butucaru and I. Puaut. Integrated worst-case response time evaluation of multicore non-preemptive applications INRIA Open Archive.

[37]

K. Ramamritham, J. A. Stankovic, and P. F. Shiah. 1990. Efficient scheduling algorithms for real-time multiprocessor systems. IEEE Trans. Parallel Distrib. Syst. 1, 184--194.

Digital Library

[38]

X. Ruibin, R. Melhem, and D. Mosse. 2007. Energy-aware scheduling for streaming applications on chip multiprocessors. In Proceedings of the 28th IEEE International Real-Time Systems Symposium (RTSS'07). 25--38.

Digital Library

[39]

V. Sarkar. 1989. Partitioning and Scheduling Parallel Programs for Multiprocessors. MIT Press.

Digital Library

[40]

N. Satish, K. Ravindran, and K. Keutzer. 2007. A decomposition-based constraint optimization approach for statically scheduling task graphs with communication delays to multiprocessors. In Proceedings of the Design, Automation & Test in Europe Conference & Exhibition. 1--6.

Digital Library

[41]

Software Quality Research Laboratory. 2015. Pacemaker formal methods challenge. http://sqrl.mcmaster.ca/pacemaker.htm.

[42]

L. Thiele, S. Chakraborty, and M. Naedele. 2000. Real-time Calculus for Scheduling Hard Real-Time Systems. In Proceedings of the IEEE International Symposium on Circuits and Systems. 101--104.

[43]

K. van Berkel and A. Bink. 1996. Single-track handshake signaling with application to micropipelines and handshake circuits. In Proceedings of the 2nd International Symposium on Advanced Research in Asynchronous Circuits and Systems. 122--133.

Digital Library

[44]

Y. Wang, H. Liu, D. Liu, Z. Qin, Z. Shao, and E. H.-M. Sha. 2011. Overhead-aware energy optimization for real-time streaming applications on multiprocessor System-on-Chip. ACM Trans. Des. Autom. Electron. Syst. 16, 1--32.

Digital Library

[45]

R. Wilhelm, J. Engblom, A. Ermedahl, et al. The worst-case execution-time problem: Overview of methods and survey of tools. ACM Trans. Embed. Comput. Syst. 7, 1--53.

Digital Library

[46]

E. Yip, P. S. Roop, M. Biglari-Abhari, and A. Girault. 2013. Programming and Timing Analysis of Parallel Programs on Multicores. In Proceedings of the 13th International Conference on Application of Concurrency to System Design. 160--169.

Digital Library

[47]

K. Zurowska and J. Dingel. 2010. Model-based generation of test cases for reactive systems. Applied Formal Methods Group, School of Computing, Queen's University, Kingston, Ontario, Canada.

Cited By

Salcic ZNadeem MPark HTeich J(2016)Optimizing Latencies and Customizing NoC of Time-Predictable Heterogeneous Multi-core Processor2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSOC)10.1109/MCSoC.2016.34(233-240)Online publication date: Sep-2016
https://doi.org/10.1109/MCSoC.2016.34
Park HMalik ASalcic Z(2015)Compiling and verifying SC-SystemJ programs for safety-critical reactive systemsComputer Languages, Systems and Structures10.1016/j.cl.2015.08.00644:PC(251-282)Online publication date: 1-Dec-2015
https://dl.acm.org/doi/10.1016/j.cl.2015.08.006
Salcic ZNadeem MPark HTeich J(undefined)A heterogeneous multi-core SoC for mixed criticality industrial automation systems2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA.2016.7733519(1-4)
https://dl.acm.org/doi/10.1109/ETFA.2016.7733519

Index Terms

Scheduling Globally Asynchronous Locally Synchronous Programs for Guaranteed Response Times
1. Computer systems organization
  1. Embedded and cyber-physical systems
  2. Real-time systems
2. Theory of computation
  1. Design and analysis of algorithms
    1. Approximation algorithms analysis
      1. Scheduling algorithms
    2. Online algorithms
      1. Online learning algorithms
        Scheduling algorithms
  2. Theory and algorithms for application domains
    1. Machine learning theory
      1. Reinforcement learning
        Sequential decision making

Recommendations

Globally Asynchronous, Locally Synchronous Circuits: Overview and Outlook

For more than 20 years, significant research effort was concentrated on globally asynchronous, locally synchronous (GALS) design methodologies. But despite several successful implementations, GALS has had little impact on industry products. This article ...
Power and performance evaluation of globally asynchronous locally synchronous processors
Special Issue: Proceedings of the 29th annual international symposium on Computer architecture (ISCA '02)

Due to shrinking technologies and increasing design sizes, it is becoming more difficult and expensive to distribute a global clock signal with low skew throughout a processor die. Asynchronous processor designs do not suffer from this problem since ...
CAD Tools for a Globally Asynchronous Locally Synchronous FPGA Architecture
VLSID '06: Proceedings of the 19th International Conference on VLSI Design held jointly with 5th International Conference on Embedded Systems Design

The performance of FPGAs is suffering from interconnect delays, especially the delays of the long wires which can be more than 10ns in large FPGAs. We have proposed the GAPLA: a Globally Asynchronous Locally Synchronous (GALS) FPGA architecture to deal ...

Comments

Information & Contributors

Information

Published In

cover image ACM Transactions on Design Automation of Electronic Systems

ACM Transactions on Design Automation of Electronic Systems Volume 20, Issue 3

June 2015

345 pages

ISSN:1084-4309

EISSN:1557-7309

DOI:10.1145/2796316

Editor:
Naehyuck Chang
Korea Advanced Institute of Science and Technology, Korea

Issue’s Table of Contents

Copyright © 2015 ACM.

Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

Publisher

Association for Computing Machinery

New York, NY, United States

Journal Family

ACM Journals for the Design of Smart and Connected Systems

Publication History

Published: 24 June 2015

Accepted: 01 February 2015

Revised: 01 December 2014

Received: 01 July 2014

Published in TODAES Volume 20, Issue 3

Permissions

Request permissions for this article.

Request Permissions

Check for updates

Author Tags

Qualifiers

Research-article
Research
Refereed

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

3
Total Citations
View Citations
162
Total Downloads

Downloads (Last 12 months)4
Downloads (Last 6 weeks)1

Reflects downloads up to 12 Nov 2024

Other Metrics

View Author Metrics

Citations

Cited By

Salcic ZNadeem MPark HTeich J(2016)Optimizing Latencies and Customizing NoC of Time-Predictable Heterogeneous Multi-core Processor2016 IEEE 10th International Symposium on Embedded Multicore/Many-core Systems-on-Chip (MCSOC)10.1109/MCSoC.2016.34(233-240)Online publication date: Sep-2016
https://doi.org/10.1109/MCSoC.2016.34
Park HMalik ASalcic Z(2015)Compiling and verifying SC-SystemJ programs for safety-critical reactive systemsComputer Languages, Systems and Structures10.1016/j.cl.2015.08.00644:PC(251-282)Online publication date: 1-Dec-2015
https://dl.acm.org/doi/10.1016/j.cl.2015.08.006
Salcic ZNadeem MPark HTeich J(undefined)A heterogeneous multi-core SoC for mixed criticality industrial automation systems2016 IEEE 21st International Conference on Emerging Technologies and Factory Automation (ETFA)10.1109/ETFA.2016.7733519(1-4)
https://dl.acm.org/doi/10.1109/ETFA.2016.7733519

View Options

Get Access

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Full Access

Get this Article

View options

PDF

View or Download as a PDF file.

eReader

View online with eReader.

Media

Figures

Other

Tables

View Issue’s Table of Contents