KC Sivaramakrishnan

The memory model chapter is also complete now. I've included the operational view of the memory model in the memory model chapter. Given that the OCaml memory model has a...

I believe I have addressed all the comments from @maranget and @talex5. Thanks!

It does already. The second paragraph of the memory model chapter says: > This chapter is aimed at experts who would like to understand the details of the OCaml memory...

The PR has had a number of reviews but no approvals so far. I wonder when we are happy to merge the chapters :-) @fpottier are you planning to review...

@jhjourdan > I will be at PLDI next week so I won't have time until the week after. If it's OK to you to wait 10-15 more days, then I...

@gadmm Thanks for the insightful comments as always. > Concretely, after inlining, I wonder if some optimization (e.g. RL in the PLDI paper) could have d2 staying forever with the...

@gadmm I've redone the "LDRF > memory model" section to be on memory safety. The ones to be addressed are the additional clarifications on (a) dependency ordering and (b) the...

Let me try to work in a sentence at the beginning about the difference between memory model in the paper and this document.

No worries @jhjourdan. Happy to wait for your comments.

@jhjourdan I've addressed your major comment about the initialising writes being part of the happens-before. I have also addressed the minor comments. Would you be able to review this again...