Cosmo/src/cstate.c

#include "cstate.h"

#include "cchunk.h"
#include "cmem.h"
#include "cobj.h"
#include "cvm.h"

#include <string.h>

CPanic *cosmoV_newPanic(CState *state)
{
    CPanic *panic = cosmoM_xmalloc(state, sizeof(CPanic));
    panic->top = state->top;
    panic->frameCount = state->frameCount;
    panic->freezeGC = state->freezeGC;
    panic->prev = state->panic;
    state->panic = panic;

    return panic;
}

void cosmoV_freePanic(CState *state)
{
    CPanic *panic = state->panic;
    state->panic = panic->prev;

    cosmoM_free(state, CPanic, panic);
}

CState *cosmoV_newState()
{
    // we use C's malloc because we don't want to trigger a GC with an invalid state
    CState *state = malloc(sizeof(CState));

    if (state == NULL) {
        printf("[ERROR] failed to allocate memory!");
        exit(1);
    }

    state->freezeGC = 1; // we start frozen
    state->panic = NULL;

    // GC
    state->objects = NULL;
    state->grayStack.count = 0;
    state->grayStack.capacity = 2;
    state->grayStack.array = NULL;
    state->allocatedBytes = 0;
    state->nextGC = 1024 * 8; // threshhold starts at 8kb

    // init stack
    state->top = state->stack;
    state->frameCount = 0;
    state->openUpvalues = NULL;

    // set default proto objects
    for (int i = 0; i < COBJ_MAX; i++) {
        state->protoObjects[i] = NULL;
    }

    for (int i = 0; i < ISTRING_MAX; i++) {
        state->iStrings[i] = NULL;
    }

    cosmoT_initTable(state, &state->strings, 16); // init string table
    cosmoT_initTable(state, &state->registry, 16);

    state->globals = cosmoO_newTable(state); // init global table

    // setup all strings used by the VM
    state->iStrings[ISTRING_INIT] = cosmoO_copyString(state, "__init", 6);
    state->iStrings[ISTRING_GC] = cosmoO_copyString(state, "__gc", 4);
    state->iStrings[ISTRING_TOSTRING] = cosmoO_copyString(state, "__tostring", 10);
    state->iStrings[ISTRING_TONUMBER] = cosmoO_copyString(state, "__tonumber", 10);
    state->iStrings[ISTRING_INDEX] = cosmoO_copyString(state, "__index", 7);
    state->iStrings[ISTRING_EQUAL] = cosmoO_copyString(state, "__equal", 7);
    state->iStrings[ISTRING_NEWINDEX] = cosmoO_copyString(state, "__newindex", 10);
    state->iStrings[ISTRING_COUNT] = cosmoO_copyString(state, "__count", 7);

    // getters/setters
    state->iStrings[ISTRING_GETTER] = cosmoO_copyString(state, "__getter", 8);
    state->iStrings[ISTRING_SETTER] = cosmoO_copyString(state, "__setter", 8);

    // for iterators
    state->iStrings[ISTRING_ITER] = cosmoO_copyString(state, "__iter", 6);
    state->iStrings[ISTRING_NEXT] = cosmoO_copyString(state, "__next", 6);

    // for reserved members for objects
    state->iStrings[ISTRING_RESERVED] = cosmoO_copyString(state, "__reserved", 10);

    // set the IString flags
    for (int i = 0; i < ISTRING_MAX; i++) {
        state->iStrings[i]->isIString = true;
    }

    state->freezeGC = 0; // unfreeze the state
    return state;
}

void cosmoV_freeState(CState *state)
{
#ifdef GC_DEBUG
    printf("state %p is being free'd!\n", state);
#endif

    // frees all the objects
    CObj *objs = state->objects;
    while (objs != NULL) {
        CObj *next = objs->next;

#ifdef GC_DEBUG
        printf("STATE FREEING %p\n", objs);
        fflush(stdout);
#endif

        cosmoO_free(state, objs);
        objs = next;
    }

    // mark our internal VM strings NULL
    for (int i = 0; i < ISTRING_MAX; i++) {
        state->iStrings[i] = NULL;
    }

    // free our string table (the string table includes the internal VM strings)
    cosmoT_clearTable(state, &state->strings);

    cosmoT_clearTable(state, &state->registry);

    // free our gray stack & finally free the state structure
    cosmoM_freeArray(state, CObj *, state->grayStack.array, state->grayStack.capacity);

#ifdef GC_DEBUG
    if (state->allocatedBytes != 0) {
        printf("state->allocatedBytes doesn't match, got %lu\n", state->allocatedBytes);
    }
#endif

    free(state);
}

// expects 2*pairs values on the stack, each pair should consist of 1 key and 1 value
void cosmoV_addGlobals(CState *state, int pairs)
{
    for (int i = 0; i < pairs; i++) {
        StkPtr key = cosmoV_getTop(state, 1);
        StkPtr val = cosmoV_getTop(state, 0);

        CValue *oldVal = cosmoT_insert(state, &state->globals->tbl, *key);
        *oldVal = *val;

        cosmoV_setTop(state, 2); // pops the 2 values off the stack
    }
}

// expects 2*pairs values on the stack, each pair should consist of 1 key and 1 value
void cosmoV_addRegistry(CState *state, int pairs)
{
    for (int i = 0; i < pairs; i++) {
        StkPtr key = cosmoV_getTop(state, 1);
        StkPtr val = cosmoV_getTop(state, 0);

        CValue *oldVal = cosmoT_insert(state, &state->registry, *key);
        *oldVal = *val;

        cosmoV_setTop(state, 2); // pops the 2 values off the stack
    }
}

// expects 1 key on the stack, pushes result
void cosmoV_getRegistry(CState *state)
{
    CValue key = *cosmoV_pop(state);
    CValue val;

    if (!cosmoT_get(state, &state->registry, key, &val)) {
        cosmoV_error(state, "failed to grab %s from registry", cosmoV_typeStr(key));
    }

    cosmoV_pushValue(state, val);
}

void cosmoV_setProto(CState *state)
{
    StkPtr objVal = cosmoV_getTop(state, 1);
    StkPtr protoVal = cosmoV_getTop(state, 0);

    if (!IS_REF(*objVal) || !IS_OBJECT(*protoVal)) {
        cosmoV_error(state, "cannot set %s to proto of type %s", cosmoV_typeStr(*objVal),
                     cosmoV_typeStr(*protoVal));
    }

    // actually set the protos
    CObj *obj = cosmoV_readRef(*objVal);
    CObjObject *proto = cosmoV_readObject(*protoVal);
    obj->proto = proto;

    cosmoV_setTop(state, 2);
}

void cosmoV_printStack(CState *state)
{
    printf("==== [[ stack dump ]] ====\n");
    for (CValue *top = state->top - 1; top >= state->stack; top--) {
        printf("%d: ", (int)(top - state->stack));
        cosmoV_printValue(*top);
        printf("\n");
    }
}