projects / userspace-rcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 9b305d2) | patch
Revert "spinlock model: Simplify state-space" formal-model
authorMathieu Desnoyers <mathieu.desnoyers@efficios.com>
Tue, 9 Oct 2012 04:12:47 +0000 (00:12 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@efficios.com>
Tue, 9 Oct 2012 04:12:47 +0000 (00:12 -0400)
commit2937ba8c50d24a3b72aabe4c3e6e827fe37f0c91
tree7a33b03166154aafa92bb66391c58e296eede649tree | snapshot
parent9b305d22720211d4273a62e5f25b08d0a8a96d13commit | diff
Revert "spinlock model: Simplify state-space"

This reverts commit a9227ee907160443d0e4b1639b274ab9278d92fa.

Need to study impact on progress.

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@efficios.com>
spinlock/mem.spin diff | blob | blame | history
Userspace RCU (urcu) for Linux
This page took 0.026945 seconds and 4 git commands to generate.