clean up

diff --git a/Makefile b/Makefile
index 662ebce4bb4c29131c84357c2df7f6aa1b7d460d..e988a49df3d81c24a7310253e9268876de538cf0 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -1,6 +1,5 @@
 DIRS := barrier mcs-lock mpmc-queue spsc-queue spsc-bugfix linuxrwlocks \
-       dekker-fences chase-lev-deque ms-queue chase-lev-deque-bugfix seqlock \
-       cliffc-hashtable treiber-stack
+       dekker-fences chase-lev-deque ms-queue chase-lev-deque-bugfix
 
 .PHONY: $(DIRS)
 

diff --git a/benchmarks.mk b/benchmarks.mk
index 4f0031f6b79ad79919a746b4d67c788fa3da5827..7f82f920f3c4df24d5ee651a5b7daccc628c55c9 100644 (file)
--- a/benchmarks.mk
+++ b/benchmarks.mk
@@ -8,8 +8,7 @@ UNAME = $(shell uname)
 LIB_NAME = model
 LIB_SO = lib$(LIB_NAME).so
 
-#BASE = ../..
-BASE = $(CDS_DIR)
+BASE = ../..
 INCLUDE = -I$(BASE)/include -I../include
 
 # C preprocessor flags

diff --git a/build.sh b/build.sh
deleted file mode 100755 (executable)
index d78b2e0..0000000
--- a/build.sh
+++ /dev/null
@@ -1,11 +0,0 @@
-#!/bin/bash
-
-CHECKER_DIR=~/model-checker-priv/model-checker-priv
-
-if [ -z $1 ] ; then
-       echo "Use default CDS checker directory"
-else
-       CHECKER_DIR=$1
-fi
-
-make CDS_DIR=$CHECKER_DIR

diff --git a/seqlock/seqlock b/seqlock/seqlock
deleted file mode 100755 (executable)
index 32a01ab..0000000
Binary files a/seqlock/seqlock and /dev/null differ

diff --git a/spsc-bugfix/spsc-queue.cc b/spsc-bugfix/spsc-queue.cc
index f8528a862acd8f5097ebb3d781e73e8eb7955864..ada08ecf846ffae27ab70896a46c598c5ae4d88b 100644 (file)
--- a/spsc-bugfix/spsc-queue.cc
+++ b/spsc-bugfix/spsc-queue.cc
@@ -6,6 +6,7 @@ spsc_queue<int> *q;
 
        void thread(unsigned thread_index)
        {
+               for (int i = 0; i < 40; i++) {
                if (0 == thread_index)
                {
                        q->enqueue(11);
@@ -15,6 +16,7 @@ spsc_queue<int> *q;
                        int d = q->dequeue();
                        RL_ASSERT(11 == d);
                }
+               }
        }
 
 int user_main(int argc, char **argv)