An HPC workload manager and job scheduler for desktops, clusters, and clouds.

Portable asynchronous microkernel with multiprocessor priority scheduling and Unix-like abstractions

Linux utility that can automatically pause any program when user activity is detected and resume it when user is idle.

Golang (as of 1.12.5) runtime internals that gives you an access to internal scheduling primitives. Park Gs, read IDs. (for learning purposes)

A Preemptive Hard Real Time kernel for embedded devices.

How fast are computers?

OS Disk Scheduling Algorithms implementations in C and JAVA

async/await C macros

Inter-process communication, synchronization & scheduling algorithms

ALPS: An Adaptive Learning, Priority OS Scheduler for Serverless Functions (USENIX ATC'24)

Lazuli is a multitasking RTOS (Real-Time Operating System/kernel) targeting AVR microcontrollers. It allows to program and run multiple independent tasks in a real-time context on AVR microcontrollers.

Operating System Projects

Friendly, lightweight, hardware-agnostic timer abstraction layer in C. Use a single timer/counter source to drive many timed events.

A 64-bit cooperative multi-tasking toy operating system in C

A JobShop scheduling using Genetic Algorithm

Realtime Audio Graph Engine (RAGE)

Advanced Operating System (G677) - University of Cantabria

Extended xv6 operating system with new console shortcuts and command history, new system calls, BJF and RR and LCFS scheduling, new synchronization methods like priority lock, shared memory

Find my approach on following Challenges (Mathematical & Logical) 💡 based on 📚 Data Structure & Algorithms. 📐