Real-Time Programming Languages - Operating Systems

More documents

Recommendations

Info

Simple Periodic Task With Static Priority 01 02 03 04 05 06 07 08 09 10 11 12 13 14 task A is pragma Priority(5); end A; task body A is Next_Release: Real_Time.Time; begin Next_Release := Real_Time.Clock; loop -- code Next_Release := Next_Release + Real_Time.Milliseconds(10); delay until Next_Release; end loop end A; Burns, Wellings Ch. 14.3 Page 345 WS 2013/14 Real-Time Systems, Real-Time Prog. Languages / Hermann Härtig 56
Recurrent Tasks (1) 01 02 03 04 05 06 07 08 09 10 11 12 13 14 15 16 17 18 19 20 21 22 23 with Ada.Task_Identification; use Ada.Task_Identification; with Ada.Real_Time; use Ada.Real_Time; package Periodic_Scheduler is procedure Set_Characteristic(T : Task_Id; Period : Time_Span; First_Schedule : Time); procedure Wait_Until_Next_Schedule; -- potentially blocking end Periodic_Scheduler; with Ada.Task_Attributes; package body Periodic_Scheduler is Start_Up_Time : Time := Clock; type Task_Information is record Period : Time_Span := Time_Span_Zero; Next_Schedule_Time : Time := Time_Of(100_000,Time_Span_Zero); end record; Default : Task_Information; -- a default object needs to be provided -- to the following package instantiation package Periodic_Attributes is new Ada.Task_Attributes(Task_Information, Default); use Periodic_Attributes; Burns, Wellings WS 2013/14 Real-Time Systems, Real-Time Prog. Languages / Hermann Härtig 57
Page 1 and 2:
Real-Time Systems Hermann Härtig R
Page 3 and 4:
RT Language Classes Synchronous HLL
Page 5 and 6: Synchronous Systems → Synchronous
Page 7 and 8: Esterel at a glance Most statements
Page 9 and 10: Esterel „Data“: Variables and S
Page 11 and 12: Signals vs Variables 01 Emit Count(
Page 13 and 14: Examples (all by Berry): ABRO Speci
Page 15 and 16: Speed Specification SPEED: Count th
Page 17 and 18: Few general points Ada has “Annex
Page 19 and 20: Concurrency Tasks ● ● ● ● a
Page 21 and 22: Termination of Tasks Every task has
Page 23 and 24: The Rendezvous Based on client/serv
Page 25 and 26: In detail task executing Server Cli
Page 27 and 28: Select Statement ● ● Arbitrary
Page 29 and 30: Example: Resource with Locking 01 0
Page 31 and 32: Tasks ./. Protected Objects 01 02 0
Page 33 and 34: Fixed Priorities ● task (type) T
Page 35 and 36: Active Priority Base priority or
Page 37 and 38: EDF Dispatching How to set deadline
Page 39 and 40: Mixed Scheduling Policies, example
Page 41 and 42: Explicit Request Ordering: Requeue
Page 43 and 44: Timing events 01 02 03 04 05 06 07
Page 45 and 46: Example: Watchdog 01 02 03 04 05 06
Page 47 and 48: Time: Delay Statement 01 02 03 04 0
Page 49 and 50: Delay and Select, client side(1) 01
Page 51 and 52: Example 01 02 03 04 05 06 07 select
Page 53 and 54: Example: Operator/Subscriber 01 02
Page 55: Example: Operator/Subscriber 01 02
Page 59 and 60: Recurrent Tasks (3) Periodic tasks
Page 61 and 62: Example 01 02 03 04 05 06 07 08 09
Page 63 and 64: Example 01 02 03 04 05 06 07 08 09
Page 65 and 66: Missing in this RT-HLL lecture ●
show all

Real-Time Programming Languages - Operating Systems

Create successful ePaper yourself

Delete template?

Save as template?