Something needs to happen with shared, and soon.
Sean Kelly
sean at invisibleduck.org
Wed Nov 14 12:04:37 PST 2012
On Nov 14, 2012, at 9:50 AM, Andrei Alexandrescu <SeeWebsiteForEmail at erdani.org> wrote:
>
> First, there are more kinds of atomic loads and stores. Then, the fact that the calls are not supposed to be reordered must be a guarantee of the language, not a speculation about an implementation. We can't argue that a feature works just because it so happens an implementation works a specific way.
I've always been a fan of release consistency, and it dovetails well with the behavior of mutexes (http://en.wikipedia.org/wiki/Release_consistency). It would be cool if we could sort out transactional memory as well, but that's not a short term thing.
More information about the Digitalmars-d
mailing list