Messages in this thread | | | Date | Wed, 8 May 2024 10:34:14 -0700 | From | "Paul E. McKenney" <> | Subject | Re: [PATCH] tools/memory-model: Add atomic_and()/or()/xor() and add_negative |
| |
On Wed, May 08, 2024 at 05:28:22PM +0200, Andrea Parri wrote: > On Wed, May 08, 2024 at 02:34:00PM +0000, Puranjay Mohan wrote: > > 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@kernel.org> > > Acked-by: Andrea Parri <parri.andrea@gmail.com>
Queued for review and testing, and thank you both!
Thanx, Paul
| |