RCU signal handler reader over reader
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Sun, 29 Mar 2009 02:40:33 +0000 (22:40 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Sun, 29 Mar 2009 02:40:33 +0000 (22:40 -0400)
commit8bc62ca44275eb3dc3f2b62f2ad4a63187473332
tree6b9d21e5f36fb19d8372b01205cda2b642dac7a6
parenta5b558b0c4655e98f7d8f43b900b6e3350a74f86
RCU signal handler reader over reader

Added RCU test for read over read signal handler.

Data structures can now support multiple readers, but it fills my system's
memory (16GB+).

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