snapshot.h

   1 /*      Copyright (c) 2015 Regents of the University of California
   2  *
   3  *      Author: Brian Demsky <bdemsky@uci.edu>
   4  *
   5  *      This program is free software; you can redistribute it and/or
   6  *      modify it under the terms of the GNU General Public License
   7  *      version 2 as published by the Free Software Foundation.
   8  */
   9
  10 /** @file snapshot.h
  11  *      @brief Snapshotting interface header file.
  12  */
  13
  14 #ifndef _SNAPSHOT_H
  15 #define _SNAPSHOT_H
  16
  17 #include "snapshot-interface.h"
  18 #include "config.h"
  19 #include "mymemory.h"
  20
  21 void snapshot_add_memory_region(void *ptr, unsigned int numPages);
  22 snapshot_id take_snapshot();
  23 void snapshot_roll_back(snapshot_id theSnapShot);
  24
  25 #if !USE_MPROTECT_SNAPSHOT
  26 mspace create_shared_mspace();
  27 #endif
  28
  29 #endif