model: implement, use schedule_next_thread()
-rw-r--r-- 67 .gitignore
-rw-r--r-- 332 Makefile
-rw-r--r-- 384 common.h
-rw-r--r-- 376 libatomic.cc
-rw-r--r-- 619 libatomic.h
-rw-r--r-- 951 libthreads.cc
-rw-r--r-- 338 libthreads.h
-rw-r--r-- 794 malloc.c
-rw-r--r-- 4171 model.cc
-rw-r--r-- 2439 model.h
-rw-r--r-- 507 schedule.cc
-rw-r--r-- 316 schedule.h
-rw-r--r-- 2791 threads.cc
-rw-r--r-- 842 threads.h
-rw-r--r-- 919 tree.cc
-rw-r--r-- 775 tree.h
-rw-r--r-- 542 userprog.c