Re: [PATCH v4 5/5] tools/memory-model: Distinguish between syntactic and semantic tags

From: Akira Yokosawa
Date: Thu Nov 07 2024 - 05:52:08 EST


Jonas, despite the CC, your message has not made my gmail mbox, not even
the spam folder.
I'm replying using lore's reply link.

On Thu, 7 Nov 2024 10:05:18 +0100, Jonas Oberhauser wrote:
> Am 11/6/2024 um 7:00 PM schrieb Paul E. McKenney:
>> Never mind, I found your patch in my spam folder.
> Glad that got cleared up. I had gotten very confused because you had
> also responded to the thread with the patch.
>
> > check this commit on -rcu
>
> For future reference, where can I find the -rcu repository? I couldn't
> find the commit on paulmckrcu/linux, but maybe I looked incorrectly.

You can find your patches at:

[v4] https://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git/commit/?id=c53d54ed7e40255ea0ea66dd121672fd22423326
[v5] https://git.kernel.org/pub/scm/linux/kernel/git/paulmck/linux-rcu.git/commit/?id=9b13bea0966c498629e221c3022a591cc88d4c57

and

[v4] https://github.com/paulmckrcu/linux/commit/c53d54ed7e40255ea0ea66dd121672fd22423326
[v5] https://github.com/paulmckrcu/linux/commit/9b13bea0966c498629e221c3022a591cc88d4c57

As Paul mentioned elsewhere, the [v5] patch misses tags from Boqun at the moment.

HTH, Akira

>
>
> Have fun,
> jonas