Skip to content

Daniel's page

Daniel Bristot de Oliveira

  • About me
  • Academics
    • Academic Collaboration
    • Publications
    • Lectures
    • Organization and others
  • Career
  • Linux and Formal Methods
    • Operating System Noise in the Linux Kernel
    • Linux Task Model
    • Efficient Formal Verification for the Linux Kernel
    • Demystifying the Real-Time Linux Scheduling Latency
  • Software
  • RTLA

Deadline scheduling part 1 — overview and theory (LWN.net)

Daniel All January 16, 2018 1 Minute

Here is the first article about the deadline scheduler usage I wrote to LWN: Deadline scheduling part 1 — overview and theory

Published by Daniel

View all posts by Daniel

Published January 16, 2018

Post navigation

Previous Post Automata-Based Modeling of Interrupts in the Linux PREEMPT RT Kernel
Next Post Deadline scheduler part 2 — details and usage (LWN.net)
Proudly powered by WordPress | Theme: Independent Publisher 2 by Raam Dev.