sched, time: Atomically increment stime & utime
authorRik van Riel <riel@redhat.com>
Fri, 15 Aug 2014 20:05:38 +0000 (16:05 -0400)
committerIngo Molnar <mingo@kernel.org>
Mon, 8 Sep 2014 06:17:02 +0000 (08:17 +0200)
The functions task_cputime_adjusted and thread_group_cputime_adjusted()
can be called locklessly, as well as concurrently on many different CPUs.

This can occasionally lead to the utime and stime reported by times(), and
other syscalls like it, going backward. The cause for this appears to be
multiple threads racing in cputime_adjust(), both with values for utime or
stime that is larger than the original, but each with a different value.

Sometimes the larger value gets saved first, only to be immediately
overwritten with a smaller value by another thread.

Using atomic exchange prevents that problem, and ensures time
progresses monotonically.

Signed-off-by: Rik van Riel <riel@redhat.com>
Signed-off-by: Peter Zijlstra (Intel) <peterz@infradead.org>
Cc: Linus Torvalds <torvalds@linux-foundation.org>
Cc: umgwanakikbuti@gmail.com
Cc: fweisbec@gmail.com
Cc: akpm@linux-foundation.org
Cc: srao@redhat.com
Cc: lwoodman@redhat.com
Cc: atheurer@redhat.com
Cc: oleg@redhat.com
Link: http://lkml.kernel.org/r/1408133138-22048-4-git-send-email-riel@redhat.com
Signed-off-by: Ingo Molnar <mingo@kernel.org>
kernel/sched/cputime.c

index 49b7cfe98f7a63ba99574002900660dfeff5296a..2b57031afc19fd064db4bd11258f9ea9cef3df38 100644 (file)
@@ -602,9 +602,12 @@ static void cputime_adjust(struct task_cputime *curr,
         * If the tick based count grows faster than the scheduler one,
         * the result of the scaling may go backward.
         * Let's enforce monotonicity.
+        * Atomic exchange protects against concurrent cputime_adjust().
         */
-       prev->stime = max(prev->stime, stime);
-       prev->utime = max(prev->utime, utime);
+       while (stime > (rtime = ACCESS_ONCE(prev->stime)))
+               cmpxchg(&prev->stime, rtime, stime);
+       while (utime > (rtime = ACCESS_ONCE(prev->utime)))
+               cmpxchg(&prev->utime, rtime, utime);
 
 out:
        *ut = prev->utime;