Robust/src/Runtime/runtime.h

   1 #ifndef RUNTIME
   2 #define RUNTIME
   3 #include <setjmp.h>
   4 extern jmp_buf error_handler;
   5 extern int instructioncount;
   6 extern int failurecount;
   7
   8 #ifdef PRECISE_GC
   9 #include "garbage.h"
  10 void * allocate_new(void *, int type);
  11 struct ArrayObject * allocate_newarray(void *, int type, int length);
  12 struct ___String___ * NewString(void *, const char *str,int length);
  13 #else
  14 void * allocate_new(int type);
  15 struct ArrayObject * allocate_newarray(int type, int length);
  16 struct ___String___ * NewString(const char *str,int length);
  17 #endif
  18
  19 void initializeexithandler();
  20 void failedboundschk();
  21 void failednullptr();
  22 void abort_task();
  23 void injectinstructionfailure();
  24 void createstartupobject();
  25
  26 #ifdef PRECISE_GC
  27 #define VAR(name) ___params___->name
  28 #define CALL00(name) name(struct name ## _params * ___params___)
  29 #define CALL01(name, alt) name(struct name ## _params * ___params___)
  30 #define CALL02(name, alt1, alt2) name(struct name ## _params * ___params___)
  31 #define CALL11(name,rest, alt) name(struct name ## _params * ___params___, rest)
  32 #define CALL12(name,rest, alt1, alt2) name(struct name ## _params * ___params___, rest)
  33 #define CALL23(name, rest, rest2, alt1, alt2, alt3) name(struct name ## _params * ___params___, rest, rest2)
  34 #define CALL24(name, rest, rest2, alt1, alt2, alt3, alt4) name(struct name ## _params * ___params___, rest, rest2)
  35 #else
  36 #define VAR(name) name
  37 #define CALL00(name) name()
  38 #define CALL01(name, alt) name(alt)
  39 #define CALL02(name, alt1, alt2) name(alt1, alt2)
  40 #define CALL11(name,rest, alt) name(alt)
  41 #define CALL12(name,rest, alt1, alt2) name(alt1, alt2)
  42 #define CALL23(name, rest, rest2, alt1, alt2, alt3) name(alt1, alt2, alt3)
  43 #define CALL24(name, rest, rest2, alt1, alt2, alt3, alt4) name(alt1, alt2, alt3, alt4)
  44 #endif
  45
  46 #ifdef TASK
  47 #include "SimpleHash.h"
  48 #include "task.h"
  49 void flagorand(void * ptr, int ormask, int andmask);
  50 void flagorandinit(void * ptr, int ormask, int andmask);
  51 void flagbody(void *ptr, int flag);
  52 void executetasks();
  53 void processtasks();
  54
  55 struct parameterwrapper {
  56   struct parameterwrapper *next;
  57   struct RuntimeHash * objectset;
  58   int numberofterms;
  59   int * intarray;
  60   struct taskdescriptor * task;
  61 };
  62
  63 struct taskparamdescriptor {
  64   struct taskdescriptor * task;
  65   int numParameters;
  66   void ** parameterArray;
  67 };
  68
  69 struct tpdlist {
  70   struct taskparamdescriptor * task;
  71   struct tpdlist * next;
  72 };
  73
  74 int hashCodetpd(struct taskparamdescriptor *);
  75 int comparetpd(struct taskparamdescriptor *, struct taskparamdescriptor *);
  76 #endif
  77
  78 #endif