catch urcu-paulmck.spin to my local version
authorPaul E. McKenney <paulmck@linux.vnet.ibm.com>
Tue, 26 May 2009 17:35:53 +0000 (13:35 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Tue, 26 May 2009 17:35:53 +0000 (13:35 -0400)
commitc7bc0baaf1fff4f92f84777c8508ddd228d4fea0
tree5f68c25050ff4947a74e647fa4405bc9d7c3f1e2
parent5dba80f9bed985c23090ec74bb4173b31b28513a
catch urcu-paulmck.spin to my local version

The attached patch catches the repository up to my local version.
This adds the following:

o       Checking for no-progress cycles.

o       Allow enabling and disabling of update-side signal-mediated
        broadcast memory barriers via #define statements.

o       Enabling only those update-side signal-mediated broadcast
        memory barriers that are required for correctness.

This version assumes that synchronize_rcu() is locally ordered, for
example, with smp_mb() calls between each pair of major statements.
Please note that smp_mb() is -not- assumed within the loops nor
immediately before the second counter flip.

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