projects / model-checker-benchmarks.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 7ca8c7d) | patch
The CDSSpec checker's benchmarks
authorPeizhao Ou <peizhaoo@uci.edu>
Mon, 26 Sep 2016 18:25:19 +0000 (11:25 -0700)
committerPeizhao Ou <peizhaoo@uci.edu>
Mon, 26 Sep 2016 18:25:19 +0000 (11:25 -0700)
commit1e4cd56e5cf72f7cb6dddb2990183f050afc4cbc
tree18b5b833c065822aa2c4ed42a9fbacb62685ad25tree | snapshot
parent7ca8c7d4c3d13ce31873200b12403bb4ea7e4195commit | diff
The CDSSpec checker's benchmarks
126 files changed:
Makefile diff | blob | history
barrier/.gitignore [deleted file] blob | history
barrier/Makefile [deleted file] blob | history
barrier/barrier.cc [deleted file] blob | history
barrier/barrier.h [deleted file] blob | history
benchmarks.mk diff | blob | history
blocking-mpmc-example/Makefile [new file with mode: 0644] blob
blocking-mpmc-example/example.txt [new file with mode: 0644] blob
blocking-mpmc-example/main.cc [new file with mode: 0644] blob
blocking-mpmc-example/queue.cc [new file with mode: 0644] blob
blocking-mpmc-example/queue.h [new file with mode: 0644] blob
blocking-mpmc-example/testcase1.cc [new file with mode: 0644] blob
blocking-mpmc-example/testcase2.cc [new file with mode: 0644] blob
blocking-mpmc-example/testcase3.cc [new file with mode: 0644] blob
blocking-mpmc-example/testcase4.cc [new file with mode: 0644] blob
chase-lev-deque-bugfix/Makefile diff | blob | history
chase-lev-deque-bugfix/deque.c diff | blob | history
chase-lev-deque-bugfix/deque.h diff | blob | history
chase-lev-deque-bugfix/main.c diff | blob | history
chase-lev-deque-bugfix/testcase1.c [new file with mode: 0644] blob
chase-lev-deque-bugfix/testcase2.c [new file with mode: 0644] blob
chase-lev-deque-bugfix/testcase3.c [new file with mode: 0644] blob
chase-lev-deque-bugfix/testcase4.c [new file with mode: 0644] blob
chase-lev-deque-bugfix/testcase5.c [new file with mode: 0644] blob
chase-lev-deque-bugfix/testcase6.c [new file with mode: 0644] blob
cliffc-hashtable/Makefile [deleted file] blob | history
cliffc-hashtable/NonBlockingHashMap.java [deleted file] blob | history
cliffc-hashtable/cliffc_hashtable.h [deleted file] blob | history
cliffc-hashtable/main.cc [deleted file] blob | history
concurrent-hashmap/Makefile diff | blob | history
concurrent-hashmap/hashmap.cc [new file with mode: 0644] blob
concurrent-hashmap/hashmap.h diff | blob | history
concurrent-hashmap/main.cc diff | blob | history
concurrent-hashmap/note.txt diff | blob | history
concurrent-hashmap/result1.txt [deleted file] blob | history
concurrent-hashmap/result2.txt [deleted file] blob | history
concurrent-hashmap/testcase1.cc diff | blob | history
concurrent-hashmap/testcase2.cc diff | blob | history
concurrent-hashmap/testcase3.cc [deleted file] blob | history
count-lines.sh [new file with mode: 0755] blob
dekker-fences/.gitignore [deleted file] blob | history
dekker-fences/Makefile [deleted file] blob | history
dekker-fences/dekker-fences.cc [deleted file] blob | history
elimination-backoff/stack.c [deleted file] blob | history
elimination-backoff/stack.h [deleted file] blob | history
generate.sh [new file with mode: 0755] blob
include/unrelacy.h diff | blob | history
linuxrwlocks/Makefile diff | blob | history
linuxrwlocks/linuxrwlocks.c diff | blob | history
linuxrwlocks/linuxrwlocks.h [new file with mode: 0644] blob
linuxrwlocks/main.c [new file with mode: 0644] blob
linuxrwlocks/testcase1.c [new file with mode: 0644] blob
linuxrwlocks/testcase2.c [new file with mode: 0644] blob
linuxrwlocks/testcase3.c [new file with mode: 0644] blob
mcs-lock/Makefile diff | blob | history
mcs-lock/main.cc [new file with mode: 0644] blob
mcs-lock/mcs-lock.cc diff | blob | history
mcs-lock/mcs-lock.h diff | blob | history
mcs-lock/testcase.cc [new file with mode: 0644] blob
mpmc-queue/Makefile diff | blob | history
mpmc-queue/main.cc [new file with mode: 0644] blob
mpmc-queue/mpmc-queue.cc diff | blob | history
mpmc-queue/mpmc-queue.h diff | blob | history
mpmc-queue/testcase1.cc [new file with mode: 0644] blob
mpmc-queue/testcase2.cc [new file with mode: 0644] blob
ms-queue-loose/Makefile [new file with mode: 0644] blob
ms-queue-loose/main.c [new file with mode: 0644] blob
ms-queue-loose/queue.c [new file with mode: 0644] blob
ms-queue-loose/queue.h [new file with mode: 0644] blob
ms-queue-loose/testcase1.c [new file with mode: 0644] blob
ms-queue-loose/testcase2.c [new file with mode: 0644] blob
ms-queue-loose/testcase3.c [new file with mode: 0644] blob
ms-queue-loose/testcase4.c [new file with mode: 0644] blob
ms-queue/.gitignore diff | blob | history
ms-queue/Makefile diff | blob | history
ms-queue/main.c diff | blob | history
ms-queue/my_queue.c [deleted file] blob | history
ms-queue/my_queue.h [deleted file] blob | history
ms-queue/queue.c [new file with mode: 0644] blob
ms-queue/queue.h [new file with mode: 0644] blob
ms-queue/testcase1.c [new file with mode: 0644] blob
ms-queue/testcase2.c [new file with mode: 0644] blob
ms-queue/testcase3.c [new file with mode: 0644] blob
ms-queue/testcase4.c [new file with mode: 0644] blob
read-copy-update/Makefile [new file with mode: 0644] blob
read-copy-update/main.cc [new file with mode: 0644] blob
read-copy-update/rcu.cc [new file with mode: 0644] blob
read-copy-update/rcu.h [new file with mode: 0644] blob
read-copy-update/testcase.cc [new file with mode: 0644] blob
seqlock/Makefile diff | blob | history
seqlock/main.cc [new file with mode: 0644] blob
seqlock/seqlock.c [deleted file] blob | history
seqlock/seqlock.cc [new file with mode: 0644] blob
seqlock/seqlock.h [new file with mode: 0644] blob
seqlock/testcase1.cc [new file with mode: 0644] blob
seqlock/testcase2.cc [new file with mode: 0644] blob
spsc-bugfix/Makefile diff | blob | history
spsc-bugfix/eventcount-relacy.h [deleted file] blob | history
spsc-bugfix/eventcount.h diff | blob | history
spsc-bugfix/main.cc [new file with mode: 0644] blob
spsc-bugfix/queue-relacy.h [deleted file] blob | history
spsc-bugfix/queue.cc [new file with mode: 0644] blob
spsc-bugfix/queue.h diff | blob | history
spsc-bugfix/relacy/eventcount-relacy.h [new file with mode: 0644] blob
spsc-bugfix/relacy/queue-relacy.h [new file with mode: 0644] blob
spsc-bugfix/relacy/spsc-relacy.cc [new file with mode: 0644] blob
spsc-bugfix/spsc-queue.cc [deleted file] blob | history
spsc-bugfix/spsc-relacy.cc [deleted file] blob | history
spsc-bugfix/testcase1.cc [new file with mode: 0644] blob
spsc-queue/.gitignore [deleted file] blob | history
spsc-queue/Makefile [deleted file] blob | history
spsc-queue/eventcount-relacy.h [deleted file] blob | history
spsc-queue/eventcount.h [deleted file] blob | history
spsc-queue/queue-relacy.h [deleted file] blob | history
spsc-queue/queue.h [deleted file] blob | history
spsc-queue/spsc-queue.cc [deleted file] blob | history
spsc-queue/spsc-relacy.cc [deleted file] blob | history
ticket-lock/Makefile [new file with mode: 0644] blob
ticket-lock/lock.c [new file with mode: 0644] blob
ticket-lock/lock.h [new file with mode: 0644] blob
ticket-lock/main.c [new file with mode: 0644] blob
ticket-lock/testcase1.c [new file with mode: 0644] blob
treiber-stack/Makefile [deleted file] blob | history
treiber-stack/main.c [deleted file] blob | history
treiber-stack/my_stack.c [deleted file] blob | history
treiber-stack/my_stack.h [deleted file] blob | history
C++11 memory model checker benchmarks