[cpp-threads] modes, interlude

[Alexander Terekhov]

On 5/10/05, Boehm, Hans <hans.boehm at hp.com> wrote:
[...]
> 5) I think we need to avoid primitives with strange optimization
> requirements on other code.  On many architectures, we can't
> expose LL/SC directly, since it breaks if there are any register
> spills in the middle.  We can't require ordering for control-
> dependent code, since that inhibits transformations in other
> parts of the program.  We need higher-level primitives for these
> things if they're not otherwise avoidable.

Ok, some "lambda"-like stuff added to atomics can probably
solve the problem of exposing LR/SC and can also be used
to achieve efficient barriers for control-dependent stuff as 
actually required (apart from implied cchsb). 

Must be a peanut for Peter. ;-)

But do you really still have some problems with dd* stuff?

I have yet to see a realistic (no fake dependencies) example 
that can bust...

regards,
alexander.