projects / urcu.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 3754157) | patch
add ticketlock test for wait-free (failed, as expected)
authorMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 14 Oct 2009 07:18:32 +0000 (03:18 -0400)
committerMathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
Wed, 14 Oct 2009 07:18:32 +0000 (03:18 -0400)
commit5c020b8d7d282dc5251caeb9fe5c4d1dd5be918c
tree21d30a788886950a99b4953f1b5b04a1aeccfdbatree | snapshot
parent37541570750e12e95bcdb6ec1dd5ff2148e6a8b7commit | diff
add ticketlock test for wait-free (failed, as expected)

Signed-off-by: Mathieu Desnoyers <mathieu.desnoyers@polymtl.ca>
18 files changed:
ticketlock-testwait/DEFINES [new file with mode: 0644] blob
ticketlock-testwait/Makefile [new file with mode: 0644] blob
ticketlock-testwait/asserts.log [new file with mode: 0644] blob
ticketlock-testwait/asserts.spin.input [new file with mode: 0644] blob
ticketlock-testwait/config_4_bits_per_byte.define [new file with mode: 0644] blob
ticketlock-testwait/lock_progress.log [new file with mode: 0644] blob
ticketlock-testwait/lock_progress.ltl [new file with mode: 0644] blob
ticketlock-testwait/lock_progress.spin.input [new file with mode: 0644] blob
ticketlock-testwait/lock_progress.spin.input.trail [new file with mode: 0644] blob
ticketlock-testwait/lock_progress_4_bits_per_byte.log [new file with mode: 0644] blob
ticketlock-testwait/mem-progress.spin [new file with mode: 0644] blob
ticketlock-testwait/mem.sh [new file with mode: 0644] blob
ticketlock-testwait/mem.spin [new file with mode: 0644] blob
ticketlock-testwait/refcount.log [new file with mode: 0644] blob
ticketlock-testwait/refcount.ltl [new file with mode: 0644] blob
ticketlock-testwait/refcount.spin.input [new file with mode: 0644] blob
ticketlock-testwait/refcount_4_bits_per_byte.log [new file with mode: 0644] blob
ticketlock-testwait/references.txt [new file with mode: 0644] blob
Userspace RCU (urcu) for Linux
This page took 0.024939 seconds and 4 git commands to generate.