4625c5d5cfaa7c39cd03087462da86858da0c371
[model-checker.git] / snapshot.h
1 #ifndef _SNAPSHOT_H
2 #define _SNAPSHOT_H
3 #define PAGESIZE 4096
4 #define USE_CHECKPOINTING 1
5
6
7 typedef unsigned int snapshot_id;
8 typedef void (*MyFuncPtr)();
9 void initSnapShotLibrary(unsigned int numbackingpages, unsigned int numsnapshots, unsigned int nummemoryregions, unsigned int numheappages, MyFuncPtr entryPoint);
10
11 void addMemoryRegionToSnapShot( void * ptr, unsigned int numPages );
12
13 snapshot_id takeSnapshot( );
14
15 void rollBack( snapshot_id theSnapShot );
16
17 void finalize();
18
19 #ifdef __cplusplus
20 extern "C" {
21 #endif
22 void createSharedLibrary();
23 #ifdef __cplusplus
24 };  /* end of extern "C" */
25 #endif
26 #endif