RE: [PATCH v2] tools: memory-model: Make plain accesses carry dependencies

[Jonas Oberhauser <jonas.oberhauser@huawei.com>]

-----Original Message-----
From: Paul E. McKenney [mailto:paulmck@kernel.org] 
Sent: Sunday, December 4, 2022 12:11 AM
To: stern@rowland.harvard.edu
> On Sat, Dec 03, 2022 at 04:32:19PM -0500, stern@rowland.harvard.edu wrote:
> > My advice: Omit them both.
> It would be good to reference something or another.  ;-)

I also prefer to not refer to that presentation. 
If there is a feeling that more context is needed, I would first prefer to enhance the commit message itself in some way. (Personally I don't feel that this is needed, and the imho the issue stands by itself even without reference to OOTA, which could be resolved fully independently e.g. by Viktor's suggestion to just axiomatically forbid OOTA --- the issue addressed by this patch would still exist).
If that's not satisfactory, I would also consent to publishing the e-mails from the thread starting where I relayed Viktor's observation of the relaxed accesses, but I don't recall it saying anything substantially beyond the current commit log + the documentation included in the patch.

best wishes, jonas