Re: [kernel-sched-cputime] question about probable bug in cputime_adjust()

2017-06-29 Thread Gustavo A. R. Silva
Quoting Frans Klaver : On 29 June 2017 01:57:19 CEST, "Gustavo A. R. Silva" wrote: --- a/kernel/sched/cputime.c +++ b/kernel/sched/cputime.c @@ -637,9 +637,10 @@ static void cputime_adjust(struct task_cputime *curr, *= (rtime_i+1 - rtime_i) + utime_i *

Re: [kernel-sched-cputime] question about probable bug in cputime_adjust()

2017-06-28 Thread Frans Klaver
On 29 June 2017 01:57:19 CEST, "Gustavo A. R. Silva" wrote: --- a/kernel/sched/cputime.c +++ b/kernel/sched/cputime.c @@ -637,9 +637,10 @@ static void cputime_adjust(struct task_cputime >*curr, *= (rtime_i+1 - rtime_i) + utime_i *

Re: [kernel-sched-cputime] question about probable bug in cputime_adjust()

2017-06-28 Thread Gustavo A. R. Silva
Hi Frans, Quoting Frans Klaver : On Wed, Jun 28, 2017 at 7:35 AM, Frans Klaver wrote: On Wed, Jun 28, 2017 at 1:03 AM, Gustavo A. R. Silva wrote: Hello everybody, While looking into Coverity ID 1371643 I ran into the following piece of code at kernel/sched/cputime.c:568: 568/* 569 * Adju

Re: [kernel-sched-cputime] question about probable bug in cputime_adjust()

2017-06-27 Thread Frans Klaver
On Wed, Jun 28, 2017 at 7:35 AM, Frans Klaver wrote: > On Wed, Jun 28, 2017 at 1:03 AM, Gustavo A. R. Silva > wrote: >> >> Hello everybody, >> >> While looking into Coverity ID 1371643 I ran into the following piece of >> code at kernel/sched/cputime.c:568: >> >> 568/* >> 569 * Adjust tick based

Re: [kernel-sched-cputime] question about probable bug in cputime_adjust()

2017-06-27 Thread Frans Klaver
On Wed, Jun 28, 2017 at 1:03 AM, Gustavo A. R. Silva wrote: > > Hello everybody, > > While looking into Coverity ID 1371643 I ran into the following piece of > code at kernel/sched/cputime.c:568: > > 568/* > 569 * Adjust tick based cputime random precision against scheduler runtime > 570 * account