[LLVMdev] Proposal for a new LLVM concurrency memory model

Renato Golin rengolin at systemcall.org
Tue Apr 27 09:01:16 PDT 2010

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.



Reclaim your digital rights, eliminate DRM, learn more at

More information about the llvm-dev mailing list