[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>,

I just started reading this.  Should I interpret "may not" as "must not"
throughout this document?

The language of this proposal needs to be much clearer.  "may not" can
be interpreted in at least two different, opposite ways.

                        -Dave