Re: [PATCH kcsan 8/9] tools/memory-model: Document categories of ordering primitives

2020-08-31 Thread Paul E. McKenney
On Mon, Aug 31, 2020 at 09:23:09PM -0400, Alan Stern wrote: > On Mon, Aug 31, 2020 at 11:20:36AM -0700, paul...@kernel.org wrote: > > From: "Paul E. McKenney" > > > > The Linux kernel has a number of categories of ordering primitives, which > > are recorded in the LKMM implementation and hinted

Re: [PATCH kcsan 8/9] tools/memory-model: Document categories of ordering primitives

2020-08-31 Thread Alan Stern
On Mon, Aug 31, 2020 at 11:20:36AM -0700, paul...@kernel.org wrote: > From: "Paul E. McKenney" > > The Linux kernel has a number of categories of ordering primitives, which > are recorded in the LKMM implementation and hinted at by cheatsheet.txt. > But there is no overview of these categories,

Re: [PATCH kcsan 8/9] tools/memory-model: Document categories of ordering primitives

2020-08-31 Thread Paul E. McKenney
On Tue, Sep 01, 2020 at 07:34:20AM +0900, Akira Yokosawa wrote: > On Mon, 31 Aug 2020 11:20:36 -0700, paul...@kernel.org wrote: > > From: "Paul E. McKenney" > > > > The Linux kernel has a number of categories of ordering primitives, which > > are recorded in the LKMM implementation and hinted at

Re: [PATCH kcsan 8/9] tools/memory-model: Document categories of ordering primitives

2020-08-31 Thread Akira Yokosawa
On Mon, 31 Aug 2020 11:20:36 -0700, paul...@kernel.org wrote: > From: "Paul E. McKenney" > > The Linux kernel has a number of categories of ordering primitives, which > are recorded in the LKMM implementation and hinted at by cheatsheet.txt. > But there is no overview of these categories, and

[PATCH kcsan 8/9] tools/memory-model: Document categories of ordering primitives

2020-08-31 Thread paulmck
From: "Paul E. McKenney" The Linux kernel has a number of categories of ordering primitives, which are recorded in the LKMM implementation and hinted at by cheatsheet.txt. But there is no overview of these categories, and such an overview is needed in order to understand multithreaded LKMM