On Sat, Oct 21, 2023 at 03:45:16PM +0200, Jonas Oberhauser wrote: > > Am 10/20/2023 um 7:56 PM schrieb Paul E. McKenney: > > On Fri, Oct 20, 2023 at 06:13:34PM +0200, Jonas Oberhauser wrote: > > > Am 10/20/2023 um 5:24 PM schrieb Akira Yokosawa: > > > > Hi Paul, > > > > > > > > On 2023/10/20 22:57, Paul E. McKenney wrote: > > > > [...] > > > > > So if there are things that rcu_dereference.rst is missing, they do > > > > > need to be added. > > > > As far as I can see, there is no mention of "address dependency" > > > > in rcu_dereference.rst. > > > > Yes, I see the discussion in rcu_dereference.rst is all about how > > > > not to break address dependency by proper uses of rcu_dereference() > > > > and its friends. But that might not be obvious for readers who > > > > followed the references placed in memory-barriers.txt. > > > > > > > > Using the term "address dependency" somewhere in rcu_dereference.rst > > > > should help such readers, I guess. > > > I think that's a good point. > > How about the commit shown at the end of this email, > > I think it's very clear. Thank you for looking it over! > > with a Reported-by for both of you? > > I haven't reported anything. I doubt that Akira would have said anything had you not initiated this discussion. But if you would like, I can remove your Reported-by, though I would need you to explicitly ask. > > > > [...] > > > > > > Thanks for the response, I started thinking my mails aren't getting through > > > > > > again. > > > > Jonas, FWIW, your email archived at > > > > > > > > https://lore.kernel.org/linux-doc/1c731fdc-9383-21f2-b2d0-2c879b382687@xxxxxxxxxxxxxxx/ > > > > > > > > didn't reach my gmail inbox. I looked for it in the spam folder, > > > > but couldn't find it there either. > > > > [...] > > > > > > Thanks Akira! > > > > > > I wrote the gmail support a while ago, but no response. > > > > > > Currently no idea who to talk to... Oh well. > > Your emails used to end up in my spam folder quite frequently, but > > they have been coming through since you changed your email address. > > In return, I receive all mail from the mailing list, if is also addressed to > me, twice. > So it evens out, somehow? (I suspect this is a configuration error in my > mail filters on my side though) Too much fun! Thanx, Paul
