linux-kernel - Re: [PATCH v3] tools/memory-model: Document herd7 (abstract) representation

lists.openwall.net		lists / announce owl-users owl-dev john-users john-dev passwdqc-users yescrypt popa3d-users / oss-security kernel-hardening musl sabotage tlsify passwords / crypt-dev xvendor / Bugtraq Full-Disclosure linux-kernel linux-netdev linux-ext4 linux-hardening linux-cve-announce PHC
Open Source and information security mailing list archives

Hash Suite for Android: free password hash cracker in your pocket

[<prev] [next>] [<thread-prev] [thread-next>] [day] [month] [year] [list]

Message-ID: <ZnHUy2saXOgJr1Db@andrea>
Date: Tue, 18 Jun 2024 20:41:15 +0200
From: Andrea Parri <parri.andrea@...il.com>
To: "Paul E. McKenney" <paulmck@...nel.org>
Cc: stern@...land.harvard.edu, will@...nel.org, peterz@...radead.org,
	boqun.feng@...il.com, npiggin@...il.com, dhowells@...hat.com,
	j.alglave@....ac.uk, luc.maranget@...ia.fr, akiyks@...il.com,
	dlustig@...dia.com, joel@...lfernandes.org,
	linux-kernel@...r.kernel.org, linux-arch@...r.kernel.org,
	hernan.poncedeleon@...weicloud.com,
	jonas.oberhauser@...weicloud.com
Subject: Re: [PATCH v3] tools/memory-model: Document herd7 (abstract)
 representation

> Queued, thank you!
> 
> I added Boqun's and Hernan's Reviewed-by tags and did the usual
> wordsmithing.  Please check below to make sure that I did not mess
> anything up.

Thanks!  That does look good to me.

It is missing the small addition to the rmw description discussed
earlier in the thread [1]: feel free to squash it in your commit if
that works for you (alternatively, I can respin the entire thing
with that, JLMK what you prefer).

> Also, Puranjay added atomic_and()/or()/xor() and add_negative, which
> is slated to go in to the next merge window:
> 
> be98107ab8a5 ("tools/memory-model: Add atomic_and()/or()/xor() and add_negative")
> 
> Would you like to add the corresponding lines to this table?

atomic_and() and atomic_add_negative() (together with its variants)
should be listed in the table.

I did promise myself that I would have not done "or", "xor", "andnot"
as well as "sub", "inc", "dec", but never say never!  :-) Alternatively,
we could perhaps add a note along the lines of

  The table includes "add" and "and" operations; analogous/identical
  representations for "sub", "inc", "dec", "or", "xor" and "andnot"
  operations are omitted.

  Andrea

[1] https://lore.kernel.org/ZnFZPJlILp5B9scN@andrea