projects / userspace-rcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 19d8de3) | patch
Fix single flip test
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 20 May 2009 13:01:06 +0000 (09:01 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 20 May 2009 13:01:06 +0000 (09:01 -0400)
commitf089ec2496f9d72eb737de6ac4786b81f5d55a7e
treec696142ac90e0e368ee3468e6b06ee936c5056edtree | snapshot
parent19d8de31dc92430df89d90e8ba76212b764afd44commit | diff
Fix single flip test

The single flip test requires to keep track of parity evolution across the loop
iterations. Keep it as a local variable so we don't end up adding unexisting
dependencies.

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