Explores coordination and scheduling in operating systems, covering lost wakeup problems, scheduling algorithms, and coordination primitives like sleep and wakeup.
Introduces the fundamental concepts of scheduling in operating systems, covering limited direct execution, protection rings, context switching, and various scheduling policies.
Provides an overview of MicroC/OS-II, a real-time kernel with multitasking capabilities and deterministic functions, covering topics such as task management, kernel, and intertask communication.
Discusses scheduling internals, metrics, and policies in computer systems, emphasizing efficiency and the complexities of modern multi-core architectures.
Covers the operating system's role as a referee in managing resources and ensuring security through fault isolation, resource sharing, and communication.
Delves into building efficient safety-critical systems, emphasizing the importance of worst-case execution times and the challenges of integrating efficiency considerations into design processes.
