Compare commits

...

6 Commits

Author SHA1 Message Date
abb8ff6b58 Finished garbage collector.
🎉
2025-06-14 09:23:49 -04:00
80122b6572 I try. 2025-05-31 19:13:26 -04:00
a4afd3b58a Fixed segfault on spacey input. 2025-05-31 18:25:11 -04:00
90c8c91410 Somethings working. 2025-05-31 18:19:04 -04:00
f5ab0e9cb0 Fixed memory leak. 2025-05-24 10:52:27 -04:00
0fb1f1d55f Began work on garbage collector. 2025-05-24 10:37:29 -04:00
11 changed files with 200 additions and 62 deletions

View File

@ -1,7 +1,9 @@
#include <inttypes.h>
#include <stdio.h> #include <stdio.h>
#include "include/ast.h" #include "include/ast.h"
#include "include/dstr.h" #include "include/dstr.h"
#include "include/gc.h"
#include "include/scope.h" #include "include/scope.h"
#include "include/util.h" #include "include/util.h"
@ -19,12 +21,19 @@ static char* asttype_names[] = {
}; };
AST* ast_init(ASTType type, void* data) { AST* ast_init(ASTType type, void* data) {
AST* ast = malloc(sizeof(AST)); AST* ast = gc_alloc(sizeof(AST), GC_TYPE_AST);
ast->type = type; ast->type = type;
ast->data = data; ast->data = data;
ast->scope = NULL; ast->scope = NULL;
if (ast->type > AST_TYPE_MAX) {
log_dbgf(
"Attempted to create invalid AST (%i > %i) to GC: ast:%p",
ast->type, AST_TYPE_MAX, ast
);
}
return ast; return ast;
} }
@ -54,15 +63,35 @@ void ast_destroy(AST* ast) {
} }
// If there're no more `AST`s linked to the scope, free. // If there're no more `AST`s linked to the scope, free.
if (ast->scope) { if (ast->scope && !--ast->scope->uses) scope_destroy_psv(ast->scope);
ast->scope->uses--;
if (!ast->scope->uses) { scope_destroy_psv(ast->scope); } free(ast);
}
void ast_destroy_psv(AST* ast) {
if (!ast) return;
switch (ast->type) {
case AST_TYPE_NUM: ast_num_data_destroy(ast->data); break;
case AST_TYPE_CALL: ast_call_data_destroy_psv(ast->data); break;
case AST_TYPE_VREF: ast_vref_data_destroy(ast->data); break;
case AST_TYPE_VDEF: ast_vdef_data_destroy_psv(ast->data); break;
case AST_TYPE_BLOCK: ast_block_data_destroy_psv(ast->data); break;
case AST_TYPE_FDEF: ast_fdef_data_destroy_psv(ast->data); break;
case AST_TYPE_ARG: ast_arg_data_destroy(ast->data); break;
case AST_TYPE_BIF: ast_bif_data_destroy(ast->data); break;
case AST_TYPE_EXC: ast_exc_data_destroy(ast->data); break;
default:
log_dbgf("Unknown ast type %d (max: %d)", ast->type, AST_TYPE_MAX);
} }
free(ast); free(ast);
} }
void ast_print(AST* ast) { ast_print_i(ast, 0); } void ast_print(AST* ast) {
if (!ast) return;
ast_print_i(ast, 0);
}
void ast_print_i(AST* ast, int i) { void ast_print_i(AST* ast, int i) {
INDENT_BEGIN(i); INDENT_BEGIN(i);
@ -106,13 +135,18 @@ void ast_num_print(ASTNumData* data, int i) {
INDENT_END; INDENT_END;
} }
ASTExcData* ast_exc_data_init(char* msg, AST* trace) { ASTExcData* ast_exc_data_init(const char* msg, AST* trace) {
ASTExcData* data = malloc(sizeof(ASTExcData)); ASTExcData* data = malloc(sizeof(ASTExcData));
data->msg = msg; data->msg = msg;
data->trace = trace; data->trace = trace;
return data; return data;
} }
void ast_exc_data_destroy(ASTExcData* exc) {
// `msg` is static, and `trace` will get freed in GC.
free(exc);
}
void ast_exc_print(ASTExcData* data, int i) { void ast_exc_print(ASTExcData* data, int i) {
INDENT_BEGIN(i); INDENT_BEGIN(i);
@ -132,6 +166,8 @@ ASTBIFData* ast_bif_data_init(AST* fn(size_t, AST**, Scope*)) {
return (ASTBIFData*)fn; return (ASTBIFData*)fn;
} }
void ast_bif_data_destroy(ASTBIFData* bif) { return; }
ASTCallData* ast_call_data_init(char* to, size_t argc, AST** argv) { ASTCallData* ast_call_data_init(char* to, size_t argc, AST** argv) {
talloc(ASTCallData, call); talloc(ASTCallData, call);
@ -152,6 +188,15 @@ void ast_call_data_destroy(ASTCallData* call) {
free(call); free(call);
} }
void ast_call_data_destroy_psv(ASTCallData* call) {
if (!call) return;
free(call->to);
call->to = NULL;
free(call->argv);
call->argv = NULL;
free(call);
}
void ast_call_print(ASTCallData* data, int i) { void ast_call_print(ASTCallData* data, int i) {
INDENT_BEGIN(i); INDENT_BEGIN(i);
@ -178,6 +223,11 @@ void ast_vdef_data_destroy(ASTVDefData* vdef) {
free(vdef); free(vdef);
} }
void ast_vdef_data_destroy_psv(ASTVDefData* vdef) {
free(vdef->name);
free(vdef);
}
void ast_vdef_print(ASTVDefData* vdef, int depth) { void ast_vdef_print(ASTVDefData* vdef, int depth) {
INDENT_BEGIN(depth); INDENT_BEGIN(depth);
@ -228,6 +278,11 @@ void ast_block_data_destroy(ASTBlockData* block) {
free(block); free(block);
} }
void ast_block_data_destroy_psv(ASTBlockData* block) {
free(block->inside);
free(block);
}
void ast_block_print(ASTBlockData* data, int depth) { void ast_block_print(ASTBlockData* data, int depth) {
INDENT_BEGIN(depth); INDENT_BEGIN(depth);
@ -256,6 +311,13 @@ void ast_fdef_data_destroy(ASTFDefData* fdef) {
ast_destroy(fdef->body); ast_destroy(fdef->body);
} }
void ast_fdef_data_destroy_psv(ASTFDefData* fdef) {
free(fdef->name);
free(fdef->argv);
free(fdef->body);
free(fdef);
}
void ast_fdef_print(ASTFDefData* fdef, int i) { void ast_fdef_print(ASTFDefData* fdef, int i) {
INDENT_BEGIN(i) INDENT_BEGIN(i)
INDENT_TITLE("ASTFDefData", fdef); INDENT_TITLE("ASTFDefData", fdef);

View File

@ -13,36 +13,21 @@
AST* exec_start(AST* ast) { AST* exec_start(AST* ast) {
log_dbg("Started execution."); log_dbg("Started execution.");
if (!ast) return ast;
Scope* global = scope_init(NULL); Scope* global = scope_init(NULL);
global->uses = 1; global->uses = 1;
// Keep track of built-in function ASTs, as they arent part of the main for (int i = 0; i < BUILTIN_FNS_LN; i++)
// tree.
// DList* builtins = dlist_init();
for (int i = 0; i < BUILTIN_FNS_LN; i++) {
// AST* builtin_ast =
// ast_init(AST_TYPE_BIF, ast_bif_data_init(BUILTIN_FNS[i].fn));
// dlist_append(builtins, builtin_ast);
htab_ins( htab_ins(
global->here, BUILTIN_FNS[i].name, global->here, BUILTIN_FNS[i].name,
ast_init(AST_TYPE_BIF, ast_bif_data_init(BUILTIN_FNS[i].fn)) ast_init(AST_TYPE_BIF, ast_bif_data_init(BUILTIN_FNS[i].fn))
); );
}
log_dbg("Completed startup sequence."); log_dbg("Completed startup sequence.");
AST* res = exec_exp(ast, global); AST* res = exec_exp(ast, global);
// Clean up built-in function ASTs.
/*for (int i = 0; i < builtins->ln; i++) ast_destroy(builtins->buf[i]);
dlist_destroy(builtins);
*/
scope_destroy_psv(global);
return res; return res;
} }
@ -64,10 +49,6 @@ AST* exec_exp(AST* ast, Scope* parent) {
AST* exec_block(AST* ast, Scope* parent) { AST* exec_block(AST* ast, Scope* parent) {
ASTBlockData* block = (ASTBlockData*)ast->data; ASTBlockData* block = (ASTBlockData*)ast->data;
// Blocks create their own scope, shared among their expressions.
// ast->scope = scope_init(parent);
// HERE
exec_new_scope(ast, parent); exec_new_scope(ast, parent);
// Loop through all but last ast. // Loop through all but last ast.
@ -118,9 +99,6 @@ AST* exec_cf(AST* ast, size_t argc, AST** argv) {
AST* exec_vdef(AST* ast, Scope* parent) { AST* exec_vdef(AST* ast, Scope* parent) {
// Use parent's scope. // Use parent's scope.
// ast->scope = parent;
// HERE
exec_inherit_scope(ast, parent); exec_inherit_scope(ast, parent);
ASTVDefData* data = (ASTVDefData*)ast->data; ASTVDefData* data = (ASTVDefData*)ast->data;
@ -132,9 +110,6 @@ AST* exec_vdef(AST* ast, Scope* parent) {
AST* exec_vref(AST* ast, Scope* parent) { AST* exec_vref(AST* ast, Scope* parent) {
// Use parent's scope. // Use parent's scope.
// ast->scope = parent;
// HERE
exec_inherit_scope(ast, parent); exec_inherit_scope(ast, parent);
log_dbg("attempting to reference var"); log_dbg("attempting to reference var");
ASTVrefData* vref = (ASTVrefData*)ast->data; ASTVrefData* vref = (ASTVrefData*)ast->data;
@ -157,10 +132,12 @@ AST* exec_vref(AST* ast, Scope* parent) {
AST* exec_fdef(AST* ast, Scope* parent) { AST* exec_fdef(AST* ast, Scope* parent) {
ast->scope = scope_init(parent); ast->scope = scope_init(parent);
ASTFDefData* fdef = (ASTFDefData*)ast->data; ASTFDefData* fdef = (ASTFDefData*)ast->data;
AST* val = fdef->body; log_dbgf("IS THIS SUSPICIOUS??? %i", fdef->body->type);
AST* val = ast;
char* key = fdef->name; char* key = fdef->name;
scope_add(parent, key, val); scope_add(parent, key, val);
return val; // Function definitions return function body. // TODO: Create lambda functions.
return fdef->body; // Function definitions return function body.
} }
void exec_print(double n) { printf("= %lf\n", n); } void exec_print(double n) { printf("= %lf\n", n); }

57
src/gc.c Normal file
View File

@ -0,0 +1,57 @@
#include "include/gc.h"
#include "include/ast.h"
#include "include/scope.h"
#include "include/util.h"
#include <assert.h>
#include <stdio.h>
#include <stddef.h>
GC* gclist = NULL;
void gc_destroy(GC* gc) { free(gc); }
void f() {}
void* gc_alloc(size_t sz, GCType type) {
assert(type <= GC_TYPE_MAX);
void* mem = malloc(sz);
GC* gc = malloc(sizeof(GC));
gc->p = mem;
gc->type = type;
gc->marked = false;
gc->nxt = gclist;
gclist = gc;
if (type == GC_TYPE_AST) {
log_dbgf("Alloc'd AST for GC: %p", mem);
} else if (type == GC_TYPE_SCOPE) {
log_dbgf("Alloc'd scope for GC: %p", mem);
}
return mem;
}
void gc_hack_free() {
while (gclist) {
GC* gc = gclist;
gclist = gclist->nxt;
switch (gc->type) {
case GC_TYPE_AST:
f();
if (((AST*)gc->p)->type > AST_TYPE_MAX) {
log_dbgf(
"Attempted to free invalid AST (%i > %i) to GC: gc:%p "
"ast:%p",
((AST*)gc->p)->type, AST_TYPE_MAX, gc, gc->p
);
}
ast_destroy_psv(gc->p);
break;
case GC_TYPE_SCOPE: scope_destroy_psv(gc->p); break;
}
gc_destroy(gc);
}
}

View File

@ -124,7 +124,13 @@ block:
exp: exp:
NUM { $$ = ast_init(AST_TYPE_NUM, ast_num_data_init($1)); } NUM { $$ = ast_init(AST_TYPE_NUM, ast_num_data_init($1)); }
//| BLOCKS exp BLOCKE { $$ = $2; } // Function definitions.
| WORD GROUPS arg GROUPE EQ exp {
size_t argc = $3->ln;
AST** argv = $3->buf;
argarr_destroypsv($3);
$$ = ast_init(AST_TYPE_FDEF, ast_fdef_data_init($1, argc, argv, $6));
}
| BLOCKS block BLOCKE { | BLOCKS block BLOCKE {
$$ = ast_init(AST_TYPE_BLOCK, ast_block_data_init((AST**) $2->buf, $2->ln)); $$ = ast_init(AST_TYPE_BLOCK, ast_block_data_init((AST**) $2->buf, $2->ln));
@ -193,11 +199,4 @@ exp:
strcpy(to, "div"); strcpy(to, "div");
$$ = ast_init(AST_TYPE_CALL, ast_call_data_init(to, 2, argv)); $$ = ast_init(AST_TYPE_CALL, ast_call_data_init(to, 2, argv));
} }
| WORD GROUPS arg GROUPE EQ exp {
size_t argc = $3->ln;
AST** argv = $3->buf;
argarr_destroypsv($3);
$$ = ast_init(AST_TYPE_FDEF, ast_fdef_data_init($1, argc, argv, $6));
}
%% %%

View File

@ -7,7 +7,9 @@
#include <string.h> #include <string.h>
HTab* htab_init() { HTab* htab_init() {
HTab* htab = malloc(sizeof(HTab)); HTab* htab = calloc(1, sizeof(HTab));
log_dbgf("HTAB %p", htab);
return htab; return htab;
} }
@ -29,7 +31,6 @@ void* htab_get(HTab* htab, char* key) {
void htab_ins(HTab* htab, char* key, void* data) { void htab_ins(HTab* htab, char* key, void* data) {
size_t i = geti(key); size_t i = geti(key);
// assert((*htab)[i] == NULL);
(*htab)[i] = data; (*htab)[i] = data;
log_dbgf("Inserted something to hash table @ index %lu", i); log_dbgf("Inserted something to hash table @ index %lu", i);
} }

View File

@ -25,7 +25,7 @@ typedef enum {
AST_TYPE_BLOCK, // A block of code (scope). AST_TYPE_BLOCK, // A block of code (scope).
AST_TYPE_FDEF, // A function definition. AST_TYPE_FDEF, // A function definition.
AST_TYPE_ARG, // A definition argument. AST_TYPE_ARG, // A definition argument.
AST_TYPE_MAX = AST_TYPE_FDEF, AST_TYPE_MAX = AST_TYPE_ARG,
} ASTType; } ASTType;
// An Abstract Syntax Tree. // An Abstract Syntax Tree.
@ -41,6 +41,8 @@ AST* ast_init(ASTType type, void* data);
AST* ast_init_scope(ASTType type, void* data, Scope* scope); AST* ast_init_scope(ASTType type, void* data, Scope* scope);
// Destroy an `AST`, recursively. // Destroy an `AST`, recursively.
void ast_destroy(AST* ast); void ast_destroy(AST* ast);
// Destroy an `AST`.
void ast_destroy_psv(AST* ast);
// Print an `AST`, recursively. // Print an `AST`, recursively.
void ast_print(AST* ast); void ast_print(AST* ast);
// Helper function to `ast_print()`, where `i` is indentation level. // Helper function to `ast_print()`, where `i` is indentation level.
@ -58,11 +60,11 @@ void ast_num_print(ASTNumData*, int i);
// An exception. // An exception.
typedef struct ASTEXCDATA { typedef struct ASTEXCDATA {
char* msg; // The exception message. const char* msg; // The exception message.
AST* trace; // The previous exception. AST* trace; // The previous exception.
} ASTExcData; } ASTExcData;
// Create a new `ASTExecData. // Create a new `ASTExecData. `msg` should be static.
ASTExcData* ast_exc_data_init(char* msg, AST* trace); ASTExcData* ast_exc_data_init(const char* msg, AST* trace);
// Destroy an `ASTExecData`. // Destroy an `ASTExecData`.
void ast_exc_data_destroy(ASTExcData* exc); void ast_exc_data_destroy(ASTExcData* exc);
// Print an `ASTExecData`. // Print an `ASTExecData`.
@ -73,8 +75,8 @@ typedef AST* (*ASTBIFData)(size_t argc, AST** argv, Scope* scope);
// Create a built-in function. // Create a built-in function.
ASTBIFData* ast_bif_data_init(AST* fn(size_t, AST**, Scope*)); ASTBIFData* ast_bif_data_init(AST* fn(size_t, AST**, Scope*));
// Destroy an `ASTBIFData`.
// There is no `ASTBIFData` destroy function, as function pointers are immortal. void ast_bif_data_destroy(ASTBIFData* bif);
// A call (to a function). // A call (to a function).
typedef struct { typedef struct {
@ -85,8 +87,10 @@ typedef struct {
// Create a new `ASTCallData`. // Create a new `ASTCallData`.
ASTCallData* ast_call_data_init(char* to, size_t argc, AST** argv); ASTCallData* ast_call_data_init(char* to, size_t argc, AST** argv);
// Destroy an `ASTCallData`. // Destroy an `ASTCallData` recursively.
void ast_call_data_destroy(ASTCallData* call); void ast_call_data_destroy(ASTCallData* call);
// Destroy an `ASTCallData`.
void ast_call_data_destroy_psv(ASTCallData *call);
// Print an `ASTCallData`. // Print an `ASTCallData`.
void ast_call_print(ASTCallData*, int i); void ast_call_print(ASTCallData*, int i);
@ -100,6 +104,8 @@ typedef struct {
ASTVDefData* ast_vdef_data_init(char* name, AST* val); ASTVDefData* ast_vdef_data_init(char* name, AST* val);
// Destroys the `ASTVDefData`, `ASTVDefData->name`, and `ASTVDefData->val`. // Destroys the `ASTVDefData`, `ASTVDefData->name`, and `ASTVDefData->val`.
void ast_vdef_data_destroy(ASTVDefData* vdef); void ast_vdef_data_destroy(ASTVDefData* vdef);
// Destroy an `ASTVDefData`.
void ast_vdef_data_destroy_psv(ASTVDefData* vdef);
// Print an `ASTVDefData`. // Print an `ASTVDefData`.
void ast_vdef_print(ASTVDefData*, int depth); void ast_vdef_print(ASTVDefData*, int depth);
@ -125,6 +131,8 @@ typedef struct {
ASTBlockData* ast_block_data_init(AST** inside, size_t ln); ASTBlockData* ast_block_data_init(AST** inside, size_t ln);
// Destroy an `ASTBlockData`, recursively. // Destroy an `ASTBlockData`, recursively.
void ast_block_data_destroy(ASTBlockData* block); void ast_block_data_destroy(ASTBlockData* block);
// Destroy an `ASTBlockData`.
void ast_block_data_destroy_psv(ASTBlockData *block);
// Print an `ASTBlockData`. // Print an `ASTBlockData`.
void ast_block_print(ASTBlockData*, int i); void ast_block_print(ASTBlockData*, int i);
@ -137,8 +145,10 @@ typedef struct {
// Create a new `ASTFDefData`. // Create a new `ASTFDefData`.
ASTFDefData* ast_fdef_data_init(char* name, size_t argc, AST** argv, AST* body); ASTFDefData* ast_fdef_data_init(char* name, size_t argc, AST** argv, AST* body);
// Destroy an `ASTFDefData`. // Destroy an `ASTFDefData`, recursively.
void ast_fdef_data_destroy(ASTFDefData* fdef); void ast_fdef_data_destroy(ASTFDefData* fdef);
// Destroy an `ASTFDefData`.
void ast_fdef_data_destroy_psv(ASTFDefData* fdef);
// Print an `ASTFDefData`. // Print an `ASTFDefData`.
void ast_fdef_print(ASTFDefData* fdef, int i); void ast_fdef_print(ASTFDefData* fdef, int i);

31
src/include/gc.h Normal file
View File

@ -0,0 +1,31 @@
#ifndef GC_H
#define GC_H
#include <stdlib.h>
// The type a GC can refer to.
typedef enum {
GC_TYPE_AST,
GC_TYPE_SCOPE,
GC_TYPE_MAX = GC_TYPE_SCOPE
} GCType;
// Added to each AST and Scope; keep track of what's actually still accessible.
typedef struct GC_STRUCT {
void* p; // Pointer to the data.
struct GC_STRUCT* nxt; // The next GC in the linked list.
GCType type; // What type of data.
bool marked; // Whether the data is still accessible.
} GC;
GC* gc_init(void* p, GCType type, GC*);
// Does not free ->p or ->nxt.
void gc_destroy(GC* gc);
// Allocate for an object in the heap, and keep track of it in the GC.
void* gc_alloc(size_t sz, GCType type);
// Free everything, immediately.
void gc_hack_free();
#endif

View File

@ -7,7 +7,7 @@
typedef struct SCOPE_T { typedef struct SCOPE_T {
HTab* here; // This scope's hash table. HTab* here; // This scope's hash table.
struct SCOPE_T* inherit; // The scope to inherit from. struct SCOPE_T* inherit; // The scope to inherit from.
int uses; // How many `AST`s are linked to this scope. int uses; // How many `AST`s are linked to this scope. // TODO: REMOVE.
} Scope; } Scope;
// Create a new `Scope`. Creates new empty `HTab` for current scope. // Create a new `Scope`. Creates new empty `HTab` for current scope.

View File

@ -26,7 +26,7 @@ void argarr_destroy(ArgArr* argarr) {
void argarr_destroypsv(ArgArr* argarr) { free(argarr); } void argarr_destroypsv(ArgArr* argarr) { free(argarr); }
void argarr_add(ArgArr* argarr, AST* arg) { void argarr_add(ArgArr* argarr, AST* arg) {
if ((argarr->ln + 1) * argarr->sz > argarr->sz) { if ((argarr->ln + 1) * sizeof(AST*) > argarr->sz) {
argarr->sz *= 2; argarr->sz *= 2;
argarr->buf = realloc(argarr->buf, argarr->sz); argarr->buf = realloc(argarr->buf, argarr->sz);
log_dbgf( log_dbgf(

View File

@ -4,7 +4,7 @@
#include "include/ast.h" #include "include/ast.h"
#include "include/dstr.h" #include "include/dstr.h"
#include "include/exec.h" #include "include/exec.h"
#include "include/gc.h"
#include "include/lexer.h" #include "include/lexer.h"
#include "include/util.h" #include "include/util.h"
@ -22,8 +22,9 @@ int main(int argc, char** argv) {
ast_print(root); ast_print(root);
AST* eval = exec_start(root); AST* eval = exec_start(root);
ast_print(eval); ast_print(eval);
ast_destroy(eval); // ast_destroy(eval);
ast_destroy(root); // ast_destroy(root);
gc_hack_free();
exit(0); exit(0);
} }
@ -60,8 +61,7 @@ int main(int argc, char** argv) {
AST* eval = exec_start(root); AST* eval = exec_start(root);
ast_print(eval); ast_print(eval);
ast_destroy(eval); gc_hack_free();
ast_destroy(root);
} }
dstr_destroy(ln); dstr_destroy(ln);

View File

@ -1,11 +1,12 @@
#include "include/scope.h" #include "include/scope.h"
#include "include/gc.h"
#include "include/htab.h" #include "include/htab.h"
#include "include/util.h" #include "include/util.h"
#include <stdio.h> #include <stdio.h>
#include <stdlib.h> #include <stdlib.h>
Scope* scope_init(Scope* inherit) { Scope* scope_init(Scope* inherit) {
Scope* scope = malloc(sizeof(Scope)); Scope* scope = gc_alloc(sizeof(Scope), GC_TYPE_SCOPE);
scope->here = htab_init(); scope->here = htab_init();
scope->inherit = inherit; scope->inherit = inherit;