projects / userspace-rcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3019378) | patch
Fix standard (no remote barrier) parity flip bug
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 20 May 2009 17:02:22 +0000 (13:02 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 20 May 2009 17:02:22 +0000 (13:02 -0400)
commit794a737edb08278087a6628a37235d19ff68fce1
tree6a458df13dcb398c804eca99d0bd2211abbaba8ftree | snapshot
parent3019378271548c1d591c762b2e33d7153916f55dcommit | diff
Fix standard (no remote barrier) parity flip bug

A bug was introduced when moving from statically assigning the parity to wait
for on the update side (first even, then odd) to a model trying to deal the
single flip test case. It occurs that when busy-looping, the parity flip
occurred when it should not.

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