Scheduling - with Michael Roitzsch

Syslog

Show Notes and Links

Michael Roitzsch returns to Syslog and we talk about scheduling in operating systems. Michael has focussed his research on soft real-time systems and explored, among other things, how good scheduling can help with smooth video display. In this episode, we introduce basic scheduling concepts, what is happening in scheduling today and how the increasingly multi-core world will shape schedulers in the future.

Michael is the acting head of the TU Dresden Operating Systems group and researcher at the Barkhausen Institute.

Additional sound effects from https://www.zapsplat.com.

• Discuss the episode in Matrix room #ukvly:matrix.org or on Freenode IRC #ukvly.
• Send feedback to [e-mail] or via Twitter.

Resources

• GWU Lecture: Linux CFS vs Real-Time Scheduling
• TU Dresden: Operating Systems Group
• Syslog: Contact Tracing Apps
• Wikipedia: Real-time Computing
• ATLAS
• Arachne
• Grand Central Dispatch (GCD)

Chapitres

1. Intro (00:00:00)

2. Why is scheduling hard? (00:06:27)

3. Theory vs. Winging it (00:15:14)

4. Real-Time Systems (00:19:55)

5. Worst-Case Execution Time (00:24:52)

6. Soft Real Time (00:32:15)

7. Setting Priorities (00:34:42)

8. Concurrency (00:43:57)

9. Dispatching Systems (00:51:53)

10. Is scheduling solved (01:06:00)

11. Tail Latency (01:20:03)

12. Learning More (01:24:50)

13. Is everything lost (01:30:13)