2015-07-01 2012年のうるう秒で何かトラブルが起きてたけどなんだっけ LinuxでCPUの使用率が異常に高くなる現象 date コマンドで時刻を設定し直すか、OSを再起動すると直る この記事が(とても)詳しい。しかも冒頭に要約がついてて親切。 2012 年 7 月 1 日のうるう秒挿入時に発生した Linux カーネルの不具合に関する情報