projects / userspace-rcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b35d5d) | patch
Add multiple reader queues to futex model urcu/futex
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Sat, 26 Sep 2009 12:19:26 +0000 (08:19 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Sat, 26 Sep 2009 12:19:26 +0000 (08:19 -0400)
commit29f38067765e2d60bbf9bebcf6b7d3084b8bdec0
tree0e5bb26ae481e5540ca53f01f02937cfe813d842tree | snapshot
parent9b35d5dcf52a88861328f442ee0ef6812ec9b35bcommit | diff
Add multiple reader queues to futex model

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