Move `gray_list` update from `gc_mark_children`.

The responsibility moved to caller to avoid confusion. Currently the
function is called from only 2 places, so it is relatively easy to
ensure not to update `gray_list` in the caller.  But the assumption
may change in the future.
parent 097f5258
...@@ -667,7 +667,6 @@ gc_mark_children(mrb_state *mrb, mrb_gc *gc, struct RBasic *obj) ...@@ -667,7 +667,6 @@ gc_mark_children(mrb_state *mrb, mrb_gc *gc, struct RBasic *obj)
{ {
mrb_assert(is_gray(obj)); mrb_assert(is_gray(obj));
paint_black(obj); paint_black(obj);
gc->gray_list = obj->gcnext;
mrb_gc_mark(mrb, (struct RBasic*)obj->c); mrb_gc_mark(mrb, (struct RBasic*)obj->c);
switch (obj->tt) { switch (obj->tt) {
case MRB_TT_ICLASS: case MRB_TT_ICLASS:
...@@ -1043,10 +1042,9 @@ gc_gray_counts(mrb_state *mrb, mrb_gc *gc, struct RBasic *obj) ...@@ -1043,10 +1042,9 @@ gc_gray_counts(mrb_state *mrb, mrb_gc *gc, struct RBasic *obj)
static void static void
gc_mark_gray_list(mrb_state *mrb, mrb_gc *gc) { gc_mark_gray_list(mrb_state *mrb, mrb_gc *gc) {
while (gc->gray_list) { while (gc->gray_list) {
if (is_gray(gc->gray_list)) struct RBasic *obj = gc->gray_list;
gc_mark_children(mrb, gc, gc->gray_list); gc->gray_list = obj->gcnext;
else gc_mark_children(mrb, gc, obj);
gc->gray_list = gc->gray_list->gcnext;
} }
} }
...@@ -1058,6 +1056,7 @@ incremental_marking_phase(mrb_state *mrb, mrb_gc *gc, size_t limit) ...@@ -1058,6 +1056,7 @@ incremental_marking_phase(mrb_state *mrb, mrb_gc *gc, size_t limit)
while (gc->gray_list && tried_marks < limit) { while (gc->gray_list && tried_marks < limit) {
struct RBasic *obj = gc->gray_list; struct RBasic *obj = gc->gray_list;
gc->gray_list = obj->gcnext;
gc_mark_children(mrb, gc, obj); gc_mark_children(mrb, gc, obj);
tried_marks += gc_gray_counts(mrb, gc, obj); tried_marks += gc_gray_counts(mrb, gc, obj);
} }
......
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment