Re: [patch] IDE problems on SMP, fixed? (fwd)

Linus Torvalds (
Thu, 30 Jul 1998 08:56:19 -0700 (PDT)

On Thu, 30 Jul 1998, MOLNAR Ingo wrote:
> best would be if we could somehow track this without runtime overhead ...
> impossible i think :(

Well, if we had a static analysis tool we'd obviously be able to track a
lot of things that we can't currently track. You could build a tree of all
calling sequences, and statically verify quite a few rules. You might not
prove correctness, but you could find a lot of things like this.

Dreaming? Yes.


To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to
Please read the FAQ at