snapshot-interface.h

   1 /**
   2  * @file snapshot-interface.h
   3  * @brief C interface layer on top of snapshotting system
   4  */
   5
   6 #ifndef __SNAPINTERFACE_H
   7 #define __SNAPINTERFACE_H
   8 #include <ucontext.h>
   9
  10 typedef unsigned int snapshot_id;
  11 typedef void (*VoidFuncPtr)();
  12
  13 void snapshot_system_init(unsigned int numbackingpages,
  14                                                                                                         unsigned int numsnapshots, unsigned int nummemoryregions,
  15                                                                                                         unsigned int numheappages);
  16 void startExecution();
  17 snapshot_id take_snapshot();
  18 void snapshot_roll_back(snapshot_id theSnapShot);
  19
  20
  21 #endif