libthreads: perform 'model checking' when moving to next thread
-rw-r--r-- 72 .gitignore
-rw-r--r-- 317 Makefile
-rw-r--r-- 384 common.h
-rw-r--r-- 406 libatomic.cc
-rw-r--r-- 619 libatomic.h
-rw-r--r-- 3769 libthreads.cc
-rw-r--r-- 573 libthreads.h
-rw-r--r-- 794 malloc.c
-rw-r--r-- 1534 model.cc
-rw-r--r-- 970 model.h
-rw-r--r-- 418 schedule.cc
-rw-r--r-- 558 schedule.h
-rw-r--r-- 191 threads_internal.h
-rw-r--r-- 622 userprog.c