projects / userspace-rcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b245dd5) | patch
Add speculative execution (prefetch) to model
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Thu, 4 Jun 2009 13:26:57 +0000 (09:26 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Thu, 4 Jun 2009 13:26:57 +0000 (09:26 -0400)
commita725add5d5eeb19f1c4ed6a4bb541e02cf7647b1
tree23049a962917b48e4d42395b05db58af8f79a208tree | snapshot
parentb245dd5c50e7b1c66073d41edc44a09dc1b6c9f2commit | diff
Add speculative execution (prefetch) to model

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.025647 seconds and 4 git commands to generate.