model_snapshot_space = create_mspace(numheappages * PAGESIZE, 1);
}
+volatile int modellock = 0;
+
static void fork_loop() {
/* switch back here when takesnapshot is called */
snapshotid = fork_snap->currSnapShotID;
while (true) {
pid_t forkedID;
fork_snap->currSnapShotID = snapshotid + 1;
+
+ modellock = 1;
forkedID = fork();
+ modellock = 0;
if (0 == forkedID) {
setcontext(&fork_snap->shared_ctxt);