[LLVMdev] Proposal for a new LLVM concurrency memory model

David Greene
Tue, 27 Apr 2010 18:36:11 -0000

On Tuesday 27 April 2010 13:16:14 David Greene wrote:
> On Tuesday 27 April 2010 12:16:26 Renato Golin wrote:
> > I'm not against enhancing the compiler to that point, I just think
> > that you're digging too deep and Balrog might show up
unexpectedly.
> > Thread issues can be daunting by themselves, automatically creating
> > threaded code is a recipe to disaster, IMHO.
>
> Eventually all compilers are going to have to create threads.  The
> architecture roadmap demands it.

And it's not the disaster you fear.  It's much easier for the compiler
to reason about threads it creates.  It gets to control the model.

Lots of compilers have been doing this for years.

                           -Dave