projects
/
model-checker.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
snapshot: rename USE_CHECKPOINTING to USE_MPROTECT_SNAPSHOT
[model-checker.git]
/
snapshot.h
diff --git
a/snapshot.h
b/snapshot.h
index 819ea0a41b79ca25782b50e9f109df68b35dc041..53f97ba35c7020c2911b2cd8621f6dbfbe80c0cf 100644
(file)
--- a/
snapshot.h
+++ b/
snapshot.h
@@
-1,7
+1,11
@@
#ifndef _SNAPSHOT_H
#define _SNAPSHOT_H
#define PAGESIZE 4096
#ifndef _SNAPSHOT_H
#define _SNAPSHOT_H
#define PAGESIZE 4096
-#define USE_CHECKPOINTING 1
+
+/* If USE_MPROTECT_SNAPSHOT=1, then snapshot by using mmap() and mprotect()
+ If USE_MPROTECT_SNAPSHOT=0, then snapshot by using fork() */
+#define USE_MPROTECT_SNAPSHOT 1
+
/* Size of signal stack */
#define SIGSTACKSIZE 16384
/* Size of signal stack */
#define SIGSTACKSIZE 16384