tweak to interface
[IRC.git] / Robust / src / Runtime / runtime.c
1 #include "runtime.h"
2 #include "structdefs.h"
3 #include <signal.h>
4 #include "mem.h"
5 #include <fcntl.h>
6 #include <errno.h>
7 #include <stdio.h>
8 #include "option.h"
9 #include "methodheaders.h"
10 #ifdef DSTM
11 #ifdef RECOVERY
12 #include "DSTM/interface_recovery/dstm.h"
13 #include "DSTM/interface_recovery/altprelookup.h"
14
15 #ifdef RECOVERYSTATS
16   extern int numRecovery;
17   extern unsigned int deadMachine[8];
18   extern unsigned int sizeOfRedupedData[8];
19   extern double elapsedTime[8];
20 #endif
21   
22 #else
23 #include "DSTM/interface/dstm.h"
24 #include "DSTM/interface/altprelookup.h"
25 #include "DSTM/interface/prefetch.h"
26 #endif
27 #endif
28 #ifdef STM
29 #include "tm.h"
30 #include <pthread.h>
31 #endif
32 #ifdef STMLOG
33 #define ARRAY_LENGTH 700003
34 __thread int counter;
35 __thread int event[ARRAY_LENGTH];
36 __thread unsigned long long clkticks[ARRAY_LENGTH];
37 unsigned long long beginClock=0;
38 #define FILENAME  "log"
39 #endif
40 #ifdef EVENTMONITOR
41 #include "monitor.h"
42 __thread int objcount=0;
43 #define ASSIGNUID(x) {                                  \
44     int number=((objcount++)<<EVTHREADSHIFT)|threadnum; \
45     x->objuid=number;                                   \
46   }
47 #else
48 #define ASSIGNUID(x)
49 #endif
50
51 #if defined(THREADS)||defined(STM)
52 /* Global barrier for STM */
53 pthread_barrier_t barrier;
54 pthread_barrierattr_t attr;
55 #endif
56
57 #include <string.h>
58
59 extern int classsize[];
60 extern int typearray[];
61 extern int typearray2[];
62 jmp_buf error_handler;
63 int instructioncount;
64
65 char *options;
66 int injectfailures=0;
67 float failurechance=0;
68 int errors=0;
69 int debugtask=0;
70 int injectinstructionfailures;
71 int failurecount;
72 float instfailurechance=0;
73 int numfailures;
74 int instaccum=0;
75 typedef unsigned long long ticks;
76 #ifdef DMALLOC
77 #include "dmalloc.h"
78 #endif
79
80 int instanceof(struct ___Object___ *ptr, int type) {
81   int i=ptr->type;
82   do {
83     if (i==type)
84       return 1;
85     i=typearray[i];
86   } while(i!=-1);
87   i=ptr->type;
88   if (i>NUMCLASSES) {
89     do {
90       if (i==type)
91         return 1;
92       i=typearray2[i-NUMCLASSES];
93     } while(i!=-1);
94   }
95   return 0;
96 }
97
98 void exithandler(int sig, siginfo_t *info, void * uap) {
99   exit(0);
100 }
101
102 void initializeexithandler() {
103   struct sigaction sig;
104   sig.sa_sigaction=&exithandler;
105   sig.sa_flags=SA_SIGINFO;
106   sigemptyset(&sig.sa_mask);
107   sigaction(SIGUSR2, &sig, 0);
108 }
109
110
111 /* This function inject failures */
112
113 void injectinstructionfailure() {
114 #ifdef TASK
115   if (injectinstructionfailures) {
116     if (numfailures==0)
117       return;
118     instructioncount=failurecount;
119     instaccum+=failurecount;
120     if ((((double)random())/RAND_MAX)<instfailurechance) {
121       if (numfailures>0)
122         numfailures--;
123       printf("FAILURE!!! %d\n",numfailures);
124       longjmp(error_handler,11);
125     }
126   }
127 #else
128 #ifdef THREADS
129   if (injectinstructionfailures) {
130     if (numfailures==0)
131       return;
132     instaccum+=failurecount;
133     if ((((double)random())/RAND_MAX)<instfailurechance) {
134       if (numfailures>0)
135         numfailures--;
136       printf("FAILURE!!! %d\n",numfailures);
137       threadexit();
138     }
139   }
140 #endif
141 #endif
142 }
143
144 #ifdef D___Double______nativeparsedouble____L___String___
145 double CALL01(___Double______nativeparsedouble____L___String___,struct ___String___ * ___str___) {
146   int length=VAR(___str___)->___count___;
147   int maxlength=(length>60)?60:length;
148   char str[maxlength+1];
149   struct ArrayObject * chararray=VAR(___str___)->___value___;
150   int i;
151   int offset=VAR(___str___)->___offset___;
152   for(i=0; i<maxlength; i++) {
153     str[i]=((short *)(((char *)&chararray->___length___)+sizeof(int)))[i+offset];
154   }
155   str[i]=0;
156   double d=atof(str);
157   return d;
158 }
159 #endif
160
161 #ifdef D___Double______nativeparsedouble_____AR_B_I_I 
162 double CALL23(___Double______nativeparsedouble_____AR_B_I_I, int start, int length,int start,int length,struct ArrayObject * ___str___) {
163   int maxlength=(length>60)?60:length;
164   char str[maxlength+1];
165   struct ArrayObject * bytearray=VAR(___str___);
166   int i;
167   for(i=0; i<maxlength; i++) {
168     str[i]=(((char *)&bytearray->___length___)+sizeof(int))[i+start];
169   }
170   str[i]=0;
171   double d=atof(str);
172   return d;
173 }
174 #endif
175
176 #ifdef D___String______convertdoubletochar____D__AR_C
177 int CALL12(___String______convertdoubletochar____D__AR_C, double ___val___, double ___val___, struct ArrayObject ___chararray___) {
178   int length=VAR(___chararray___)->___length___;
179   char str[length];
180   int i;
181   int num=snprintf(str, length, "%f",___val___);
182   if (num>=length)
183     num=length-1;
184   for(i=0; i<length; i++) {
185     ((short *)(((char *)&VAR(___chararray___)->___length___)+sizeof(int)))[i]=(short)str[i];
186   }
187   return num;
188 }
189 #endif
190 #ifdef D___System______deepArrayCopy____L___Object____L___Object___
191 void deepArrayCopy(struct ___Object___ * dst, struct ___Object___ * src) {
192   int dsttype=((int *)dst)[0];
193   int srctype=((int *)src)[0];
194 #ifdef STMARRAY
195   src=src->___objlocation___;
196 #endif
197   if (dsttype<NUMCLASSES||srctype<NUMCLASSES||srctype!=dsttype)
198     return;
199   struct ArrayObject *aodst=(struct ArrayObject *)dst;
200   struct ArrayObject *aosrc=(struct ArrayObject *)src;
201   int dstlength=aodst->___length___;
202   int srclength=aosrc->___length___;
203   if (dstlength!=srclength)
204     return;
205   unsigned INTPTR *pointer=pointerarray[srctype];
206   if (pointer==0) {
207     int elementsize=classsize[srctype];
208     int size=srclength*elementsize;
209     //primitives
210     memcpy(((char *)&aodst->___length___)+sizeof(int) , ((char *)&aosrc->___length___)+sizeof(int), size);
211   } else {
212     //objects
213     int i;
214     for(i=0;i<srclength;i++) {
215       struct ___Object___ * ptr=((struct ___Object___**)(((char*) &aosrc->___length___)+sizeof(int)))[i];
216       int ptrtype=((int *)ptr)[0];
217       if (ptrtype>=NUMCLASSES) {
218         struct ___Object___ * dstptr=((struct ___Object___**)(((char*) &aodst->___length___)+sizeof(int)))[i];
219         deepArrayCopy(dstptr,ptr);
220       } else {
221         //hit an object
222         ((struct ___Object___ **)(((char*) &aodst->___length___)+sizeof(int)))[i]=ptr;
223       }
224     }
225   }
226 }
227
228 void CALL02(___System______deepArrayCopy____L___Object____L___Object___, struct ___Object___ * ___dst___, struct ___Object___ * ___src___) {
229   deepArrayCopy(VAR(___dst___), VAR(___src___));
230 }
231 #endif
232
233 void CALL11(___System______exit____I,int ___status___, int ___status___) {
234 #ifdef TRANSSTATS
235 #ifndef RECOVERY
236   printf("numTransCommit = %d\n", numTransCommit);
237   printf("numTransAbort = %d\n", numTransAbort);
238   printf("nSoftAbort = %d\n", nSoftAbort);
239 #endif
240 #ifdef STM
241   printf("nSoftAbortCommit = %d\n", nSoftAbortCommit);
242   printf("nSoftAbortAbort = %d\n", nSoftAbortAbort);
243 #ifdef STMSTATS
244   int i;
245   for(i=0; i<TOTALNUMCLASSANDARRAY; i++) {
246     printf("typesCausingAbort[%2d] numaccess= %5d numabort= %3d\n", i, typesCausingAbort[i].numaccess, typesCausingAbort[i].numabort);
247   }
248 #endif
249 #endif
250 #endif
251 #ifdef EVENTMONITOR
252   dumpdata();
253 #endif
254   exit(___status___);
255 }
256
257 void CALL11(___System______logevent____I,int ___event___, int ___event___) {
258 #ifdef STMLOG
259   event[counter] = ___event___;
260   clkticks[counter] = rdtsc();
261   counter++;
262 #endif
263   return;
264 }
265
266 void CALL00(___System______logevent____) {
267 #ifdef STMLOG
268   beginClock= rdtsc();
269 #endif
270   return;
271 }
272
273 void CALL11(___System______flushToFile____I, int ___threadid___, int ___threadid___) {
274 #ifdef STMLOG
275   FILE *fp;
276   /* Flush to file */
277   char filename[20];
278   memset(filename, 0, 20);
279   sprintf(filename, "%s_%d", FILENAME, ___threadid___);
280   if ((fp = fopen(filename, "w+")) == NULL) {
281     perror("fopen");
282     return;
283   }
284   int i;
285   for (i = 0; i < counter-1; i++) {
286     fprintf(fp, "%d %lld %lld\n", event[i], clkticks[i]-beginClock, clkticks[i+1]-beginClock);
287   }
288   fprintf(fp, "%d %lld\n", event[i], clkticks[i]-beginClock);
289
290   fclose(fp);
291 #endif
292   return;
293 }
294
295 void CALL00(___System______initLog____) {
296 #ifdef STMLOG
297   counter=0;
298   int i;
299   for(i=0; i<ARRAY_LENGTH; i++) {
300     event[i] = 0;
301     clkticks[i] = 0;
302   }
303
304 #endif
305   return;
306 }
307
308 #ifdef D___Vector______removeElement_____AR_L___Object____I_I
309 void CALL23(___Vector______removeElement_____AR_L___Object____I_I, int ___index___, int ___size___, struct ArrayObject * ___array___, int ___index___, int ___size___) {
310   char* offset=((char *)(&VAR(___array___)->___length___))+sizeof(unsigned int)+sizeof(void *)*___index___;
311   memmove(offset, offset+sizeof(void *),(___size___-___index___-1)*sizeof(void *));
312 }
313 #endif
314
315 void CALL11(___System______printI____I,int ___status___, int ___status___) {
316   printf("%d\n",___status___);
317 }
318
319 long long CALL00(___System______currentTimeMillis____) {
320   struct timeval tv; long long retval;
321   gettimeofday(&tv, NULL);
322   retval = tv.tv_sec; /* seconds */
323   retval*=1000; /* milliseconds */
324   retval+= (tv.tv_usec/1000); /* adjust milliseconds & add them in */
325   return retval;
326 }
327
328 long long CALL00(___System______microTimes____) {
329   struct timeval tv; 
330   long long retval;
331   gettimeofday(&tv, NULL);
332   retval = tv.tv_sec; /* seconds */
333   retval*=1000000; /* microsecs */
334   retval+= (tv.tv_usec); /* adjust microseconds & add them in */
335   return retval;
336 }
337
338 long long CALL00(___System______getticks____) {
339   unsigned a, d;
340   asm("cpuid");
341   asm volatile("rdtsc" : "=a" (a), "=d" (d));
342   return (((ticks)a) | (((ticks)d) << 32));
343 }
344
345 void CALL01(___System______printString____L___String___,struct ___String___ * ___s___) {
346   struct ArrayObject * chararray=VAR(___s___)->___value___;
347   int i;
348   int offset=VAR(___s___)->___offset___;
349   for(i=0; i<VAR(___s___)->___count___; i++) {
350     short sc=((short *)(((char *)&chararray->___length___)+sizeof(int)))[i+offset];
351     putchar(sc);
352   }
353 #ifdef RECOVERYSTATS
354   fflush(stdout);
355   fflush(stdout);
356 #endif
357 }
358
359 #ifdef D___RecoveryStat______printRecoveryStat____ 
360 #ifdef RECOVERYSTATS
361 void CALL00(___RecoveryStat______printRecoveryStat____) {
362   printRecoveryStat();
363 }
364 #else
365 void CALL00(___RecoveryStat______printRecoveryStat____) {
366   printf("No Stat\n");
367   fflush(stdout);
368 }
369 #endif
370 #endif
371
372 #ifdef DSTM
373 void CALL00(___System______clearPrefetchCache____) {
374   prehashClear();
375 }
376
377 #ifdef RANGEPREFETCH
378 void CALL02(___System______rangePrefetch____L___Object_____AR_S, struct ___Object___ * ___o___, struct ArrayObject * ___offsets___) {
379   /* Manual Prefetches to be inserted */
380   //printf("DEBUG-> %s() ___Object___ * ___o___ = %x\n", __func__, VAR(___o___));
381   //printf("DEBUG-> %s() ArrayObject * = %x\n", __func__, VAR(___offsets___));
382   int numoffset=VAR(___offsets___)->___length___;
383   int i;
384   short offArry[numoffset+2];
385   offArry[0] = 0;
386   offArry[1] = 0;
387   for(i = 2; i<(numoffset+2); i++) {
388     offArry[i] = *((short *)(((char *)&VAR(___offsets___)->___length___) + sizeof(int) + (i-2) * sizeof(short)));
389     //printf("DEBUG-> offArry[%d] = %d\n", i, offArry[i]);
390   }
391   unsigned int oid;
392   if(((unsigned int)(VAR(___o___)) & 1) != 0) { //odd
393     oid =  (unsigned int) VAR(___o___); //outside transaction therefore just an oid
394   } else { //even
395     oid = (unsigned int) COMPOID(VAR(___o___)); //inside transaction therefore a pointer to oid
396   }
397   rangePrefetch(oid, (short)(numoffset+2), offArry);
398 }
399 #else
400 void CALL02(___System______rangePrefetch____L___Object_____AR_S, struct ___Object___ * ___o___, struct ArrayObject * ___offsets___) {
401   return;
402 }
403 #endif
404
405 #ifdef D___Task______execution____ 
406 extern void* virtualtable[];
407 // associated with Task.execution(). finds proper execute method and call it
408 void CALL01(___Task______execution____,struct ___Task___ * ___this___)
409 {
410   unsigned int oid;
411   oid = (unsigned int) VAR(___this___);   // object id
412   int type = getObjType(oid);             // object type
413
414 #ifdef PRECISE_GC
415   int p[] = {1,0 , oid};
416   ((void(*) (void *))virtualtable[type*MAXCOUNT + EXECUTEMETHOD])(p);
417 #else
418   // call the proper execute method
419   ((void(*) (void *))virtualtable[type*MAXCOUNT + EXECUTEMETHOD])(oid);
420 #endif
421 }
422 #endif
423
424 #endif // DSTM
425
426 /* STM Barrier constructs */
427 #ifdef D___Barrier______setBarrier____I
428 void CALL11(___Barrier______setBarrier____I, int nthreads, int nthreads) {
429   // Barrier initialization
430   int ret;
431   if((ret = pthread_barrier_init(&barrier, NULL, nthreads)) != 0) {
432     printf("%s() Could not create a barrier: numthreads = 0 in %s\n", __func__, __FILE__);
433     exit(-1);
434   }
435 }
436 #endif
437
438 #ifdef D___Barrier______enterBarrier____
439 void CALL00(___Barrier______enterBarrier____) {
440   // Synchronization point
441   int ret;
442 #ifdef EVENTMONITOR
443   EVLOGEVENT(EV_ENTERBARRIER);
444 #endif
445 #ifdef PRECISE_GC
446   stopforgc((struct garbagelist *)___params___);
447 #endif
448   ret = pthread_barrier_wait(&barrier);
449 #ifdef PRECISE_GC
450   restartaftergc();
451 #endif
452   if(ret != 0 && ret != PTHREAD_BARRIER_SERIAL_THREAD) {
453     printf("%s() Could not wait on barrier: error %d in %s\n", __func__, errno, __FILE__);
454     exit(-1);
455   }
456 #ifdef EVENTMONITOR
457   EVLOGEVENT(EV_EXITBARRIER);
458 #endif
459 }
460 #endif
461
462 /* Object allocation function */
463
464 #ifdef DSTM
465 __attribute__((malloc)) void * allocate_newglobal(int type) {
466   struct ___Object___ * v=(struct ___Object___ *) transCreateObj(classsize[type]);
467   v->type=type;
468   //printf("DEBUG %s(), type= %x\n", __func__, type);
469 #ifdef THREADS
470   v->tid=0;
471   v->lockentry=0;
472   v->lockcount=0;
473 #endif
474   return v;
475 }
476
477 /* Array allocation function */
478
479 __attribute__((malloc)) struct ArrayObject * allocate_newarrayglobal(int type, int length) {
480   struct ArrayObject * v=(struct ArrayObject *)transCreateObj(sizeof(struct ArrayObject)+length*classsize[type]);
481   if (length<0) {
482     printf("ERROR: negative array\n");
483     return NULL;
484   }
485   v->type=type;
486   v->___length___=length;
487 #ifdef THREADS
488   v->tid=0;
489   v->lockentry=0;
490   v->lockcount=0;
491 #endif
492   return v;
493 }
494 #endif
495
496
497 #ifdef STM
498 // STM Versions of allocation functions
499
500 /* Object allocation function */
501 __attribute__((malloc)) void * allocate_newtrans(void * ptr, int type) {
502 #ifdef STMARRAY
503   struct ___Object___ * v=(struct ___Object___ *) transCreateObj(ptr, classsize[type], 0);
504 #else
505   struct ___Object___ * v=(struct ___Object___ *) transCreateObj(ptr, classsize[type]);
506 #endif
507   ASSIGNUID(v);
508   v->type=type;
509   v->___objlocation___=v;
510   return v;
511 }
512
513 /* Array allocation function */
514 __attribute__((malloc)) struct ArrayObject * allocate_newarraytrans(void * ptr, int type, int length) {
515 #ifdef STMARRAY
516   int basesize=length*classsize[type];
517   //round the base size up
518   basesize=(basesize+LOWMASK)&HIGHMASK;
519   int numlocks=basesize>>INDEXSHIFT;
520   int bookkeepsize=numlocks*2*sizeof(int);
521   struct ArrayObject * v=(struct ArrayObject *)transCreateObj(ptr, sizeof(struct ArrayObject)+basesize+bookkeepsize, bookkeepsize);
522   unsigned int *intptr=(unsigned int *)(((char *)v)-sizeof(objheader_t));
523   for(;numlocks>0;numlocks--) {
524     intptr-=2;
525     intptr[0]=1;
526   }
527   v->highindex=-1;
528   v->lowindex=MAXARRAYSIZE;
529 #else
530   struct ArrayObject * v=(struct ArrayObject *)transCreateObj(ptr, sizeof(struct ArrayObject)+length*classsize[type]);
531 #endif
532   ASSIGNUID(v);
533   if (length<0) {
534     printf("ERROR: negative array\n");
535     return NULL;
536   }
537   v->___objlocation___=(struct ___Object___*)v;
538   v->type=type;
539   v->___length___=length;
540   return v;
541 }
542
543 __attribute__((malloc)) void * allocate_new(void * ptr, int type) {
544   objheader_t *tmp=mygcmalloc((struct garbagelist *) ptr, classsize[type]+sizeof(objheader_t));
545   struct ___Object___ * v=(struct ___Object___ *) &tmp[1];
546   ASSIGNUID(v);
547   initdsmlocks(&tmp->lock);
548   tmp->version = 1;
549   v->___objlocation___=v;
550   v->type = type;
551   return v;
552 }
553
554 /* Array allocation function */
555
556 __attribute__((malloc)) struct ArrayObject * allocate_newarray(void * ptr, int type, int length) {
557 #ifdef STMARRAY
558   int basesize=length*classsize[type];
559   //round the base size up
560   basesize=(basesize+LOWMASK)&HIGHMASK;
561   int numlocks=basesize>>INDEXSHIFT;
562   int bookkeepsize=(numlocks)*2*sizeof(int);
563   int *tmpint=mygcmalloc((struct garbagelist *) ptr, sizeof(struct ArrayObject)+basesize+sizeof(objheader_t)+bookkeepsize);
564   for(;numlocks>0;numlocks--) {
565     tmpint[0]=1;
566     tmpint+=2;
567   }
568   objheader_t *tmp=(objheader_t *)tmpint;
569   struct ArrayObject * v=(struct ArrayObject *) &tmp[1];
570   v->highindex=-1;
571   v->lowindex=MAXARRAYSIZE;
572 #else
573   objheader_t *tmp=mygcmalloc((struct garbagelist *) ptr, sizeof(struct ArrayObject)+length*classsize[type]+sizeof(objheader_t));
574   struct ArrayObject * v=(struct ArrayObject *) &tmp[1];
575 #endif
576 #ifdef DUALVIEW
577   tmp->lock=RW_LOCK_BIAS;
578 #else
579   initdsmlocks(&tmp->lock);
580 #endif
581   tmp->version=1;
582   ASSIGNUID(v);
583   v->type=type;
584   if (length<0) {
585     printf("ERROR: negative array %d\n", length);
586     return NULL;
587   }
588   v->___objlocation___=(struct ___Object___ *)v;
589   v->___length___=length;
590   return v;
591 }
592 #endif
593
594 #ifndef STM
595 #if defined(PRECISE_GC)
596 #ifdef MLP
597 __attribute__((malloc)) void * allocate_new(void * ptr, int type) {
598   return allocate_new_oid(ptr, type, 0);
599 }
600 __attribute__((malloc)) void * allocate_new_oid(void * ptr, int type, int oid) {
601 #else
602 __attribute__((malloc)) void * allocate_new(void * ptr, int type) {
603 #endif
604   struct ___Object___ * v=(struct ___Object___ *) mygcmalloc((struct garbagelist *) ptr, classsize[type]);
605   v->type=type;
606 #ifdef THREADS
607   v->tid=0;
608   v->lockentry=0;
609   v->lockcount=0;
610 #endif
611 #ifdef OPTIONAL
612   v->fses=0;
613 #endif
614 #ifdef MLP
615   v->oid=oid;
616 #endif
617   return v;
618 }
619
620 /* Array allocation function */
621 #ifdef MLP
622 __attribute__((malloc)) struct ArrayObject * allocate_newarray(void * ptr, int type, int length) {
623   return allocate_newarray_oid(ptr, type, length, 0);
624 }
625  __attribute__((malloc)) struct ArrayObject * allocate_newarray_oid(void * ptr, int type, int length, int oid) {
626 #else
627 __attribute__((malloc)) struct ArrayObject * allocate_newarray(void * ptr, int type, int length) {
628 #endif
629   struct ArrayObject * v=mygcmalloc((struct garbagelist *) ptr, sizeof(struct ArrayObject)+length*classsize[type]);
630   v->type=type;
631   if (length<0) {
632     printf("ERROR: negative array\n");
633     return NULL;
634   }
635   v->___length___=length;
636 #ifdef THREADS
637   v->tid=0;
638   v->lockentry=0;
639   v->lockcount=0;
640 #endif
641 #ifdef OPTIONAL
642   v->fses=0;
643 #endif
644 #ifdef MLP
645   v->oid=oid;
646 #endif
647   return v;
648 }
649
650 #else
651 __attribute__((malloc)) void * allocate_new(int type) {
652   struct ___Object___ * v=FREEMALLOC(classsize[type]);
653   v->type=type;
654 #ifdef OPTIONAL
655   v->fses=0;
656 #endif
657   return v;
658 }
659
660 /* Array allocation function */
661
662 __attribute__((malloc)) struct ArrayObject * allocate_newarray(int type, int length) {
663   __attribute__((malloc))  struct ArrayObject * v=FREEMALLOC(sizeof(struct ArrayObject)+length*classsize[type]);
664   v->type=type;
665   v->___length___=length;
666 #ifdef OPTIONAL
667   v->fses=0;
668 #endif
669   return v;
670 }
671 #endif
672 #endif
673
674 /* Converts C character arrays into Java strings */
675 #ifdef PRECISE_GC
676 __attribute__((malloc)) struct ___String___ * NewString(void * ptr, const char *str,int length) {
677 #else
678 __attribute__((malloc)) struct ___String___ * NewString(const char *str,int length) {
679 #endif
680   int i;
681 #ifdef PRECISE_GC
682   struct ArrayObject * chararray=allocate_newarray((struct garbagelist *)ptr, CHARARRAYTYPE, length);
683   INTPTR ptrarray[]={1, (INTPTR) ptr, (INTPTR) chararray};
684   struct ___String___ * strobj=allocate_new((struct garbagelist *) &ptrarray, STRINGTYPE);
685   chararray=(struct ArrayObject *) ptrarray[2];
686 #else
687   struct ArrayObject * chararray=allocate_newarray(CHARARRAYTYPE, length);
688   struct ___String___ * strobj=allocate_new(STRINGTYPE);
689 #endif
690   strobj->___value___=chararray;
691   strobj->___count___=length;
692   strobj->___offset___=0;
693
694   for(i=0; i<length; i++) {
695     ((short *)(((char *)&chararray->___length___)+sizeof(int)))[i]=(short)str[i];
696   }
697   return strobj;
698 }
699
700 /* Generated code calls this if we fail a bounds check */
701
702 void failedboundschk() {
703 #ifndef TASK
704   printf("Array out of bounds\n");
705 #ifdef THREADS
706   threadexit();
707 #else
708   exit(-1);
709 #endif
710 #else
711   longjmp(error_handler,2);
712 #endif
713 }
714
715 /* Abort task call */
716 void abort_task() {
717 #ifdef TASK
718   longjmp(error_handler,4);
719 #else
720   printf("Aborting\n");
721   exit(-1);
722 #endif
723 }
724
725 #ifndef SANDBOX
726 #ifdef D___System______Assert____Z
727  void CALL11(___System______Assert____Z, int ___status___, int ___status___) {
728    if (!___status___) {
729      printf("Assertion violation\n");
730      *((int *)(NULL)); //force stack trace error
731    }
732  }
733 #endif
734 #endif