cd /data/tsan11-benchmarks/silo
make clean
MODE=perf CHECK_INVARIANTS=0 USE_MALLOC_MODE=0 make -j dbtest
+MODE=perf DEBUG=1 CHECK_INVARIANTS=1 USE_MALLOC_MODE=0 make -j dbtest
# Data structure benchmarks
cd /data/tsan11-benchmarks/cdschecker_modified_benchmarks