userprog: move to 'test/' directory
change test case to match nice one from spec... it works. :)
pull in most of atomic header file
userprog: use atomics allocated on "heap" Just for kicks, since snapshotting is working properly. We might as well test this.
userprog: use modulo Increasing the number of loops is useless unless we have modulo here... I don't know why this was changed by Subramanian.
merging stuff...made need to clean up some stuff...but need to push it somewhere else for now Merge branch 'subramanian' Conflicts: .gitignore Makefile action.h userprog.c
userprog: tweak test program to use simple loads/stores
Adding STL stuff and operator news of snapshot to model-checker. Need to actuallly find the hooks which do the actual snapshotting
userprog: print current thread ID
libatomic: add atomic_init()
userprog: print atomic load/store values
userprog: use typedef'd thrd_start_t
major rewrite - 'struct thread' replaced with internal 'class Thread' Rewrite code such that most thread data is kept internally, not within the user program.
userprog: use both atomic loads and stores (Meaningless change to 'user' program; just for testing purposes)
stricter typing of function pointers for makecontext() We need to use functions with no arguments (i.e., 'void (*)()') in order to retain strict type-checking with makecontext(). Of course, we still circumvent this type checking with casting, but we should straighten this out sometime...
terminology - use 'thread id' instead of 'thread index'
userprog: separate test 'program' out to userprog.c