7/1に発生したうるう秒バグのまとめが興味深い

7/1のうるう秒実施ではカーネルのバグによって CPU 負荷が増大するという問題が発生して大騒ぎになりましたが、その発生原因と修正を追いかけてまとめているサイトが面白かったのでメモ。

2012 年 7 月 1 日のうるう秒挿入時に発生した Linux カーネルの不具合に関する情報

日本時間 2012 年 7 月 1 日 9:00 にうるう秒が挿入されましたが、その際 Linux カーネルに起因する不具合により、各所で騒ぎになりました。行きがかり上、成り行きを追いかけているのですが、なかなか長期間になってきていいかげんメモを残さないと自分でも整理がつかなくなってきたので、まとめてみました。
まだ関連パッチが流れたりしているので、このページも今後何度か更新する...かもしれません。次回のうるう秒は 2015 年の予定なので、カーネルの修正もゆるゆると、という感じのようです。

このバグについては「これまでうるう秒自体はこれまで何度も挿入されていたのだから事前に防げなかったのかな」と思っていたのですが、これを読むと今回のバグを事前に予測することが難しかったし、修正が一筋縄ではいかなかったというのも良くわかります。僕はカーネルとかあまり詳しくないので、完全には理解しきれない部分も多々ありますが、それを差し引いても面白く読むことができました。