FEAT: preliminary support for system managed handles

Author: Oldes

src/boot/sysobj.reb

@@ -3,6 +3,7 @@ REBOL [
 	Title: "System object"
 	Rights: {
 		Copyright 2012 REBOL Technologies
+		Copyright 2012-2021 Rebol Open Source Contributors
 		REBOL is a trademark of REBOL Technologies
 	}
 	License: {
@@ -29,6 +30,7 @@ catalog: object [
 	datatypes: []
 	actions: none
 	natives: none
+	handles: none
 	errors:  none
 	; Reflectors are used on boot to create *-of functions
 	reflectors: [

src/core/b-init.c

@@ -3,6 +3,7 @@
 **  REBOL [R3] Language Interpreter and Run-time Environment
 **
 **  Copyright 2012 REBOL Technologies
+**  Copyright 2012-2021 Rebol Open Source Contributors
 **  REBOL is a trademark of REBOL Technologies
 **
 **  Licensed under the Apache License, Version 2.0 (the "License");
@@ -611,10 +612,14 @@ extern const REBYTE Str_Banner[];
 	value = Get_System(SYS_CATALOG, CAT_ACTIONS);
 	Set_Block(value, Collect_Set_Words(VAL_BLK(&Boot_Block->actions)));
 
-	// Create system/catalog/nativess block:
+	// Create system/catalog/natives block:
 	value = Get_System(SYS_CATALOG, CAT_NATIVES);
 	Set_Block(value, Collect_Set_Words(VAL_BLK(&Boot_Block->natives)));
 
+	// Create system/catalog/handles block
+	// and register core handle types
+	Init_Handles();
+
 	// Create system/codecs object:
 	value = Get_System(SYS_CODECS, 0);
 	frame = Make_Frame(10);

src/core/m-gc.c

@@ -3,6 +3,7 @@
 **  REBOL [R3] Language Interpreter and Run-time Environment
 **
 **  Copyright 2012 REBOL Technologies
+**  Copyright 2012-2021 Rebol Open Source Contributors
 **  REBOL is a trademark of REBOL Technologies
 **
 **  Licensed under the Apache License, Version 2.0 (the "License");
@@ -252,7 +253,10 @@ static void Mark_Series(REBSER *series, REBCNT depth);
 		case REB_TYPESET:
 			break;
 		case REB_HANDLE:
-			if (IS_SERIES_HANDLE(val) && !HANDLE_GET_FLAG(val, HANDLE_RELEASABLE)) {
+			if (IS_CONTEXT_HANDLE(val)) {
+				MARK_HANDLE_CONTEXT(val);
+			}	
+			else if (IS_SERIES_HANDLE(val) && !HANDLE_GET_FLAG(val, HANDLE_RELEASABLE)) {
 				//printf("markserhandle %0xh val: %0xh %s \n", (void*)val, VAL_HANDLE(val), VAL_HANDLE_NAME(val));
 				MARK_SERIES(VAL_HANDLE_DATA(val));
 			}
@@ -503,10 +507,8 @@ static void Mark_Series(REBSER *series, REBCNT depth);
 	for (seg = Mem_Pools[GOB_POOL].segs; seg; seg = seg->next) {
 		gob = (REBGOB *) (seg + 1);
 		for (n = Mem_Pools[GOB_POOL].units; n > 0; n--) {
-#ifdef MUNGWALL
-			gob = (gob *) (((REBYTE *)s)+MUNG_SIZE);
+			SKIP_WALL_TYPE(gob, REBGOB);
 			MUNG_CHECK(GOB_POOL, gob, sizeof(*gob));
-#endif
 			if (IS_GOB_USED(gob)) {
 				if (IS_GOB_MARK(gob))
 					UNMARK_GOB(gob);
@@ -516,9 +518,45 @@ static void Mark_Series(REBSER *series, REBCNT depth);
 				}
 			}
 			gob++;
-#ifdef MUNGWALL
-			gob = (gob *) (((REBYTE *)s)+MUNG_SIZE);
-#endif
+			SKIP_WALL_TYPE(gob, REBGOB);
+		}
+	}
+
+	return count;
+}
+
+
+/***********************************************************************
+**
+*/	static REBCNT Sweep_Handles(void)
+/*
+**		Free all unmarked handles.
+**
+**		Scans all hobs in all segments that are part of the
+**		HOB_POOL. Free hobs that have not been marked.
+**
+***********************************************************************/
+{
+	REBSEG	*seg;
+	REBHOB	*hob;
+	REBCNT  n;
+	REBCNT	count = 0;
+
+	for (seg = Mem_Pools[HOB_POOL].segs; seg; seg = seg->next) {
+		hob = (REBHOB *) (seg + 1);
+		for (n = Mem_Pools[HOB_POOL].units; n > 0; n--) {
+			SKIP_WALL_TYPE(hob, REBHOB);
+			MUNG_CHECK(HOB_POOL, hob, sizeof(*hob));
+			if (IS_USED_HOB(hob)) {
+				if (IS_MARK_HOB(hob))
+					UNMARK_HOB(hob);
+				else {
+					Free_Hob(hob);
+					count++;
+				}
+			}
+			hob++;
+			SKIP_WALL_TYPE(hob, REBHOB);
 		}
 	}
 
@@ -597,6 +635,7 @@ static void Mark_Series(REBSER *series, REBCNT depth);
 
 	count = Sweep_Series();
 	count += Sweep_Gobs();
+	count += Sweep_Handles();
 
 	CHECK_MEMORY(4);
 

src/core/m-pools.c

@@ -3,6 +3,7 @@
 **  REBOL [R3] Language Interpreter and Run-time Environment
 **
 **  Copyright 2012 REBOL Technologies
+**  Copyright 2012-2021 Rebol Open Source Contributors
 **  REBOL is a trademark of REBOL Technologies
 **
 **  Licensed under the Apache License, Version 2.0 (the "License");
@@ -104,6 +105,7 @@ const REBPOOLSPEC Mem_Pool_Spec[MAX_POOLS] =
 
 	DEF_POOL(sizeof(REBSER), 4096),	// Series headers
 	DEF_POOL(sizeof(REBGOB), 128),	// Gobs
+	DEF_POOL(sizeof(REBHOB), 16),	// Handle objects
 	DEF_POOL(1, 1),	// Just used for tracking main memory
 };
 
@@ -597,6 +599,32 @@ const REBPOOLSPEC Mem_Pool_Spec[MAX_POOLS] =
 }
 
 
+/***********************************************************************
+**
+*/	void Free_Hob(REBHOB *hob)
+/*
+**		Free a hob, returning its memory for reuse.
+**
+***********************************************************************/
+{
+	REBHSP spec;
+	REBCNT idx = hob->index;
+
+	if( idx == 0 || !IS_USED_HOB(hob) || hob->data == NULL) return;
+
+	spec = PG_Handles[idx-1];
+	//printf("HOB free mem: %0x\n", hob->data);
+
+	if (spec.free)
+		spec.free(hob->data);
+	
+	CLEAR(hob->data, spec.size); 
+	FREE_MEM(hob->data);
+	UNUSE_HOB(hob);
+	Free_Node(HOB_POOL, (REBNOD *)hob);
+}
+
+
 /***********************************************************************
 **
 */	void Prop_Series(REBSER *newser, REBSER *oldser)