-void AddUserHeapToSnapshot(){
- static bool alreadySnapshotted = false;
- if( alreadySnapshotted ) return;
- addMemoryRegionToSnapShot( mySpace, MSPACE_SIZE / PAGESIZE );
+/** Snapshotting realloc implementation for user programs. */
+
+void *realloc( void *ptr, size_t size ){
+ return mspace_realloc( mySpace, ptr, size );
+}
+
+/** Snapshotting calloc implementation for user programs. */
+
+void * calloc( size_t num, size_t size ){
+ void * earlyReq = HandleEarlyAllocationRequest( size * num );
+ if( earlyReq ) {
+ std::memset( earlyReq, 0, size * num );
+ return earlyReq;
+ }
+ return mspace_calloc( mySpace, num, size );
+}
+
+/** Snapshotting new operator for user programs. */
+
+void * operator new(size_t size) throw(std::bad_alloc) {
+ return malloc(size);
+}
+
+/** Snapshotting delete operator for user programs. */
+
+void operator delete(void *p) throw() {
+ free(p);
+}
+
+/** Snapshotting new[] operator for user programs. */
+
+void * operator new[](size_t size) throw(std::bad_alloc) {
+ return malloc(size);
+}
+
+/** Snapshotting delete[] operator for user programs. */
+
+void operator delete[](void *p, size_t size) {
+ free(p);