Changeset 04570c7 for src/Common/GC.cc

Timestamp:

Apr 13, 2018, 4:39:28 PM (6 years ago)

Author:

Aaron Moss <a3moss@…>

Branches:

new-env, with_gc

Children:

6f81db3

Parents:

3205495

git-author:

Aaron Moss <a3moss@…> (04/13/18 16:27:11)

git-committer:

Aaron Moss <a3moss@…> (04/13/18 16:39:28)

Message:

First draft of arbitrarily-generational GC

File:

• src/Common/GC.cc (modified) (6 diffs)

src/Common/GC.cc

@@ -28 +28 @@
 }
 
-GC::GC() : mark(false), using_young(false), old(), young(), static_roots() {
-        old.reserve(70000);
+GC::GC() : gens(1), static_roots(), mark(false), g(0) {
+        gens[0].reserve(70000);
 }
 
 GC::~GC() {
-        for ( GC_Object* o : young ) {
-                delete o;
-        }
-
-        for ( GC_Object* o : old ) {
-                delete o;
+        for ( unsigned i = 0; i <= g; ++i ) {
+                for ( GC_Object* o : gens[i] ) {
+                        delete o;
+                }
         }
 }
@@ -54 +52 @@
 
 void GC::register_object(GC_Object* obj) {
-        (using_young ? young : old).push_back(obj);
+        gens[g].push_back(obj);
         obj->mark = !this->mark;  // initialize as un-marked
 }
@@ -63 +61 @@
 
 void GC::new_generation() {
-        assert(!using_young && "Cannot start new generation when young generation already in use");
-        
-        using_young = true;  // mark young generation as in-use
-        mark = !mark;        // switch mark so aged young objects will still be unmarked in old
+        if ( ++g == gens.size() ) { gens.emplace_back(); }  // ensure new generation available
+        mark = !mark;  // switch mark so aged young objects will still be unmarked in old
 }
 
@@ -77 +73 @@
 
 void GC::collect_young() {
+        // get generations and decrement generation
+        assert(g > 0 && "Cannot collect_young without young generation");
+        Generation& young = gens[g];
+        Generation& old = gens[--g];
+
         // collect young gen
         for ( GC_Object*& obj : young ) {
@@ -89 +90 @@
         old.insert( old.end(), young.begin(), end_live );
         
-        // clear young gen
-        using_young = false;
+        // clear young gen and reset mark to return to old generation mark
         young.clear();
-
-        // reset mark to return to old generation mark
         mark = !mark;
 }
@@ -99 +97 @@
 void GC::collect() {
         // ensure not called when young gen is active
-        assert(!using_young && "Cannot do old collection when young generation is active");
+        assert(g == 0 && "Cannot do old collection when young generation is active");
+        Generation& old = gens[0];
 
         // collect old gen