[LLVMdev] Proposal for a new LLVM concurrency memory model

[Renato Golin]

On 27 April 2010 16:46, David Greene <dag at cray.com> wrote:
> It shouldn't be very hard for the compiler to detect the second case.
> It's a pretty straightforward pattern.  For everything else it would
> have to assume case #1.

The only problem is that threads are rarely within language specs, so
the compiler would have to choose one particular flavour of threads or
"find out" what flavour is being used. That would require the compiler
to know all / implement all types, which are not only time consuming
and error prone, but not the compiler's job in the first place.

cheers,
--renato

http://systemcall.org/

Reclaim your digital rights, eliminate DRM, learn more at
http://www.defectivebydesign.org/what_is_drm