trying to get fork based snapshotting to work

[c11tester.git] / snapshotimp.h

diff --git a/snapshotimp.h b/snapshotimp.h
index e9f6d8bd50a4ab1493a8d0264c275fdfeade3b8b..e5c331a2e5ee765fe7e3ec6d7a4fa189fa6e0b2b 100644 (file)
--- a/snapshotimp.h
+++ b/snapshotimp.h
@@ -53,17 +53,17 @@ struct SnapShot {
        unsigned int maxSnapShots; //Stores the total number of snapshots we allow
 };
 
-//Global reference to snapshot data structure
-extern struct SnapShot * snapshotrecord;
 #else
-struct Snapshot {
+struct SnapShot {
        void *mSharedMemoryBase;
        void *mStackBase;
        size_t mStackSize;
-       snapshot_id mIDToRollback;
+       volatile snapshot_id mIDToRollback;
        ucontext_t mContextToRollback;
        snapshot_id currSnapShotID;
 };
-extern struct Snapshot * sTheRecord;
 #endif
+
+//Global reference to snapshot data structure
+extern struct SnapShot * snapshotrecord;
 #endif