[LLVMdev] Proposal for a new LLVM concurrency memory model

Chandler Carruth
2010-04-26T09:49:52Z

One question I had for LLVM folks while we were working on this: does it
make sense to transition the atomic operations to instructions instead of
intrinsics? I'm not sold on this in either direction, I'd just like to
get
people's thoughts on it.

Certainly for languages such as Java, they will make up a surprisingly large
chunk of the loads and stores, and instructions have much mor flexibility in
terms of syntax. On the flip side, it's a lot of plumbing IIRC, and we'd
really need to stick to the very minimal set of operations, supporting more
obscure ones by pattern matching or intrinsics.

On Sun, Apr 25, 2010 at 7:26 PM, Jeffrey Yasskin <jyasskin at
google.com>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>,
> and a rationale for some of the more surprising changes is at
>
<http://docs.google.com/View?docID=ddb4mhxz_24gh4ksvgh&revision=_latest>.
> You're the first group to see this, so it's likely to need some
> significant fixes based on your feedback. Let us know what you think.
>
> Thanks,
> Jeffrey, Chandler, and Owen
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL:
<http://lists.llvm.org/pipermail/llvm-dev/attachments/20100426/115db55b/attachment.html>