Commit 62188451 authored by Frederic Weisbecker's avatar Frederic Weisbecker Committed by Ingo Molnar

cputime: Avoid multiplication overflow on utime scaling

We scale stime, utime values based on rtime (sum_exec_runtime
converted to jiffies). During scaling we multiple rtime * utime,
which seems to be fine, since both values are converted to u64,
but it's not.

Let assume HZ is 1000 - 1ms tick. Process consist of 64 threads,
run for 1 day, threads utilize 100% cpu on user space. Machine
has 64 cpus.

Process rtime = utime will be 64 * 24 * 60 * 60 * 1000 jiffies,
which is 0x149970000. Multiplication rtime * utime result is
0x1a855771100000000, which can not be covered in 64 bits.

Result of overflow is stall of utime values visible in user
space (prev_utime in kernel), even if application still consume
lot of CPU time.

A solution to solve this is to perform the multiplication on
stime instead of utime. It's easy to grow the utime value fast
with a CPU bound thread in userspace for example. Now we assume
that doing so with stime is much harder. In most cases a task
shouldn't ever spend much time in kernel space as it tends to
sleep waiting for jobs completion when they take long to
achieve. IO is the typical example of that.

Hence scaling the cputime by performing the multiplication on
stime instead of utime should considerably reduce the chances of
an overflow on most workloads.

This is largely inspired by a patch from Stanislaw Gruszka:
http://lkml.kernel.org/r/20130107113144.GA7544@redhat.comInspired-by: default avatarStanislaw Gruszka <sgruszka@redhat.com>
Reported-by: default avatarStanislaw Gruszka <sgruszka@redhat.com>
Acked-by: default avatarStanislaw Gruszka <sgruszka@redhat.com>
Signed-off-by: default avatarFrederic Weisbecker <fweisbec@gmail.com>
Cc: Oleg Nesterov <oleg@redhat.com>
Cc: Peter Zijlstra <peterz@infradead.org>
Cc: Andrew Morton <akpm@linux-foundation.org>
Link: http://lkml.kernel.org/r/1359217182-25184-1-git-send-email-fweisbec@gmail.comSigned-off-by: default avatarIngo Molnar <mingo@kernel.org>
parent 57d2aa00
...@@ -509,11 +509,11 @@ EXPORT_SYMBOL_GPL(vtime_account); ...@@ -509,11 +509,11 @@ EXPORT_SYMBOL_GPL(vtime_account);
# define nsecs_to_cputime(__nsecs) nsecs_to_jiffies(__nsecs) # define nsecs_to_cputime(__nsecs) nsecs_to_jiffies(__nsecs)
#endif #endif
static cputime_t scale_utime(cputime_t utime, cputime_t rtime, cputime_t total) static cputime_t scale_stime(cputime_t stime, cputime_t rtime, cputime_t total)
{ {
u64 temp = (__force u64) rtime; u64 temp = (__force u64) rtime;
temp *= (__force u64) utime; temp *= (__force u64) stime;
if (sizeof(cputime_t) == 4) if (sizeof(cputime_t) == 4)
temp = div_u64(temp, (__force u32) total); temp = div_u64(temp, (__force u32) total);
...@@ -531,10 +531,10 @@ static void cputime_adjust(struct task_cputime *curr, ...@@ -531,10 +531,10 @@ static void cputime_adjust(struct task_cputime *curr,
struct cputime *prev, struct cputime *prev,
cputime_t *ut, cputime_t *st) cputime_t *ut, cputime_t *st)
{ {
cputime_t rtime, utime, total; cputime_t rtime, stime, total;
utime = curr->utime; stime = curr->stime;
total = utime + curr->stime; total = stime + curr->utime;
/* /*
* Tick based cputime accounting depend on random scheduling * Tick based cputime accounting depend on random scheduling
...@@ -549,17 +549,17 @@ static void cputime_adjust(struct task_cputime *curr, ...@@ -549,17 +549,17 @@ static void cputime_adjust(struct task_cputime *curr,
rtime = nsecs_to_cputime(curr->sum_exec_runtime); rtime = nsecs_to_cputime(curr->sum_exec_runtime);
if (total) if (total)
utime = scale_utime(utime, rtime, total); stime = scale_stime(stime, rtime, total);
else else
utime = rtime; stime = rtime;
/* /*
* If the tick based count grows faster than the scheduler one, * If the tick based count grows faster than the scheduler one,
* the result of the scaling may go backward. * the result of the scaling may go backward.
* Let's enforce monotonicity. * Let's enforce monotonicity.
*/ */
prev->utime = max(prev->utime, utime); prev->stime = max(prev->stime, stime);
prev->stime = max(prev->stime, rtime - prev->utime); prev->utime = max(prev->utime, rtime - prev->stime);
*ut = prev->utime; *ut = prev->utime;
*st = prev->stime; *st = prev->stime;
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment