* New sparse warnings from sched.h
@ 2017-11-14 20:41 Matthew Wilcox
2017-11-15 8:27 ` Ingo Molnar
2017-11-15 8:36 ` luca abeni
0 siblings, 2 replies; 5+ messages in thread
From: Matthew Wilcox @ 2017-11-14 20:41 UTC (permalink / raw)
To: luca abeni, Peter Zijlstra, Daniel Bristot de Oliveira, Ingo Molnar
Cc: linux-kernel
commit 799ba82de01e7543f6b2042e1a739f3a20255f23
Author: luca abeni <luca.abeni@santannapisa.it>
Date: Thu Sep 7 12:09:31 2017 +0200
sched/deadline: Use C bitfields for the state flags
Ask the compiler to use a single bit for storing true / false values,
instead of wasting the size of a whole int value.
Tested with gcc 5.4.0 on x86_64, and the compiler produces the expected
Assembly (similar to the Assembly code generated when explicitly accessing
the bits with bitmasks, "&" and "|").
produces four warnings from sparse for every file which includes sched.h:
./include/linux/sched.h:476:62: error: dubious one-bit signed bitfield
./include/linux/sched.h:477:62: error: dubious one-bit signed bitfield
./include/linux/sched.h:478:62: error: dubious one-bit signed bitfield
./include/linux/sched.h:479:62: error: dubious one-bit signed bitfield
This seems like the trivial fix (untested):
diff --git a/include/linux/sched.h b/include/linux/sched.h
index a5dc7c98b0a2..21991d668d35 100644
--- a/include/linux/sched.h
+++ b/include/linux/sched.h
@@ -473,10 +473,10 @@ struct sched_dl_entity {
* conditions between the inactive timer handler and the wakeup
* code.
*/
- int dl_throttled : 1;
- int dl_boosted : 1;
- int dl_yielded : 1;
- int dl_non_contending : 1;
+ unsigned int dl_throttled : 1;
+ unsigned int dl_boosted : 1;
+ unsigned int dl_yielded : 1;
+ unsigned int dl_non_contending : 1;
/*
* Bandwidth enforcement timer. Each -deadline task has its
^ permalink raw reply related [flat|nested] 5+ messages in thread
* Re: New sparse warnings from sched.h
2017-11-14 20:41 New sparse warnings from sched.h Matthew Wilcox
@ 2017-11-15 8:27 ` Ingo Molnar
2017-11-15 14:54 ` Matthew Wilcox
2017-11-15 8:36 ` luca abeni
1 sibling, 1 reply; 5+ messages in thread
From: Ingo Molnar @ 2017-11-15 8:27 UTC (permalink / raw)
To: Matthew Wilcox
Cc: luca abeni, Peter Zijlstra, Daniel Bristot de Oliveira, linux-kernel
* Matthew Wilcox <willy@infradead.org> wrote:
>
> commit 799ba82de01e7543f6b2042e1a739f3a20255f23
> Author: luca abeni <luca.abeni@santannapisa.it>
> Date: Thu Sep 7 12:09:31 2017 +0200
>
> sched/deadline: Use C bitfields for the state flags
>
> Ask the compiler to use a single bit for storing true / false values,
> instead of wasting the size of a whole int value.
> Tested with gcc 5.4.0 on x86_64, and the compiler produces the expected
> Assembly (similar to the Assembly code generated when explicitly accessing
> the bits with bitmasks, "&" and "|").
>
> produces four warnings from sparse for every file which includes sched.h:
>
> ./include/linux/sched.h:476:62: error: dubious one-bit signed bitfield
> ./include/linux/sched.h:477:62: error: dubious one-bit signed bitfield
> ./include/linux/sched.h:478:62: error: dubious one-bit signed bitfield
> ./include/linux/sched.h:479:62: error: dubious one-bit signed bitfield
>
> This seems like the trivial fix (untested):
>
>
> diff --git a/include/linux/sched.h b/include/linux/sched.h
> index a5dc7c98b0a2..21991d668d35 100644
> --- a/include/linux/sched.h
> +++ b/include/linux/sched.h
> @@ -473,10 +473,10 @@ struct sched_dl_entity {
> * conditions between the inactive timer handler and the wakeup
> * code.
> */
> - int dl_throttled : 1;
> - int dl_boosted : 1;
> - int dl_yielded : 1;
> - int dl_non_contending : 1;
> + unsigned int dl_throttled : 1;
> + unsigned int dl_boosted : 1;
> + unsigned int dl_yielded : 1;
> + unsigned int dl_non_contending : 1;
>
> /*
> * Bandwidth enforcement timer. Each -deadline task has its
Mind sending a proper patch with a SOB once it's tested?
Thanks,
Ingo
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: New sparse warnings from sched.h
2017-11-14 20:41 New sparse warnings from sched.h Matthew Wilcox
2017-11-15 8:27 ` Ingo Molnar
@ 2017-11-15 8:36 ` luca abeni
1 sibling, 0 replies; 5+ messages in thread
From: luca abeni @ 2017-11-15 8:36 UTC (permalink / raw)
To: Matthew Wilcox
Cc: Peter Zijlstra, Daniel Bristot de Oliveira, Ingo Molnar, linux-kernel
Hi,
On Tue, 14 Nov 2017 12:41:35 -0800
Matthew Wilcox <willy@infradead.org> wrote:
> commit 799ba82de01e7543f6b2042e1a739f3a20255f23
> Author: luca abeni <luca.abeni@santannapisa.it>
> Date: Thu Sep 7 12:09:31 2017 +0200
>
> sched/deadline: Use C bitfields for the state flags
>
> Ask the compiler to use a single bit for storing true / false
> values, instead of wasting the size of a whole int value.
> Tested with gcc 5.4.0 on x86_64, and the compiler produces the
> expected Assembly (similar to the Assembly code generated when
> explicitly accessing the bits with bitmasks, "&" and "|").
>
> produces four warnings from sparse for every file which includes
> sched.h:
>
> ./include/linux/sched.h:476:62: error: dubious one-bit signed bitfield
> ./include/linux/sched.h:477:62: error: dubious one-bit signed bitfield
> ./include/linux/sched.h:478:62: error: dubious one-bit signed bitfield
> ./include/linux/sched.h:479:62: error: dubious one-bit signed bitfield
>
> This seems like the trivial fix (untested):
[...]
I think Dan Carpenter sent a similar patch (and I replied agreeing with
it).
I believe in this particular case signed integers are safe, but if
"unsigned int" is the preferred style in the kernel I agree with the
change.
Thanks,
Luca
>
>
> diff --git a/include/linux/sched.h b/include/linux/sched.h
> index a5dc7c98b0a2..21991d668d35 100644
> --- a/include/linux/sched.h
> +++ b/include/linux/sched.h
> @@ -473,10 +473,10 @@ struct sched_dl_entity {
> * conditions between the inactive timer handler and the
> wakeup
> * code.
> */
> - int dl_throttled : 1;
> - int dl_boosted : 1;
> - int dl_yielded : 1;
> - int dl_non_contending : 1;
> + unsigned int dl_throttled : 1;
> + unsigned int dl_boosted : 1;
> + unsigned int dl_yielded : 1;
> + unsigned int dl_non_contending : 1;
>
> /*
> * Bandwidth enforcement timer. Each -deadline task has its
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: New sparse warnings from sched.h
2017-11-15 8:27 ` Ingo Molnar
@ 2017-11-15 14:54 ` Matthew Wilcox
2017-11-15 15:10 ` Ingo Molnar
0 siblings, 1 reply; 5+ messages in thread
From: Matthew Wilcox @ 2017-11-15 14:54 UTC (permalink / raw)
To: Ingo Molnar
Cc: luca abeni, Peter Zijlstra, Daniel Bristot de Oliveira, linux-kernel
On Wed, Nov 15, 2017 at 09:27:43AM +0100, Ingo Molnar wrote:
> * Matthew Wilcox <willy@infradead.org> wrote:
> > commit 799ba82de01e7543f6b2042e1a739f3a20255f23
> > Author: luca abeni <luca.abeni@santannapisa.it>
> > Date: Thu Sep 7 12:09:31 2017 +0200
> >
> > sched/deadline: Use C bitfields for the state flags
> >
> > Ask the compiler to use a single bit for storing true / false values,
> > instead of wasting the size of a whole int value.
> > Tested with gcc 5.4.0 on x86_64, and the compiler produces the expected
> > Assembly (similar to the Assembly code generated when explicitly accessing
> > the bits with bitmasks, "&" and "|").
> >
> > produces four warnings from sparse for every file which includes sched.h:
> >
> > ./include/linux/sched.h:476:62: error: dubious one-bit signed bitfield
> > ./include/linux/sched.h:477:62: error: dubious one-bit signed bitfield
> > ./include/linux/sched.h:478:62: error: dubious one-bit signed bitfield
> > ./include/linux/sched.h:479:62: error: dubious one-bit signed bitfield
> >
> > This seems like the trivial fix (untested):
> >
> >
> > diff --git a/include/linux/sched.h b/include/linux/sched.h
> > index a5dc7c98b0a2..21991d668d35 100644
> > --- a/include/linux/sched.h
> > +++ b/include/linux/sched.h
> > @@ -473,10 +473,10 @@ struct sched_dl_entity {
> > * conditions between the inactive timer handler and the wakeup
> > * code.
> > */
> > - int dl_throttled : 1;
> > - int dl_boosted : 1;
> > - int dl_yielded : 1;
> > - int dl_non_contending : 1;
> > + unsigned int dl_throttled : 1;
> > + unsigned int dl_boosted : 1;
> > + unsigned int dl_yielded : 1;
> > + unsigned int dl_non_contending : 1;
> >
> > /*
> > * Bandwidth enforcement timer. Each -deadline task has its
>
> Mind sending a proper patch with a SOB once it's tested?
I'd be more than happy to do that. I have no idea what this code is,
what it's used for, or how to test it, so I'll have to rely on somebody
else to test it.
^ permalink raw reply [flat|nested] 5+ messages in thread
* Re: New sparse warnings from sched.h
2017-11-15 14:54 ` Matthew Wilcox
@ 2017-11-15 15:10 ` Ingo Molnar
0 siblings, 0 replies; 5+ messages in thread
From: Ingo Molnar @ 2017-11-15 15:10 UTC (permalink / raw)
To: Matthew Wilcox
Cc: luca abeni, Peter Zijlstra, Daniel Bristot de Oliveira, linux-kernel
* Matthew Wilcox <willy@infradead.org> wrote:
> On Wed, Nov 15, 2017 at 09:27:43AM +0100, Ingo Molnar wrote:
> > * Matthew Wilcox <willy@infradead.org> wrote:
> > > commit 799ba82de01e7543f6b2042e1a739f3a20255f23
> > > Author: luca abeni <luca.abeni@santannapisa.it>
> > > Date: Thu Sep 7 12:09:31 2017 +0200
> > >
> > > sched/deadline: Use C bitfields for the state flags
> > >
> > > Ask the compiler to use a single bit for storing true / false values,
> > > instead of wasting the size of a whole int value.
> > > Tested with gcc 5.4.0 on x86_64, and the compiler produces the expected
> > > Assembly (similar to the Assembly code generated when explicitly accessing
> > > the bits with bitmasks, "&" and "|").
> > >
> > > produces four warnings from sparse for every file which includes sched.h:
> > >
> > > ./include/linux/sched.h:476:62: error: dubious one-bit signed bitfield
> > > ./include/linux/sched.h:477:62: error: dubious one-bit signed bitfield
> > > ./include/linux/sched.h:478:62: error: dubious one-bit signed bitfield
> > > ./include/linux/sched.h:479:62: error: dubious one-bit signed bitfield
> > >
> > > This seems like the trivial fix (untested):
> > >
> > >
> > > diff --git a/include/linux/sched.h b/include/linux/sched.h
> > > index a5dc7c98b0a2..21991d668d35 100644
> > > --- a/include/linux/sched.h
> > > +++ b/include/linux/sched.h
> > > @@ -473,10 +473,10 @@ struct sched_dl_entity {
> > > * conditions between the inactive timer handler and the wakeup
> > > * code.
> > > */
> > > - int dl_throttled : 1;
> > > - int dl_boosted : 1;
> > > - int dl_yielded : 1;
> > > - int dl_non_contending : 1;
> > > + unsigned int dl_throttled : 1;
> > > + unsigned int dl_boosted : 1;
> > > + unsigned int dl_yielded : 1;
> > > + unsigned int dl_non_contending : 1;
> > >
> > > /*
> > > * Bandwidth enforcement timer. Each -deadline task has its
> >
> > Mind sending a proper patch with a SOB once it's tested?
>
> I'd be more than happy to do that. I have no idea what this code is,
> what it's used for, or how to test it, so I'll have to rely on somebody
> else to test it.
Oh, I thought you wanted to test whether it fixes the Sparse bug.
Converting these bitfields from signed to unsigned should have no effect on the
deadline scheduler.
I.e. I basically only need your Signed-off-by.
Thnaks,
Ingo
^ permalink raw reply [flat|nested] 5+ messages in thread
end of thread, other threads:[~2017-11-15 15:11 UTC | newest]
Thread overview: 5+ messages (download: mbox.gz / follow: Atom feed)
-- links below jump to the message on this page --
2017-11-14 20:41 New sparse warnings from sched.h Matthew Wilcox
2017-11-15 8:27 ` Ingo Molnar
2017-11-15 14:54 ` Matthew Wilcox
2017-11-15 15:10 ` Ingo Molnar
2017-11-15 8:36 ` luca abeni
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).