Re: Super Lint
Jamie Lokier (lkd@tantalophile.demon.co.uk)
Wed, 5 Jan 2000 02:24:12 +0000
IMO the most useful thing for the Uber-Analyzer to check, and perhaps
the most difficult, would be those pesky lock and memory ordering
subtleties that all code including drivers are supposed to do right.
Especially the ones that only affect SMP. They are impossible to debug
and a difficult to trigger reliably.
-- Jamie
-
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@vger.rutgers.edu
Please read the FAQ at http://www.tux.org/lkml/