Messages in this thread | | | Date | Thu, 17 Sep 2015 12:59:53 -0700 | From | "Paul E. McKenney" <> | 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
| |