model: use 'this' uniformly

model: move model.c --> model.cc

model: change 'struct model_checker' to 'class ModelChecker'

Makefile: switch to C++ builds

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...

C++: don't use C++ keywords as names (this, new, etc.)

C++: cast result of malloc

terminology - use 'thread id' instead of 'thread index'

libthreads: use model-checker's thread ID assignment

model: add thread ID assignment function

libthreads: separate private functions from user interface

libthreads: perform all scheduling/model-checking from master thread

To keep all user-space actions under control, we should perform all scheduling
and model-checking from the main system thread. This pushes some of the
thread_yield() logic to a system function (as desired).

libthreads: add THREAD_* states

schedule: exit if we run out of linked-list nodes

model: move 'main_thread' to model_checker struct

move 'current thread' details

The low level details regarding the 'current thread' should be encapsulated in
the scheduler (i.e., 'get_current_thread()'). So we move the 'current' variable
to scheduler.c.

libthreads: utilize new model_checker framework

Just a simple drop-in of the current FCFS scheduler (with the ability to
generically switch out schedulers).

model: add global model_checker initialization

schedule: add replaceable scheduler struct

I may need to replace the scheduler in the future, so modularize it.

model: add stub model.[hc] files

userprog: separate test 'program' out to userprog.c

libatomic: add stub atomic lib header/source

Stub implementations, for testing.

(Temporary: need to find a better generic atomic_int, atomic_long, etc.
implementation)

libthreads: use 'void' in argument list

libthreads: export thread_yield()

We export this for now. The function will need to change for long-term exported
use though.

schedule: return next thread pointer directly

It's better to just return a pointer to the 'next' thread, rather than
sending it through the argument list.

schedule: include libthreads.h

Makefile: turn on all warnings

(That's how I caught the previous error...)

libthreads: include schedule.h (previous mistake...)

Makefile: use ${CC} instead of hardcoding gcc

common.h: move common code (non-user) to header

Enable us to include libthreads.h in a "user program".

libthreads: add thread_current() function

Keeps along the lines of C11/C++11.

C11: thrd_t thrd_current(void);
C++11: namespace this_thread

libthreads: remove unused codepath

libthreads: cleanup startup/exit functions

Free the stacks
Push thread exit management into thread_wait_finish() function

modify "user program"

schedule: set thread to NULL when there is no next thread

reformat DEBUG messages

libthreads: export thread_join() in header

libthreads: merge thread_create() and thread_start()

schedule: add scheduler, thread_yield(), etc.

Could use some cleanup still...

libthreads: fixups

libthreads: cleanup main thread initialization

Create a "thread" for the primary context, rather than handling special logic
for a separate "cleanup" ucontext_t.

add "make tags" (using `ctags`)

libthreads: create header file

libthreads: remove superfluous code

The thread.started field is unnecessary for now.

The initial getcontext() call is unecessary as well. swapcontext() is
better for most instances where we are not creating a new thread.

Remove question mark ('?') from last statement.

add .gitignore

initial commit

Basic working copy of "threads," which execute until completion as soon as
they are launched.