2004-11-18 02:00:05

by Valdis Klētnieks

[permalink] [raw]
Subject: 2.6.10-rc2-mm1 - detect-atomic-counter-underflows.patch

Now, I *may* have simply shot myself in the foot, but when I tried booting
2.6.10-rc2-mm1, I got spewed *thousands* of messages triggered by this:

diff -puN include/asm-i386/atomic.h~detect-atomic-counter-underflows include/asm-i386/atomic.h
--- 25/include/asm-i386/atomic.h~detect-atomic-counter-underflows Wed Nov 3 15:27:37 2004
+++ 25-akpm/include/asm-i386/atomic.h Wed Nov 3 15:27:37 2004
@@ -132,6 +132,10 @@ static __inline__ int atomic_dec_and_tes
{
unsigned char c;

+ if (!atomic_read(v)) {
+ printk("BUG: atomic counter underflow at:\n");
+ dump_stack();
+ }
__asm__ __volatile__(
LOCK "decl %0; sete %1"
:"=m" (v->counter), "=qm" (c)

Somehow, warning a *counter* is non-zero doesn't seem right (calling it an
underflow 4 times if the value goes 4, 3, 2, 1 and then NOT complain when it
hits zero?) , and I'm not flooded if it says:

if (atomic_read(v) < 0) {

So is this code wrong, or did I introduce an now-detected underflow with some
self-inflicted patch that this is picking up?


Attachments:
(No filename) (226.00 B)

2004-11-17 20:50:41

by Andrew Morton

[permalink] [raw]
Subject: Re: 2.6.10-rc2-mm1 - detect-atomic-counter-underflows.patch

[email protected] wrote:
>
> Now, I *may* have simply shot myself in the foot, but when I tried booting
> 2.6.10-rc2-mm1, I got spewed *thousands* of messages triggered by this:
>
> diff -puN include/asm-i386/atomic.h~detect-atomic-counter-underflows include/asm-i386/atomic.h
> --- 25/include/asm-i386/atomic.h~detect-atomic-counter-underflows Wed Nov 3 15:27:37 2004
> +++ 25-akpm/include/asm-i386/atomic.h Wed Nov 3 15:27:37 2004
> @@ -132,6 +132,10 @@ static __inline__ int atomic_dec_and_tes
> {
> unsigned char c;
>
> + if (!atomic_read(v)) {
> + printk("BUG: atomic counter underflow at:\n");
> + dump_stack();
> + }
> __asm__ __volatile__(
> LOCK "decl %0; sete %1"
> :"=m" (v->counter), "=qm" (c)
>
> Somehow, warning a *counter* is non-zero doesn't seem right (calling it an
> underflow 4 times if the value goes 4, 3, 2, 1 and then NOT complain when it
> hits zero?) , and I'm not flooded if it says:
>
> if (atomic_read(v) < 0) {

No, the code is OK. It's telling us that we're about to take the counter
negative, and that's a good predictor of a bug somewhere.

> So is this code wrong, or did I introduce an now-detected underflow with some
> self-inflicted patch that this is picking up?

Dunno. What was in the traces?

2004-11-18 06:31:45

by James Morris

[permalink] [raw]
Subject: Re: 2.6.10-rc2-mm1 - detect-atomic-counter-underflows.patch

On Wed, 17 Nov 2004 [email protected] wrote:

> Now, I *may* have simply shot myself in the foot, but when I tried booting
> 2.6.10-rc2-mm1, I got spewed *thousands* of messages triggered by this:

Are you running SELinux?

Try this:
http://marc.theaimsgroup.com/?l=linux-kernel&m=110062417701884&w=2



- James
--
James Morris
<[email protected]>