Fcalva/cyclone
1
0
Fork 0
mirror of https://github.com/justinethier/cyclone.git synced 2025-07-16 09:17:35 +02:00
Code Issues Projects Releases Packages Wiki Activity Actions

Experimenting with a write barrier

Browse source
This commit is contained in:
Justin Ethier 2015-03-08 16:15:51 -04:00
parent d947337688
commit abb56c5795
1 changed files with 44 additions and 4 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

48
runtime.h
View file

@ -424,6 +424,43 @@ static object find_or_add_symbol(const char *name){
return add_symbol_by_name(name); return add_symbol_by_name(name);
} }
} }
/* END symbol table */
/* Write Barrier
This is necessary when a mutation (EG: set-car!) occurs, because otherwise
if the new value is on the stack, it will never be transported to the heap.
*/
list write_barrier = nil;
static void add_to_write_barrier(object obj);
static void transport_write_barrier();
static void clear_write_barrier();
static void add_to_write_barrier(object obj) {
// TODO: only needed if obj is on the stack?
if (is_object_type(obj)) {
write_barrier = mcons(obj, write_barrier);
}
}
#define transp_write_barrier() { \
list l = write_barrier; \
for (; !nullp(l); l = cdr(l)) { \
printf("transp from WB: %d", type_of(car(l))); \
transp(car(l)); \
} \
}
static void clear_write_barrier() {
list l = write_barrier, next;
while (!nullp(l)) {
next = cdr(l);
free(l);
l = next;
}
write_barrier = nil;
}
/* END write barrier */
/* Global variables. */ /* Global variables. */
@ -758,11 +795,13 @@ static object Cyc_eq(object x, object y) {
} }
static object Cyc_set_car(object l, object val) { static object Cyc_set_car(object l, object val) {
add_to_write_barrier(val);
((list)l)->cons_car = val; ((list)l)->cons_car = val;
return l; return l;
} }
static object Cyc_set_cdr(object l, object val) { static object Cyc_set_cdr(object l, object val) {
add_to_write_barrier(val);
((list)l)->cons_cdr = val; ((list)l)->cons_cdr = val;
return l; return l;
} }
@ -1687,9 +1726,9 @@ static void GC_loop(int major, closure cont, object *ans, int num_ans)
dhalloc_end = dhallocp + global_heap_size - 8; dhalloc_end = dhallocp + global_heap_size - 8;
} }
#if DEBUG_GC // #if DEBUG_GC
printf("\n=== started GC type = %d === \n", major); printf("\n=== started GC type = %d === \n", major);
#endif // #endif
/* Transport GC's continuation and its argument. */ /* Transport GC's continuation and its argument. */
transp(cont); transp(cont);
gc_cont = cont; gc_cont = cont;
@ -1713,8 +1752,9 @@ static void GC_loop(int major, closure cont, object *ans, int num_ans)
#endif #endif
/* Transport global variables. */ /* Transport global variables. */
//transp(unify_subst); transp_write_barrier();
transp(Cyc_global_variables); // Internal global used by the runtime clear_write_barrier(); /* Reset for next time */
transp(Cyc_global_variables); /* Internal global used by the runtime */
GC_GLOBALS GC_GLOBALS
while (scanp<allocp) /* Scan the newspace. */ while (scanp<allocp) /* Scan the newspace. */
switch (type_of(scanp)) switch (type_of(scanp))