Makefile: add 'make debug'

This is sort of hacky, but it works! Now (after cleaning), you can recompile
with 'make debug' to enable my debugging features (not Subramanian's).

action: enhance print() message

Include clock vector, realign

nodestack: create ModelAction clock vectors

Only create the clock vector if the ModelAction will be retained in our
nodestack, and hence will be used for synchronization, etc.

action: add create_cv() and read_from()

These functions provide basic wrapper functionality for creating and updating
the clock vector for a particular ModelAction.

clockvector: bugfix - fixup vector initialization, size

This fixes a few bugs in ClockVector:

- The parent-less vector is the initial-thread creation, so set its vector
  clock[0] = 1
- The clock vector's data should be initialized to 0
- A clock vector cannot determine its size simply by the size of its parent (+1
  if 'act' is THREAD_CREATE); other threads could have been created, giving an
  inconsistent result here. Instead of trying to be smart about calculating
  num_threads from the parent, then, I just ask for it globally.

model: add get_num_threads()

clockvector: fixup print message

clockvector: add print() method

action: add clock vector field, destructor

action: use proper location comparison

Now that snapshotting is in place for the initial state, stack allocation is
deterministic across executions, so we can compare stack-allocated addresses
again.

clockvector: add snapshotting new/delete operators

rename snapshotStack -> SnapshotStack

snapshot: remove #include, use snapshot_id typedef

snapshot-interface: cleanup interface header

The MyString type does not belong in an interface header. It's only used in one
file, so move its typedef locally.

Remove/move a bunch of misplaced #includes.

There's an unnecessary forward declaration of class snapshotStack.

model: remove scheduler comment

It's being snapshotted now.

model: don't clear thread_map (snapshot)

The thread_map structure is being snapshotted, so no need to clear it.

model: don't reset action_trace manually

Snapshotting takes care of this one

main: take/revert snapshots

Use basic snapshotting for 'reset_to_initial_state()'.

model: make thread_map heap allocated

I want to snapshot this structure, so make it heap-allocated.

action: add all action_lists to snapshot...

common: remove unneeded macros/includes

threads: fixup stack allocation (snapshotting...)

snapshot: remove time information

Why do we need timestamps? This is unneeded extra code and might cause
problems.

snapshot: fix indentation

snapshot: use %p for printing pointers

more allocation fixes (use snapshotting)

nodestack: bugfix - fixup allocators for vectors

add more classes to snapshotting region

Classes that don't use MyAlloc or MEMALLOC are snapshotted by default.

mymemory: use the right *&^% allocator!!

We're using MYMALLOC in the global new/delete instead of defaulting to
snapshottable malloc, as planned. What a stupid bug.

Also extend new/delete operators to be sure.

snapshot: fix EOL spaces

wow, this is a nasty bug...

the last part of the snapshot bug is the following:
we snapshot the user threads stack...  when we get a seg fault,
the signal handler is using the same write protected stack...
obviously this is going to cause problems.  luckily there is support
for a special stack for the signal handler.  this checkin switches
the signal handler to run on a different stack than the program stack.

Revert "fixing the segfault"

This reverts commit 7f305f5e6af465a60ec930832fbc6ec35bd8c693.

fixing the segfault

fix one segfault bug...something is still strange, but has to do with stack

factor page alignment into function call...place near existing call

fix page alignment issue...

snapshot: use perror() on failed library calls

This will print more informative messages when we fail.

mymemory: define the "opposite" of MEMALLOC

We may want an identifier to show that a particular class is intended to be
snapshotted.

mymemory: include some spacing

fixup EOL whitespace

snapshot: use 'SSDEBUG', not 'DEBUG'

model: remove incorrect #undef

Don't 'undef' something; rename it. Anyway, this is unnecessary now, since
someone renamed the new DEBUG.

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.

libthreads: fix thrd_create() to use typedef'd start_routine

fix indentation + spacing, esp. for MEMALLOC macro

mymemory: fix indentation, spacing

nodestack: allocate from "mymemory" region

Merge commit: branch 'work'

tree.{cc,h} were replaced with NodeStack. (Will need to update them)

Other trivial conflicts in Makefile and model.h

Conflicts:
Makefile
model.h
tree.cc
tree.h

snapshot: remove references to libmymemory.so

This library doesn't exist any more.

snapshot: move local defines after #includes

Prevents accidental dependencies, where a header *might* use PAGESIZE, e.g.

main: clear out redundant comments

We don't really need these. I can read the source :)

common: disable debugging

Note to others: do not enable debugging in the checked-in code. It is for
testint purposes only.

run.sh: provide gdb option

Makefile: only build a single shared library

Now that everything is uniform, we can easily just build a single library.

Makefile: clean up Makefile

There are a number of inconsistencies and superfluous arguments:

- For libmymemory, we don't need (or want) to hardcode a shared library
  relative path
- For libmodel, we don't really need the 'soname' parameter
- Linking C++ probably should be done with the C++ compiler, not the C compiler
- We don't need CPPFLAGS for linking-only stages
- We want to use LDFLAGS for an early-stage linking rather than the late-stage
  linking of the user program

Overall, simpler is better

Makfile: remove MEMCPPFLAGS, more uniform command format

remove lines from other files

Found new way to fix emacs issue..  There are directory level preferences.

Remove file-level emacs comment and replace with directory level overrides.

fix various problems with my 64-bit clean hack
found missing initializer bug in scheduler

fix code to be 64 bit clean

switch back to norris style spacing in changed files

main: what are these variables for? (subramanian...)

run.sh: don't touch my run script subramanian

Makfile: fix linking error + remove EOL whitespace

If you're using libdl for dynamic loading, you need to include the library flag
at the top-level linking.

.gitignore: fixup bad merge step

(You don't need both the *~ and *.*~ rules)

remove unused #define

my changes

let us set the size of the heap in a sane way

setup main wrapper and then call into norris code

get rid of redundant mallocs

transfer stuff

makefile

At least everything compiles now...  Subramanian's changes pushed into main fork...  unclear whether it works...

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

fix this stuff...

action: neuter the "same_var" function for now...

Due to some incorrect functionality for 'reset_to_initial_state()' we may not
always have the right stack locations for every execution. I'll ignore the
problem temporarily...

model: remove free_action_list() function

model: remove class Backtrack

tree: kill class TreeNode

Superceded by NodeStack

model: replace TreeNode with NodeStack

Big structural change to the model-checker internal data structure. It's now
tested to work, and hopefully it's still easy enough to understand.

Note that also, we remove the backtrack_list, since this type of structure
depended on keeping around "action lists" of each trace. Instead, I can free up
those lists at the end of each execution, preventing leaks and limiting memory
usage.

userprog: tweak test program to use simple loads/stores

libatomic: place the proper read-value in 'atomic_load' ModelActions

Even though I was doing rudimentary loading and storing of atomic values, I
didn't properly record the value in the ModelAction. That will be confusing
soon if I don't fix it. So fix it.

don't check in useless files

librace: actually compute the loads and stores

We need to perform the actual load or store within our race detection library,
since the model checker totally takes over the operation.

Defining the interfaces to add various regions to snapshot

action: add get_node() accessor

nodestack: remove unnecessary conditional

I expect that we should never have a totally-empty NodeStack. It is designed
such that there is a stub 'empty' node that represents the choices at the start
of the program, when the first userprogram thread is 'created' (note: there is
no corresponding ModelAction for this first creation).

model: merge advance_backtracking_state() and get_next_replay_thread()

model: rename check_current_action() local variables

This function needs some major rewriting when transitioning from our Tree to a
"Stack". Start by properly naming "next" as "curr".

action: add comparison operator for ModelAction

The operator simply compares the sequence number. Useful for some simple
model-checking tests.

nodestack: add class NodeStack and class Node

These will replace class TreeNode in the near future, since I don't need to
retain the entire execution tree: just the stack of the current tree, along
with some backtracking information.

.gitignore: add *~ files

model: change constructor assignments to initializer list

Apparently this is a nice C++ feature I didn't know of. Not much use here,
but there will be other uses...

Initializing variable which contains global snapshotting regions

Adding support to return global segments of the process using the /proc/maps

Adding STL stuff and operator news of snapshot to model-checker. Need to actuallly find the hooks which do the actual snapshotting

action: rename 'node' members to 'treenode'

I am transitioning from class TreeNode to another class (perhaps class
Node?), so rename these members to avoid collision.

model: remove unnecessary "this->"

main/threads: remove excess headers

clockvector: add ClockVector class