lama_byterun/runtime/runtime.c

706 lines
15 KiB
C
Raw Normal View History

2018-03-04 23:13:08 +03:00
/* Runtime library */
# include <stdio.h>
2018-04-30 17:18:41 +03:00
# include <stdio.h>
# include <string.h>
# include <stdarg.h>
2018-10-31 20:10:50 +03:00
# include <stdlib.h>
2018-11-29 18:27:59 +03:00
# include <sys/mman.h>
# include <assert.h>
2018-04-30 17:18:41 +03:00
// # define DEBUG_PRINT 1
2018-11-30 16:18:12 +03:00
2018-11-29 18:27:59 +03:00
# define STRING_TAG 0x00000001
# define ARRAY_TAG 0x00000003
# define SEXP_TAG 0x00000005
2018-04-30 17:18:41 +03:00
2018-11-29 18:27:59 +03:00
# define LEN(x) ((x & 0xFFFFFFF8) >> 3)
# define TAG(x) (x & 0x00000007)
2018-04-30 17:18:41 +03:00
# define TO_DATA(x) ((data*)((char*)(x)-sizeof(int)))
2018-05-16 09:24:40 +03:00
# define TO_SEXP(x) ((sexp*)((char*)(x)-2*sizeof(int)))
2018-04-30 17:18:41 +03:00
2018-10-31 20:10:50 +03:00
# define UNBOXED(x) (((int) (x)) & 0x0001)
# define UNBOX(x) (((int) (x)) >> 1)
# define BOX(x) ((((int) (x)) << 1) | 0x0001)
2018-10-25 03:15:24 +03:00
2018-04-30 17:18:41 +03:00
typedef struct {
int tag;
char contents[0];
} data;
2018-05-16 09:24:40 +03:00
typedef struct {
int tag;
data contents;
} sexp;
2018-12-11 10:22:23 +03:00
extern void* alloc (size_t);
2018-11-29 18:27:59 +03:00
2018-04-30 17:18:41 +03:00
extern int Blength (void *p) {
2018-12-11 10:22:23 +03:00
data *a = (char*) BOX (NULL);
a = TO_DATA(p);
2018-10-25 03:15:24 +03:00
return BOX(LEN(a->tag));
2018-04-30 17:18:41 +03:00
}
2018-10-31 20:10:50 +03:00
char* de_hash (int n) {
2018-12-11 10:22:23 +03:00
static char *chars = (char*) BOX (NULL);
static char buf[6] = {0,0,0,0,0,0};
char *p = (char*) BOX (NULL);
chars = "_abcdefghijklmnopqrstuvwxyzABCDEFGHIJKLMNJPQRSTUVWXYZ";
p = &buf[5];
2018-10-31 20:10:50 +03:00
2018-11-30 16:18:12 +03:00
#ifdef DEBUG_PRINT
printf ("de_hash: tag: %d\n", n);
#endif
2018-10-31 20:10:50 +03:00
*p-- = 0;
while (n != 0) {
2018-11-30 16:18:12 +03:00
#ifdef DEBUG_PRINT
printf ("char: %c\n", chars [n & 0x003F]);
#endif
2018-10-31 20:10:50 +03:00
*p-- = chars [n & 0x003F];
n = n >> 6;
}
return ++p;
}
typedef struct {
char *contents;
int ptr;
int len;
} StringBuf;
static StringBuf stringBuf;
# define STRINGBUF_INIT 128
static void createStringBuf () {
stringBuf.contents = (char*) malloc (STRINGBUF_INIT);
stringBuf.ptr = 0;
stringBuf.len = STRINGBUF_INIT;
}
static void deleteStringBuf () {
free (stringBuf.contents);
}
static void extendStringBuf () {
int len = stringBuf.len << 1;
stringBuf.contents = (char*) realloc (stringBuf.contents, len);
stringBuf.len = len;
}
static void printStringBuf (char *fmt, ...) {
2018-12-06 23:04:45 +03:00
va_list args = (va_list) BOX(NULL);
int written = 0,
rest = 0;
char *buf = (char*) BOX(NULL);
2018-10-31 20:10:50 +03:00
again:
va_start (args, fmt);
2018-11-06 14:25:28 +03:00
buf = &stringBuf.contents[stringBuf.ptr];
2018-10-31 20:10:50 +03:00
rest = stringBuf.len - stringBuf.ptr;
written = vsnprintf (buf, rest, fmt, args);
if (written >= rest) {
extendStringBuf ();
goto again;
}
stringBuf.ptr += written;
}
static void printValue (void *p) {
2018-12-06 23:04:45 +03:00
data *a = (data*) BOX(NULL);
int i = BOX(0);
2018-10-31 20:10:50 +03:00
if (UNBOXED(p)) printStringBuf ("%d", UNBOX(p));
else {
2018-12-06 23:04:45 +03:00
a = TO_DATA(p);
2018-10-31 20:10:50 +03:00
switch (TAG(a->tag)) {
case STRING_TAG:
printStringBuf ("\"%s\"", a->contents);
break;
case ARRAY_TAG:
printStringBuf ("[");
2018-12-06 23:04:45 +03:00
for (i = 0; i < LEN(a->tag); i++) {
2018-10-31 20:10:50 +03:00
printValue ((void*)((int*) a->contents)[i]);
if (i != LEN(a->tag) - 1) printStringBuf (", ");
}
printStringBuf ("]");
break;
2019-03-07 21:12:43 +03:00
case SEXP_TAG: {
char * tag = de_hash (TO_SEXP(p)->tag);
if (strcmp (tag, "cons") == 0) {
data *b = a;
printStringBuf ("{");
while (LEN(a->tag)) {
printValue ((void*)((int*) b->contents)[0]);
b = (data*)((int*) b->contents)[1];
if (! UNBOXED(b)) {
printStringBuf (", ");
b = TO_DATA(b);
}
else break;
2018-10-31 21:48:44 +03:00
}
2019-03-07 21:12:43 +03:00
printStringBuf ("}");
2018-10-31 20:10:50 +03:00
}
2019-03-07 21:12:43 +03:00
else {
printStringBuf ("%s", tag);
if (LEN(a->tag)) {
printStringBuf (" (");
for (i = 0; i < LEN(a->tag); i++) {
printValue ((void*)((int*) a->contents)[i]);
if (i != LEN(a->tag) - 1) printStringBuf (", ");
}
printStringBuf (")");
}
}
}
break;
2018-10-31 20:10:50 +03:00
default:
printStringBuf ("*** invalid tag: %x ***", TAG(a->tag));
}
}
}
2018-04-30 17:18:41 +03:00
extern void* Belem (void *p, int i) {
2018-12-06 23:04:45 +03:00
data *a = (data *)BOX(NULL);
a = TO_DATA(p);
2018-10-25 03:15:24 +03:00
i = UNBOX(i);
if (TAG(a->tag) == STRING_TAG) {
return (void*) BOX(a->contents[i]);
}
2018-05-16 09:24:40 +03:00
2018-04-30 17:18:41 +03:00
return (void*) ((int*) a->contents)[i];
}
extern void* Bstring (void *p) {
2018-12-06 23:04:45 +03:00
int n = BOX(0);
data *r = NULL;
2018-12-06 23:04:45 +03:00
2018-12-11 10:22:23 +03:00
__pre_gc () ;
2018-12-06 23:04:45 +03:00
n = strlen (p);
r = (data*) alloc (n + 1 + sizeof (int));
2018-04-30 17:18:41 +03:00
2018-11-29 18:27:59 +03:00
r->tag = STRING_TAG | (n << 3);
2018-04-30 17:18:41 +03:00
strncpy (r->contents, p, n + 1);
__post_gc();
2018-04-30 17:18:41 +03:00
return r->contents;
}
2018-10-31 20:10:50 +03:00
extern void* Bstringval (void *p) {
2018-12-06 23:04:45 +03:00
void *s = BOX(NULL);
__pre_gc () ;
2018-10-31 20:10:50 +03:00
createStringBuf ();
printValue (p);
s = Bstring (stringBuf.contents);
deleteStringBuf ();
__post_gc ();
2018-10-31 20:10:50 +03:00
return s;
}
2018-04-30 17:18:41 +03:00
extern void* Barray (int n, ...) {
2018-12-06 23:04:45 +03:00
va_list args = (va_list) BOX (NULL);
int i = BOX(0),
ai = BOX(0);
data *r = (data*) BOX (NULL);
2018-12-11 10:22:23 +03:00
__pre_gc ();
2018-12-05 19:06:07 +03:00
#ifdef DEBUG_PRINT
2018-12-05 18:31:12 +03:00
printf ("Barray: create n = %d\n", n);
fflush(stdout);
2018-12-05 19:06:07 +03:00
#endif
2018-12-05 18:31:12 +03:00
r = (data*) alloc (sizeof(int) * (n+1));
2018-04-30 17:18:41 +03:00
2018-11-29 18:27:59 +03:00
r->tag = ARRAY_TAG | (n << 3);
2018-04-30 17:18:41 +03:00
va_start(args, n);
2018-12-06 23:04:45 +03:00
for (i = 0; i<n; i++) {
ai = va_arg(args, int);
((int*)r->contents)[i] = ai;
2018-04-30 17:18:41 +03:00
}
va_end(args);
__post_gc();
2018-04-30 17:18:41 +03:00
return r->contents;
}
2018-05-16 09:24:40 +03:00
extern void* Bsexp (int n, ...) {
2018-12-06 23:04:45 +03:00
va_list args = (va_list) BOX (NULL);
int i = BOX(0);
int ai = BOX(0);
size_t * p = NULL;
sexp *r = (sexp*) BOX (NULL);
data *d = (sexp*) BOX (NULL);
2018-11-29 18:27:59 +03:00
__pre_gc () ;
2018-12-11 10:22:23 +03:00
#ifdef DEBUG_PRINT
printf("Bsexp: allocate %zu!\n",sizeof(int) * (n+1));
#endif
r = (sexp*) alloc (sizeof(int) * (n+1));
d = &(r->contents);
r->tag = 0;
d->tag = SEXP_TAG | ((n-1) << 3);
2018-05-16 09:24:40 +03:00
va_start(args, n);
for (i=0; i<n-1; i++) {
ai = va_arg(args, int);
p = (size_t*) ai;
((int*)d->contents)[i] = ai;
2018-04-30 17:18:41 +03:00
}
r->tag = va_arg(args, int);
2018-05-16 09:24:40 +03:00
va_end(args);
2018-04-30 17:18:41 +03:00
__post_gc();
return d->contents;
2018-04-30 17:18:41 +03:00
}
2018-11-05 20:17:11 +03:00
extern int Btag (void *d, int t, int n) {
2018-12-06 23:04:45 +03:00
data *r = (data*) BOX (NULL);
r = TO_DATA(d);
2018-11-05 20:17:11 +03:00
return BOX(TAG(r->tag) == SEXP_TAG && TO_SEXP(d)->tag == t && LEN(r->tag) == n);
2018-04-30 17:18:41 +03:00
}
2018-11-06 00:21:38 +03:00
extern int Barray_patt (void *d, int n) {
2018-12-06 23:04:45 +03:00
data *r = BOX(NULL);
2018-11-06 00:21:38 +03:00
if (UNBOXED(d)) return BOX(0);
else {
2018-12-06 23:04:45 +03:00
r = TO_DATA(d);
2018-11-06 00:21:38 +03:00
return BOX(TAG(r->tag) == ARRAY_TAG && LEN(r->tag) == n);
}
}
extern int Bstring_patt (void *x, void *y) {
2018-12-06 23:04:45 +03:00
data *rx = (data *) BOX (NULL),
*ry = (data *) BOX (NULL);
2018-11-06 00:21:38 +03:00
if (UNBOXED(x)) return BOX(0);
else {
2018-12-06 23:04:45 +03:00
rx = TO_DATA(x); ry = TO_DATA(y);
2018-11-06 00:21:38 +03:00
if (TAG(rx->tag) != STRING_TAG) return BOX(0);
return BOX(strcmp (rx->contents, ry->contents) == 0 ? 1 : 0);
}
}
extern int Bboxed_patt (void *x) {
return BOX(UNBOXED(x) ? 0 : 1);
}
extern int Bunboxed_patt (void *x) {
return BOX(UNBOXED(x) ? 1 : 0);
}
extern int Barray_tag_patt (void *x) {
if (UNBOXED(x)) return BOX(0);
return BOX(TAG(TO_DATA(x)->tag) == ARRAY_TAG);
}
extern int Bstring_tag_patt (void *x) {
if (UNBOXED(x)) return BOX(0);
return BOX(TAG(TO_DATA(x)->tag) == STRING_TAG);
}
extern int Bsexp_tag_patt (void *x) {
if (UNBOXED(x)) return BOX(0);
return BOX(TAG(TO_DATA(x)->tag) == SEXP_TAG);
}
2018-04-30 17:18:41 +03:00
extern void* Bsta (void *v, int i, void *x) {
2019-04-10 22:15:08 +03:00
if (TAG(TO_DATA(x)->tag) == STRING_TAG)((char*) x)[UNBOX(i)] = (char) UNBOX(v);
else ((int*) x)[UNBOX(i)] = v;
return v;
2019-04-10 22:15:08 +03:00
}
2018-04-30 17:18:41 +03:00
extern int Lraw (int x) {
2018-10-31 20:10:50 +03:00
return UNBOX(x);
}
extern void Lprintf (char *s, ...) {
2018-12-06 23:04:45 +03:00
va_list args = (va_list) BOX (NULL);
2018-04-30 17:18:41 +03:00
2018-05-16 09:24:40 +03:00
va_start (args, s);
2018-10-31 20:10:50 +03:00
vprintf (s, args); // vprintf (char *, va_list) <-> printf (char *, ...)
va_end (args);
2018-04-30 17:18:41 +03:00
}
extern void* Lstrcat (void *a, void *b) {
2018-12-06 23:04:45 +03:00
data *da = (data*) BOX (NULL);
data *db = (data*) BOX (NULL);
data *d = (data*) BOX (NULL);
da = TO_DATA(a);
db = TO_DATA(b);
2018-12-11 10:22:23 +03:00
__pre_gc () ;
2018-12-06 23:04:45 +03:00
d = (data *) alloc (sizeof(int) + LEN(da->tag) + LEN(db->tag) + 1);
2018-05-25 09:53:10 +03:00
d->tag = LEN(da->tag) + LEN(db->tag);
strcpy (d->contents, da->contents);
strcat (d->contents, db->contents);
__post_gc();
2018-05-25 09:53:10 +03:00
return d->contents;
}
extern void Lfprintf (FILE *f, char *s, ...) {
2018-12-06 23:04:45 +03:00
va_list args = (va_list) BOX (NULL);
2018-04-30 17:18:41 +03:00
2018-05-16 09:24:40 +03:00
va_start (args, s);
vfprintf (f, s, args);
2018-10-31 20:10:50 +03:00
va_end (args);
2018-04-30 17:18:41 +03:00
}
extern FILE* Lfopen (char *f, char *m) {
2018-05-16 09:24:40 +03:00
return fopen (f, m);
2018-04-30 17:18:41 +03:00
}
extern void Lfclose (FILE *f) {
2018-05-16 09:24:40 +03:00
fclose (f);
}
2018-03-04 23:13:08 +03:00
/* Lread is an implementation of the "read" construct */
extern int Lread () {
2018-12-06 23:04:45 +03:00
int result = BOX(0);
2018-03-04 23:13:08 +03:00
printf ("> ");
fflush (stdout);
scanf ("%d", &result);
2018-10-25 03:15:24 +03:00
return BOX(result);
2018-03-04 23:13:08 +03:00
}
/* Lwrite is an implementation of the "write" construct */
extern int Lwrite (int n) {
2018-10-25 03:15:24 +03:00
printf ("%d\n", UNBOX(n));
2018-03-04 23:13:08 +03:00
fflush (stdout);
return 0;
}
2018-04-30 17:18:41 +03:00
2018-11-06 16:18:09 +03:00
/* GC starts here */
extern const size_t __gc_data_end, __gc_data_start;
2018-11-21 14:23:35 +03:00
extern void L__gc_init ();
2018-12-05 18:31:12 +03:00
extern void __pre_gc ();
extern void __post_gc ();
2018-11-06 16:18:09 +03:00
2018-11-21 14:23:35 +03:00
extern void __gc_root_scan_stack ();
2018-11-29 18:27:59 +03:00
/* ======================================== */
/* Mark-and-copy */
/* ======================================== */
static size_t SPACE_SIZE = 128;
# define POOL_SIZE (2*SPACE_SIZE)
typedef struct {
size_t * begin;
size_t * end;
size_t * current;
size_t size;
} pool;
static pool from_space;
static pool to_space;
size_t * current;
static void swap (size_t ** a, size_t ** b) {
size_t * t = *a;
*a = *b;
*b = t;
}
static void gc_swap_spaces (void) {
2018-11-29 18:27:59 +03:00
swap (&from_space.begin, &to_space.begin);
swap (&from_space.end , &to_space.end );
from_space.current = current;
to_space.current = to_space.begin;
}
# define IS_VALID_HEAP_POINTER(p)\
(!UNBOXED(p) && \
from_space.begin <= p && \
from_space.end > p)
# define IN_PASSIVE_SPACE(p) \
(to_space.begin <= p && \
to_space.end > p)
# define IS_FORWARD_PTR(p) \
(!UNBOXED(p) && IN_PASSIVE_SPACE(p))
extern size_t * gc_copy (size_t *obj);
static void copy_elements (size_t *where, size_t *from, int len) {
2018-12-06 23:04:45 +03:00
int i = 0;
2018-12-05 18:31:12 +03:00
void * p = NULL;
2018-11-29 18:27:59 +03:00
for (i = 0; i < len; i++) {
size_t elem = from[i];
2018-12-05 18:31:12 +03:00
if (!IS_VALID_HEAP_POINTER(elem)) {
*where = elem;
where++;
}
else {
p = gc_copy ((size_t*) elem);
*where = p;
#ifdef DEBUG_PRINT
printf ("copy_elements: fix %x: %x\n", from, *where);
#endif
where ++;
}
}
}
static void extend_spaces (void) {
void *p1 = mremap(from_space.begin, SPACE_SIZE, 2*SPACE_SIZE, 0);
void *p2 = mremap(to_space.begin , SPACE_SIZE, 2*SPACE_SIZE, 0);
if (p1 == MAP_FAILED || p2 == MAP_FAILED) {
2019-03-07 21:12:43 +03:00
perror("ERROR: extend_spaces: mmap failed\n");
exit (1);
2018-11-29 18:27:59 +03:00
}
2018-12-05 18:31:12 +03:00
#ifdef DEBUG_PRINT
printf ("extend: %x %x %x %x\n", p1, p2, from_space.begin, to_space.begin);
printf ("extend: %x %x %x\n", from_space.end, to_space.end, current);
#endif
from_space.end += SPACE_SIZE;
to_space.end += SPACE_SIZE;
SPACE_SIZE += SPACE_SIZE;
from_space.size = SPACE_SIZE;
to_space.size = SPACE_SIZE;
2018-11-29 18:27:59 +03:00
}
extern size_t * gc_copy (size_t *obj) {
data *d = TO_DATA(obj);
sexp *s = NULL;
size_t *copy = NULL;
int i = 0;
2018-11-30 16:18:12 +03:00
#ifdef DEBUG_PRINT
2018-11-29 18:27:59 +03:00
int len1, len2, len3;
void * objj;
void * newobjj = (void*)current;
printf("gc_copy: %x cur = %x starts\n", obj, current);
2018-11-30 16:18:12 +03:00
#endif
2018-11-29 18:27:59 +03:00
if (!IS_VALID_HEAP_POINTER(obj)) {
2018-11-30 16:18:12 +03:00
#ifdef DEBUG_PRINT
2018-11-29 18:27:59 +03:00
printf ("gc_copy: invalid ptr: %x\n", obj);
2018-11-30 16:18:12 +03:00
#endif
2018-11-29 18:27:59 +03:00
return obj;
}
2018-12-11 10:22:23 +03:00
if (!IN_PASSIVE_SPACE(current) && current != to_space.end) {
2018-11-30 16:18:12 +03:00
#ifdef DEBUG_PRINT
2018-11-29 18:27:59 +03:00
printf("ERROR: gc_copy: out-of-space %x %x %x\n", current, to_space.begin, to_space.end);
fflush(stdout);
2018-11-30 16:18:12 +03:00
#endif
2018-11-29 18:27:59 +03:00
perror("ERROR: gc_copy: out-of-space\n");
exit (1);
2018-11-29 18:27:59 +03:00
}
2018-12-05 18:31:12 +03:00
if (IS_FORWARD_PTR(d->tag)) {
2018-12-05 19:06:07 +03:00
#ifdef DEBUG_PRINT
2018-12-05 18:31:12 +03:00
printf ("gc_copy: IS_FORWARD_PTR: return! %x\n", (size_t *) d->tag);
fflush(stdout);
2018-12-05 19:06:07 +03:00
#endif
2018-11-29 18:27:59 +03:00
return (size_t *) d->tag;
2018-12-05 18:31:12 +03:00
}
2018-11-29 18:27:59 +03:00
copy = current;
2018-11-30 16:18:12 +03:00
#ifdef DEBUG_PRINT
2018-11-29 18:27:59 +03:00
objj = d;
2018-11-30 16:18:12 +03:00
#endif
2018-11-29 18:27:59 +03:00
switch (TAG(d->tag)) {
case ARRAY_TAG:
2018-12-05 19:06:07 +03:00
#ifdef DEBUG_PRINT
2018-12-05 18:31:12 +03:00
printf ("gc_copy:array_tag; len = %zu\n", LEN(d->tag));
fflush(stdout);
2018-12-05 19:06:07 +03:00
#endif
2018-11-29 18:27:59 +03:00
current += (LEN(d->tag) + 1) * sizeof (int);
*copy = d->tag;
copy++;
i = LEN(d->tag);
2018-11-29 18:27:59 +03:00
d->tag = (int) copy;
copy_elements (copy, obj, i);
2018-11-29 18:27:59 +03:00
break;
2018-11-29 18:27:59 +03:00
case STRING_TAG:
2018-12-05 19:06:07 +03:00
#ifdef DEBUG_PRINT
printf ("gc_copy:string_tag; len = %d\n", LEN(d->tag) + 1);
fflush(stdout);
2018-12-05 19:06:07 +03:00
#endif
current += LEN(d->tag) * sizeof(char) + sizeof (int);
2018-11-29 18:27:59 +03:00
*copy = d->tag;
copy++;
d->tag = (int) copy;
strcpy (&copy[0], (char*) obj);
2018-11-29 18:27:59 +03:00
break;
case SEXP_TAG :
2018-11-29 18:27:59 +03:00
s = TO_SEXP(obj);
2018-11-30 16:18:12 +03:00
#ifdef DEBUG_PRINT
2018-11-29 18:27:59 +03:00
objj = s;
len1 = LEN(s->contents.tag);
len2 = LEN(s->tag);
len3 = LEN(d->tag);
printf("len1 = %li, len2=%li, len3 = %li\n",len1,len2,len3);
2018-11-30 16:18:12 +03:00
#endif
2018-11-29 18:27:59 +03:00
current += (LEN(s->contents.tag) + 2) * sizeof (int);
*copy = s->tag;
copy++;
*copy = s->contents.tag;
copy++;
2018-11-30 16:18:12 +03:00
i = LEN(s->contents.tag);
2018-12-05 18:31:12 +03:00
d->tag = (int) copy;
2018-11-30 16:18:12 +03:00
copy_elements (copy, obj, i);
2018-11-29 18:27:59 +03:00
break;
2018-11-29 18:27:59 +03:00
default:
2018-11-30 16:18:12 +03:00
#ifdef DEBUG_PRINT
2018-11-29 18:27:59 +03:00
printf ("ERROR: gc_copy: weird tag: %x", TAG(d->tag));
fflush(stdout);
2018-11-30 16:18:12 +03:00
#endif
2018-11-29 18:27:59 +03:00
perror ("ERROR: gc_copy: weird tag");
exit (1);
2018-11-29 18:27:59 +03:00
}
2018-11-30 16:18:12 +03:00
#ifdef DEBUG_PRINT
printf("gc_copy: %x (%x) -> %x (%x); new-current = %x\n", obj, objj, copy, newobjj, current);
2018-11-29 18:27:59 +03:00
fflush(stdout);
2018-11-30 16:18:12 +03:00
#endif
2018-11-29 18:27:59 +03:00
return copy;
}
extern void gc_test_and_copy_root (size_t ** root) {
2018-12-05 18:31:12 +03:00
if (IS_VALID_HEAP_POINTER(*root)) {
#ifdef DEBUG_PRINT
printf ("gc_test_and_copy_root: root %x %x\n", root, *root);
2018-12-05 18:31:12 +03:00
#endif
2018-11-29 18:27:59 +03:00
*root = gc_copy (*root);
2018-12-05 18:31:12 +03:00
}
2018-11-29 18:27:59 +03:00
}
extern void gc_root_scan_data (void) {
2018-11-29 18:27:59 +03:00
size_t * p = &__gc_data_start;
while (p != &__gc_data_end) {
gc_test_and_copy_root (p);
2018-11-29 18:27:59 +03:00
p++;
}
}
extern void init_pool (void) {
from_space.begin = mmap(NULL, SPACE_SIZE, PROT_READ | PROT_WRITE,
MAP_PRIVATE | MAP_ANONYMOUS | MAP_32BIT, -1, 0);
to_space.begin = mmap(NULL, SPACE_SIZE, PROT_READ | PROT_WRITE,
MAP_PRIVATE | MAP_ANONYMOUS | MAP_32BIT, -1, 0);
if (to_space.begin == MAP_FAILED ||
from_space.begin == MAP_FAILED) {
2019-03-07 21:12:43 +03:00
perror("ERROR: init_pool: mmap failed\n");
exit (1);
2018-11-29 18:27:59 +03:00
}
from_space.current = from_space.begin;
from_space.end = from_space.begin + SPACE_SIZE;
from_space.size = SPACE_SIZE;
to_space.current = to_space.begin;
to_space.end = to_space.begin + SPACE_SIZE;
to_space.size = SPACE_SIZE;
}
static int free_pool (pool * p) {
return munmap((void *)p->begin, p->size);
}
static void * gc (size_t size) {
current = to_space.begin;
2018-11-30 16:18:12 +03:00
#ifdef DEBUG_PRINT
printf("\ngc: current: %x; to_space.b = %x; to_space.e = %x; f_space.b = %x; f_space.e = %x\n",
2018-11-30 16:18:12 +03:00
current, to_space.begin, to_space.end, from_space.begin, from_space.end);
#endif
gc_root_scan_data ();
2018-12-05 18:31:12 +03:00
#ifdef DEBUG_PRINT
printf("gc: data is scanned\n");
#endif
2018-11-21 14:23:35 +03:00
__gc_root_scan_stack ();
2018-11-29 18:27:59 +03:00
if (!IN_PASSIVE_SPACE(current)) {
perror ("ASSERT: !IN_PASSIVE_SPACE(current)\n");
exit (1);
2018-11-29 18:27:59 +03:00
}
2018-12-12 19:39:29 +03:00
while (current + size >= to_space.end) {
2018-12-05 18:31:12 +03:00
#ifdef DEBUG_PRINT
printf ("gc pre-extend_spaces : %x %x %x \n", current, size, to_space.end);
#endif
extend_spaces ();
#ifdef DEBUG_PRINT
printf ("gc post-extend_spaces: %x %x %x \n", current, size, to_space.end);
#endif
2018-11-29 18:27:59 +03:00
}
2018-12-12 19:39:29 +03:00
assert (IN_PASSIVE_SPACE(current));
assert (current + size < to_space.end);
2018-11-21 14:23:35 +03:00
gc_swap_spaces ();
2018-11-29 18:27:59 +03:00
from_space.current = current + size;
#ifdef DEBUG_PRINT
printf ("gc: end: (allocate!) return %x; from_space.current %x; from_space.end \n\n",
current, from_space.current, from_space.end);
#endif
2018-12-11 10:22:23 +03:00
return (void *) current;
2018-11-29 18:27:59 +03:00
}
2018-12-11 10:22:23 +03:00
extern void * alloc (size_t size) {
void * p = (void*)BOX(NULL);
2018-11-29 18:27:59 +03:00
if (from_space.current + size < from_space.end) {
2018-11-30 16:18:12 +03:00
#ifdef DEBUG_PRINT
2018-11-29 18:27:59 +03:00
printf("alloc: current: %x %zu", from_space.current, size);
2018-11-30 16:18:12 +03:00
#endif
p = (void*) from_space.current;
2018-11-29 18:27:59 +03:00
from_space.current += size;
2018-11-30 16:18:12 +03:00
#ifdef DEBUG_PRINT
2018-11-29 18:27:59 +03:00
printf(";new current: %x \n", from_space.current);
2018-11-30 16:18:12 +03:00
#endif
2018-11-29 18:27:59 +03:00
return p;
}
2018-11-30 16:18:12 +03:00
#ifdef DEBUG_PRINT
2018-11-29 18:27:59 +03:00
printf("alloc: call gc: %zu\n", size);
2018-11-30 16:18:12 +03:00
#endif
2018-11-29 18:27:59 +03:00
return gc (size);
2018-11-06 16:18:09 +03:00
}