A tale about fixing eBPF spinlock issues in the Linux kernel

From profiling to kernel patch: the journey to an eBPF performance fix