herdtools7.7.58 is now available

herdtools7.7.58 is now available

[Akira Yokosawa]

Hi Paul,

Thanks to Luc, herdtools7.7.58 is now available [1, 2], which means
pending LKMM changes by Puranjay, Hernan, and Jonas have become
ready to go for the next merge window.

I'm not sure who will be in charge of sending LKMM pull request for
v6.15, though.

[1] https://github.com/herd/herdtools7/issues/1155
[2] https://github.com/herd/herdtools7/releases/tag/7.58

        Thanks, Akira

Re: herdtools7.7.58 is now available

[Paul E. McKenney]

On Fri, Feb 14, 2025 at 04:58:36PM +0900, Akira Yokosawa wrote:
> Hi Paul,
> 
> Thanks to Luc, herdtools7.7.58 is now available [1, 2], which means
> pending LKMM changes by Puranjay, Hernan, and Jonas have become
> ready to go for the next merge window.
> 
> I'm not sure who will be in charge of sending LKMM pull request for
> v6.15, though.
> 
> [1] https://github.com/herd/herdtools7/issues/1155
> [2] https://github.com/herd/herdtools7/releases/tag/7.58

That would be me, and thank you for letting me know!

Would you like to submit a patch updating the required version of herd7?
One location is tools/memory-model/README, and there might be others
(though I hope not).

							Thanx, Paul

Re: herdtools7.7.58 is now available

[Akira Yokosawa]

Paul E. McKenney wrote:
> On Fri, Feb 14, 2025 at 04:58:36PM +0900, Akira Yokosawa wrote:
>> Hi Paul,
>>
>> Thanks to Luc, herdtools7.7.58 is now available [1, 2], which means
>> pending LKMM changes by Puranjay, Hernan, and Jonas have become
>> ready to go for the next merge window.
>>
>> I'm not sure who will be in charge of sending LKMM pull request for
>> v6.15, though.
>>
>> [1] https://github.com/herd/herdtools7/issues/1155
>> [2] https://github.com/herd/herdtools7/releases/tag/7.58
> 
> That would be me, and thank you for letting me know!
> 
> Would you like to submit a patch updating the required version of herd7?
> One location is tools/memory-model/README,

It is already taken care of by
commit c6476bdc49b3 ("tools/memory-model: Switch to softcoded herd7 tags").

That said, its Sob chain looks confusing to me (provided its author is Jonas):

    Signed-off-by: Hernan Ponce de Leon <hernan.poncedeleon@huaweicloud.com>
    Signed-off-by: Jonas Oberhauser <jonas.oberhauser@huaweicloud.com>
    Signed-off-by: Paul E. McKenney <paulmck@kernel.org>

This should be either (Jonas as the author):

    Co-developed-by: Hernan Ponce de Leon <hernan.poncedeleon@huaweicloud.com>
    Signed-off-by: Hernan Ponce de Leon <hernan.poncedeleon@huaweicloud.com>
    Signed-off-by: Jonas Oberhauser <jonas.oberhauser@huaweicloud.com>
    Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
    
, (Hernan as the author):

    Signed-off-by: Hernan Ponce de Leon <hernan.poncedeleon@huaweicloud.com>
    Co-developed-by: Jonas Oberhauser <jonas.oberhauser@huaweicloud.com>
    Signed-off-by: Jonas Oberhauser <jonas.oberhauser@huaweicloud.com>
    Signed-off-by: Paul E. McKenney <paulmck@kernel.org>

, or (Hernan as the author, Jonas as a submitter):

    Signed-off-by: Hernan Ponce de Leon <hernan.poncedeleon@huaweicloud.com>
    Signed-off-by: Jonas Oberhauser <jonas.oberhauser@huaweicloud.com>
    Signed-off-by: Paul E. McKenney <paulmck@kernel.org>

Jonas, Hernan, which is the case here?

        Thanks, Akira

>                                            and there might be others
> (though I hope not).
> 
> 							Thanx, Paul

Re: herdtools7.7.58 is now available

[Paul E. McKenney]

On Fri, Feb 14, 2025 at 08:26:02PM +0900, Akira Yokosawa wrote:
> Paul E. McKenney wrote:
> > On Fri, Feb 14, 2025 at 04:58:36PM +0900, Akira Yokosawa wrote:
> >> Hi Paul,
> >>
> >> Thanks to Luc, herdtools7.7.58 is now available [1, 2], which means
> >> pending LKMM changes by Puranjay, Hernan, and Jonas have become
> >> ready to go for the next merge window.
> >>
> >> I'm not sure who will be in charge of sending LKMM pull request for
> >> v6.15, though.
> >>
> >> [1] https://github.com/herd/herdtools7/issues/1155
> >> [2] https://github.com/herd/herdtools7/releases/tag/7.58
> > 
> > That would be me, and thank you for letting me know!
> > 
> > Would you like to submit a patch updating the required version of herd7?
> > One location is tools/memory-model/README,
> 
> It is already taken care of by
> commit c6476bdc49b3 ("tools/memory-model: Switch to softcoded herd7 tags").

Indeed it is, thank you!

> That said, its Sob chain looks confusing to me (provided its author is Jonas):
> 
>     Signed-off-by: Hernan Ponce de Leon <hernan.poncedeleon@huaweicloud.com>
>     Signed-off-by: Jonas Oberhauser <jonas.oberhauser@huaweicloud.com>
>     Signed-off-by: Paul E. McKenney <paulmck@kernel.org>

Thank you again for checking!

This says to me that Hernan wrote the patch, and Jonas took it in and
sent it out.  If this is the case, I should change git's idea of the
author to "Hernan Ponce de Leon <hernan.poncedeleon@huaweicloud.com>".

							Thanx, Paul

> This should be either (Jonas as the author):
> 
>     Co-developed-by: Hernan Ponce de Leon <hernan.poncedeleon@huaweicloud.com>
>     Signed-off-by: Hernan Ponce de Leon <hernan.poncedeleon@huaweicloud.com>
>     Signed-off-by: Jonas Oberhauser <jonas.oberhauser@huaweicloud.com>
>     Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
>     
> , (Hernan as the author):
> 
>     Signed-off-by: Hernan Ponce de Leon <hernan.poncedeleon@huaweicloud.com>
>     Co-developed-by: Jonas Oberhauser <jonas.oberhauser@huaweicloud.com>
>     Signed-off-by: Jonas Oberhauser <jonas.oberhauser@huaweicloud.com>
>     Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
> 
> , or (Hernan as the author, Jonas as a submitter):
> 
>     Signed-off-by: Hernan Ponce de Leon <hernan.poncedeleon@huaweicloud.com>
>     Signed-off-by: Jonas Oberhauser <jonas.oberhauser@huaweicloud.com>
>     Signed-off-by: Paul E. McKenney <paulmck@kernel.org>
> 
> Jonas, Hernan, which is the case here?
> 
>         Thanks, Akira
> 
> >                                            and there might be others
> > (though I hope not).
> > 
> > 							Thanx, Paul
>