This year's leap second insertion has had the strange effect on at least
Linux versions 3.4.4 (my end) and 3.5-rc4 (Simon's box, Cc) that certain
processes use up all CPU power, because of futexes repeatedly timing
out. This seems to only affect certain processes.