Probabilistic Real-Time Analysis Luca Santinelli and Liliana - PowerPoint PPT Presentation

Probabilistic Real-Time Analysis Luca Santinelli and Liliana Cucu-Grosjean Trio Team, INRIA Nancy Grand-Est France 1/17

Problem Statement ◮ Real-Time Systems: timing constraints to enforce and guarantee in all the conditions ◮ Task Scheduling: task execution through scheduling algorithms 2/17

Problem Statement ◮ Real-Time Systems: timing constraints to enforce and guarantee in all the conditions ◮ Task Scheduling: task execution through scheduling algorithms Real-Time System: S = ( A , R , Γ) 2/17

Problem Statement ◮ Real-Time Systems: timing constraints to enforce and guarantee in all the conditions ◮ Task Scheduling: task execution through scheduling algorithms Real-Time System: S = ( A , R , Γ) Scheduling Algorithms A ◮ Priority-based ◮ Static or Dynamic Timing constraints... 2/17

Problem Statement ◮ Real-Time Systems: timing constraints to enforce and guarantee in all the conditions ◮ Task Scheduling: task execution through scheduling algorithms Real-Time System: S = ( A , R , Γ) Resource R ◮ Computational resource ◮ Communication resource ◮ · · · 2/17

Problem Statement ◮ Real-Time Systems: timing constraints to enforce and guarantee in all the conditions ◮ Task Scheduling: task execution through scheduling algorithms Real-Time System: S = ( A , R , Γ) Task set Γ Γ = { τ 1 , τ 2 , . . . , τ n } τ i = ( O i , C i , T i , D i ) Timing constraints → Deadline D i 2/17

Problem Statement ◮ Real-Time Systems: timing constraints to enforce and guarantee in all the conditions ◮ Task Scheduling: task execution through scheduling algorithms Real-Time System: S = ( A , R , Γ) WORST-CASE SYSTEM and ANALYSIS 2/17

Outline Problem Statement 1 Real-Time Analysis 2 Motivations to Probabilities 3 Probabilities 4 3/17

Real-Time Analysis: Abstractions ◮ Workload bound function wbf: the maximum amount of resource required by that task ◮ Demand bound function dbf: the minimum amount of resource demanded by that task in order to execute and meet its timing constraint ◮ supply bound function sbf: the minimum resource provisioning from a resource provisioning system element 4/17

Real-Time Analysis: Abstractions ◮ Workload bound function wbf: the maximum amount of resource required by that task ◮ Demand bound function dbf: the minimum amount of resource demanded by that task in order to execute and meet its timing constraint ◮ supply bound function sbf: the minimum resource provisioning from a resource provisioning system element Functions 4/17

Real-Time Analysis: Approximations Approximating the resource supply sbf bdf( t ) = max { 0 , α ( t − ∆) } sbf( t ) α = lim t t →∞ ∆ = inf { q | α ( t − q ) ≤ sbf( t ) ∀ t } 5/17

Real-Time Analysis: Approximations Approximating the resource supply sbf bdf( t ) = max { 0 , α ( t − ∆) } sbf( t ) α = lim t t →∞ ∆ = inf { q | α ( t − q ) ≤ sbf( t ) ∀ t } Approximations applicable to workload and resource demand 5/17

Real-Time Analysis: Approximations Approximating the resource supply sbf bdf( t ) = max { 0 , α ( t − ∆) } sbf( t ) α = lim t t →∞ ∆ = inf { q | α ( t − q ) ≤ sbf( t ) ∀ t } Approximations applicable to workload and resource demand Approximations 5/17

Real-Time Analysis: Schedulability Schedulability A real-time system is schedulable if all the tasks composing the system meet their deadline while executing Scheduling conditions are defined by comparing the resource request (workload or resource demand) and the resource provisioning 6/17

Real-Time Analysis: Schedulability Schedulability A real-time system is schedulable if all the tasks composing the system meet their deadline while executing Scheduling conditions are defined by comparing the resource request (workload or resource demand) and the resource provisioning Comparison: timing guarantees (hard or soft) 6/17

Real-Time Analysis: an Example of Schedulability i.e. Earliest Deadline First (EDF) scheduling paradigm, a task set Γ , receiving an amount of resource sbf can be guaranteed schedulable (its deadline can be guaranteed) if and only if ∀ t dbf Γ ( t ) ≤ sbf( t ) With the bounded-delay linear approximation, the feasibility condition becomes a sufficient condition ∀ t bdf( t ) ≤ sbf( t ) i.e. with α, ∆ approximation ∀ t ∈ D : dbf( t ) ≤ α ( t − ∆) D is the set of deadlines the application schedulability has to be checked 7/17

Real-Time Analysis: Feasibility Space Schedulability conditions also relate to schedulability regions in representation space Example: the ( α, ∆)-space - possible to define feasibility regions where the task set is schedulable with the ( α, ∆) resource assignment i.e. EDF, the application feasibility region is defined by ∀ t ∈ D : dbf( t ) ≤ α ( t − ∆) ∀ t ∈ D : ∆ ≤ t − dbf( t ) α � t − dbf( t ) � ∆ ≤ min t ∈ D α 8/17

Real-Time Analysis: Feasibility Space Earliest Deadline First 5 4 3 2 1 0 0 0.2 0.4 0.6 0.8 1 8/17

Outline Problem Statement 1 Real-Time Analysis 2 Motivations to Probabilities 3 Probabilities 4 9/17

Motivations to Probabilities ◮ Worst-case timing analysis to validate the system 10/17

Motivations to Probabilities ◮ Worst-case timing analysis to validate the system HOWEVER, a worst-case analysis provides pessimistic results (WCET ≡ pessimism) that not all real-time systemsems can afford 10/17

Motivations to Probabilities ◮ Worst-case timing analysis to validate the system HOWEVER, a worst-case analysis provides pessimistic results (WCET ≡ pessimism) that not all real-time systemsems can afford The pessimism can be decreased by using probabilistic approaches. 10/17

Motivations to Probabilities ◮ Worst-case timing analysis to validate the system HOWEVER, a worst-case analysis provides pessimistic results (WCET ≡ pessimism) that not all real-time systemsems can afford The pessimism can be decreased by using probabilistic approaches. What else? ◮ Reliability analysis, used to estimate the imperfection of reality ◮ Unreliable nature of the system environment and the system elements 10/17

Motivations to Probabilities ◮ Worst-case timing analysis to validate the system HOWEVER, a worst-case analysis provides pessimistic results (WCET ≡ pessimism) that not all real-time systemsems can afford The pessimism can be decreased by using probabilistic approaches. What else? ◮ Reliability analysis, used to estimate the imperfection of reality ◮ Unreliable nature of the system environment and the system elements Guarantee timing constraints needed for hard and soft real-time systems/applications 10/17

Outline Problem Statement 1 Real-Time Analysis 2 Motivations to Probabilities 3 Probabilities 4 11/17

A Probabilistic Model Γ = { τ 1 , τ 2 , . . . , τ n } τ i = ( C i , D i , T i ) C i - random variable on the execution time with a known probability function f C i ( · ) ( f C i ( C ) = P ( C i = C )) � C max = C 0 C 1 C min = C m � · · · i i i i i C i = f C i ( C max f C i ( C 1 f C i ( C min ) i ) · · · ) i i � f C i ( C j i ) = 1 j 12/17

Probabilistic Analysis Probabilistic functions and probabilistic approximation results in probabilistic bounds to the system behaviour 13/17

Probabilistic Analysis Probabilistic functions and probabilistic approximation results in probabilistic bounds to the system behaviour Probabilistic dbf � �� t − D i � �� C j dbf i , j ( t ) = max 0 , + 1 i T i Each dbf i , j has a bounding probability i f C i ( C k p i , j = 1 − � i ). i ≤ C j k : C k Probabilities: probability of bounding the resource demand 13/17

Probabilistic Analysis Probabilistic functions and probabilistic approximation results in probabilistic bounds to the system behaviour Probabilistic dbf � �� t − D i � �� C j dbf i , j ( t ) = max 0 , + 1 i T i Each dbf i , j has a bounding probability i f C i ( C k p i , j = 1 − � i ). i ≤ C j k : C k Probabilities: probability of bounding the resource demand Probabilistic functions: � dbf i , j , p i , j � 13/17

Probabilistic Analysis Probabilistic functions and probabilistic approximation results in probabilistic bounds to the system behaviour Probabilistic sbf Periodic service provisioning ( Q , P ), the worst-case/minimum resource supply [0 , t ) sbf( t ) = max { 0 , ( k − 1) Q , t − ( k + 1)( P − Q ) } k = ⌈ t − ( P − Q ) ⌉ P Probabilities: probability of bounding the resource provisioning 13/17

Probabilistic Analysis Probabilistic functions and probabilistic approximation results in probabilistic bounds to the system behaviour Probabilistic sbf Periodic service provisioning ( Q , P ), the worst-case/minimum resource supply [0 , t ) sbf( t ) = max { 0 , ( k − 1) Q , t − ( k + 1)( P − Q ) } k = ⌈ t − ( P − Q ) ⌉ P Probabilities: probability of bounding the resource provisioning Probabilistic functions: � sbf k , p k � 13/17

Probabilistic Feasibility Space: an Example Test Case � � 1 2 3 Given a probabilistic task τ = (0 , , 10 , 10), The 0 . 6 0 . 3 0 . 1 possible probabilistic demand bound curves are � t − 10 � dbf 1 = + 1 1 → ( α 1 , ∆ 1 ) 10 � t − 10 � dbf 2 = + 1 2 → ( α 2 , ∆ 2 ) 10 � t − 10 � dbf 3 = + 1 3 → ( α 3 , ∆ 3 ) 10 14/17