Groups | Search | Server Info | Keyboard shortcuts | Login | Register [http] [https] [nntp] [nntps]
Groups > linux.kernel > #1227373 > unrolled thread
| Started by | "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> |
|---|---|
| First post | 2015-09-17 22:10 +0200 |
| Last post | 2015-09-17 22:10 +0200 |
| Articles | 1 — 1 participant |
Back to article view | Back to linux.kernel
Real dependencies in herd and PPCMEM/ARMMEM "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> - 2015-09-17 22:10 +0200
| From | "Paul E. McKenney" <paulmck@linux.vnet.ibm.com> |
|---|---|
| Date | 2015-09-17 22:10 +0200 |
| Subject | Real dependencies in herd and PPCMEM/ARMMEM |
| Message-ID | <q9NFg-5L7-5@gated-at.bofh.it> |
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@vger.kernel.org More majordomo info at http://vger.kernel.org/majordomo-info.html Please read the FAQ at http://www.tux.org/lkml/
Back to top | Article view | linux.kernel
csiph-web