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
AJAmit Joshiindevnation.joshisfitness.com·Jul 28 · 5 min readLinux Kernel Deadlock Deadlocks are one of the most common synchronization problems encountered in operating systems and concurrent programming. Although the concept is frequently introduced in textbooks, observing it insi00
AJAmit Joshiindevnation.joshisfitness.com·Jul 22 · 5 min readBitmap vs IDA in Linux Kernel: Understanding Region Allocation with a Kernel ModuleMemory and resource allocation are fundamental operations inside the Linux kernel. Whether assigning device IDs, managing CPU masks, allocating interrupt vectors, or tracking hardware resources, the k00
