snapshot.h

   1 /** @file snapshot.h
   2  *      @brief Snapshotting interface header file.
   3  */
   4
   5 #ifndef _SNAPSHOT_H
   6 #define _SNAPSHOT_H
   7
   8 #include "snapshot-interface.h"
   9 #include "config.h"
  10 #include "mymemory.h"
  11
  12 void snapshot_add_memory_region(void *ptr, unsigned int numPages);
  13 snapshot_id take_snapshot();
  14 void snapshot_roll_back(snapshot_id theSnapShot);
  15
  16 #if !USE_MPROTECT_SNAPSHOT
  17 mspace create_shared_mspace();
  18 #endif
  19
  20 #endif