more docs
[model-checker.git] / snapshot.h
1 #ifndef _SNAPSHOT_H
2 #define _SNAPSHOT_H
3
4 #include "snapshot-interface.h"
5
6 #define PAGESIZE 4096
7
8 /* If USE_MPROTECT_SNAPSHOT=1, then snapshot by using mmap() and mprotect()
9    If USE_MPROTECT_SNAPSHOT=0, then snapshot by using fork() */
10 #define USE_MPROTECT_SNAPSHOT 1
11
12 /* Size of signal stack */
13 #define SIGSTACKSIZE 32768
14
15 void addMemoryRegionToSnapShot( void * ptr, unsigned int numPages );
16
17 snapshot_id takeSnapshot( );
18
19 void rollBack( snapshot_id theSnapShot );
20
21 #ifdef __cplusplus
22 extern "C" {
23 #endif
24 void createSharedLibrary();
25 #ifdef __cplusplus
26 };  /* end of extern "C" */
27 #endif
28 #endif