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

David S. Miller (
Thu, 30 Jul 1998 08:57:27 -0700

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

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.

Actually, inside SunSoft there is such a tool for debugging locking
rule violations in the solaris kernel.

David S. Miller

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