X-Git-Url: http://demsky.eecs.uci.edu/git/?a=blobdiff_plain;f=Robust%2Fsrc%2FRuntime%2Fcheckpoint.c;fp=Robust%2Fsrc%2FRuntime%2Fcheckpoint.c;h=0000000000000000000000000000000000000000;hb=refs%2Ftags%2Fbuildscript;hp=16aee0584f2a67cd78925a02ca1ae6eb792112b1;hpb=b9409d3de6972067daf6d5deade80fca0d37a995;p=IRC.git

diff --git a/Robust/src/Runtime/checkpoint.c b/Robust/src/Runtime/checkpoint.c
deleted file mode 100644
index 16aee058..00000000
--- a/Robust/src/Runtime/checkpoint.c
+++ /dev/null
@@ -1,332 +0,0 @@
-#include "checkpoint.h"
-#include "runtime.h"
-#include "structdefs.h"
-#include <string.h>
-#ifdef DMALLOC
-#include "dmalloc.h"
-#endif
-extern void * curr_heapbase;
-extern void * curr_heapptr;
-extern void * curr_heapgcpoint;
-extern void * curr_heaptop;
-
-extern void * to_heapbase;
-extern void * to_heapptr;
-extern void * to_heaptop;
-
-
-#define MALLOCSIZE 20*1024
-
-struct malloclist {
-  struct malloclist *next;
-  int size;
-  char space[];
-};
-
-struct malloclist * top=NULL;
-int offset=0;
-
-void * cpmalloc(int size) {
-  int endoffset=offset+size;
-  if (top==NULL||endoffset>top->size) {
-    int basesize=MALLOCSIZE;
-    struct malloclist *tmp;
-    if (size>basesize)
-      basesize=size;
-    tmp=RUNMALLOC(sizeof(struct malloclist)+basesize);
-    tmp->next=top;
-    top=tmp;
-    top->size=basesize;
-    offset=0;
-  }
-  int tmpoffset=offset;
-  offset+=size;
-  return &top->space[tmpoffset];
-}
-
-void freemalloc() {
-  while(top!=NULL) {
-    struct malloclist *next=top->next;
-    RUNFREE(top);
-    top=next;
-  }
-}
-
-void checkvalid(void * ptr) {
-  if (ptr>=curr_heapbase&&ptr<=curr_heaptop) {
-    printf("Valid\n");
-  }
-}
-
-void validitycheck(struct RuntimeHash *forward, struct RuntimeHash *reverse)  {
-    struct RuntimeIterator rit;
-    RuntimeHashiterator(forward, &rit);
-    while(RunhasNext(&rit)) {
-      struct ___Object___ * data=(struct ___Object___*) Runnext(&rit);
-      int type=data->type;
-      unsigned int * pointer=pointerarray[type];
-      int size;
-      int i;
-      if (pointer!=0&&((int)pointer)!=1) {
-	size=pointer[0];
-	for(i=1;i<=size;i++) {
-	  int offset=pointer[i];
-	  void * ptr=*(void **) (((int) data) + offset);
-	  if (ptr!=NULL&&!RuntimeHashcontainskey(reverse, (int) ptr)) {
-	    printf("Bad\n");
-	  }
-	  checkvalid(ptr);
-	}
-      }
-    }
-
-    RuntimeHashiterator(reverse, &rit);
-    while(RunhasNext(&rit)) {
-      struct ___Object___ * data=(struct ___Object___*) Runkey(&rit);
-      Runnext(&rit);
-      int type=data->type;
-      unsigned int * pointer=pointerarray[type];
-      int size;
-      int i;
-      if (pointer!=0&&((int)pointer)!=1) {
-	size=pointer[0];
-	for(i=1;i<=size;i++) {
-	  int offset=pointer[i];
-	  void * ptr=*(void **) (((int) data) + offset);
-	  if (ptr!=NULL&&!RuntimeHashcontainskey(reverse, (int) ptr)) {
-	    printf("Bad2\n");
-	  }
-	  checkvalid(ptr);
-	}
-      }
-    }
-  }
-
-
-
-void ** makecheckpoint(int numparams, void ** srcpointer, struct RuntimeHash * forward, struct RuntimeHash * reverse) {
-#ifdef PRECISE_GC
-  void **newarray=cpmalloc(sizeof(void *)*numparams);
-#else
-  void **newarray=RUNMALLOC(sizeof(void *)*numparams);
-#endif
-  struct RuntimeHash *todo=allocateRuntimeHash(100);
-  int i;
-
-  for(i=0;i<numparams;i++) {
-    void * objptr=srcpointer[i];
-    if (RuntimeHashcontainskey(forward, (int) objptr))
-      RuntimeHashget(forward,(int) objptr,(int *) &newarray[i]);
-    else {
-      void * copy=createcopy(objptr);
-      RuntimeHashadd(forward, (int) objptr, (int)copy);
-      RuntimeHashadd(reverse, (int) copy, (int) objptr);
-      RuntimeHashadd(todo, (int) objptr, (int) objptr);
-      newarray[i]=copy;
-    }
-  }
-  while(RuntimeHashcountset(todo)!=0) {
-    void * ptr=(void *) RuntimeHashfirstkey(todo);
-    int type=((int *)ptr)[0];
-    RuntimeHashremove(todo, (int) ptr, (int) ptr);
-    {
-      void *cpy;
-      RuntimeHashget(forward, (int) ptr, (int *) &cpy);
-
-      unsigned int * pointer=pointerarray[type];
-#ifdef TASK
-      if (type==TAGTYPE) {
-	void *objptr=((struct ___TagDescriptor___*)ptr)->flagptr;
-	if (objptr!=NULL) {
-	  if (!RuntimeHashcontainskey(forward, (int) objptr)) {
-	    void *copy=createcopy(objptr);
-	    RuntimeHashadd(forward, (int) objptr, (int) copy);
-	    RuntimeHashadd(reverse, (int) copy, (int) objptr);
-	    RuntimeHashadd(todo, (int) objptr, (int) objptr);
-	    ((struct ___TagDescriptor___*)cpy)->flagptr=copy;
-	  } else {
-	    RuntimeHashget(forward, (int) objptr, (int *) &(((struct ___TagDescriptor___*) cpy)->flagptr));
-	  }
-	}
-      } else
-#endif
-      if (pointer==0) {
-	/* Array of primitives */
-	/* Do nothing */
-      } else if (((int)pointer)==1) {
-	/* Array of pointers */
-	struct ArrayObject *ao=(struct ArrayObject *) ptr;
-	struct ArrayObject *ao_cpy=(struct ArrayObject *) cpy;
-	int length=ao->___length___;
-	int i;
-	for(i=0;i<length;i++) {
-	  void *objptr=((void **)(((char *)& ao->___length___)+sizeof(int)))[i];
-	  if (objptr==NULL) {
-	    ((void **)(((char *)& ao_cpy->___length___)+sizeof(int)))[i]=NULL;
-	  } else if (RuntimeHashcontainskey(forward, (int) objptr))
-	    RuntimeHashget(forward,(int) objptr,(int *) &((void **)(((char *)& ao_cpy->___length___)+sizeof(int)))[i]);
-	  else {
-	    void * copy=createcopy(objptr);
-	    RuntimeHashadd(forward, (int) objptr, (int)copy);
-	    RuntimeHashadd(reverse, (int) copy, (int) objptr);
-	    RuntimeHashadd(todo, (int) objptr, (int) objptr);
-	    ((void **)(((char *)& ao_cpy->___length___)+sizeof(int)))[i]=copy;
-	  }
-	}
-      } else {
-	int size=pointer[0];
-	int i;
-	for(i=1;i<=size;i++) {
-	  int offset=pointer[i];
-	  void * objptr=*((void **)(((int)ptr)+offset));
-	  if (objptr==NULL) {
-	    *((void **) (((int)cpy)+offset))=NULL;
-	  } else if (RuntimeHashcontainskey(forward, (int) objptr))
-	    RuntimeHashget(forward, (int) objptr, (int *) &(((char *)cpy)[offset]));
-	  else {
-	    void * copy=createcopy(objptr);
-	    RuntimeHashadd(forward, (int) objptr, (int) copy);
-	    RuntimeHashadd(reverse, (int) copy, (int) objptr);
-	    RuntimeHashadd(todo, (int) objptr, (int) objptr);
-	    *((void **) (((int)cpy)+offset))=copy;
-	  }
-	}
-      }
-    }
-  }
-  freeRuntimeHash(todo);
-  return newarray;
-}
-
-void * createcopy(void * orig) {
-  if (orig==0)
-    return 0;
-  else {
-    int type=((int *)orig)[0];
-    if (type<NUMCLASSES) {
-      /* We have a normal object */
-      int size=classsize[type];
-#ifdef PRECISE_GC
-      void *newobj=cpmalloc(size);
-#else
-      void *newobj=RUNMALLOC(size);
-#endif
-      memcpy(newobj, orig, size);
-      return newobj;
-    } else {
-      /* We have an array */
-      struct ArrayObject *ao=(struct ArrayObject *)orig;
-      int elementsize=classsize[type];
-      int length=ao->___length___;
-      int size=sizeof(struct ArrayObject)+length*elementsize;
-#ifdef PRECISE_GC
-      void *newobj=cpmalloc(size);
-#else
-      void *newobj=RUNMALLOC(size);
-#endif
-      memcpy(newobj, orig, size);
-      return newobj;
-    }
-  }
-}
-
-void restorecheckpoint(int numparams, void ** original, void ** checkpoint, struct RuntimeHash *forward, struct RuntimeHash * reverse) {
-  struct RuntimeHash *todo=allocateRuntimeHash(100);
-  struct RuntimeHash *visited=allocateRuntimeHash(100);
-  int i;
-
-  for(i=0;i<numparams;i++) {
-    if (checkpoint[i]!=NULL) {
-      RuntimeHashadd(todo, (int) checkpoint[i], (int) checkpoint[i]);
-      RuntimeHashadd(visited, (int) checkpoint[i], (int) checkpoint[i]);
-    }
-  }
-  
-  while(RuntimeHashcountset(todo)!=0) {
-    void * ptr=(void *) RuntimeHashfirstkey(todo);
-    int type=((int *)ptr)[0];
-    RuntimeHashremove(todo, (int) ptr, (int) ptr);
-
-    {
-      void *cpy;
-      unsigned int *pointer;
-      int size;
-      RuntimeHashget(reverse, (int) ptr, (int *) &cpy);
-      pointer=pointerarray[type];
-      size=classsize[type];
-#ifdef TASK
-      if (type==TAGTYPE) {
-	void *objptr=((struct ___TagDescriptor___*)ptr)->flagptr;
-	memcpy(cpy, ptr, size);
-	if (objptr!=NULL) {
-	  if (!RuntimeHashcontainskey(visited, (int) objptr)) {
-	    RuntimeHashadd(visited, (int) objptr, (int) objptr);
-	    RuntimeHashadd(todo, (int) objptr, (int) objptr);
-	  }
-	  RuntimeHashget(reverse, (int) objptr, (int *) & (((struct ___TagDescriptor___ *)cpy)->flagptr));
-	}
-      } else
-#endif
-      if (pointer==0) {
-	/* Array of primitives */
-	struct ArrayObject *ao=(struct ArrayObject *) ptr;
-	int length=ao->___length___;
-	int cpysize=sizeof(struct ArrayObject)+length*size;
-	memcpy(cpy, ptr, cpysize);
-      } else if ((int)pointer==1) {
-	/* Array of pointers */
-	struct ArrayObject *ao=(struct ArrayObject *) ptr;
-	struct ArrayObject *ao_cpy=(struct ArrayObject *) cpy;
-	int length=ao->___length___;
-	int i;
-	int cpysize=sizeof(struct ArrayObject)+length*size;
-	memcpy(ao_cpy, ao, cpysize);
-
-	for(i=0;i<length;i++) {
-	  void *objptr=((void **)(((char *)& ao->___length___)+sizeof(int)))[i];
-	  if (objptr==NULL)
-	    ((void **)(((char *)& ao_cpy->___length___)+sizeof(int)))[i]=NULL;
-	  else {
-	    if (!RuntimeHashcontainskey(visited, (int) objptr)) {
-	      RuntimeHashadd(visited, (int) objptr, (int) objptr);
-	      RuntimeHashadd(todo, (int) objptr, (int) objptr);
-	    }
-	    RuntimeHashget(reverse, (int) objptr, (int *) &((void **)(((char *)& ao_cpy->___length___)+sizeof(int)))[i]);
-	  }
-	}
-      } else {
-	int numptr=pointer[0];
-	int i;
-	void *flagptr;
-	int oldflag;
-	int currflag;
-	if (hasflags[type]) {
-	  flagptr=(void *) (((int *)cpy)[2]);
-	  oldflag=(((int *)cpy)[1]);
-	  currflag=(((int *)ptr)[1]);
-	}
-	memcpy(cpy, ptr, size);
-	for(i=1;i<=numptr;i++) {
-	  int offset=pointer[i];
-	  void * objptr=*((void **)(((int)ptr)+offset));
-	  if (objptr==NULL)
-	    *((void **) (((int)cpy)+offset))=NULL;
-	  else {
-	    if (!RuntimeHashcontainskey(visited, (int) objptr)) {
-	      RuntimeHashadd(visited, (int) objptr, (int) objptr);
-	      RuntimeHashadd(todo, (int) objptr, (int) objptr);
-	    }
-	    RuntimeHashget(reverse, (int) objptr, (int *) &(((char *)cpy)[offset]));
-	  }
-	}
-	if (hasflags[type]) {
-	  (((void **)cpy)[2])=flagptr;
-	  if (currflag!=oldflag)
-	    flagorandinit(cpy, 0, 0xFFFFFFFF);
-	}
-      }
-    }
-  }
-  freeRuntimeHash(todo);
-  freeRuntimeHash(visited);
-}