model-checker.git
12 years agolibthreads: cleanup main thread initialization
Brian Norris [Fri, 9 Mar 2012 00:12:01 +0000 (16:12 -0800)]
libthreads: cleanup main thread initialization

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

12 years agoadd "make tags" (using `ctags`)
Brian Norris [Fri, 9 Mar 2012 00:03:45 +0000 (16:03 -0800)]
add "make tags" (using `ctags`)

12 years agolibthreads: create header file
Brian Norris [Thu, 8 Mar 2012 23:41:34 +0000 (15:41 -0800)]
libthreads: create header file

12 years agolibthreads: remove superfluous code
Brian Norris [Thu, 8 Mar 2012 23:32:23 +0000 (15:32 -0800)]
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.

12 years agoadd .gitignore
Brian Norris [Thu, 8 Mar 2012 02:13:16 +0000 (18:13 -0800)]
add .gitignore

12 years agoinitial commit
Brian Norris [Thu, 8 Mar 2012 02:10:59 +0000 (18:10 -0800)]
initial commit

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