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! Thanks, Akira > Cc: Daniel Lustig <dlustig@xxxxxxxxxx> > Cc: Joel Fernandes <joel@xxxxxxxxxxxxxxxxx> > Cc: <linux-arch@xxxxxxxxxxxxxxx>
