Projects implemented on XINU OS. Process Scheduling, Demand Paging, and Concurrency Control.
-
Updated
Dec 3, 2020 - C
Projects implemented on XINU OS. Process Scheduling, Demand Paging, and Concurrency Control.
[EN-US] A Python GUI process scheduling simulator demonstrating priority inversion, priority inheritance protocol, and Gantt chart metrics. [PT-BR] Simulador gráfico de escalonamento de processos em Python com suporte a inversão e herança de prioridade e visualização via gráfico de Gantt.
Hand-written preemptive RTOS kernel for STM32F407 — ~700 lines, zero malloc, bitmap scheduler, PendSV, priority inheritance
📄 Priority Scheduler with use of semaphores
Solving priority inversion in a preemptive real-time kernel for ARM Cortex-M7: dynamic-priority scheduler + priority-inheritance mutex, demonstrated on QEMU (UTC MI11)
A deterministic embedded RTOS kernel featuring priority inheritance, deadlock detection, advanced IPC primitives, and dual-strategy memory management.
A deterministic real-time operating system (RTOS) scheduling and verification engine in C++17 featuring Rate Monotonic (RMS), Earliest Deadline First (EDF), and Priority Inheritance Protocol (PIP).
Deterministic RTOS simulator in Rust: preemptive scheduler, priority inheritance, mutexes, queues
Demonstrating the priority inversion bug in FreeRTOS, and the priority inheritance implemented in FreeRTOS, while implementing another priority inheritance method.
To associate your repository with the priority-inheritance topic, visit your repo's landing page and select "manage topics."