librace: add load/store interface for checking data races
-rw-r--r-- 72 .gitignore
-rw-r--r-- 848 Makefile
-rw-r--r-- 457 common.h
-rw-r--r-- 376 libatomic.cc
-rw-r--r-- 700 libatomic.h
-rw-r--r-- 691 librace.cc
-rw-r--r-- 452 librace.h
-rw-r--r-- 801 libthreads.cc
-rw-r--r-- 408 libthreads.h
-rw-r--r-- 795 malloc.c
-rw-r--r-- 6436 model.cc
-rw-r--r-- 2538 model.h
-rwxr-xr-x 44 run.sh
-rw-r--r-- 1002 schedule.cc
-rw-r--r-- 363 schedule.h
-rw-r--r-- 3099 threads.cc
-rw-r--r-- 892 threads.h
-rw-r--r-- 921 tree.cc
-rw-r--r-- 777 tree.h
-rw-r--r-- 546 userprog.c