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
tree0e5bb26ae481e5540ca53f01f02937cfe813d842
parent9b35d5dcf52a88861328f442ee0ef6812ec9b35b
Add multiple reader queues to futex model

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
formal-model/futex-wakeup/DEFINES
formal-model/futex-wakeup/futex.spin
This page took 0.025433 seconds and 4 git commands to generate.