Linux Kernel `rwlock_t`
Introduction Concurrency is one of the fundamental challenges in Linux kernel development. Multiple kernel threads, interrupt contexts, and subsystem components can access shared kernel state concurre
Oct 13, 20269 min read
Command Palette
Search for a command to run...
Latest articles
F# as a Linux Kernel Module Development Orchestrator
Introduction Linux kernel module development normally involves a repetitive sequence: make sign rmmod insmod dmesg When experimenting with kernel modules, repeating these commands manually quickly be
Sep 26, 202611 min read
Understanding atomic_t vs refcount_t in the Linux Kernel
atomic_t vs refcount_t in the Linux Kernel: Counters, References, and Object Lifetime Introduction When developing Linux kernel code, counters and object lifetime management can look deceptively simil
Sep 12, 202616 min read
Understanding Linux Kernel Threads and Spinlocks
Introduction Concurrent execution is an important concept in operating systems and kernel development. Modern processors can execute multiple tasks concurrently, often across multiple CPU cores. When
Sep 2, 202613 min read
Linux Kernel-Priority Inheritance
Introduction Priority inversion is a classic scheduling problem in real-time and concurrent systems. It occurs when a high-priority task is forced to wait for a lower-priority task, while a medium-pri
Aug 22, 202613 min read
Linux Kernel Priority Inversion: Mutex, Scheduling and Priority Inheritance
Introduction Priority inversion is a classic concurrency and real-time scheduling problem in operating systems. The basic situation is simple: A LOW-priority thread owns a mutex. A HIGH-priority thre
Aug 21, 20269 min read
Understanding `mutex_lock_killable()` in Linux Kernel Modules
Synchronization is one of the most important concepts in Linux kernel development. When multiple kernel threads access a shared resource simultaneously, improper synchronization can lead to race condi
Aug 7, 20264 min read
Building an F# Control Plane with a C Data Plane on Linux
Modern software systems often separate control logic from high-performance execution logic. This design is common in networking, distributed systems, operating systems, storage engines, and embedded s
Jul 30, 20264 min read
Integrating F# with Native C Using P/Invoke for Engineering Computation
Introduction Engineering software often combines multiple programming languages to leverage their individual strengths. A common approach is to implement computational algorithms in native C or C++ wh
Jul 29, 20264 min read