Linux's leap-second deadlocks

In case anybody is still following this blog, but not my new research blog - I've made a post there about the leap-second-related deadlocks that showed up yesterday in Linux servers worldwide. Linux's leap-second deadlocks" Also, follow the new blog: Landslide: systematic dynamic race detection in kernel-space