ns_tests.h

Go to the documentation of this file.

/* -*- C -*-
 * Serene programming language
 * Copyright (C) 2019-2026 Sameer Rahmani <[email protected]>
 *
 * This program is free software: you can redistribute it and/or modify
 * it under the terms of the GNU General Public License as published by
 * the Free Software Foundation, either version 3 of the License, or
 * (at your option) any later version.
 *
 * This program is distributed in the hope that it will be useful,
 * but WITHOUT ANY WARRANTY; without even the implied warranty of
 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
 * GNU General Public License for more details.
 *
 * You should have received a copy of the GNU General Public License
 * along with this program.  If not, see <https://www.gnu.org/licenses/>.
 */
 
#pragma once
 
#include "base.h"
#include "serene/rt/core.h"
#include "serene/rt/fiber.h"
#include "serene/rt/namespaces.h"
#include "serene/rt/protocols.h"
#include "serene/rt/strings.h"
#include "serene/rt/symbols.h"
#include "serene/runtime.h"
 
#define NS_TESTS(X)                                                            \
  X("namespace::make", test_ns_make), X("config::wiring", test_config_wiring), \
    X("config::runtime_macros", test_runtime_macros)
 
static void test_ns_make() {
  MAKE_ENGINE(mm, engine);
  MAKE_CONTEXT(engine, ctx);
 
  srn_value_t *name = srn_string_make(ctx, &absurd_metadata, "serene.tests");
  srn_value_t *ns   = srn_namespace_make(ctx, &absurd_metadata, AS_STRING(name));
 
  TEST_CHECK(IS_A(ns, VNamespace));
  // ns should has it's own context
  TEST_CHECK(AS_NS(ns)->root_context != ctx);
  TEST_CHECK(AS_NS(ns)->sym_table.len == 0);
 
  TEST_CHECK(srn_string_eq(AS_NS(ns)->name, AS_STRING(name)));
 
  RELEASE_CONTEXT(ctx);
  SHUTDOWN_ENGINE(mm, engine);
}
 
static srn_fiber_result_t config_wiring_fiber_entry(srn_context_t *ctx, void *arg) {
  UNUSED(ctx);
  UNUSED(arg);
  return nullptr;
}
 
// Every configuration knob is read from the configuration, the MM block size
// at srn_mm_init, the per fiber stack default, and the string and namespace
// length limits.
static void test_config_wiring() {
  srn_configuration_t cfg     = SRN_CONFIG_DEFAULTS;
  cfg.mm.block_size_magnitude = 18; // 256 KiB
  cfg.fiber.stack_size        = 256U * 1024U;
  cfg.limits.string_max_len   = 8;
  cfg.limits.ns_name_max_len  = 4;
 
  srn_mm_t *mm = srn_mm_init(&cfg);
  TEST_ASSERT(mm != nullptr);
  TEST_CHECK(mm->block_size == ((size_t)1 << 18));
 
  srn_engine_t *engine = srn_engine_make(mm, &cfg);
  TEST_ASSERT(engine != nullptr);
  MAKE_CONTEXT(engine, ctx);
 
  // A keyword name reaching the configured string limit fails as an error
  // value; a short one interns.
  srn_value_t *too_long = srn_engine_intern_keyword(ctx, &absurd_metadata, "waytoolongforthis");
  TEST_CHECK(TYPE(too_long) == VError);
  srn_value_t *ok = srn_engine_intern_keyword(ctx, &absurd_metadata, "ok");
  TEST_CHECK(TYPE(ok) == VKeyword);
 
  // A namespace name over the configured limit errors.
  srn_value_t *long_name = srn_string_make(ctx, &absurd_metadata, "toolong");
  TEST_ASSERT(TYPE(long_name) == VString);
  srn_value_t *ns = srn_namespace_make(ctx, &absurd_metadata, AS_STRING(long_name));
  TEST_CHECK(TYPE(ns) == VError);
 
  // A zero per fiber stack size falls back to the configured default.
  srn_fiber_t *f = srn_fiber_spawn(ctx, config_wiring_fiber_entry, nullptr);
  TEST_ASSERT(f != nullptr);
  TEST_CHECK(srn_fiber_stack_size(f->stack) >= 256U * 1024U);
 
  // Reap the never-run fiber while its struct (in the context block) is
  // still alive, before the context that owns it is released.
  srn_sched_shutdown(engine->scheduler);
 
  RELEASE_CONTEXT(ctx);
  SHUTDOWN_ENGINE(mm, engine);
}
 
// The bootstrap macros bring the whole runtime up and down, mm plus engine
// from one config, the scheduler bound, and a teardown that reclaims every
// context chain through the manager.
static void test_runtime_macros() {
  SERENE_RUNTIME_INIT_WITH_SCHED(engine, sched, nullptr);
  MAKE_CONTEXT(engine, ctx);
 
  (void)srn_fiber_spawn(ctx, config_wiring_fiber_entry, nullptr);
  srn_sched_run(sched, 1);
 
  RELEASE_CONTEXT(ctx);
  SERENE_RUNTIME_SHUTDOWN(engine);
}