Messages in this thread | | | Date | Sat, 21 Oct 2023 15:45:16 +0200 | Subject | Re: [PATCH memory-model] docs: memory-barriers: Add note on compiler transformation and address deps | From | Jonas Oberhauser <> |
| |
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.
> with a Reported-by for both of you?
I haven't reported anything.
>>> [...] >>>>> 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@huaweicloud.com/ >>> >>> 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)
Have a lot of fun,
jonas
| |