On Wed, Jun 05, 2024 at 09:27:12AM +0900, Akira Yokosawa wrote: > Hi, > > On Tue, 4 Jun 2024 15:14:17 -0700, Paul E. McKenney wrote: > > From: Puranjay Mohan <puranjay@xxxxxxxxxx> > > > > Pull-849[1] added the support of '&', '|', and '^' to the herd7 tool's > > atomics operations. > > > > Use these in linux-kernel.def to implement atomic_and()/or()/xor() with > > all their ordering variants. > > > > atomic_add_negative() is already available so add its acquire, release, > > and relaxed ordering variants. > > > > [1] https://github.com/herd/herdtools7/pull/849 > > > > Signed-off-by: Puranjay Mohan <puranjay@xxxxxxxxxx> > > Acked-by: Andrea Parri <parri.andrea@xxxxxxxxx> > > Reviewed-by: Boqun Feng <boqun.feng@xxxxxxxxx> > > Signed-off-by: Paul E. McKenney <paulmck@xxxxxxxxxx> > > Cc: Alan Stern <stern@xxxxxxxxxxxxxxxxxxx> > > Cc: Will Deacon <will@xxxxxxxxxx> > > Cc: Peter Zijlstra <peterz@xxxxxxxxxxxxx> > > Cc: Nicholas Piggin <npiggin@xxxxxxxxx> > > Cc: David Howells <dhowells@xxxxxxxxxx> > > Cc: Jade Alglave <j.alglave@xxxxxxxxx> > > Cc: Luc Maranget <luc.maranget@xxxxxxxx> > > Cc: Akira Yokosawa <akiyks@xxxxxxxxx> > > Pull-849 and Pull-855 at herdtools7 happened after the release of 7.57. > So I thought patches 1/3 and 2/3 needed to wait a next release of > herdtools7. > > But these changes don't affect existing litmus tests. > So I don't oppose them to be merged into 6.11. > > It's up to Paul! I do not intend to send these to mainline before the herd7 changes are officially released. But why not be optimistic? Hence sending the patches for v6.11. If the herd7 release is not forthcoming in time for the next merge window, I will rebase the documentation update underneath the two RMW patches, and send only the documentation update. But maybe I should do that rebase sooner rather than later... Less opportunity to forget that way. Thanx, Paul
