threads/model: move switch_to_master from class Thread to class ModelChecker
-rw-r--r-- 67 .gitignore
-rw-r--r-- 326 Makefile
-rw-r--r-- 384 common.h
-rw-r--r-- 376 libatomic.cc
-rw-r--r-- 619 libatomic.h
-rw-r--r-- 923 libthreads.cc
-rw-r--r-- 338 libthreads.h
-rw-r--r-- 794 malloc.c
-rw-r--r-- 1999 model.cc
-rw-r--r-- 1254 model.h
-rw-r--r-- 388 schedule.cc
-rw-r--r-- 323 schedule.h
-rw-r--r-- 2800 threads.cc
-rw-r--r-- 860 threads_internal.h
-rw-r--r-- 542 userprog.c