projects / userspace-rcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 03c9e0f) | patch
Add no sync_core() test to ooo two writes model
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Fri, 8 May 2009 18:18:03 +0000 (14:18 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Fri, 8 May 2009 18:18:03 +0000 (14:18 -0400)
commit4b8839f157982c717e307a2045428d3582185b11
tree5ff1603948ce5c34f127f35a8f204f45376e03fdtree | snapshot
parent03c9e0f3f9c72b36b9da30ad4b6ecb055fb6adffcommit | diff
Add no sync_core() test to ooo two writes model

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
formal-model/ooomem-two-writes/mem.spin diff | blob | blame | history
formal-model/ooomem-two-writes/read_order_no_sync.define [new file with mode: 0644] blob
Userspace RCU (urcu) for Linux
This page took 0.043476 seconds and 4 git commands to generate.