WiP: An optimizing Framework for Real-time Scheduling Sakthivel M. - PowerPoint PPT Presentation

Sep 04, 2022 •97 likes •166 views

WiP: An optimizing Framework for Real-time Scheduling Sakthivel M. SUNDHARAM, Nicolas NAVET, Sebastian ALTMEYER, University of Luxembourg (RTAS 2016) Vienna, Austria, April 12, 2016 Process activation model offset period Activation

WiP: An optimizing Framework for Real-time Scheduling Sakthivel M. SUNDHARAM, Nicolas NAVET, Sebastian ALTMEYER, University of Luxembourg (RTAS 2016) Vienna, Austria, April 12, 2016
Process activation model offset period Activation conditions (aka “guarded executions”) are for implementing functioning modes and executing event-triggered activities 2 www.designcps.com
CPAL scheduling model o The choice of non-preemptive scheduling : – No context-switch + no cache related preemption delays (CRPD) on the WCET + less memory usage – No shared resources, easier to validate, less timing variability – But .. reduced ability to meet tight deadline constraints o Currently FIFO, EDFNP, FPNP policy are available : – FIFO Enforces event-order determinism, (i.e.) very predictable – FIFO gives Work-conserving unlike static cyclic scheduling o Built-in support for WCET measurements at run-time o Everything is defined by the user …. 3 www.designcps.com
CPAL scheduler synthesis – Why ? • Scheduler synthesis: automatic selection and optimization of all scheduling parameters • Application developer to take care on high level details of system development • Low level details of the system development -> timing behavior is taken care by synthesis • Interpretation engine will have the scheduling configuration synthesized • development cycle time thus reduced because of automation 4 www.designcps.com
Conclusion & ongoing work o CPAL: an interpreted language on a time-triggered execution engine - imperative programming in the functional domain - declarative programming in the non-functional domain o Positive feedback about CPAL through industrial use-cases and teaching o Code generation feasible for higher performance - hook to native code too o Ongoing work: 1. timing equivalence between models in simulation and execution / SILx for the execution engine 2. Scheduler synthesis step to automate selection and optimization of scheduling parameters CPAL is free to use for academics (research works and industrial projects), Extensions to the language and toolset are welcome 5 www.designcps.com

Recommend

Real Real- -Time Systems Time Systems Example: scheduling using EDF Example: scheduling using

EDA222/DIT160 Real-Time Systems, Chalmers/GU, 2008/2009 Lecture #14 Updated 2009-03-01 Real Real- -Time Systems Time Systems Example: scheduling using EDF Example: scheduling using EDF Problem: Assume a system with tasks according to the

593 views • 5 slides

Linux as a Real-Time OS 2 Tuesday, July 9, 13 2 Linux as a Real-Time OS Optimizing system

A Comparison of Scheduling Latency in Linux, PREEMPT_RT, and LITMUS RT Felipe Cerqueira and Bjrn Brandenburg July 9th, 2013 1 Tuesday, July 9, 13 1 Linux as a Real-Time OS 2 Tuesday, July 9, 13 2 Linux as a Real-Time OS Optimizing system

1.21k views • 105 slides

Compositional Real-Time Scheduling Framework Insik Shin 1 , Insup Lee 1 1 University of

Compositional Framework Bounded Delay Resource Model Schedulability Analysis Utilization Bounds Component Abstraction Conclusion Compositional Real-Time Scheduling Framework Insik Shin 1 , Insup Lee 1 1 University of Pennsylvania 15 November

362 views • 33 slides

Real-Time Scheduling Author: Peter van der Stok CTT-DRTS-WS Scheduling dd 5-1-2001 Phi l i ps

1 Real-Time Scheduling Real-Time Scheduling Author: Peter van der Stok CTT-DRTS-WS Scheduling dd 5-1-2001 Phi l i ps Res ear ch 2 Real-Time Scheduling Overview Three examples water vessel avionics multimedia

388 views • 23 slides

Today Intro to real-time scheduling Cyclic executives Scheduling tables Frames

Today Intro to real-time scheduling Cyclic executives Scheduling tables Frames Frame size constraints Generating schedules Non-independent tasks Pros and cons Real-Time Systems The correctness of a real-time

441 views • 27 slides

Last Time Real-time scheduling using cyclic executives Today Real-time scheduling using

Last Time Real-time scheduling using cyclic executives Today Real-time scheduling using priorities How to assign priorities? Will the assigned priorities work? What can we say in general about the scheduling algorithms?

185 views • 17 slides

Last Time u Real-time scheduling using cyclic executives Today u Real-time scheduling using

Last Time u Real-time scheduling using cyclic executives Today u Real-time scheduling using priorities How to assign priorities? Will the assigned priorities work? What can we say in general about the scheduling algorithms?

352 views • 17 slides

Real-Time Scheduling slides: P. Puschner Scheduling Task Model Assumptions about task timing,

Real-Time Scheduling slides: P. Puschner Scheduling Task Model Assumptions about task timing, interaction Scheduling Algorithm Scheduling mode and selection function Schedulability Test Prediction of worst-case behavior 2 Real-Time

519 views • 40 slides

Real- -Time Systems Time Systems Real Specification Dynamic scheduling Implementation --

EDA222/DIT160 Real-Time Systems, Chalmers/GU, 2008/2009 Lecture #14 Updated 2009-03-01 Real- -Time Systems Time Systems Real Specification Dynamic scheduling Implementation -- Earliest-deadline-first scheduling

427 views • 10 slides

Real-Time Calculus for Scheduling Hard Real-Time Systems Lothar Thiele, Samarjit Chakraborty and

Introduction Real-Time Calculus Conclusion Real-Time Calculus for Scheduling Hard Real-Time Systems Lothar Thiele, Samarjit Chakraborty and Marting Naedele ETH Z urich Presented by Robert Staudinger University of Salzburg December 20,

540 views • 18 slides

Real-Time Operating Systems Issues Example of a real-time capable OS: Solaris. S. Khanna, M.

CPSC-663: Real-Time Systems Real-Time Scheduling in Solaris Real-Time Operating Systems Issues Example of a real-time capable OS: Solaris. S. Khanna, M. Sebree, J.Zolnowsky. Realtime Scheduling in SunOS 5.0. USENIX - Winter 92.

332 views • 8 slides

AADL : about scheduling analysis Summary Issues about real-time scheduling : AADL to the 1.

AADL : about scheduling analysis Summary Issues about real-time scheduling : AADL to the 1. rescue Focus on fixed-priority scheduling: 2. Basics on uniprocessor AADL components/properties to scheduling 3. analysis An example with

567 views • 38 slides

RETIS Lab Real-Time Systems Laboratory Real-Time Scheduling for Multiprocessor Systems Giuseppe

RETIS Lab Real-Time Systems Laboratory Real-Time Scheduling for Multiprocessor Systems Giuseppe Lipari The multi-core revolution Technology trend use multiple processing elements on the same chip less power consumption, less

425 views • 6 slides

IMC4-2RT Real-time scheduling Damien MASSON http://esiee.fr/~massond/Teaching/ last

IMC4-2RT Real-time scheduling Damien MASSON http://esiee.fr/~massond/Teaching/ last modification: December 1, 2014 References Hard real-time computing systems: predictable scheduling algorithms and applications, Giorgio C. Buttazzo, Springer,

1.12k views • 74 slides

MARACAS: A Real-Time Multicore VCPU Jingyi Zhang, Zhuoqun Cheng Scheduling Framework

MARACAS Ying Ye, Richard West, MARACAS: A Real-Time Multicore VCPU Jingyi Zhang, Zhuoqun Cheng Scheduling Framework Introduction Quest RTOS Ying Ye, Richard West, Jingyi Zhang, Zhuoqun Cheng Background Scheduling Memory- Computer

1.12k views • 58 slides

Real Real- -Time Systems Time Systems Deadline- Deadline -monotonic scheduling monotonic

EDA222/DIT160 Real-Time Systems, Chalmers/GU, 2008/2009 Lecture #13 Updated 2009-02-24 Real Real- -Time Systems Time Systems Deadline- Deadline -monotonic scheduling monotonic scheduling Properties: Properties: Uses static

322 views • 5 slides

Chapter 4 Priority-Based Real-Time Scheduling Real-Time Embedded Systems Laboratory Northeastern

Spring 2009 - Real-Time Systems http://www.neu-rtes.org/courses/spring2009/ Chapter 4 Priority-Based Real-Time Scheduling Real-Time Embedded Systems Laboratory Northeastern University Objectives In this chapter, you are supposed to learn:

695 views • 32 slides

Scheduling, part 2 Other advanced scheduling issues Real-time scheduling Don Porter

11/14/11 Last time Scheduling overview, key trade-offs, etc. O(1) scheduler older Linux scheduler Today: Completely Fair Scheduler (CFS) new hotness Scheduling, part 2 Other advanced scheduling issues

304 views • 7 slides

An Average-Case Analysis for Rate-Monotonic Multiprocessor Real-time Scheduling Andreas

An Average-Case Analysis for Rate-Monotonic Multiprocessor Real-time Scheduling Andreas Karrenbauer & Thomas Rothvo Institute of Mathematics EPFL, Lausanne ESA 2009 Real-time Scheduling Given: synchronous tasks 1 , . . . , n where

927 views • 90 slides

2. Scheduling for Real-Time Systems Roadmap for Section 2 Task Assignment and Scheduling

2. Scheduling for Real-Time Systems Roadmap for Section 2 Task Assignment and Scheduling Uni- vs. Multi-Processor Scheduling Algorithms Critical Sections and Priority Inversion HPI Embedded Systems 2 Programming Task Assignment and

735 views • 29 slides

Module 6: CPU Scheduling Basic Concepts Scheduling Criteria Scheduling Algorithms

Module 6: CPU Scheduling Basic Concepts Scheduling Criteria Scheduling Algorithms Multiple-Processor Scheduling Real-Time Scheduling Algorithm Evaluation Silberschatz, Galvin, and Gagne 1999 Applied Operating System

731 views • 36 slides

1 CPU Scheduler Preemptive Scheduling Also referred to as Short Term Preemptive

Contents CMSC 421 Spring 2004 Section 0202 Basic Concepts Scheduling Criteria Scheduling Algorithms Multiple-Processor Scheduling Real-Time Scheduling Algorithm Evaluation Part II: Process Management Chapter 6 CPU

399 views • 10 slides

Chapter 6: CPU Scheduling Basic Concepts Scheduling Criteria Scheduling Algorithms

Chapter 6: CPU Scheduling Basic Concepts Scheduling Criteria Scheduling Algorithms Multiple-Processor Scheduling Real-Time Scheduling Algorithm Evaluation Operating System Concepts Silberschatz, Galvin and Gagne 2002

496 views • 17 slides

Task Scheduling Algorithms REAL TIME SYSTEMS SHIRVAIKAR 1 Types of Tasks Real-time systems

Task Scheduling Algorithms REAL TIME SYSTEMS SHIRVAIKAR 1 Types of Tasks Real-time systems software is typically designed using distinct deliverables known as tasks or threads Fabrication of a schedule to determine whether the system

1.71k views • 125 slides