linux-kernel - Real dependencies in herd and PPCMEM/ARMMEM

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: Windows password security audit tool. GUI, reports in PDF.

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

Date:	Thu, 17 Sep 2015 12:59:53 -0700
From:	"Paul E. McKenney" <paulmck@...ux.vnet.ibm.com>
To:	will.deacon@....com
Cc:	linux-kernel@...r.kernel.org
Subject: Real dependencies in herd and PPCMEM/ARMMEM

Hello, Will,

It is possible to do litmus tests based on real dependencies in both
herd and in PPCMEM/ARMMEM, as in creating linked lists within the tools
and traversing them.  Trivial linked lists, to be sure, but linked lists
nevertheless, including real dependencies.  For an example, please see
the "Linked data structures" section of http://lwn.net/Articles/608550/.

Taking this approach could avoid use of EOR.  (That said, the tool
that automatically generates litmus tests might or might not be
happy to create linked lists.)

							Thanx, Paul

--
To unsubscribe from this list: send the line "unsubscribe linux-kernel" in
the body of a message to majordomo@...r.kernel.org
More majordomo info at  http://vger.kernel.org/majordomo-info.html
Please read the FAQ at  http://www.tux.org/lkml/