Re: [CHECKER] blocking w/ spinlock or interrupt's disabled

From: Manfred Spraul (manfred@colorfullife.com)
Date: Sun Mar 18 2001 - 04:35:00 EST

Next message: Paul Gortmaker: "[PATCH] off-by-1 error in ide-probe (2.4.x)"
Previous message: Manfred Spraul: "Re: changing mm->mmap_sem (was: Re: system call for process information?)"
Maybe in reply to: Dawson Engler: "[CHECKER] blocking w/ spinlock or interrupt's disabled"
Next in thread: Dawson Engler: "Re: [CHECKER] blocking w/ spinlock or interrupt's disabled"
Reply: Dawson Engler: "Re: [CHECKER] blocking w/ spinlock or interrupt's disabled"
Reply: Linus Torvalds: "Re: [CHECKER] blocking w/ spinlock or interrupt's disabled"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

>> enclosed are 163 potential bugs in 2.4.1 where blocking functions are
> > called with either interrupts disabled or a spin lock held. The
> > checker works by:
>
> Here's the file manifest. Apologies.
>
> drivers/atm/idt77105.c
> [...]
> drivers/char/cyclades.c

Unortunately schedule() with disabled interrupts is a feature, it's
needed for the old (deprecated and waiting for termination in 2.5)
sleep_on() functions.

Is it difficult to split it into "interrupts disabled" and "spin lock
held"?

Manfred

- To unsubscribe from this list: send the line "unsubscribe linux-kernel" in the body of a message to majordomo@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/

Next message: Paul Gortmaker: "[PATCH] off-by-1 error in ide-probe (2.4.x)"
Previous message: Manfred Spraul: "Re: changing mm->mmap_sem (was: Re: system call for process information?)"
Maybe in reply to: Dawson Engler: "[CHECKER] blocking w/ spinlock or interrupt's disabled"
Next in thread: Dawson Engler: "Re: [CHECKER] blocking w/ spinlock or interrupt's disabled"
Reply: Dawson Engler: "Re: [CHECKER] blocking w/ spinlock or interrupt's disabled"
Reply: Linus Torvalds: "Re: [CHECKER] blocking w/ spinlock or interrupt's disabled"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Fri Mar 23 2001 - 21:00:10 EST