Re: [PATCH v2] lkmm/docs: Correct ->prop example with additional rfe link

2019-07-29 Thread Joel Fernandes
On Mon, Jul 29, 2019 at 01:50:44PM +0800, Boqun Feng wrote: > On Sun, Jul 28, 2019 at 11:35:44AM -0400, Joel Fernandes wrote: > [...] > > > > > > +load of y (rfe link), P2's smp_store_release() ensures that P2's > > > > > > load > > > > > > +of y executes before P2's store to z (second fence), whi

Re: [PATCH v2] lkmm/docs: Correct ->prop example with additional rfe link

2019-07-28 Thread Boqun Feng
On Sun, Jul 28, 2019 at 11:35:44AM -0400, Joel Fernandes wrote: [...] > > > > > +load of y (rfe link), P2's smp_store_release() ensures that P2's load > > > > > +of y executes before P2's store to z (second fence), which implies > > > > > that > > > > > +that stores to x and y propagate to P2 befo

Re: [PATCH v2] lkmm/docs: Correct ->prop example with additional rfe link

2019-07-28 Thread Joel Fernandes
On Sun, Jul 28, 2019 at 11:28:06PM +0800, Boqun Feng wrote: > On Sun, Jul 28, 2019 at 11:19:59AM -0400, Joel Fernandes wrote: > > On Sun, Jul 28, 2019 at 10:48:51AM -0400, Alan Stern wrote: > > > On Sat, 27 Jul 2019, Joel Fernandes (Google) wrote: > > > > > > > The lkmm example about ->prop relati

Re: [PATCH v2] lkmm/docs: Correct ->prop example with additional rfe link

2019-07-28 Thread Boqun Feng
On Sun, Jul 28, 2019 at 11:19:59AM -0400, Joel Fernandes wrote: > On Sun, Jul 28, 2019 at 10:48:51AM -0400, Alan Stern wrote: > > On Sat, 27 Jul 2019, Joel Fernandes (Google) wrote: > > > > > The lkmm example about ->prop relation should describe an additional rfe > > > link between P1's store to

Re: [PATCH v2] lkmm/docs: Correct ->prop example with additional rfe link

2019-07-28 Thread Joel Fernandes
On Sun, Jul 28, 2019 at 10:48:51AM -0400, Alan Stern wrote: > On Sat, 27 Jul 2019, Joel Fernandes (Google) wrote: > > > The lkmm example about ->prop relation should describe an additional rfe > > link between P1's store to y and P2's load of y, which should be > > critical to establishing the ord

Re: [PATCH v2] lkmm/docs: Correct ->prop example with additional rfe link

2019-07-28 Thread Alan Stern
On Sat, 27 Jul 2019, Joel Fernandes (Google) wrote: > The lkmm example about ->prop relation should describe an additional rfe > link between P1's store to y and P2's load of y, which should be > critical to establishing the ordering resulting in the ->prop ordering > on P0. IOW, there are 2 rfe l

[PATCH v2] lkmm/docs: Correct ->prop example with additional rfe link

2019-07-27 Thread Joel Fernandes (Google)
The lkmm example about ->prop relation should describe an additional rfe link between P1's store to y and P2's load of y, which should be critical to establishing the ordering resulting in the ->prop ordering on P0. IOW, there are 2 rfe links, not one. Correct these in the docs to make the ->prop