projects / userspace-rcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: b0d5e79) | patch
Remove spurious read-side infinite loops.
authorPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Fri, 20 Feb 2009 16:55:38 +0000 (11:55 -0500)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Fri, 20 Feb 2009 16:55:38 +0000 (11:55 -0500)
commit545a4f1305833551792775302b5464e9133f35d7
tree5c7089738f7cd5895fcd8c658c312d6564e6373dtree | snapshot
parentb0d5e7908b8049b9f9e790d69e0f41179b5e415dcommit | diff
Remove spurious read-side infinite loops.

Remove spurious read-side infinite loops from urcu_reader() model.

Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
formal-model/urcu.spin diff | blob | blame | history
Userspace RCU (urcu) for Linux
This page took 0.024483 seconds and 4 git commands to generate.