Restructure urcu_updater() to more accurately reflect actual failure scenario
authorPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Fri, 20 Feb 2009 16:56:20 +0000 (11:56 -0500)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Fri, 20 Feb 2009 16:56:20 +0000 (11:56 -0500)
commit9d95031158c22e376007c862e52652d267414e5e
tree081e06ca5494433f0ba663acc252f7899aaf31a0
parent545a4f1305833551792775302b5464e9133f35d7
Restructure urcu_updater() to more accurately reflect actual failure scenario

Restructure urcu_updater() to more accurately reflect actual failure
scenario.

This allows an easier transformation to force failure -- simple #ifdef
out the second counter flip out of urcu_updater()'s model of
"current synchronize_rcu()".

Signed-off-by: Paul E. McKenney <paulmck@linux.vnet.ibm.com>
Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
formal-model/urcu.spin
This page took 0.025163 seconds and 4 git commands to generate.