projects / userspace-rcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: abbe7e2) | patch
Update spin model
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Thu, 28 May 2009 13:40:48 +0000 (09:40 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Thu, 28 May 2009 13:40:48 +0000 (09:40 -0400)
commitcaeea74ce58faba3ef2bb7d2bd925d9009803086
tree87ae3cf893783e9dfac183c8add2943be97888a7tree | snapshot
parentabbe7e27151039f5f56b7130f0043f703862e99ccommit | diff
Update spin model

- Add memory poisoning to the ooo insn sched section.
- Put pointer update into ooo insn sched section.

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
formal-model/urcu-controldataflow/DEFINES diff | blob | blame | history
formal-model/urcu-controldataflow/urcu.spin diff | blob | blame | history
Userspace RCU (urcu) for Linux
This page took 0.025054 seconds and 4 git commands to generate.