* Real dependencies in herd and PPCMEM/ARMMEM
@ 2015-09-17 19:59 Paul E. McKenney
0 siblings, 0 replies; only message in thread
From: Paul E. McKenney @ 2015-09-17 19:59 UTC (permalink / raw)
To: will.deacon; +Cc: linux-kernel
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
^ permalink raw reply [flat|nested] only message in thread
only message in thread, other threads:[~2015-09-17 20:00 UTC | newest]
Thread overview: (only message) (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2015-09-17 19:59 Real dependencies in herd and PPCMEM/ARMMEM Paul E. McKenney
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.