CHANGE: more aggressive recycle native

related to: Oldes/Rebol-issues#1128

Author: Oldes

src/core/c-do.c

@@ -822,7 +822,7 @@ x*/	static REBINT Do_Args_Light(REBVAL *func, REBVAL *path, REBSER *block, REBCN
 	// Check for recycle signal:
 	if (GET_FLAG(sigs, SIG_RECYCLE)) {
 		CLR_SIGNAL(SIG_RECYCLE);
-		Recycle();
+		Recycle(FALSE);
 	}
 
 #ifdef NOT_USED_INVESTIGATE
@@ -2333,6 +2333,6 @@ xx*/	REBVAL *Do_Path(REBVAL **path_val, REBVAL *val)
 
 	// Cleanup stack and memory:
 	DS_RESET;
-	Recycle();
+	Recycle(FALSE);
 	return 0; //result;
 }

src/core/m-gc.c

@@ -637,10 +637,12 @@ static void Mark_Series(REBSER *series, REBCNT depth);
 
 /***********************************************************************
 **
-*/	REBCNT Recycle(void)
+*/	REBCNT Recycle(REBOOL all)
 /*
 **		Recycle memory no longer needed.
 **
+**      When all is TRUE, then infant series are not protected!
+**
 ***********************************************************************/
 {
 	REBINT n;
@@ -689,12 +691,15 @@ static void Mark_Series(REBSER *series, REBCNT depth);
 	// Mark the last MAX_SAFE "infant" series that were created.
 	// We must assume that infant blocks are valid - that they contain
 	// no partially valid datatypes (that are under construction).
-	for (n = 0; n < MAX_SAFE_SERIES; n++) {
-		REBSER *ser;
-		if (NZ(ser = GC_Infants[n])) {
-			//Dump_Series(ser, "Safe Series");
-			Mark_Series(ser, 0);
-		} else break;
+	if (!all) {
+		for (n = 0; n < MAX_SAFE_SERIES; n++) {
+			REBSER *ser;
+			if (NZ(ser = GC_Infants[n])) {
+				//Dump_Series(ser, "Safe Series");
+				Mark_Series(ser, 0);
+			}
+			else break;
+		}
 	}
 
 	// Mark all root series:

src/core/m-pools.c

@@ -326,7 +326,7 @@ const REBPOOLSPEC Mem_Pool_Spec[MAX_POOLS] =
 	REBPOL *pool;
 	REBCNT pool_num;
 
-//	if (GC_TRIGGER) Recycle();
+//	if (GC_TRIGGER) Recycle(FALSE);
 
 	length *= SERIES_WIDE(series);
 	pool_num = FIND_POOL(length);
@@ -395,7 +395,7 @@ const REBPOOLSPEC Mem_Pool_Spec[MAX_POOLS] =
 
 	ASSERT(wide != 0, RP_BAD_SERIES);
 
-//	if (GC_TRIGGER) Recycle();
+//	if (GC_TRIGGER) Recycle(FALSE);
 
 	series = (REBSER *)Make_Node(SERIES_POOL);
 	length *= wide;

src/core/n-system.c

@@ -96,7 +96,7 @@
 		SET_INT32(TASK_BALLAST, 0);
 	}
 
-	count = Recycle();
+	count = Recycle(TRUE);
 
 	DS_Ret_Int(count);
 	return R_RET;

src/mezz/mezz-debug.reb

@@ -17,7 +17,7 @@ dt: delta-time: function [
 	block [block!]
 ][
 	; force GC, so there is less chance that it is fired in `do block`
-	recycle recycle ; 2x => first mark, second sweep
+	recycle
 	start: stats/timer
 	do block
 	stats/timer - start
@@ -29,7 +29,7 @@ dp: delta-profile: func [
 	/local start end adjust
 ][
 	; first force GC
-	recycle recycle
+	recycle
 	; than count adjustments for empty code
 	adjust: copy end: stats/profile 
 	do [] 

src/tests/units/series-test.r3

@@ -2673,4 +2673,17 @@ Rebol [
 
 ;-- VECTOR related tests moved to %vector-test.r3
 
+===start-group=== "RECYCLE"
+--test-- "recycle"
+	;@@ https://github.com/Oldes/Rebol-issues/issues/1128
+	recycle              ;; force GC
+	count: stats         ;; store current memory usage
+	make string! 5000000 ;; create large unreferenced series
+	--assert all [
+		stats >= (count + 5000000) ;; check that memory usage increased
+		recycle                    ;; force GC
+		stats = count              ;; check if memory usage decreased
+	]
+===end-group===
+
 ~~~end-file~~~