AJAmit Joshiindevnation.joshisfitness.com·3d ago · 13 min readLinux 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-pri31I
AJAmit Joshiindevnation.joshisfitness.com·4d ago · 9 min readLinux Kernel Priority Inversion: Mutex, Scheduling and Priority InheritanceIntroduction 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 thre10
AJAmit Joshiindevnation.joshisfitness.com·Aug 7 · 4 min readUnderstanding `mutex_lock_killable()` in Linux Kernel ModulesSynchronization 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 condi00
AJAmit Joshiindevnation.joshisfitness.com·Jul 30 · 4 min read Building an F# Control Plane with a C Data Plane on LinuxModern 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 s10
AJAmit Joshiindevnation.joshisfitness.com·Jul 29 · 4 min readIntegrating F# with Native C Using P/Invoke for Engineering ComputationIntroduction 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++ wh52N
