On Fri, 2002-11-22 at 11:04, dan carpenter wrote:
> ok. I'm an idiot.
>
> The script only checks things at compile time not at runtime. So you are
> right, of course, that this couldn't happen in real life because of the
> preemp_count.
Still, neat scripts.
Statically searching code has a lot of applications that run-time
checking does not have. For example, there _are_ a lot of things you do
not want to call from interrupts: down(), kmalloc() without GFP_ATOMIC,
etc. etc.
And could you get it to check for code paths that could possibly
double-acquire the same lock?
etc. etc... be creative.
> Thanks for the explanation...
No problem.
Robert Love
-
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/
This archive was generated by hypermail 2b29 : Sat Nov 23 2002 - 22:00:40 EST