Efficient Online Schedulability Tests for Real-Time Systems

Slides:

Advertisements

Similar presentations

Feedback Control Real-Time Scheduling: Framework, Modeling, and Algorithms Chenyang Lu, John A. Stankovic, Gang Tao, Sang H. Son Presented by Josh Carl.

Advertisements

Priority INHERITANCE PROTOCOLS

CprE 458/558: Real-Time Systems

Real-time concepts Lin Zhong ELEC424, Fall Real time Correctness – Logical correctness – Timing Hard vs. Soft – Hard: lateness is intolerable Pass/Fail.

CprE 458/558: Real-Time Systems (G. Manimaran)1 CprE 458/558: Real-Time Systems (m, k)-firm tasks and QoS enhancement.

1 Deferrable Scheduling for Temporal Consistency: Schedulability Analysis and Overhead Reduction Ming Xiong : Lucent Bell Labs Song Han: City University.

Real-Time Scheduling CIS700 Insup Lee October 3, 2005 CIS 700.

Preemptive Behavior Analysis and Improvement of Priority Scheduling Algorithms Xiaoying Wang Northeastern University China.

1 An Efficient Mode Decision Algorithm for H.264/AVC Encoding Optimization IEEE TRANSACTION ON MULTIMEDIA Hanli Wang, Student Member, IEEE, Sam Kwong,

EE 249, Fall Discussion: Scheduling Haibo Zeng Amit Mahajan.

Embedded Systems Exercise 3: Scheduling Real-Time Periodic and Mixed Task Sets 18. May 2005 Alexander Maxiaguine.

Recap Priorities task-level static job-level static dynamic Migration task-level fixed job-level fixed migratory Baker/ Oh (RTS98) Pfair scheduling This.

Scheduling Algorithms for Multiprogramming in a Hard-Real-Time Environment Presented by Pete Perlegos C.L. Liu and James W. Layland.

On the Task Assignment Problem : Two New Efficient Heuristic Algorithms.

By Group: Ghassan Abdo Rayyashi Anas to’meh Supervised by Dr. Lo’ai Tawalbeh.

CprE 458/558: Real-Time Systems (G. Manimaran)1 CprE 458/558: Real-Time Systems Imprecise Computations.

Real-Time Operating System Chapter – 8 Embedded System: An integrated approach.

3.3 Zeros of polynomial functions

The Design and Performance of A Real-Time CORBA Scheduling Service Christopher Gill, David Levine, Douglas Schmidt.

1 IEEE Trans. on Smart Grid, 3(1), pp , Optimal Power Allocation Under Communication Network Externalities --M.G. Kallitsis, G. Michailidis.

Real-Time Systems Hierarchical Real-Time Systems for Imprecise Computation Model The 5th EuroSys Doctoral Workshop (EuroDW 2011) Guy Martin.

Multiprocessor Real-time Scheduling Jing Ma 马靖. Classification Partitioned Scheduling In the partitioned approach, the tasks are statically partitioned.

資工系網媒所 NEWS 實驗室 Paper Discussion C. L. Liu and James W. Layland, "Scheduling Algorithms for Multiprogramming in a Hard-Real- Time Environment", JACM, Vol.

Copyright © 2011 Pearson, Inc. 2.4 Real Zeros of Polynomial Functions.

1 §12.4 The Definite Integral The student will learn about the area under a curve defining the definite integral.

Real Zeros of Polynomial Functions. Quick Review.

CS Spring 2011 CS 414 – Multimedia Systems Design Lecture 31 – Multimedia OS (Part 1) Klara Nahrstedt Spring 2011.

Real-Time Scheduling CS4730 Fall 2010 Dr. José M. Garrido Department of Computer Science and Information Systems Kennesaw State University.

Real-Time Scheduling CS 3204 – Operating Systems Lecture 20 3/3/2006 Shahrooz Feizabadi.

4.4 The Fundamental Theorem of Calculus

Real-time Virtual Resource: a Timely Abstraction for Embedded Systems Aloysius K. Mok Alex Xiang Feng Dept. of Computer Sciences University of Texas at.

A Delay Composition theorem for Real-Time Pipelines P. Jayachandran T. Abdelzaher Presenter: Sina Meraji.

A Deferrable Scheduling Algorithm for Real-Time Transactions Maintaining Data Freshness Ming Xiong Bell Labs Research, Lucent Technologies Song Han, Kam-yiu.

1 Scheduling Processes with Release Times, Deadlines, Precedence and Exclusion Relations J. Xu and D. L. Parnas IEEE Transactions on Software Engineering,

A Multicast Mechanism in WiMax Mesh Network Jianfeng Chen, Wenhua Jiao, Pin Jiang, Qian Guo Asia-Pacific Conference on Communications, (APCC '06)

RTOS task scheduling models

CprE 458/558: Real-Time Systems (G. Manimaran)1 CprE 458/558: Real-Time Systems RMS and EDF Schedulers.

2.4/2.52.4/2.5 Real Zeros of Polynomial Functions.

Sequences Lesson 8.1. Definition A succession of numbers Listed according to a given prescription or rule Typically written as a 1, a 2, … a n Often shortened.

Real Time Operating Systems Schedulability - Part 2 Course originally developed by Maj Ron Smith 12/20/2015Dr Alain Beaulieu1.

Real-Time Scheduling CS 3204 – Operating Systems Lecture 13 10/3/2006 Shahrooz Feizabadi.

Chapter 3: Real-Time Scheduling and Schedulability Analysis Albert M. K. Cheng.

CS Spring 2009 CS 414 – Multimedia Systems Design Lecture 31 – Process Management (Part 1) Klara Nahrstedt Spring 2009.

Introduction to Real-Time Systems

A Fault-Tolerant Scheduling Algorithm for Real-Time Periodic Tasks with Possible Software Faults Ching-Chih Han, Kang G. Shin, and Jian Wu.

Mok & friends. Resource partition for real- time systems (RTAS 2001)

ECRTS/WiP, July 2009 André M. van Renssen, TU/e, Mathematics & Computer Science 1 André M. van Renssen, Stefan J. Geuns, Joost.

CS Spring 2010 CS 414 – Multimedia Systems Design Lecture 32 – Multimedia OS Klara Nahrstedt Spring 2010.

Fault-Tolerant Rate- Monotonic Scheduling Sunondo Ghosh, Rami Melhem, Daniel Mosse and Joydeep Sen Sarma.

Distributed Process Scheduling- Real Time Scheduling Csc8320(Fall 2013)

Embedded System Scheduling

Mean Value Theorem 5.4.

Scheduling in Real-Time Systems

CS38 Introduction to Algorithms

Sequences Lesson 8.1.

EEE 6494 Embedded Systems Design

Real-Time Resource Scheduling  A. Mok 2016

Imprecise Computation September 7, 2006

Finding polynomial roots

Real Time Scheduling Mrs. K.M. Sanghavi.

Elastic Task Model For Adaptive Rate Control

Enforcing Real-Time Behavior I

Networked Real-Time Systems: Routing and Scheduling

Jian-Jia Chen and Tei-Wei Kuo

ورود اطلاعات بصورت غيربرخط

Processes and operating systems

Limits and Continuity An introduction to Limits and how we will be using them.

Youngki Kim Mobile R&D Laboratory KT, Korea

Ch 4. Periodic Task Scheduling

Real-Time Scheduling David Ferry CSCI 3500 – Operating Systems

Presentation transcript:

Efficient Online Schedulability Tests for Real-Time Systems Tei-Wei Kuo, Senior Member, IEEE, Li-Pin Chang, Yu-Hua Liu, and Kwei-Jay Lin, Senior Member, IEEE

Schedulability Test Liu & Layland first introduced the concept of achievable utilization factor U Online v.s. offline Kuo & Mok, Han & Tyan, ......

Utilization factor Proposed by Liu & Layland Under the process model Preemptive processes Periodically request Parameters : (Ci, Pi) U = Σ (Ci/Pi) Sufficient condition for schedulablily test

Schedulability Test Based on the Liu and Layland Model Some definition Division Graph Offspring set Root Reduced set & RSR

Division Graph

Offspring set

Root

Reduced Set

Example {τi | i = 1~5 } = {3, 5, 15, 20, 60} Root :60 Sevreal offspring of τ5 , e.g. {3,5}, {3,5,60} For {τ1,τ2, τ3} , τ (which period is τ3 and utilization factor is equal to the sum of utilization factor of τ1,τ2, τ3) is an RSR of {τ1,τ2, τ3} . {τ1,τ2, τ3} is a reduced set of τ

Schedulability Theorems

Schedulability Theorems

Schedulablility Test Algorithm

example T3 is schedulable according to utilization bound, but T4, T5 is not guaranteed schedulable because U4 > U(4), U5 > U(5), where Ui Is the utilization factor of Ti and U(i) is the achievable utilization of i processes Actually, T4 and T5 is schedulable ! Why and How ?

Schedulability test for multiframe model Multiframe ? τ: ((C0, C1, … CN), pi) Peak execution time Peak utilization factor

AM Multiframe model AM means Accumulative monotonic

AM multiframe model Critical instant : same as LL model Root & offspring : same as LL model RSR :