Kernel Concurrency

Purpose

Guide agents through synchronization in the Linux kernel: spinlocks, mutexes, semaphores, RCU, seqlocks, completions, and memory ordering rules — critical for correct drivers and subsystem patches.

When to Use

• IRQ handler shares data with process context
• Read-mostly data structures needing RCU
• Choosing lock type for probe vs ioctl paths
• Debugging deadlocks or scheduling while atomic

Workflow

1. Lock selection tree