changes

changes

Merge branch 'new-bench' of ssh://demsky.eecs.uci.edu/home/git/model-checker-benchmarks into new-bench

testcase for ms-queue to expose SC violation

changes to spsc example

results for mpmc

ms-queue result

results for mcs-lock

result for spsc-queue

result for hashmap

results for dekker-fences

deque results

changes

changes

add spsc for inference

changes

changes

changes

edits

add testcases

changes

changes

changes

changes

changes

changes to the example

spsc example

changes

add notes

add another testcase for dekker-fences

changes to hashmap

changes

ms-queue note

changes to mcs-lock note

add notes to mcs-lock

changes to linuxrwlock;

changes

changes to treiber

add seqlock

changes to seqlock

barrier with weaker inferences & notes in comment

changes

changes

changes

changes to mpmp

changes

changes

changes to treiber-stack makefile

fixed hashmap, add better makefile

edits

changes

changed

fixed hashmap

add notes

fixed wrong pointer usage

add hashmap

add the java ConcurrentHashMap

Description of benchmarks

make warnings go away

clean up

add treiber stack

save fixed ms-queue

add cliff click hashtable

add result file

add seqlock

run.sh: sync up with model-checker improvements

remove unused benchmarks

These benchmakrs are hard to support, and at least one of them isn't
even supported by my g++ draft C++0x compiler (it tries to use structs
with bitfields in an atomic<> template).

run.sh: set Mac OSX DYLD_LIBRARY_PATH

DYLD_LIBRARY_PATH is the Mac OSX equivalent of Unix LD_LIBRARY_PATH.

bench.sh: only print git information when we're in git

Makefiles: use appropriate preprocessor vs. compiler flags

We should differentiate preprocessor vs. C++ compiler vs. C compiler
flags, according to the CPPFLAGS, CXXFLAGS, and CFLAGS conventions. That
way we can, for instance, easily add the appropriate --std=XXX flags
necessary for compiling with a C++11 (or C++0x) or C11 (or C1x)
compliant compiler.

Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker-benchmarks

chase-lev-dequeue: fix compiler warning

Fix this warning, found when compiling with GCC's C1x support:

  main.c: In function ‘task’:
  main.c:17:2: warning: implicit declaration of function ‘steal’ [-Wimplicit-function-declaration]

Makefile: compile the chase-leve deque bugfix

bugfix for chase lev

bench.sh: don't automatically log to file

Just print to STDOUT, and the user can manually pipe to a file if they
want.

bench.sh: rearrange order again

bench.sh: run dekker-fences

bench.sh: fixup Brian D.'s script change

Remove some duplicates; probably just a bad merge.

Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker-benchmarks

Conflicts:
bench.sh

my changes to benchmark shell

bench.sh: rewrite benchmark list to match paper

Brian D. changed the benchmarks we run as well as the order. Let's
encode that in this script, so we can repeat the benchmarks
consistently.

mpmc-queue: add to .gitignore

optimizations to mpmc-queue yield placement
simpler test case for concurrent readers/writers of mpmc-queue

Fix all benchmarks to use yield

All benchmarks now call thrd_yield when appropriate so that they terminate with the -y option.

deque: add .gitignore

ms-queue: add extra POISON_IDX assertion

ms-queue: finally, the correct (?) memory orderings

With much discussion over the intent of the algorithm and the accuracy
of these orderings, we have an accurate representation of the M&S Queue.

ms-queue: fixup initialization and free lists

There are a few things we fix:

1) We shouldn't initialize node[0].next, since node[0] is the 'NULL'
pointer and should never be accessed.

2) The per-thread free list is too restrictive. Now, we generate a list
of free nodes for each thread that can contain up to 4 node indexes.
We only initialize this list with 2 nodes each (so each thread can
expand its free list, if needed). There is some minimal assertion
framework and race detection performed on these lists, just in case.

3) We only initialize those nodes that are placed in the free list.
Accesses to other nodes' 'next' pointer should trigger an uninitialized
loads assertion.

ms-queue: don't initialize node 0

Node zero *should* be unused, since "0" is the NULL pointer index.
Removing this init will help catch bugs.

ms-queue: we should never dequeue 0

The test driver is written so that we should never dequeue 0.

ms-queue: revert Brian D. changes

On second (or third or fourth) thought, these changes were ill-advised.
We will make a different set of tweaks shortly.

This reverts commits 647601d3f341bb2a2a79534b3d044c039695839d and
fad3891f3158a4285984bb60415c1e4ebc2b767b.

wow...  i think this version is correct...

my changes

ms-queue: relax the second load of head/tail

ms-queue: strip down test driver

+ a few assertions

ms-queue: relax the queue loads/stores/CAS

Makefile: build ms-queue

deque: re-insert deleted MODEL_ASSERT()

deque: #include's

Merge branch 'master' of ssh://demsky.eecs.uci.edu/home/git/model-checker-benchmarks