Re: [PATCH] tools/memory-model: Update the informal documentation

2019-07-01 Thread Paul E. McKenney
On Mon, Jul 01, 2019 at 10:12:45AM -0400, Alan Stern wrote: > On Sat, 29 Jun 2019, Andrea Parri wrote: > > > The formal memory consistency model has added support for plain accesses > > (and data races). While updating the informal documentation to describe > > this addition to the model is

Re: [PATCH] tools/memory-model: Update the informal documentation

2019-07-01 Thread Alan Stern
On Sat, 29 Jun 2019, Andrea Parri wrote: > The formal memory consistency model has added support for plain accesses > (and data races). While updating the informal documentation to describe > this addition to the model is highly desirable and important future work, > update the informal

Re: [PATCH] tools/memory-model: Update the informal documentation

2019-06-30 Thread Paul E. McKenney
On Sat, Jun 29, 2019 at 11:10:44PM +0200, Andrea Parri wrote: > The formal memory consistency model has added support for plain accesses > (and data races). While updating the informal documentation to describe > this addition to the model is highly desirable and important future work, > update

[PATCH] tools/memory-model: Update the informal documentation

2019-06-29 Thread Andrea Parri
The formal memory consistency model has added support for plain accesses (and data races). While updating the informal documentation to describe this addition to the model is highly desirable and important future work, update the informal documentation to at least acknowledge such addition.