research-article

Hierarchical scheduling over off- and on-chip deterministic networks

Authors:

Ramon Serna Oliver,

Silviu S. CraciunasAuthors Info & Claims

ACM SIGBED Review, Volume 13, Issue 4

Pages 14 - 19

https://doi.org/10.1145/3015037.3015039

Published: 03 November 2016 Publication History

Abstract

In this paper we present a compositional model for distributed virtualized systems communicating over on-chip/off-chip deterministic networks implementing an end-to-end or partial time-triggered paradigm. We derive system-level constraints for combined task-, virtualization-and network-level static scheduling enabling the end-to-end composition of schedules for systems featuring table-driven (guest) operating systems. In the absence of a time-triggered run-time system, we analyze the composition problem with the aid of hierarchical scheduling methods for abstract resources. Moreover, we identify and discuss possible tradeoffs and optimization opportunities that arise when scheduling across multiple (virtualized) software layers in tandem with the deterministic network.

References

[1]

Abdelzaher, T. F., and Shin, K. G. Combined task and message scheduling in distributed real-time systems. IEEE Trans. Parallel Distrib. Syst. 10, 11 (1999), 1179--1191.

Digital Library

[2]

Buttazzo, G. C. Hard Real-time Computing Systems: Predictable Scheduling Algorithms And Applications (Real-Time Systems Series). Springer-Verlag, 2004.

Digital Library

[3]

Craciunas, S. S., and Serna Oliver, R. Combined task-and network-level scheduling for distributed time-triggered systems. Real-Time Systems 52, 2 (2016), 161--200.

Digital Library

[4]

Craciunas, S. S., Serna Oliver, R., and Ecker, V. Optimal static scheduling of real-time tasks on distributed time-triggered networked systems. In Proc. ETFA (2014), IEEE Computer Society.

[5]

Durrieu, G., Fohler, G., Gala, G., Girbal, S., Gracia Pérez, D., Noulard, E., Pagetti, C., and Pérez, S. DREAMS about reconfiguration and adaptation in avionics. In Proc. ERTS (2016).

[6]

Fohler, G. Changing operational modes in the context of pre run-time scheduling. IEICE Transactions on Information and Systems Special Issue on Responsive Computer Systems (November 1993).

[7]

Forget, J., Grolleau, E., Pagetti, C., and Richard, P. Dynamic priority scheduling of periodic tasks with extended precedences. In Proc. ETFA (2011), IEEE Computer Society.

[8]

Guasque, A., Balbastre, P., Brocal, V., and Crespo, A. Schedulability analysis of hierarchical systems with arbitrary scheduling in the global level. In Proc. CESCIT (2015).

[9]

Hanzalek, Z., Burget, P., and Šucha, P. Profinet IO IRT message scheduling. In Proc. ECRTS (2009), IEEE Computer Society.

Digital Library

[10]

Matic, S., and Henzinger, T. A. Trading end-to-end latency for composability. In Proc. RTSS (2005), IEEE Computer Society.

Digital Library

[11]

Metzner, A., Franzle, M., Herde, C., and Stierand, I. Scheduling distributed real-time systems by satisfiability checking. In Proc. RTCSA (2005), IEEE Computer Society.

Digital Library

[12]

Murshed, A., Obermaisser, R., Ahmadian, H., and Khalifeh, A. Scheduling and allocation of time-triggered and event-triggered services for multi-core processors with networks-on-a-chip. In Proc. INDIN (2015).

[13]

Obermaisser, R., et al. Architectural style of DREAMS. Distributed Real-time Architecture for Mixed Criticality Systems (DREAMS) D1.2.1 (July 2014).

[14]

Pedro, P., and Burns, A. Schedulability analysis for mode changes in flexible real-time systems. In Proc. ECRTS (1998), IEEE Computer Society.

[15]

Pop, P., Eles, P., and Peng, Z. Schedulability-driven communication synthesis for time triggered embedded systems. Real-Time Syst. 26, 3 (2004), 297--325.

Digital Library

[16]

Real, J., and Crespo, A. Mode change protocols for real-time systems: A survey and a new proposal. Real-Time Systems 26, 2 (2004), 161--197.

Digital Library

[17]

Sha, L., Rajkumar, R., Lehoczky, J., and Ramamritham, K. Mode change protocols for priority-driven preemptive scheduling. Real-Time Systems 1 (1988), 243--264.

[18]

Shin, I., and Lee, I. Periodic resource model for compositional real-time guarantees. In Proc. RTSS (2003), IEEE Computer Society.

Digital Library

[19]

Shin, I., and Lee, I. Compositional real-time scheduling framework with periodic model. ACM Trans. Embed. Comput. Syst. 7, 3 (2008), 30:1--30:39.

Digital Library

[20]

Steiner, W., Bauer, G., Hall, B., and Paulitsch, M. TTEthernet: Time-Triggered Ethernet. In Time-Triggered Communication, R. Obermaisser, Ed. CRC Press, Aug 2011.

[21]

Steiner, W., and Dutertre, B. Automated formal verification of the TTEthernet synchronization quality. In NASA Formal Methods, vol. 6617 of Lecture Notes in Computer Science. Springer, 2011.

Digital Library

[22]

Zhang, L., Goswami, D., Schneider, R., and Chakraborty, S. Task- and network-level schedule co-synthesis of Ethernet-based time-triggered systems. In Proc. ASP-DAC (2014), IEEE Computer Society.

Cited By

Wang JSu J(2022)Scheduling and Routing Synthesis for Off-Chip Time-Triggered Communication2022 2nd Asia-Pacific Conference on Communications Technology and Computer Science (ACCTCS)10.1109/ACCTCS53867.2022.00052(212-220)Online publication date: Feb-2022
https://doi.org/10.1109/ACCTCS53867.2022.00052
Ruh J(2021)Towards a Robust MMIO-based Synchronized Clock for Virtualized Edge Computing Devices2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA )10.1109/ETFA45728.2021.9613473(01-08)Online publication date: 7-Sep-2021
https://dl.acm.org/doi/10.1109/ETFA45728.2021.9613473

Index Terms

Hierarchical scheduling over off- and on-chip deterministic networks
1. 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

Index terms have been assigned to the content through auto-classification.

Recommendations

Flattening hierarchical scheduling
EMSOFT '12: Proceedings of the tenth ACM international conference on Embedded software

Recently, the application of virtual-machine technology to integrate real-time systems into a single host has received significant attention and caused controversy. Drawing two examples from mixed-criticality systems, we demonstrate that current ...
Some topics on deterministic scheduling problems
Online scheduling with migration on two hierarchical machines
Abstract
We consider online scheduling with migration on two hierarchical machines, with the goal of minimizing the makespan. In this model, one of the machines can run any job, while the other machine can only receive jobs from a subset of the input jobs. ... $\frac{}{}$ $\frac{}{}$

Comments

Information & Contributors

Information

Published In

cover image ACM SIGBED Review

ACM SIGBED Review Volume 13, Issue 4

Special Issue on 14th International Workshop on RealTime Networks (RTN 2016)

September 2016

65 pages

EISSN:1551-3688

DOI:10.1145/3015037

Editors:
Jean-Luc Scharbarg
Université de Toulouse, France
,
Mathieu Jan
CEA LIST, France

Issue’s Table of Contents

Copyright © 2016 Authors.

Publisher

Association for Computing Machinery

New York, NY, United States

Publication History

Published: 03 November 2016

Published in SIGBED Volume 13, Issue 4

Check for updates

Qualifiers

Research-article

Contributors

Other Metrics

View Article Metrics

Bibliometrics & Citations

Bibliometrics

Article Metrics

2
Total Citations
View Citations
63
Total Downloads

Downloads (Last 12 months)6
Downloads (Last 6 weeks)0

Reflects downloads up to 29 Jul 2024

Other Metrics

View Author Metrics

Citations

Cited By

Wang JSu J(2022)Scheduling and Routing Synthesis for Off-Chip Time-Triggered Communication2022 2nd Asia-Pacific Conference on Communications Technology and Computer Science (ACCTCS)10.1109/ACCTCS53867.2022.00052(212-220)Online publication date: Feb-2022
https://doi.org/10.1109/ACCTCS53867.2022.00052
Ruh J(2021)Towards a Robust MMIO-based Synchronized Clock for Virtualized Edge Computing Devices2021 26th IEEE International Conference on Emerging Technologies and Factory Automation (ETFA )10.1109/ETFA45728.2021.9613473(01-08)Online publication date: 7-Sep-2021
https://dl.acm.org/doi/10.1109/ETFA45728.2021.9613473

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 Publication

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