Real-Time Programming Languages - Operating Systems

More documents

Recommendations

Info

Run-Time Priorities 01 02 03 04 05 06 07 procedure Set_Priority(Priority: Any_Priority; T: Task_ID := Current_Task); function Get_Priority(T: Task_ID := Current_Task) return Any_Priority; Resets base priority. WS 2013/14 Real-Time Systems, Real-Time Prog. Languages / Hermann Härtig 36
EDF Dispatching How to set deadlines: Burns, Wellings Ch. 14.3 Page 336 f. 01 02 03 04 05 Package ada.dispatching.EDF is procedure set_deadline (D: in deadline, T: in TaskId) Procedure DelayUntilAndSetDeadline(...) Procedure GetDeadline (...) Or 01 02 Pragma Relative_Deadline(Milliseconds(3)) & Explicit call to set first deadline of periodic task WS 2013/14 Real-Time Systems, Real-Time Prog. Languages / Hermann Härtig 37
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: Active Priority Base priority or
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 and 56: Example: Operator/Subscriber 01 02
Page 57 and 58: Recurrent Tasks (1) 01 02 03 04 05
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 ●

Real-Time Programming Languages - Operating Systems

Create successful ePaper yourself

Delete template?

Save as template?