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.

A scheduling framework for multitasking over diverse XPUs, including GPUs, NPUs, ASICs, and FPGAs

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.

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

Operating System Projects

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

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

Advanced Operating System (G677) - University of Cantabria

Realtime Audio Graph Engine (RAGE)

A JobShop scheduling using Genetic Algorithm