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 highl
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 documenta
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 th
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.
Signe
4 matches
Mail list logo