A tale about fixing eBPF spinlock issues in the Linux kernel | Ritesh Oedayrajsingh Varma
rovarma.com
A system freeze led us deep into Linux spinlock internals, where we helped find not one but three bugs in the kernel's resilient locking code used by eBPF.