projects / userspace-rcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 2ba2a48) | patch
dual writer fix
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mon, 23 Feb 2009 07:02:54 +0000 (02:02 -0500)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Mon, 23 Feb 2009 07:02:54 +0000 (02:02 -0500)
commit710b09b7ba5203ea868240c1746d0ac0fc65f884
tree95cd1e57ea61afc9a49450e602e8ce70a31b9ef3tree | snapshot
parent2ba2a48d02164a7f51fbd1686173080240579002commit | diff
dual writer fix

Make mutex between writers really atomic. Fixes the two flips run.

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