Measuring Mutexes, Spinlocks and How Bad the Linux Scheduler Is

(2019) and the discussion from the first post: https://news.ycombinator.com/item?id=21919988