[cpp-threads] High-level concurrency issues

[Andrei Alexandrescu]

Herb Sutter wrote:
>>All synchronization is contained within mutual exclusion
>>constructs so programming is race-free, meaning programmers do not
> 
> have to
> 
>>think about a memory model.
> 
> 
> I agree that typical developers must never need to know about the memory
> model. (Makes me think of Jack Nicholson's character saying: "The truth?
> You can't handle the truth.")
> 
> But if you mean that 'doing the right locking' is the answer, I would
> disagree with that because locks are known to be inherently
> inappropriate for building modern software -- they aren't composable.

FWIW, that's what rang the biggest alert bell to me, too.

> Just some thoughts. Maybe we can chat over lunch or beer at C++
> Connections?

I'd be glad to take part to that or another meeting, and if anyone else 
on this list will be in Las Vegas at C++ Connections in November, please 
chime in.


Andrei