ruby/mini_builtin.c
Satoshi Tagomori 276f0d9b3e [Bug #21881] Separate the master and root box
This change separates the master box from the root box, as the single
master copy of boxes.
Before this change, the root box is the source of copies, and also
it runs builtin classes' code. Builtin code makes changes by
requiring files, thus the source of copies is mutable, be different
from the past one. This causes different internal states of boxes,
depending on when it is created.
After this change, all boxes are created from the master box, and
the master box never runs code, so it realizes the immutable source
of copies.

This also makes is possible to separate RubyGems (and other default
gems) from each boxes. All boxes will have their own copies of RubyGems.
RubyGems has its internal state, but it'll be separated between boxes
after this change.
2026-05-10 09:38:45 +09:00

119 lines
3.3 KiB
C

#include "internal.h"
#include "internal/array.h"
#include "internal/eval.h"
#include "iseq.h"
#include "vm_core.h"
#include "builtin.h"
#include "miniprelude.c"
static VALUE
prelude_ast_value(VALUE name, VALUE code, int line)
{
rb_ast_t *ast;
VALUE ast_value = rb_parser_compile_string_path(rb_parser_new(), name, code, line);
ast = rb_ruby_ast_data_get(ast_value);
if (!ast || !ast->body.root) {
if (ast) rb_ast_dispose(ast);
rb_exc_raise(rb_errinfo());
}
return ast_value;
}
static void
pm_prelude_load(pm_parse_result_t *result, VALUE name, VALUE code, int line)
{
pm_parse_result_init(result);
pm_options_line_set(result->options, line);
VALUE error = pm_parse_string(result, code, name, NULL);
if (!NIL_P(error)) {
pm_parse_result_free(result);
rb_exc_raise(error);
}
}
static const rb_iseq_t *
builtin_iseq_load(const char *feature_name, const struct rb_builtin_function *table)
{
VALUE name_str = 0;
int start_line;
const rb_iseq_t *iseq;
VALUE code = rb_builtin_find(feature_name, &name_str, &start_line);
if (NIL_P(code)) {
rb_fatal("builtin_iseq_load: can not find %s; "
"probably miniprelude.c is out of date",
feature_name);
}
rb_vm_t *vm = GET_VM();
static const rb_compile_option_t optimization = {
.inline_const_cache = TRUE,
.peephole_optimization = TRUE,
.tailcall_optimization = FALSE,
.specialized_instruction = TRUE,
.operands_unification = TRUE,
.instructions_unification = TRUE,
.frozen_string_literal = TRUE,
.debug_frozen_string_literal = FALSE,
.coverage_enabled = FALSE,
.debug_level = 0,
};
if (rb_ruby_prism_p()) {
pm_parse_result_t result;
pm_prelude_load(&result, name_str, code, start_line);
vm->builtin_function_table = table;
int error_state;
iseq = pm_iseq_new_with_opt(&result.node, name_str, name_str, Qnil, 0, NULL, 0, ISEQ_TYPE_TOP, &optimization, &error_state);
vm->builtin_function_table = NULL;
pm_parse_result_free(&result);
if (error_state) {
RUBY_ASSERT(iseq == NULL);
rb_jump_tag(error_state);
}
}
else {
VALUE ast_value = prelude_ast_value(name_str, code, start_line);
rb_ast_t *ast = rb_ruby_ast_data_get(ast_value);
vm->builtin_function_table = table;
iseq = rb_iseq_new_with_opt(ast_value, name_str, name_str, Qnil, 0, NULL, 0, ISEQ_TYPE_TOP, &optimization, Qnil);
vm->builtin_function_table = NULL;
rb_ast_dispose(ast);
}
// for debug
if (0 && strcmp("prelude", feature_name) == 0) {
rb_io_write(rb_stdout, rb_iseq_disasm((const rb_iseq_t *)iseq));
}
BUILTIN_LOADED(feature_name, iseq);
return iseq;
}
void
rb_load_with_builtin_functions(const char *feature_name, const struct rb_builtin_function *table)
{
const rb_iseq_t *iseq = builtin_iseq_load(feature_name, table);
rb_iseq_eval(iseq, rb_root_box());
}
VALUE
rb_define_gem_modules(VALUE _a, VALUE _b)
{
// do nothing - moniruby doesn't load gem_prelude.rb.
return Qnil;
}
void
rb_load_gem_prelude(VALUE _)
{
// do nothing - miniruby doesn't support loading RubyGems.
}