[LLVMdev] Proposal for a new LLVM concurrency memory model

Lacey, Mark
2010-04-26T20:28:04Z

> 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
> >,
> and a rationale for some of the more surprising changes is at
>
<http://docs.google.com/View?docID=ddb4mhxz_24gh4ksvgh&revision=_latest
> >.

>From a first glance, it looks like double-wide compare exchange is missing.
See http://en.wikipedia.org/wiki/ABA_problem for an example of where it's
very useful.

Mark

-------------- next part --------------
A non-text attachment was scrubbed...
Name: smime.p7s
Type: application/x-pkcs7-signature
Size: 8614 bytes
Desc: not available
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20100426/e8c65338/attachment.bin>