[E-Lang] what is good about E?
Mark S. Miller
markm@caplet.com
Tue, 17 Jul 2001 19:29:17 -0700
At 06:16 PM Tuesday 7/17/01, Bill Frantz wrote:
>Deadlock is an example of the scariest class of bug, the sporadically
>occurring bug. (Uninitialized variables are another example.) Eliminating
>bugs in this class probably has the greatest potential for reducing the
>cost of building reliable software.
And, as was pointed out in the earlier conversation I cited, not only do E
programs suffer vastly fewer data-locks than thread programs suffer
deadlocks (to such an extent that it exceeds our ability to explain), but
also, when a program does contain a data-lock bug, it should manifest
reliably and reproducibly, rather than sporadically and uncatchably.
Cheers,
--MarkM