more comments

diff --git a/main.cc b/main.cc
index be4c58db7aac6411dd77ed26d7835d42f9f92479..66ad9f1d0a6b9f34b9b416d37d7890957984565d 100644 (file)
--- a/main.cc
+++ b/main.cc
@@ -1,3 +1,7 @@
+/** @file main.cc
+ *  @brief Entry point for the model checker.
+ */
+

 #include "libthreads.h"
 #include "common.h"
 #include "threads.h"
 #include "libthreads.h"
 #include "common.h"
 #include "threads.h"


@@ -6,9 +10,11 @@
 #include "model.h"
 #include "snapshot-interface.h"
 
 #include "model.h"
 #include "snapshot-interface.h"
 

-/*
- * Return 1 if found next thread, 0 otherwise
+/** The thread_system_next function takes the next step in the
+ *  execution.  @return Returns the 1 if there is another step and 0
+ *  otherwise.

  */
  */

+

 static int thread_system_next(void) {
        Thread *curr, *next;
 
 static int thread_system_next(void) {
        Thread *curr, *next;
 


@@ -32,12 +38,19 @@ static int thread_system_next(void) {
        return Thread::swap(model->get_system_context(), next);
 }
 
        return Thread::swap(model->get_system_context(), next);
 }
 

+/** The thread_wait_finish method runs the current execution until we
+ *  have no more steps to take.
+ */
+

 static void thread_wait_finish(void) {
        DBG();
 
        while (!thread_system_next());
 }
 
 static void thread_wait_finish(void) {
        DBG();
 
        while (!thread_system_next());
 }
 

+
+/** The real_main function contains the main model checking loop. */
+

 void real_main() {
        thrd_t user_thread;
        ucontext_t main_context;
 void real_main() {
        thrd_t user_thread;
        ucontext_t main_context;


@@ -71,8 +84,9 @@ void real_main() {
 int main_numargs;
 char ** main_args;
 
 int main_numargs;
 char ** main_args;
 

-/*
- * Main system function
+/**
+ * Main function.  Just initializes snapshotting library and the
+ * snapshotting library calls the real_main function.

  */
 int main(int numargs, char ** args) {
        /* Stash this stuff in case someone wants it eventually */
  */
 int main(int numargs, char ** args) {
        /* Stash this stuff in case someone wants it eventually */

diff --git a/snapshot.cc b/snapshot.cc
index a5792e56f29e67c6b7810fb9691fa314ed04da73..afe02efd851ab39062552f972b3f30e91380a6e1 100644 (file)
--- a/snapshot.cc
+++ b/snapshot.cc
@@ -44,6 +44,10 @@ static snapshot_id snapshotid = 0;
 #endif
 /* Initialize snapshot data structure */
 #if USE_MPROTECT_SNAPSHOT
 #endif
 /* Initialize snapshot data structure */
 #if USE_MPROTECT_SNAPSHOT

+
+/** The initSnapShotRecord method initialized the snapshotting data
+ *  structures for the mprotect based snapshot. 
+ */

 void initSnapShotRecord(unsigned int numbackingpages, unsigned int numsnapshots, unsigned int nummemoryregions) {
        snapshotrecord=( struct SnapShot * )MYMALLOC(sizeof(struct SnapShot));
        snapshotrecord->regionsToSnapShot=( struct MemoryRegion * )MYMALLOC(sizeof(struct MemoryRegion)*nummemoryregions);
 void initSnapShotRecord(unsigned int numbackingpages, unsigned int numsnapshots, unsigned int nummemoryregions) {
        snapshotrecord=( struct SnapShot * )MYMALLOC(sizeof(struct SnapShot));
        snapshotrecord->regionsToSnapShot=( struct MemoryRegion * )MYMALLOC(sizeof(struct MemoryRegion)*nummemoryregions);


@@ -327,6 +331,8 @@ void rollBack( snapshot_id theID ){
 }
 
 /** The finalize method shuts down the snapshotting system.  */
 }
 
 /** The finalize method shuts down the snapshotting system.  */

+//Subramanian -- remove this function from the external interface and
+//have us call it internally

 
 void finalize(){
 #if !USE_MPROTECT_SNAPSHOT
 
 void finalize(){
 #if !USE_MPROTECT_SNAPSHOT