load averageのアンダフローバグ

ぜんぜん別件だけど

むかし誰かに load averageがアンダーフローして数億になってる。というバグ報告をいただいたのだが誰から聞いたのか思い出せん。たぶん一年ぐらいまえ。とりあえず、sched_setscheduler()にレースがあることが分かって、治したので今後はおきないはず。

ではでは