Lectures related to Fair queuing

Universal Constructions: Consensus and Shared Memory Models

Explores universality, consensus objects, shared memory models, and FIFO Queue implementation.

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.

Concurrency and transactional memory in Dafny

Covers Dafny for formal verification, modeling concurrency, safety rules, liveness, and transactional memory concepts.

CPU Scheduling Policies: FIFO, SJF, and Round Robin

Covers CPU scheduling policies, including FIFO, SJF, and Round Robin, emphasizing their impact on turnaround and response times.

Dynamic Scheduling in Processors: Enhancing Instruction Execution

Covers dynamic scheduling in processors, focusing on out-of-order execution and managing instruction dependencies effectively.