schedule: refactor next_thread() for better debug printing
-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-- 5394 model.cc
-rw-r--r-- 2439 model.h
-rw-r--r-- 874 schedule.cc
-rw-r--r-- 331 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