more comments

[model-checker.git] / snapshot.cc

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
+
+/** 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);
@@ -327,6 +331,8 @@ void rollBack( snapshot_id theID ){
 }
 
 /** 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