Subj : Re: 'volatile' Rules
To   : comp.programming.threads
From : David Schwartz
Date : Tue Jun 07 2005 02:43 pm


"Uenal Mutlu" <520001085531-0001@t-online.de> wrote in message 
news:d84v7r$12a$05$1@news.t-online.com...

>> Code is reliable if it relies upon *guarantees*.

> I like this statement. Someone should tell this also to some software 
> giants
> and standardization bodies to document such guarantees... After all it's
> all logic and maths; at least it should be.

    The lack of documented guarantees in many multi-threading specifications 
and function documentation is a huge problem.

    DS

.