threads: add id_to_int() and int_to_id() inline functions
-rw-r--r-- 72 .gitignore
-rw-r--r-- 857 Makefile
-rw-r--r-- 1056 action.h
-rw-r--r-- 509 common.h
-rw-r--r-- 523 libatomic.cc
-rw-r--r-- 771 libatomic.h
-rw-r--r-- 776 librace.cc
-rw-r--r-- 452 librace.h
-rw-r--r-- 812 libthreads.cc
-rw-r--r-- 408 libthreads.h
-rw-r--r-- 825 malloc.c
-rw-r--r-- 7161 model.cc
-rw-r--r-- 2025 model.h
-rwxr-xr-x 44 run.sh
-rw-r--r-- 1002 schedule.cc
-rw-r--r-- 357 schedule.h
-rw-r--r-- 2916 threads.cc
-rw-r--r-- 1065 threads.h
-rw-r--r-- 921 tree.cc
-rw-r--r-- 841 tree.h
-rw-r--r-- 657 userprog.c