Programming Languages Research Group: Git - model-checker-benchmarks.git/commit

Fix all benchmarks to use yield

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

C++11 memory model checker benchmarks

barrier/barrier.h		diff \| blob \| history
bench.sh		diff \| blob \| history
dekker-fences/dekker-fences.cc		diff \| blob \| history
linuxrwlocks/linuxrwlocks.c		diff \| blob \| history
mcs-lock/mcs-lock.h		diff \| blob \| history
mpmc-queue/mpmc-queue.h		diff \| blob \| history