sched: Make scale_rt_power() deal with backward clocks
authorPeter Zijlstra <peterz@infradead.org>
Thu, 27 Feb 2014 09:40:35 +0000 (10:40 +0100)
committerIngo Molnar <mingo@kernel.org>
Fri, 18 Apr 2014 10:07:21 +0000 (12:07 +0200)
commitcadefd3d6cc914d95163ba1eda766bfe7ce1e5b7
tree7cd24c829c88296587ea738c46ce073ffd68e850
parenta1d9a3231eac4117cadaf4b6bba5b2902c15a33e
sched: Make scale_rt_power() deal with backward clocks

Mike reported that, while unlikely, its entirely possible for
scale_rt_power() to see the time go backwards. This yields rather
'interesting' results.

So like all other sites that deal with clocks; make this one ignore
backward clock movement too.

Reported-by: Mike Galbraith <bitbucket@online.de>
Signed-off-by: Peter Zijlstra <peterz@infradead.org>
Link: http://lkml.kernel.org/r/20140227094035.GZ9987@twins.programming.kicks-ass.net
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: linux-kernel@vger.kernel.org
Signed-off-by: Ingo Molnar <mingo@kernel.org>
kernel/sched/fair.c