Linux's leap-second deadlocks analysis(landslidecoding.blogspot.com)

http://landslidecoding.blogspot.com/2012/07/linuxs-leap-second-deadlocks.html