but withoutI WITNESS and INVARIANTS ?

[Mark Linimon]

On Friday 14 May 2004 04:01 pm, Kris Kennaway wrote:
> On Fri, May 14, 2004 at 05:42:09PM +0400, Roman Kurakin wrote:
> > The possibility that by disabling this debug stuff you will get some
> > instability is
> > very very .... very low :-)
>
> Not so low..it changes the timings of operations, which can expose
> race conditions.

I'll echo what Kris said.  The difference between "should have
no effect" and "can be proven to have no effect" is basically
what Software Engineering (capitals intended) is all about.

And after doing it for decades, lemme tell you, it's much more
fun to just fool around and code than it is to do all that stuff.
Especially given the, oh, say, 1:10 ratio of the one to the other ...

mcl