[LLVMdev] Proposal for a new LLVM concurrency memory model

[David Greene]

On Sunday 25 April 2010 21:26:47 Jeffrey Yasskin wrote:
> Hi all,
>
> Chandler, Owen, and I have written up a proposal for a new memory
> model and atomic intrinsics in LLVM, which will make it possible to
> support Java and the upcoming C++0x standard. The proposed changes to
> the LangRef are at
> <http://docs.google.com/View?docID=ddb4mhxz_22dz5g98dd&revision=_latest>,

What's a "trap" and "trap value?"  Is it some C++0X or Java thing?
It needs to be defined.

>From the rationale, "trap" sounds like the IA64 trap value.  That's
too target-specific for a proposal like this.  Why not just say that
the use of an uninitialized value is undefined and leave it at that?

                           -Dave