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