Willems (2013) practical side channel timing attacks
Dead Lock Analysis of spin_lock() in Linux Kernel (english)