projects / userspace-rcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: d149fa0) | patch
Revert "ticketlock model: state-space simplication"
authorMathieu Desnoyers <mathieu.desnoyers@efficios.com>
Tue, 9 Oct 2012 04:12:03 +0000 (00:12 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@efficios.com>
Tue, 9 Oct 2012 04:12:03 +0000 (00:12 -0400)
commit7ecea09ec7dfbfd9ad1db25f217b85abd89664d0
tree4936dace0129448b98d92312e6eba9f382d09756tree | snapshot
parentd149fa02aaafa08c2d02712afd3cbbbc5f8d5f67commit | diff
Revert "ticketlock model: state-space simplication"

This reverts commit d149fa02aaafa08c2d02712afd3cbbbc5f8d5f67.

Need to study impact on progress.

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