Re: BKL removal

From: dan carpenter (error27@email.com)
Date: Wed Jul 10 2002 - 02:32:09 EST

Next message: Roy Sigurd Karlsbakk: "[2.4 BUFFERING BUG] (was [BUG] 2.4 VM sucks. Again)"
Previous message: Ingo Molnar: "Re: [patch] sched-2.5.24-D3, batch/idle priority scheduling, SCHED_BATCH"
Next in thread: Pavel Machek: "Re: BKL removal"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

----- Original Message -----
From: Alexander Viro
To: Arnaldo Carvalho de Melo <acme@conectiva.com.br>
Subject: Re: BKL removal

> On Tue, 9 Jul 2002, Arnaldo Carvalho de Melo wrote:
>
> > Try smatch:
> >
> > http://smatch.sf.net
> >
> > And see if you can write a smatch script to get a good broom for this trash 8)
>

I certainly am flatterred :)

But basically what Alexander Viro said is all true. The other problem that he didn't mention was that I don't see how checkers can be built to handle loops. In writing smatch I just ignore loops altogether.

For now I just take the quick and dirty approach. Also smatch really isn't finished yet. I worked on it for a half hour tonight and fixed the bugs with the lock_kernel check. Tomorrow I'll maybe add support for while, for, switch and break statements.

regards,
dan carpenter

-- __________________________________________________________ Sign-up for your own FREE Personalized E-mail at Mail.com http://www.mail.com/?sr=signup

Save up to $160 by signing up for NetZero Platinum Internet service. http://www.netzero.net/?refcd=N2P0602NEP8

- 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: Roy Sigurd Karlsbakk: "[2.4 BUFFERING BUG] (was [BUG] 2.4 VM sucks. Again)"
Previous message: Ingo Molnar: "Re: [patch] sched-2.5.24-D3, batch/idle priority scheduling, SCHED_BATCH"
Next in thread: Pavel Machek: "Re: BKL removal"
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

This archive was generated by hypermail 2b29 : Mon Jul 15 2002 - 22:00:16 EST