14#include "ruby/internal/config.h"
17#include "ccan/list/list.h"
19#include "debug_counter.h"
23#include "internal/class.h"
24#include "internal/compilers.h"
25#include "internal/error.h"
26#include "internal/eval.h"
27#include "internal/hash.h"
28#include "internal/namespace.h"
29#include "internal/object.h"
30#include "internal/gc.h"
31#include "internal/re.h"
32#include "internal/struct.h"
33#include "internal/symbol.h"
34#include "internal/thread.h"
35#include "internal/variable.h"
43#include "ractor_core.h"
47#define GET_GLOBAL_CVAR_STATE() (ruby_vm_global_cvar_state)
49typedef void rb_gvar_compact_t(
void *var);
57static VALUE autoload_features;
62static VALUE autoload_mutex;
64static void check_before_mod_set(
VALUE,
ID,
VALUE,
const char *);
66static VALUE rb_const_search(
VALUE klass,
ID id,
int exclude,
int recurse,
int visibility);
69typedef int rb_ivar_foreach_callback_func(
ID key,
VALUE val, st_data_t arg);
70static void rb_field_foreach(
VALUE obj, rb_ivar_foreach_callback_func *func, st_data_t arg,
bool ivar_only);
75 rb_global_tbl = rb_id_table_create(0);
76 generic_fields_tbl_ = st_init_numtable();
81 rb_vm_register_global_object(autoload_mutex);
83 autoload_features = rb_ident_hash_new();
85 rb_vm_register_global_object(autoload_features);
89rb_namespace_p(
VALUE obj)
110classname(
VALUE klass,
bool *permanent)
114 VALUE classpath = RCLASS_CLASSPATH(klass);
115 if (classpath == 0)
return Qnil;
117 *permanent = RCLASS_PERMANENT_CLASSPATH_P(klass);
123rb_mod_name0(
VALUE klass,
bool *permanent)
125 return classname(klass, permanent);
140 return classname(mod, &permanent);
145is_constant_path(
VALUE name)
147 const char *path = RSTRING_PTR(name);
151 const char *p = path;
153 if (p >= pend || !*p) {
158 if (p + 2 <= pend && p[0] ==
':' && p[1] ==
':') {
162 const char *pbeg = p;
163 while (p < pend && *p !=
':') p++;
165 if (pbeg == p)
return false;
167 if (rb_enc_symname_type(pbeg, p - pbeg, enc, 0) != ID_CONST) {
184set_sub_temporary_name_recursive(
VALUE mod,
VALUE data,
int recursive)
186 if (recursive)
return Qfalse;
191 name = build_const_path(rb_ary_last(0, 0, args->names), args->last);
193 set_sub_temporary_name_foreach(mod, args, name);
198set_sub_temporary_name_topmost(
VALUE mod,
VALUE data,
int recursive)
200 if (recursive)
return Qfalse;
203 VALUE name = args->names;
207 set_sub_temporary_name_foreach(mod, args, name);
211static enum rb_id_table_iterator_result
212set_sub_temporary_name_i(
ID id,
VALUE val,
void *data)
215 if (rb_namespace_p(val) && !RCLASS_PERMANENT_CLASSPATH_P(val)) {
221 return ID_TABLE_CONTINUE;
227 RCLASS_WRITE_CLASSPATH(mod, name, FALSE);
231 rb_id_table_foreach(tbl, set_sub_temporary_name_i, args);
236 rb_id_table_foreach(tbl, set_sub_temporary_name_i, args);
237 rb_ary_set_len(args->names, names_len);
298rb_mod_set_temporary_name(
VALUE mod,
VALUE name)
301 if (RCLASS_PERMANENT_CLASSPATH_P(mod)) {
308 set_sub_temporary_name(mod, 0);
315 if (RSTRING_LEN(name) == 0) {
316 rb_raise(rb_eArgError,
"empty class/module name");
319 if (is_constant_path(name)) {
320 rb_raise(rb_eArgError,
"the temporary name must not be a constant path to avoid confusion");
327 set_sub_temporary_name(mod, name);
340 path = rb_sprintf(
"#<Class:%p>", (
void*)obj);
343 path = rb_sprintf(
"#<Module:%p>", (
void*)obj);
346 path = rb_sprintf(
"#<%"PRIsVALUE
":%p>", klass, (
void*)obj);
356rb_tmp_class_path(
VALUE klass,
bool *permanent, fallback_func fallback)
358 VALUE path = classname(klass, permanent);
370 path = rb_tmp_class_path(
RBASIC(klass)->klass, &perm, fallback);
375 return fallback(klass, path);
382 VALUE path = rb_tmp_class_path(klass, &permanent, make_temporary_path);
400rb_search_class_path(
VALUE klass)
403 return rb_tmp_class_path(klass, &permanent, no_fallback);
412 return rb_fstring(path);
416build_const_path(
VALUE head,
ID tail)
418 return build_const_pathname(head, rb_id2str(tail));
424 bool permanent =
true;
427 if (under == rb_cObject) {
431 str = rb_tmp_class_path(under, &permanent, make_temporary_path);
432 str = build_const_pathname(str, name);
435 RCLASS_SET_CLASSPATH(klass, str, permanent);
450 const char *pbeg, *pend, *p, *path = RSTRING_PTR(pathname);
452 VALUE c = rb_cObject;
454 if (!rb_enc_asciicompat(enc)) {
455 rb_raise(rb_eArgError,
"invalid class path encoding (non ASCII)");
458 pend = path + RSTRING_LEN(pathname);
459 if (path == pend || path[0] ==
'#') {
460 rb_raise(rb_eArgError,
"can't retrieve anonymous class %"PRIsVALUE,
464 while (p < pend && *p !=
':') p++;
466 if (p < pend && p[0] ==
':') {
467 if ((
size_t)(pend - p) < 2 || p[1] !=
':')
goto undefined_class;
472 goto undefined_class;
474 c = rb_const_search(c,
id, TRUE, FALSE, FALSE);
475 if (UNDEF_P(c))
goto undefined_class;
476 if (!rb_namespace_p(c)) {
477 rb_raise(
rb_eTypeError,
"%"PRIsVALUE
" does not refer to class/module",
486 rb_raise(rb_eArgError,
"undefined class/module % "PRIsVALUE,
507 VALUE path = rb_tmp_class_path(
rb_class_real(klass), &permanent, make_temporary_path);
508 if (
NIL_P(path))
return NULL;
509 return RSTRING_PTR(path);
532 rb_gvar_compact_t *compactor;
534 bool namespace_ready;
557static enum rb_id_table_iterator_result
558free_global_entry_i(
VALUE val,
void *arg)
561 entry->var->counter--;
562 if (entry->var->counter == 0) {
563 free_global_variable(entry->var);
566 return ID_TABLE_DELETE;
570rb_free_rb_global_tbl(
void)
572 rb_id_table_foreach_values(rb_global_tbl, free_global_entry_i, 0);
573 rb_id_table_free(rb_global_tbl);
577rb_free_generic_fields_tbl_(
void)
579 st_free_table(generic_fields_tbl_);
583rb_find_global_entry(
ID id)
589 if (!rb_id_table_lookup(rb_global_tbl,
id, &data)) {
598 if (UNLIKELY(!rb_ractor_main_p()) && (!entry || !entry->ractor_local)) {
599 rb_raise(rb_eRactorIsolationError,
"can not access global variable %s from non-main Ractor", rb_id2name(
id));
606rb_gvar_ractor_local(
const char *name)
609 entry->ractor_local =
true;
613rb_gvar_namespace_ready(
const char *name)
616 entry->var->namespace_ready =
true;
620rb_gvar_undef_compactor(
void *var)
629 entry = rb_find_global_entry(
id);
636 entry->ractor_local =
false;
642 var->compactor = rb_gvar_undef_compactor;
644 var->block_trace = 0;
646 var->namespace_ready =
false;
647 rb_id_table_insert(rb_global_tbl,
id, (
VALUE)entry);
656 rb_warning(
"global variable '%"PRIsVALUE
"' not initialized", QUOTE_ID(
id));
662rb_gvar_val_compactor(
void *_var)
669 VALUE new = rb_gc_location(obj);
671 var->data = (
void*)
new;
683 var->compactor = rb_gvar_val_compactor;
685 var->data = (
void*)val;
703 var->data = (
void*)val;
710 if (data) rb_gc_mark_movable(data);
716 if (!var)
return Qnil;
729 if (var) rb_gc_mark_maybe(*var);
735 rb_name_error(
id,
"%"PRIsVALUE
" is a read-only variable", QUOTE_ID(
id));
738static enum rb_id_table_iterator_result
739mark_global_entry(
VALUE v,
void *ignored)
745 (*var->marker)(var->data);
748 if (trace->data) rb_gc_mark_maybe(trace->data);
751 return ID_TABLE_CONTINUE;
754#define gc_mark_table(task) \
755 if (rb_global_tbl) { rb_id_table_foreach_values(rb_global_tbl, task##_global_entry, 0); }
758rb_gc_mark_global_tbl(
void)
763static enum rb_id_table_iterator_result
764update_global_entry(
VALUE v,
void *ignored)
769 (*var->compactor)(var);
770 return ID_TABLE_CONTINUE;
774rb_gc_update_global_tbl(
void)
776 gc_mark_table(update);
780global_id(
const char *name)
784 if (name[0] ==
'$')
id = rb_intern(name);
786 size_t len = strlen(name);
790 memcpy(buf+1, name,
len);
791 id = rb_intern2(buf,
len+1);
798find_global_id(
const char *name)
801 size_t len = strlen(name);
803 if (name[0] ==
'$') {
810 memcpy(buf+1, name,
len);
826 ID id = global_id(name);
829 gvar->data = (
void*)var;
881 trace->next = entry->var->trace;
882 trace->func = rb_trace_eval;
885 entry->var->trace = trace;
899 while (trace->next) {
902 trace->next = next->next;
925 if ((entry = rb_find_global_entry(
id)) == NULL) {
926 rb_name_error(
id,
"undefined global variable %"PRIsVALUE
"", QUOTE_ID(
id));
929 trace = entry->var->trace;
940 if (!entry->var->block_trace) remove_trace(entry->var);
945 if (trace->data == cmd) {
947 if (!entry->var->block_trace) remove_trace(entry->var);
968 (*trace->func)(trace->data, data->val);
979 var->block_trace = 0;
990 (*var->setter)(val, entry->id, var->data);
992 if (var->trace && !var->block_trace) {
993 var->block_trace = 1;
994 trace.trace = var->trace;
1001#define USE_NAMESPACE_GVAR_TBL(ns,entry) \
1002 (NAMESPACE_OPTIONAL_P(ns) && \
1003 (!entry || !entry->var->namespace_ready || entry->var->setter != rb_gvar_readonly_setter))
1016 if (USE_NAMESPACE_GVAR_TBL(ns, entry)) {
1017 rb_hash_aset(ns->gvar_tbl,
rb_id2sym(entry->id), val);
1022 retval = rb_gvar_set_entry(entry, val);
1031 return rb_gvar_set(global_id(name), val);
1037 VALUE retval, gvars, key;
1044 if (USE_NAMESPACE_GVAR_TBL(ns, entry)) {
1045 gvars = ns->gvar_tbl;
1047 if (
RTEST(rb_hash_has_key(gvars, key))) {
1048 retval = rb_hash_aref(gvars, key);
1051 retval = (*var->getter)(entry->id, var->data);
1053 retval =
rb_funcall(retval, rb_intern(
"clone"), 0);
1055 rb_hash_aset(gvars, key, retval);
1059 retval = (*var->getter)(entry->id, var->data);
1068 ID id = find_global_id(name);
1071 rb_warning(
"global variable '%s' not initialized", name);
1075 return rb_gvar_get(
id);
1079rb_gvar_defined(
ID id)
1086rb_gvar_getter_function_of(
ID id)
1089 return entry->var->getter;
1093rb_gvar_setter_function_of(
ID id)
1096 return entry->var->setter;
1099static enum rb_id_table_iterator_result
1100gvar_i(
ID key,
VALUE val,
void *a)
1104 return ID_TABLE_CONTINUE;
1113 if (!rb_ractor_main_p()) {
1114 rb_raise(rb_eRactorIsolationError,
"can not access global variables from non-main Ractors");
1118 rb_id_table_foreach(rb_global_tbl, gvar_i, (
void *)ary);
1119 if (!
NIL_P(backref)) {
1121 int i, nmatch = rb_match_count(backref);
1123 for (i = 1; i <= nmatch; ++i) {
1127 buf[1] = (char)(i +
'0');
1128 sym =
ID2SYM(rb_intern2(buf, 2));
1147 if (!rb_ractor_main_p()) {
1148 rb_raise(rb_eRactorIsolationError,
"can not access global variables from non-main Ractors");
1153 if (!rb_id_table_lookup(gtbl, name1, &data1)) {
1156 rb_id_table_insert(gtbl, name1, (
VALUE)entry1);
1158 else if ((entry1 = (
struct rb_global_entry *)data1)->var != entry2->var) {
1160 if (var->block_trace) {
1164 if (var->counter == 0) {
1165 free_global_variable(var);
1168 if (entry1->var != entry2->var) {
1169 entry2->var->counter++;
1170 entry1->var = entry2->var;
1176IVAR_ACCESSOR_SHOULD_BE_MAIN_RACTOR(
ID id)
1178 if (UNLIKELY(!rb_ractor_main_p())) {
1180 rb_raise(rb_eRactorIsolationError,
"can not set instance variables of classes/modules by non-main Ractors");
1185#define CVAR_ACCESSOR_SHOULD_BE_MAIN_RACTOR() \
1186 if (UNLIKELY(!rb_ractor_main_p())) { \
1187 rb_raise(rb_eRactorIsolationError, "can not access class variables from non-main Ractors"); \
1191ivar_ractor_check(
VALUE obj,
ID id)
1195 UNLIKELY(!rb_ractor_main_p()) &&
1198 rb_raise(rb_eRactorIsolationError,
"can not access instance variables of shareable objects from non-main Ractors");
1203generic_fields_tbl_no_ractor_check(
void)
1205 ASSERT_vm_locking();
1207 return generic_fields_tbl_;
1211rb_generic_fields_tbl_get(
void)
1213 return generic_fields_tbl_;
1217rb_mark_generic_ivar(
VALUE obj)
1221 if (st_lookup(generic_fields_tbl_, (st_data_t)obj, (st_data_t *)&data)) {
1222 rb_gc_mark_movable(data);
1227rb_obj_fields(
VALUE obj,
ID field_name)
1230 ivar_ractor_check(obj, field_name);
1232 VALUE fields_obj = 0;
1233 if (rb_shape_obj_has_fields(obj)) {
1240 goto generic_fields;
1242 if (LIKELY(!
FL_TEST_RAW(obj, RSTRUCT_GEN_FIELDS))) {
1243 fields_obj = RSTRUCT_FIELDS_OBJ(obj);
1246 goto generic_fields;
1251 if (ec->gen_fields_cache.obj == obj && rb_imemo_fields_owner(ec->gen_fields_cache.fields_obj) == obj) {
1252 fields_obj = ec->gen_fields_cache.fields_obj;
1256 if (!st_lookup(generic_fields_tbl_, (st_data_t)obj, (st_data_t *)&fields_obj)) {
1257 rb_bug(
"Object is missing entry in generic_fields_tbl");
1260 ec->gen_fields_cache.fields_obj = fields_obj;
1261 ec->gen_fields_cache.obj = obj;
1272 if (rb_obj_exivar_p(obj)) {
1273 st_data_t key = (st_data_t)obj, value;
1280 goto generic_fields;
1282 if (LIKELY(!
FL_TEST_RAW(obj, RSTRUCT_GEN_FIELDS))) {
1283 RSTRUCT_SET_FIELDS_OBJ(obj, 0);
1286 goto generic_fields;
1291 if (ec->gen_fields_cache.obj == obj) {
1292 ec->gen_fields_cache.obj =
Qundef;
1293 ec->gen_fields_cache.fields_obj =
Qundef;
1296 st_delete(generic_fields_tbl_no_ractor_check(), &key, &value);
1300 RBASIC_SET_SHAPE_ID(obj, ROOT_SHAPE_ID);
1305rb_obj_set_fields(
VALUE obj,
VALUE fields_obj,
ID field_name,
VALUE original_fields_obj)
1307 ivar_ractor_check(obj, field_name);
1314 RUBY_ASSERT(IMEMO_TYPE_P(fields_obj, imemo_fields));
1315 RUBY_ASSERT(!original_fields_obj || IMEMO_TYPE_P(original_fields_obj, imemo_fields));
1317 if (fields_obj != original_fields_obj) {
1324 goto generic_fields;
1326 if (LIKELY(!
FL_TEST_RAW(obj, RSTRUCT_GEN_FIELDS))) {
1327 RSTRUCT_SET_FIELDS_OBJ(obj, fields_obj);
1330 goto generic_fields;
1335 st_insert(generic_fields_tbl_, (st_data_t)obj, (st_data_t)fields_obj);
1340 if (ec->gen_fields_cache.fields_obj != fields_obj) {
1341 ec->gen_fields_cache.obj = obj;
1342 ec->gen_fields_cache.fields_obj = fields_obj;
1347 if (original_fields_obj) {
1349 rb_imemo_fields_clear(original_fields_obj);
1353 RBASIC_SET_SHAPE_ID(obj, RBASIC_SHAPE_ID(fields_obj));
1357rb_obj_replace_fields(
VALUE obj,
VALUE fields_obj)
1360 VALUE original_fields_obj = rb_obj_fields_no_ractor_check(obj);
1361 rb_obj_set_fields(obj, fields_obj, 0, original_fields_obj);
1366rb_obj_field_get(
VALUE obj, shape_id_t target_shape_id)
1369 RUBY_ASSERT(RSHAPE_TYPE_P(target_shape_id, SHAPE_IVAR) || RSHAPE_TYPE_P(target_shape_id, SHAPE_OBJ_ID));
1376 fields_obj = RCLASS_WRITABLE_FIELDS_OBJ(obj);
1386 fields_obj = rb_obj_fields(obj, RSHAPE_EDGE_NAME(target_shape_id));
1390 if (UNLIKELY(rb_shape_too_complex_p(target_shape_id))) {
1391 st_table *fields_hash = rb_imemo_fields_complex_tbl(fields_obj);
1393 st_lookup(fields_hash, RSHAPE_EDGE_NAME(target_shape_id), &value);
1398 attr_index_t index = RSHAPE_INDEX(target_shape_id);
1399 return rb_imemo_fields_ptr(fields_obj)[index];
1413 VALUE val = rb_ivar_lookup(RCLASS_WRITABLE_FIELDS_OBJ(obj),
id, undef);
1416 UNLIKELY(!rb_ractor_main_p()) &&
1418 rb_raise(rb_eRactorIsolationError,
1419 "can not get unshareable values from instance variables of classes/modules from non-main Ractors");
1432 fields_obj = rb_obj_fields(obj,
id);
1440 shape_id_t shape_id = RBASIC_SHAPE_ID(fields_obj);
1442 if (UNLIKELY(rb_shape_too_complex_p(shape_id))) {
1443 st_table *iv_table = rb_imemo_fields_complex_tbl(fields_obj);
1445 if (rb_st_lookup(iv_table, (st_data_t)
id, (st_data_t *)&val)) {
1451 attr_index_t index = 0;
1452 if (rb_shape_get_iv_index(shape_id,
id, &index)) {
1453 return rb_imemo_fields_ptr(fields_obj)[index];
1462 VALUE iv = rb_ivar_lookup(obj,
id,
Qnil);
1463 RB_DEBUG_COUNTER_INC(ivar_get_base);
1468rb_ivar_get_at(
VALUE obj, attr_index_t index,
ID id)
1479 VALUE fields_obj = RCLASS_WRITABLE_FIELDS_OBJ(obj);
1480 VALUE val = rb_imemo_fields_ptr(fields_obj)[index];
1483 rb_raise(rb_eRactorIsolationError,
1484 "can not get unshareable values from instance variables of classes/modules from non-main Ractors");
1491 VALUE fields_obj = rb_obj_fields(obj,
id);
1492 return rb_imemo_fields_ptr(fields_obj)[index];
1498rb_ivar_get_at_no_ractor_check(
VALUE obj, attr_index_t index)
1508 fields_obj = RCLASS_WRITABLE_FIELDS_OBJ(obj);
1511 fields_obj = rb_obj_fields_no_ractor_check(obj);
1514 return rb_imemo_fields_ptr(fields_obj)[index];
1520 return rb_ivar_lookup(obj,
id,
Qnil);
1523void rb_obj_copy_fields_to_hash_table(
VALUE obj,
st_table *table);
1524static VALUE imemo_fields_complex_from_obj(
VALUE owner,
VALUE source_fields_obj, shape_id_t shape_id);
1530 shape_id_t shape_id = rb_shape_transition_complex(obj);
1535 VALUE *old_fields = NULL;
1542 RBASIC_SET_SHAPE_ID(obj, shape_id);
1543 ROBJECT_SET_FIELDS_HASH(obj, table);
1556 VALUE fields_obj = rb_imemo_fields_new_complex_tbl(obj, table);
1557 RBASIC_SET_SHAPE_ID(fields_obj, shape_id);
1558 rb_obj_replace_fields(obj, fields_obj);
1567rb_evict_fields_to_hash(
VALUE obj)
1571 st_table *table = st_init_numtable_with_size(RSHAPE_LEN(RBASIC_SHAPE_ID(obj)));
1572 rb_obj_copy_fields_to_hash_table(obj, table);
1573 shape_id_t new_shape_id = obj_transition_too_complex(obj, table);
1576 return new_shape_id;
1580rb_evict_ivars_to_hash(
VALUE obj)
1587 rb_obj_copy_ivs_to_hash_table(obj, table);
1588 obj_transition_too_complex(obj, table);
1596 rb_check_frozen(obj);
1600 bool concurrent =
false;
1606 IVAR_ACCESSOR_SHOULD_BE_MAIN_RACTOR(
id);
1608 fields_obj = RCLASS_WRITABLE_FIELDS_OBJ(obj);
1609 if (rb_multi_ractor_p()) {
1617 fields_obj = rb_obj_fields(obj,
id);
1626 const VALUE original_fields_obj = fields_obj;
1628 fields_obj = rb_imemo_fields_clone(fields_obj);
1631 shape_id_t old_shape_id = RBASIC_SHAPE_ID(fields_obj);
1632 shape_id_t removed_shape_id;
1633 shape_id_t next_shape_id = rb_shape_transition_remove_ivar(fields_obj,
id, &removed_shape_id);
1635 if (UNLIKELY(rb_shape_too_complex_p(next_shape_id))) {
1636 if (UNLIKELY(!rb_shape_too_complex_p(old_shape_id))) {
1638 rb_evict_fields_to_hash(obj);
1641 fields_obj = imemo_fields_complex_from_obj(obj, fields_obj, next_shape_id);
1645 if (!st_delete(rb_imemo_fields_complex_tbl(fields_obj), &key, (st_data_t *)&val)) {
1650 if (next_shape_id == old_shape_id) {
1654 RUBY_ASSERT(removed_shape_id != INVALID_SHAPE_ID);
1655 RUBY_ASSERT(RSHAPE_LEN(next_shape_id) == RSHAPE_LEN(old_shape_id) - 1);
1657 VALUE *fields = rb_imemo_fields_ptr(fields_obj);
1658 attr_index_t removed_index = RSHAPE_INDEX(removed_shape_id);
1659 val = fields[removed_index];
1661 attr_index_t new_fields_count = RSHAPE_LEN(next_shape_id);
1662 if (new_fields_count) {
1663 size_t trailing_fields = new_fields_count - removed_index;
1665 MEMMOVE(&fields[removed_index], &fields[removed_index + 1],
VALUE, trailing_fields);
1666 RBASIC_SET_SHAPE_ID(fields_obj, next_shape_id);
1673 MEMCPY(rb_imemo_fields_ptr(fields_obj), fields,
VALUE, new_fields_count);
1683 RBASIC_SET_SHAPE_ID(obj, next_shape_id);
1684 if (fields_obj != original_fields_obj) {
1690 RCLASS_WRITABLE_SET_FIELDS_OBJ(obj, fields_obj);
1693 rb_obj_set_fields(obj, fields_obj,
id, original_fields_obj);
1702rb_attr_delete(
VALUE obj,
ID id)
1704 return rb_ivar_delete(obj,
id,
Qnil);
1712 RUBY_ASSERT(rb_shape_canonical_p(RBASIC_SHAPE_ID(obj)));
1713 RUBY_ASSERT(RSHAPE_LEN(RBASIC_SHAPE_ID(obj)) == 0);
1715 obj_transition_too_complex(obj, table);
1719imemo_fields_complex_from_obj_i(
ID key,
VALUE val, st_data_t arg)
1722 st_table *table = rb_imemo_fields_complex_tbl(fields);
1724 RUBY_ASSERT(!st_lookup(table, (st_data_t)key, NULL));
1725 st_add_direct(table, (st_data_t)key, (st_data_t)val);
1732imemo_fields_complex_from_obj(
VALUE owner,
VALUE source_fields_obj, shape_id_t shape_id)
1734 attr_index_t
len = source_fields_obj ? RSHAPE_LEN(RBASIC_SHAPE_ID(source_fields_obj)) : 0;
1735 VALUE fields_obj = rb_imemo_fields_new_complex(owner,
len + 1);
1737 rb_field_foreach(source_fields_obj, imemo_fields_complex_from_obj_i, (st_data_t)fields_obj,
false);
1738 RBASIC_SET_SHAPE_ID(fields_obj, shape_id);
1744imemo_fields_copy_capa(
VALUE owner,
VALUE source_fields_obj, attr_index_t new_size)
1746 VALUE fields_obj = rb_imemo_fields_new(owner, new_size);
1747 if (source_fields_obj) {
1748 attr_index_t fields_count = RSHAPE_LEN(RBASIC_SHAPE_ID(source_fields_obj));
1749 VALUE *fields = rb_imemo_fields_ptr(fields_obj);
1750 MEMCPY(fields, rb_imemo_fields_ptr(source_fields_obj),
VALUE, fields_count);
1751 RBASIC_SET_SHAPE_ID(fields_obj, RBASIC_SHAPE_ID(source_fields_obj));
1752 for (attr_index_t i = 0; i < fields_count; i++) {
1760imemo_fields_set(
VALUE owner,
VALUE fields_obj, shape_id_t target_shape_id,
ID field_name,
VALUE val,
bool concurrent)
1762 const VALUE original_fields_obj = fields_obj;
1763 shape_id_t current_shape_id = fields_obj ? RBASIC_SHAPE_ID(fields_obj) : ROOT_SHAPE_ID;
1765 if (UNLIKELY(rb_shape_too_complex_p(target_shape_id))) {
1766 if (rb_shape_too_complex_p(current_shape_id)) {
1771 fields_obj = rb_imemo_fields_clone(fields_obj);
1775 fields_obj = imemo_fields_complex_from_obj(owner, original_fields_obj, target_shape_id);
1776 current_shape_id = target_shape_id;
1779 st_table *table = rb_imemo_fields_complex_tbl(fields_obj);
1782 st_insert(table, (st_data_t)field_name, (st_data_t)val);
1784 RBASIC_SET_SHAPE_ID(fields_obj, target_shape_id);
1787 attr_index_t index = RSHAPE_INDEX(target_shape_id);
1788 if (concurrent || index >= RSHAPE_CAPACITY(current_shape_id)) {
1789 fields_obj = imemo_fields_copy_capa(owner, original_fields_obj, RSHAPE_CAPACITY(target_shape_id));
1792 VALUE *table = rb_imemo_fields_ptr(fields_obj);
1795 if (RSHAPE_LEN(target_shape_id) > RSHAPE_LEN(current_shape_id)) {
1796 RBASIC_SET_SHAPE_ID(fields_obj, target_shape_id);
1804generic_field_set(
VALUE obj, shape_id_t target_shape_id,
ID field_name,
VALUE val)
1807 field_name = RSHAPE_EDGE_NAME(target_shape_id);
1811 const VALUE original_fields_obj = rb_obj_fields(obj, field_name);
1812 VALUE fields_obj = imemo_fields_set(obj, original_fields_obj, target_shape_id, field_name, val,
false);
1814 rb_obj_set_fields(obj, fields_obj, field_name, original_fields_obj);
1815 return rb_shape_too_complex_p(target_shape_id) ? ATTR_INDEX_NOT_SET : RSHAPE_INDEX(target_shape_id);
1819generic_shape_ivar(
VALUE obj,
ID id,
bool *new_ivar_out)
1821 bool new_ivar =
false;
1822 shape_id_t current_shape_id = RBASIC_SHAPE_ID(obj);
1823 shape_id_t target_shape_id = current_shape_id;
1825 if (!rb_shape_too_complex_p(current_shape_id)) {
1826 if (!rb_shape_find_ivar(current_shape_id,
id, &target_shape_id)) {
1827 if (RSHAPE_LEN(current_shape_id) >= SHAPE_MAX_FIELDS) {
1828 rb_raise(rb_eArgError,
"too many instance variables");
1832 target_shape_id = rb_shape_transition_add_ivar(obj,
id);
1836 *new_ivar_out = new_ivar;
1837 return target_shape_id;
1844 shape_id_t target_shape_id = generic_shape_ivar(obj,
id, &dontcare);
1845 return generic_field_set(obj, target_shape_id,
id, val);
1849rb_ensure_iv_list_size(
VALUE obj, uint32_t current_len, uint32_t new_capacity)
1861 ROBJECT(obj)->as.heap.fields = newptr;
1866rb_obj_copy_ivs_to_hash_table_i(
ID key,
VALUE val, st_data_t arg)
1870 st_add_direct((
st_table *)arg, (st_data_t)key, (st_data_t)val);
1877 rb_ivar_foreach(obj, rb_obj_copy_ivs_to_hash_table_i, (st_data_t)table);
1883 rb_field_foreach(obj, rb_obj_copy_ivs_to_hash_table_i, (st_data_t)table,
false);
1887obj_field_set(
VALUE obj, shape_id_t target_shape_id,
ID field_name,
VALUE val)
1889 shape_id_t current_shape_id = RBASIC_SHAPE_ID(obj);
1891 if (UNLIKELY(rb_shape_too_complex_p(target_shape_id))) {
1892 if (UNLIKELY(!rb_shape_too_complex_p(current_shape_id))) {
1893 current_shape_id = rb_evict_fields_to_hash(obj);
1896 if (RSHAPE_LEN(target_shape_id) > RSHAPE_LEN(current_shape_id)) {
1897 RBASIC_SET_SHAPE_ID(obj, target_shape_id);
1901 field_name = RSHAPE_EDGE_NAME(target_shape_id);
1905 st_insert(ROBJECT_FIELDS_HASH(obj), (st_data_t)field_name, (st_data_t)val);
1908 return ATTR_INDEX_NOT_SET;
1911 attr_index_t index = RSHAPE_INDEX(target_shape_id);
1913 if (index >= RSHAPE_LEN(current_shape_id)) {
1914 if (UNLIKELY(index >= RSHAPE_CAPACITY(current_shape_id))) {
1915 rb_ensure_iv_list_size(obj, RSHAPE_CAPACITY(current_shape_id), RSHAPE_CAPACITY(target_shape_id));
1917 RBASIC_SET_SHAPE_ID(obj, target_shape_id);
1930 shape_id_t target_shape_id = generic_shape_ivar(obj,
id, &dontcare);
1931 return obj_field_set(obj, target_shape_id,
id, val);
1941 rb_check_frozen(obj);
1942 obj_ivar_set(obj,
id, val);
1954 RB_SET_SHAPE_ID(x, rb_shape_transition_frozen(x));
1962static attr_index_t class_ivar_set(
VALUE obj,
ID id,
VALUE val,
bool *new_ivar);
1967 RB_DEBUG_COUNTER_INC(ivar_set_base);
1971 return obj_ivar_set(obj,
id, val);
1975 IVAR_ACCESSOR_SHOULD_BE_MAIN_RACTOR(
id);
1977 return class_ivar_set(obj,
id, val, &dontcare);
1980 return generic_ivar_set(obj,
id, val);
1987 rb_check_frozen(obj);
1988 ivar_set(obj,
id, val);
1995 return ivar_set(obj,
id, val);
2004 ivar_set(obj,
id, val);
2008rb_obj_field_set(
VALUE obj, shape_id_t target_shape_id,
ID field_name,
VALUE val)
2012 return obj_field_set(obj, target_shape_id, field_name, val);
2016 rb_bug(
"Unreachable");
2019 return generic_field_set(obj, target_shape_id, field_name, val);
2024ivar_defined0(
VALUE obj,
ID id)
2028 if (rb_shape_obj_too_complex_p(obj)) {
2034 rb_bug(
"Unreachable");
2039 table = rb_imemo_fields_complex_tbl(obj);
2043 table = ROBJECT_FIELDS_HASH(obj);
2047 VALUE fields_obj = rb_obj_fields_no_ractor_check(obj);
2048 table = rb_imemo_fields_complex_tbl(fields_obj);
2052 if (!table || !rb_st_lookup(table,
id, &idx)) {
2059 return RBOOL(rb_shape_get_iv_index(RBASIC_SHAPE_ID(obj),
id, &index));
2073 VALUE fields_obj = RCLASS_WRITABLE_FIELDS_OBJ(obj);
2075 defined = ivar_defined0(fields_obj,
id);
2080 defined = ivar_defined0(obj,
id);
2088 struct gen_fields_tbl *fields_tbl;
2090 rb_ivar_foreach_callback_func *func;
2096iterate_over_shapes_callback(shape_id_t shape_id,
void *data)
2100 if (itr_data->ivar_only && !RSHAPE_TYPE_P(shape_id, SHAPE_IVAR)) {
2107 RUBY_ASSERT(!rb_shape_obj_too_complex_p(itr_data->obj));
2111 RUBY_ASSERT(IMEMO_TYPE_P(itr_data->obj, imemo_fields));
2112 RUBY_ASSERT(!rb_shape_obj_too_complex_p(itr_data->obj));
2114 fields = rb_imemo_fields_ptr(itr_data->obj);
2117 rb_bug(
"Unreachable");
2120 VALUE val = fields[RSHAPE_INDEX(shape_id)];
2121 return itr_data->func(RSHAPE_EDGE_NAME(shape_id), val, itr_data->arg);
2128iterate_over_shapes(shape_id_t shape_id, rb_ivar_foreach_callback_func *callback,
struct iv_itr_data *itr_data)
2130 rb_shape_foreach_field(shape_id, iterate_over_shapes_callback, itr_data);
2134each_hash_iv(st_data_t
id, st_data_t val, st_data_t data)
2137 rb_ivar_foreach_callback_func *callback = itr_data->func;
2138 if (is_internal_id((
ID)
id)) {
2141 return callback((
ID)
id, (
VALUE)val, itr_data->arg);
2145obj_fields_each(
VALUE obj, rb_ivar_foreach_callback_func *func, st_data_t arg,
bool ivar_only)
2151 .ivar_only = ivar_only,
2154 shape_id_t shape_id = RBASIC_SHAPE_ID(obj);
2155 if (rb_shape_too_complex_p(shape_id)) {
2156 rb_st_foreach(ROBJECT_FIELDS_HASH(obj), each_hash_iv, (st_data_t)&itr_data);
2160 iterate_over_shapes(shape_id, func, &itr_data);
2165imemo_fields_each(
VALUE fields_obj, rb_ivar_foreach_callback_func *func, st_data_t arg,
bool ivar_only)
2167 IMEMO_TYPE_P(fields_obj, imemo_fields);
2173 .ivar_only = ivar_only,
2176 shape_id_t shape_id = RBASIC_SHAPE_ID(fields_obj);
2177 if (rb_shape_too_complex_p(shape_id)) {
2178 rb_st_foreach(rb_imemo_fields_complex_tbl(fields_obj), each_hash_iv, (st_data_t)&itr_data);
2181 itr_data.fields = rb_imemo_fields_ptr(fields_obj);
2182 iterate_over_shapes(shape_id, func, &itr_data);
2189 VALUE new_fields_obj;
2191 rb_check_frozen(dest);
2193 if (!rb_obj_exivar_p(obj)) {
2197 shape_id_t src_shape_id = rb_obj_shape_id(obj);
2199 VALUE fields_obj = rb_obj_fields_no_ractor_check(obj);
2206 if (rb_shape_too_complex_p(src_shape_id)) {
2207 rb_shape_copy_complex_ivars(dest, obj, src_shape_id, rb_imemo_fields_complex_tbl(fields_obj));
2211 shape_id_t dest_shape_id = src_shape_id;
2212 shape_id_t initial_shape_id = rb_obj_shape_id(dest);
2214 if (!rb_shape_canonical_p(src_shape_id)) {
2215 RUBY_ASSERT(RSHAPE_TYPE_P(initial_shape_id, SHAPE_ROOT));
2217 dest_shape_id = rb_shape_rebuild(initial_shape_id, src_shape_id);
2218 if (UNLIKELY(rb_shape_too_complex_p(dest_shape_id))) {
2219 st_table *table = rb_st_init_numtable_with_size(src_num_ivs);
2220 rb_obj_copy_ivs_to_hash_table(obj, table);
2221 rb_obj_init_too_complex(dest, table);
2226 if (!RSHAPE_LEN(dest_shape_id)) {
2227 RBASIC_SET_SHAPE_ID(dest, dest_shape_id);
2231 new_fields_obj = rb_imemo_fields_new(dest, RSHAPE_CAPACITY(dest_shape_id));
2232 VALUE *src_buf = rb_imemo_fields_ptr(fields_obj);
2233 VALUE *dest_buf = rb_imemo_fields_ptr(new_fields_obj);
2234 rb_shape_copy_fields(new_fields_obj, dest_buf, dest_shape_id, src_buf, src_shape_id);
2235 RBASIC_SET_SHAPE_ID(new_fields_obj, dest_shape_id);
2237 rb_obj_replace_fields(dest, new_fields_obj);
2246rb_replace_generic_ivar(
VALUE clone,
VALUE obj)
2249 st_data_t fields_tbl, obj_data = (st_data_t)obj;
2250 if (st_delete(generic_fields_tbl_, &obj_data, &fields_tbl)) {
2251 st_insert(generic_fields_tbl_, (st_data_t)clone, fields_tbl);
2255 rb_bug(
"unreachable");
2261rb_field_foreach(
VALUE obj, rb_ivar_foreach_callback_func *func, st_data_t arg,
bool ivar_only)
2266 if (IMEMO_TYPE_P(obj, imemo_fields)) {
2267 imemo_fields_each(obj, func, arg, ivar_only);
2271 obj_fields_each(obj, func, arg, ivar_only);
2276 IVAR_ACCESSOR_SHOULD_BE_MAIN_RACTOR(0);
2277 VALUE fields_obj = RCLASS_WRITABLE_FIELDS_OBJ(obj);
2279 imemo_fields_each(fields_obj, func, arg, ivar_only);
2285 VALUE fields_obj = rb_obj_fields_no_ractor_check(obj);
2287 imemo_fields_each(fields_obj, func, arg, ivar_only);
2297 rb_field_foreach(obj, func, arg,
true);
2305 st_index_t iv_count = 0;
2308 iv_count = ROBJECT_FIELDS_COUNT(obj);
2314 VALUE fields_obj = RCLASS_WRITABLE_FIELDS_OBJ(obj);
2318 if (rb_shape_obj_too_complex_p(fields_obj)) {
2319 iv_count = rb_st_table_size(rb_imemo_fields_complex_tbl(fields_obj));
2322 iv_count = RBASIC_FIELDS_COUNT(fields_obj);
2330 if (rb_shape_obj_too_complex_p(obj)) {
2331 iv_count = rb_st_table_size(rb_imemo_fields_complex_tbl(obj));
2334 iv_count = RBASIC_FIELDS_COUNT(obj);
2340 VALUE fields_obj = rb_obj_fields_no_ractor_check(obj);
2342 if (rb_shape_obj_too_complex_p(fields_obj)) {
2343 rb_st_table_size(rb_imemo_fields_complex_tbl(fields_obj));
2346 iv_count = RBASIC_FIELDS_COUNT(obj);
2353 if (rb_shape_obj_has_id(obj)) {
2361ivar_i(
ID key,
VALUE v, st_data_t a)
2398#define rb_is_constant_id rb_is_const_id
2399#define rb_is_constant_name rb_is_const_name
2400#define id_for_var(obj, name, part, type) \
2401 id_for_var_message(obj, name, type, "'%1$s' is not allowed as "#part" "#type" variable name")
2402#define id_for_var_message(obj, name, type, message) \
2403 check_id_type(obj, &(name), rb_is_##type##_id, rb_is_##type##_name, message, strlen(message))
2406 int (*valid_id_p)(
ID),
int (*valid_name_p)(
VALUE),
2407 const char *message,
size_t message_len)
2410 VALUE name = *pname;
2412 if (
id ? !valid_id_p(
id) : !valid_name_p(name)) {
2413 rb_name_err_raise_str(rb_fstring_new(message, message_len),
2445 const ID id = id_for_var(obj, name, an, instance);
2449 rb_check_frozen(obj);
2454 if (!UNDEF_P(val))
return val;
2457 rb_name_err_raise(
"instance variable %1$s not defined",
2462NORETURN(
static void uninitialized_constant(
VALUE,
VALUE));
2464uninitialized_constant(
VALUE klass,
VALUE name)
2467 rb_name_err_raise(
"uninitialized constant %2$s::%1$s",
2470 rb_name_err_raise(
"uninitialized constant %1$s",
2477 VALUE value = rb_funcallv(klass, idConst_missing, 1, &name);
2478 rb_vm_inc_const_missing_count();
2527 VALUE ref = ec->private_const_reference;
2528 rb_vm_pop_cfunc_frame();
2530 ec->private_const_reference = 0;
2531 rb_name_err_raise(
"private constant %2$s::%1$s referenced", ref, name);
2533 uninitialized_constant(klass, name);
2539autoload_table_mark(
void *ptr)
2541 rb_mark_tbl_no_pin((
st_table *)ptr);
2545autoload_table_free(
void *ptr)
2551autoload_table_memsize(
const void *ptr)
2554 return st_memsize(tbl);
2558autoload_table_compact(
void *ptr)
2560 rb_gc_ref_update_table_values_only((
st_table *)ptr);
2565 {autoload_table_mark, autoload_table_free, autoload_table_memsize, autoload_table_compact,},
2566 0, 0, RUBY_TYPED_FREE_IMMEDIATELY | RUBY_TYPED_WB_PROTECTED
2569#define check_autoload_table(av) \
2570 (struct st_table *)rb_check_typeddata((av), &autoload_table_type)
2581 if (RICLASS_IS_ORIGIN_P(mod)) {
2585 mod =
RBASIC(mod)->klass;
2593 VALUE tbl_value = rb_ivar_lookup(mod, autoload,
Qfalse);
2594 if (!
RTEST(tbl_value) || !(tbl = check_autoload_table(tbl_value)) || !st_lookup(tbl, (st_data_t)
id, &val)) {
2604 struct ccan_list_node cnode;
2607 VALUE autoload_data_value;
2623 rb_const_flag_t flag;
2639 rb_serial_t fork_gen;
2642 struct ccan_list_head constants;
2646autoload_data_mark_and_move(
void *ptr)
2650 rb_gc_mark_and_move(&p->feature);
2651 rb_gc_mark_and_move(&p->mutex);
2655autoload_data_free(
void *ptr)
2660 ccan_list_for_each_safe(&p->constants,
autoload_const, next, cnode) {
2668autoload_data_memsize(
const void *ptr)
2675 {autoload_data_mark_and_move, autoload_data_free, autoload_data_memsize, autoload_data_mark_and_move},
2676 0, 0, RUBY_TYPED_FREE_IMMEDIATELY | RUBY_TYPED_WB_PROTECTED
2680autoload_const_mark_and_move(
void *ptr)
2684 rb_gc_mark_and_move(&ac->module);
2685 rb_gc_mark_and_move(&ac->autoload_data_value);
2686 rb_gc_mark_and_move(&ac->value);
2687 rb_gc_mark_and_move(&ac->file);
2688 rb_gc_mark_and_move(&ac->namespace);
2692autoload_const_memsize(
const void *ptr)
2698autoload_const_free(
void *ptr)
2708 {autoload_const_mark_and_move, autoload_const_free, autoload_const_memsize, autoload_const_mark_and_move,},
2709 0, 0, RUBY_TYPED_FREE_IMMEDIATELY
2713get_autoload_data(
VALUE autoload_const_value,
struct autoload_const **autoload_const_pointer)
2726 if (autoload_const_pointer) *autoload_const_pointer =
autoload_const;
2732 VALUE dst_tbl_value;
2738autoload_copy_table_for_namespace_i(st_data_t key, st_data_t value, st_data_t arg)
2742 struct st_table *tbl = data->dst_tbl;
2743 VALUE tbl_value = data->dst_tbl_value;
2749 VALUE autoload_data_value = src_const->autoload_data_value;
2761 st_insert(tbl, (st_data_t)
autoload_const->name, (st_data_t)new_value);
2770 struct st_table *src_tbl, *dst_tbl;
2771 VALUE src_tbl_value, dst_tbl_value;
2772 if (!rb_st_lookup(iv_ptr, (st_data_t)autoload, (st_data_t *)&src_tbl_value)) {
2776 if (!
RTEST(src_tbl_value) || !(src_tbl = check_autoload_table(src_tbl_value))) {
2780 src_tbl = check_autoload_table(src_tbl_value);
2786 .dst_tbl_value = dst_tbl_value,
2791 st_foreach(src_tbl, autoload_copy_table_for_namespace_i, (st_data_t)&data);
2792 st_insert(iv_ptr, (st_data_t)autoload, (st_data_t)dst_tbl_value);
2796rb_autoload(
VALUE module,
ID name,
const char *feature)
2798 if (!feature || !*feature) {
2799 rb_raise(rb_eArgError,
"empty feature name");
2802 rb_autoload_str(module, name, rb_fstring_cstr(feature));
2806static void const_added(
VALUE klass,
ID const_name);
2816autoload_feature_lookup_or_create(
VALUE feature,
struct autoload_data **autoload_data_pointer)
2818 RUBY_ASSERT_MUTEX_OWNED(autoload_mutex);
2819 RUBY_ASSERT_CRITICAL_SECTION_ENTER();
2821 VALUE autoload_data_value = rb_hash_aref(autoload_features, feature);
2824 if (
NIL_P(autoload_data_value)) {
2830 if (autoload_data_pointer) *autoload_data_pointer =
autoload_data;
2832 rb_hash_aset(autoload_features, feature, autoload_data_value);
2834 else if (autoload_data_pointer) {
2835 *autoload_data_pointer =
rb_check_typeddata(autoload_data_value, &autoload_data_type);
2838 RUBY_ASSERT_CRITICAL_SECTION_LEAVE();
2839 return autoload_data_value;
2843autoload_table_lookup_or_create(
VALUE module)
2845 VALUE autoload_table_value = rb_ivar_lookup(module, autoload,
Qfalse);
2846 if (
RTEST(autoload_table_value)) {
2847 return autoload_table_value;
2851 rb_class_ivar_set(module, autoload, autoload_table_value);
2853 return autoload_table_value;
2858autoload_synchronized(
VALUE _arguments)
2862 rb_const_entry_t *constant_entry = rb_const_lookup(arguments->module, arguments->name);
2863 if (constant_entry && !UNDEF_P(constant_entry->value)) {
2868 const_set(arguments->module, arguments->name,
Qundef);
2870 VALUE autoload_table_value = autoload_table_lookup_or_create(arguments->module);
2871 struct st_table *autoload_table = check_autoload_table(autoload_table_value);
2874 VALUE feature = rb_fstring(arguments->feature);
2877 VALUE autoload_data_value = autoload_feature_lookup_or_create(feature, &
autoload_data);
2889 st_insert(autoload_table, (st_data_t)arguments->name, (st_data_t)autoload_const_value);
2903 rb_raise(
rb_eNameError,
"autoload must be constant name: %"PRIsVALUE
"", QUOTE_ID(name));
2907 if (!RSTRING_LEN(feature)) {
2908 rb_raise(rb_eArgError,
"empty feature name");
2915 .namespace = current_namespace,
2920 if (result ==
Qtrue) {
2921 const_added(module, name);
2926autoload_delete(
VALUE module,
ID name)
2928 RUBY_ASSERT_CRITICAL_SECTION_ENTER();
2930 st_data_t load = 0, key = name;
2934 VALUE table_value = rb_ivar_lookup(module, autoload,
Qfalse);
2935 if (
RTEST(table_value)) {
2936 struct st_table *table = check_autoload_table(table_value);
2938 st_delete(table, &key, &load);
2961 if (table->num_entries == 0) {
2962 rb_attr_delete(module, autoload);
2967 RUBY_ASSERT_CRITICAL_SECTION_LEAVE();
2973 return ele->mutex !=
Qnil && !rb_mutex_owned_p(ele->mutex);
2977check_autoload_required(
VALUE mod,
ID id,
const char **loadingpath)
2981 const char *loading;
2983 if (!autoload_const_value || !(
autoload_data = get_autoload_data(autoload_const_value, 0))) {
2996 return autoload_const_value;
2999 loading = RSTRING_PTR(feature);
3002 return autoload_const_value;
3005 if (loadingpath && loading) {
3006 *loadingpath = loading;
3007 return autoload_const_value;
3016rb_autoloading_value(
VALUE mod,
ID id,
VALUE* value, rb_const_flag_t *flag)
3019 if (!ac)
return FALSE;
3035 return ele->mutex !=
Qnil && rb_mutex_owned_p(ele->mutex);
3042autoloading_const_entry(
VALUE mod,
ID id)
3049 if (!load || !(ele = get_autoload_data(load, &ac))) {
3055 if (autoload_by_current(ele)) {
3056 if (!UNDEF_P(ac->value)) {
3065autoload_defined_p(
VALUE mod,
ID id)
3070 if (!ce || !UNDEF_P(ce->value)) {
3076 return !rb_autoloading_value(mod,
id, NULL, NULL);
3098 check_before_mod_set(ac->module, ac->name, ac->value,
"constant");
3101 const_tbl_update(ac,
true);
3108autoload_load_needed(
VALUE _arguments)
3112 const char *loading = 0, *src;
3114 if (!autoload_defined_p(arguments->module, arguments->name)) {
3118 VALUE autoload_const_value = check_autoload_required(arguments->module, arguments->name, &loading);
3119 if (!autoload_const_value) {
3124 if (src && loading && strcmp(src, loading) == 0) {
3145 return autoload_const_value;
3149autoload_apply_constants(
VALUE _arguments)
3151 RUBY_ASSERT_CRITICAL_SECTION_ENTER();
3163 ccan_list_for_each_safe(&arguments->autoload_data->constants,
autoload_const, next, cnode) {
3169 RUBY_ASSERT_CRITICAL_SECTION_LEAVE();
3175autoload_feature_require(
VALUE _arguments)
3177 VALUE receiver = rb_vm_top_self();
3187 if (rb_namespace_available() && NAMESPACE_OBJ_P(autoload_namespace))
3188 receiver = autoload_namespace;
3196 rb_gccct_clear_table(
Qnil);
3198 VALUE result =
rb_funcall(receiver, rb_intern(
"require"), 1, arguments->autoload_data->feature);
3200 if (
RTEST(result)) {
3207autoload_try_load(
VALUE _arguments)
3211 VALUE result = autoload_feature_require(_arguments);
3214 rb_const_entry_t *ce = rb_const_lookup(arguments->module, arguments->name);
3216 if (!ce || UNDEF_P(ce->value)) {
3221 if (arguments->module == rb_cObject) {
3223 "Expected %"PRIsVALUE
" to define %"PRIsVALUE
" but it didn't",
3224 arguments->autoload_data->feature,
3230 "Expected %"PRIsVALUE
" to define %"PRIsVALUE
"::%"PRIsVALUE
" but it didn't",
3231 arguments->autoload_data->feature,
3239 ce->flag |= arguments->flag;
3251 if (!ce || !UNDEF_P(ce->value)) {
3256 if (UNLIKELY(!rb_ractor_main_p())) {
3257 return rb_ractor_autoload_load(module, name);
3267 if (autoload_const_value ==
Qfalse)
return autoload_const_value;
3269 arguments.flag = ce->flag & (CONST_DEPRECATED | CONST_VISIBILITY_MASK);
3286 return rb_autoload_at_p(mod,
id, TRUE);
3290rb_autoload_at_p(
VALUE mod,
ID id,
int recur)
3295 while (!autoload_defined_p(mod,
id)) {
3296 if (!recur)
return Qnil;
3298 if (!mod)
return Qnil;
3300 load = check_autoload_required(mod,
id, 0);
3301 if (!load)
return Qnil;
3302 return (ele = get_autoload_data(load, 0)) ? ele->feature :
Qnil;
3308 if (RB_CONST_DEPRECATED_P(ce) &&
3310 if (klass == rb_cObject) {
3321rb_const_get_0(
VALUE klass,
ID id,
int exclude,
int recurse,
int visibility)
3323 VALUE c = rb_const_search(klass,
id, exclude, recurse, visibility);
3325 if (UNLIKELY(!rb_ractor_main_p())) {
3327 rb_raise(rb_eRactorIsolationError,
"can not access non-shareable objects in constant %"PRIsVALUE
"::%s by non-main Ractor.",
rb_class_path(klass), rb_id2name(
id));
3332 return rb_const_missing(klass,
ID2SYM(
id));
3336rb_const_search_from(
VALUE klass,
ID id,
int exclude,
int recurse,
int visibility)
3338 VALUE value, current;
3339 bool first_iteration =
true;
3341 for (current = klass;
3343 current =
RCLASS_SUPER(current), first_iteration =
false) {
3348 if (!first_iteration && RCLASS_ORIGIN(current) != current) {
3361 while ((ce = rb_const_lookup(tmp,
id))) {
3362 if (visibility && RB_CONST_PRIVATE_P(ce)) {
3363 GET_EC()->private_const_reference = tmp;
3366 rb_const_warn_if_deprecated(ce, tmp,
id);
3368 if (UNDEF_P(value)) {
3370 if (am == tmp)
break;
3372 ac = autoloading_const_entry(tmp,
id);
3373 if (ac)
return ac->value;
3377 if (exclude && tmp == rb_cObject) {
3382 if (!recurse)
break;
3386 GET_EC()->private_const_reference = 0;
3391rb_const_search(
VALUE klass,
ID id,
int exclude,
int recurse,
int visibility)
3395 if (klass == rb_cObject) exclude = FALSE;
3396 value = rb_const_search_from(klass,
id, exclude, recurse, visibility);
3397 if (!UNDEF_P(value))
return value;
3398 if (exclude)
return value;
3401 return rb_const_search_from(rb_cObject,
id, FALSE, recurse, visibility);
3407 return rb_const_get_0(klass,
id, TRUE, TRUE, FALSE);
3413 return rb_const_get_0(klass,
id, FALSE, TRUE, FALSE);
3419 return rb_const_get_0(klass,
id, TRUE, FALSE, FALSE);
3423rb_public_const_get_from(
VALUE klass,
ID id)
3425 return rb_const_get_0(klass,
id, TRUE, TRUE, TRUE);
3429rb_public_const_get_at(
VALUE klass,
ID id)
3431 return rb_const_get_0(klass,
id, TRUE, FALSE, TRUE);
3434NORETURN(
static void undefined_constant(
VALUE mod,
VALUE name));
3438 rb_name_err_raise(
"constant %2$s::%1$s not defined",
3443rb_const_location_from(
VALUE klass,
ID id,
int exclude,
int recurse,
int visibility)
3445 while (
RTEST(klass)) {
3448 while ((ce = rb_const_lookup(klass,
id))) {
3449 if (visibility && RB_CONST_PRIVATE_P(ce)) {
3452 if (exclude && klass == rb_cObject) {
3456 if (UNDEF_P(ce->value)) {
3458 if (
RTEST(autoload_const_value)) {
3471 if (!recurse)
break;
3480rb_const_location(
VALUE klass,
ID id,
int exclude,
int recurse,
int visibility)
3484 if (klass == rb_cObject) exclude = FALSE;
3485 loc = rb_const_location_from(klass,
id, exclude, recurse, visibility);
3486 if (!
NIL_P(loc))
return loc;
3487 if (exclude)
return loc;
3490 return rb_const_location_from(rb_cObject,
id, FALSE, recurse, visibility);
3494rb_const_source_location(
VALUE klass,
ID id)
3496 return rb_const_location(klass,
id, FALSE, TRUE, FALSE);
3500rb_const_source_location_at(
VALUE klass,
ID id)
3502 return rb_const_location(klass,
id, TRUE, FALSE, FALSE);
3518 const ID id = id_for_var(mod, name, a, constant);
3521 undefined_constant(mod, name);
3534 rb_check_frozen(mod);
3536 ce = rb_const_lookup(mod,
id);
3537 if (!ce || !rb_id_table_delete(RCLASS_WRITABLE_CONST_TBL(mod),
id)) {
3539 rb_name_err_raise(
"cannot remove %2$s::%1$s", mod,
ID2SYM(
id));
3542 undefined_constant(mod,
ID2SYM(
id));
3545 rb_const_warn_if_deprecated(ce, mod,
id);
3551 autoload_delete(mod,
id);
3555 if (ce != const_lookup(RCLASS_PRIME_CONST_TBL(mod),
id)) {
3564cv_i_update(st_data_t *k, st_data_t *v, st_data_t a,
int existing)
3566 if (existing)
return ST_STOP;
3571static enum rb_id_table_iterator_result
3578 st_update(tbl, (st_data_t)key, cv_i_update, (st_data_t)ce);
3580 return ID_TABLE_CONTINUE;
3583static enum rb_id_table_iterator_result
3584rb_local_constants_i(
ID const_name,
VALUE const_value,
void *ary)
3589 return ID_TABLE_CONTINUE;
3593rb_local_constants(
VALUE mod)
3602 rb_id_table_foreach(tbl, rb_local_constants_i, (
void *)ary);
3613 tbl = st_init_numtable();
3615 if (RCLASS_CONST_TBL(mod)) {
3617 rb_id_table_foreach(RCLASS_CONST_TBL(mod), sv_i, tbl);
3631 if (tmp == rb_cObject && mod != rb_cObject)
break;
3637list_i(st_data_t key, st_data_t value,
VALUE ary)
3680 bool inherit =
true;
3688 return rb_local_constants(mod);
3693rb_const_defined_0(
VALUE klass,
ID id,
int exclude,
int recurse,
int visibility)
3702 if ((ce = rb_const_lookup(tmp,
id))) {
3703 if (visibility && RB_CONST_PRIVATE_P(ce)) {
3706 if (UNDEF_P(ce->value) && !check_autoload_required(tmp,
id, 0) &&
3707 !rb_autoloading_value(tmp,
id, NULL, NULL))
3710 if (exclude && tmp == rb_cObject && klass != rb_cObject) {
3716 if (!recurse)
break;
3730 return rb_const_defined_0(klass,
id, TRUE, TRUE, FALSE);
3736 return rb_const_defined_0(klass,
id, FALSE, TRUE, FALSE);
3742 return rb_const_defined_0(klass,
id, TRUE, FALSE, FALSE);
3746rb_public_const_defined_from(
VALUE klass,
ID id)
3748 return rb_const_defined_0(klass,
id, TRUE, TRUE, TRUE);
3752check_before_mod_set(
VALUE klass,
ID id,
VALUE val,
const char *dest)
3754 rb_check_frozen(klass);
3757static void set_namespace_path(
VALUE named_namespace,
VALUE name);
3759static enum rb_id_table_iterator_result
3760set_namespace_path_i(
ID id,
VALUE v,
void *payload)
3763 VALUE value = ce->value;
3766 return ID_TABLE_CONTINUE;
3769 bool has_permanent_classpath;
3770 classname(value, &has_permanent_classpath);
3771 if (has_permanent_classpath) {
3772 return ID_TABLE_CONTINUE;
3774 set_namespace_path(value, build_const_path(parental_path,
id));
3776 if (!RCLASS_PERMANENT_CLASSPATH_P(value)) {
3777 RCLASS_WRITE_CLASSPATH(value, 0,
false);
3780 return ID_TABLE_CONTINUE;
3789set_namespace_path(
VALUE named_namespace,
VALUE namespace_path)
3791 struct rb_id_table *const_table = RCLASS_CONST_TBL(named_namespace);
3794 RCLASS_WRITE_CLASSPATH(named_namespace, namespace_path,
true);
3797 rb_id_table_foreach(const_table, set_namespace_path_i, &namespace_path);
3803const_added(
VALUE klass,
ID const_name)
3805 if (GET_VM()->running) {
3807 rb_funcallv(klass, idConst_added, 1, &name);
3817 rb_raise(
rb_eTypeError,
"no class/module to define constant %"PRIsVALUE
"",
3822 rb_raise(rb_eRactorIsolationError,
"can not set constants with non-shareable objects by non-main Ractors");
3825 check_before_mod_set(klass,
id, val,
"constant");
3828 struct rb_id_table *tbl = RCLASS_WRITABLE_CONST_TBL(klass);
3830 tbl = rb_id_table_create(0);
3831 RCLASS_WRITE_CONST_TBL(klass, tbl,
false);
3834 rb_id_table_insert(tbl,
id, (
VALUE)ce);
3835 setup_const_entry(ce, klass, val, CONST_PUBLIC);
3839 .module = klass, .name = id,
3840 .value = val, .flag = CONST_PUBLIC,
3843 ac.file = rb_source_location(&ac.line);
3844 const_tbl_update(&ac,
false);
3852 if (rb_cObject && rb_namespace_p(val)) {
3853 bool val_path_permanent;
3854 VALUE val_path = classname(val, &val_path_permanent);
3855 if (
NIL_P(val_path) || !val_path_permanent) {
3856 if (klass == rb_cObject) {
3857 set_namespace_path(val, rb_id2str(
id));
3860 bool parental_path_permanent;
3861 VALUE parental_path = classname(klass, &parental_path_permanent);
3862 if (
NIL_P(parental_path)) {
3864 parental_path = rb_tmp_class_path(klass, &throwaway, make_temporary_path);
3866 if (parental_path_permanent && !val_path_permanent) {
3867 set_namespace_path(val, build_const_path(parental_path,
id));
3869 else if (!parental_path_permanent &&
NIL_P(val_path)) {
3870 RCLASS_SET_CLASSPATH(val, build_const_path(parental_path,
id),
false);
3880 const_set(klass,
id, val);
3881 const_added(klass,
id);
3885autoload_data_for_named_constant(
VALUE module,
ID name,
struct autoload_const **autoload_const_pointer)
3888 if (!autoload_data_value)
return 0;
3905 VALUE klass = ac->module;
3906 VALUE val = ac->value;
3908 struct rb_id_table *tbl = RCLASS_CONST_TBL(klass);
3909 rb_const_flag_t visibility = ac->flag;
3912 if (rb_id_table_lookup(tbl,
id, &value)) {
3914 if (UNDEF_P(ce->value)) {
3915 RUBY_ASSERT_CRITICAL_SECTION_ENTER();
3916 VALUE file = ac->file;
3917 int line = ac->line;
3918 struct autoload_data *ele = autoload_data_for_named_constant(klass,
id, &ac);
3920 if (!autoload_force && ele) {
3924 ac->file = rb_source_location(&ac->line);
3928 autoload_delete(klass,
id);
3929 ce->flag = visibility;
3934 RUBY_ASSERT_CRITICAL_SECTION_LEAVE();
3938 VALUE name = QUOTE_ID(
id);
3939 visibility = ce->flag;
3940 if (klass == rb_cObject)
3941 rb_warn(
"already initialized constant %"PRIsVALUE
"", name);
3943 rb_warn(
"already initialized constant %"PRIsVALUE
"::%"PRIsVALUE
"",
3945 if (!
NIL_P(ce->file) && ce->line) {
3946 rb_compile_warn(RSTRING_PTR(ce->file), ce->line,
3947 "previous definition of %"PRIsVALUE
" was here", name);
3951 setup_const_entry(ce, klass, val, visibility);
3954 tbl = RCLASS_WRITABLE_CONST_TBL(klass);
3958 rb_id_table_insert(tbl,
id, (
VALUE)ce);
3959 setup_const_entry(ce, klass, val, visibility);
3965 rb_const_flag_t visibility)
3967 ce->flag = visibility;
3969 RB_OBJ_WRITE(klass, &ce->file, rb_source_location(&ce->line));
3975 ID id = rb_intern(name);
3978 rb_warn(
"rb_define_const: invalid name '%s' for constant", name);
3981 rb_vm_register_global_object(val);
3989 rb_define_const(rb_cObject, name, val);
3993set_const_visibility(
VALUE mod,
int argc,
const VALUE *argv,
3994 rb_const_flag_t flag, rb_const_flag_t mask)
4002 rb_warning(
"%"PRIsVALUE
" with no argument is just ignored",
4003 QUOTE_ID(rb_frame_callee()));
4007 for (i = 0; i < argc; i++) {
4009 VALUE val = argv[i];
4012 undefined_constant(mod, val);
4014 if ((ce = rb_const_lookup(mod,
id))) {
4017 if (UNDEF_P(ce->value)) {
4020 ele = autoload_data_for_named_constant(mod,
id, &ac);
4029 undefined_constant(mod,
ID2SYM(
id));
4039 long len = strlen(name);
4043 undefined_constant(mod, rb_fstring_new(name,
len));
4045 if (!(ce = rb_const_lookup(mod,
id))) {
4046 undefined_constant(mod,
ID2SYM(
id));
4048 ce->flag |= CONST_DEPRECATED;
4059rb_mod_private_constant(
int argc,
const VALUE *argv,
VALUE obj)
4061 set_const_visibility(obj, argc, argv, CONST_PRIVATE, CONST_VISIBILITY_MASK);
4073rb_mod_public_constant(
int argc,
const VALUE *argv,
VALUE obj)
4075 set_const_visibility(obj, argc, argv, CONST_PUBLIC, CONST_VISIBILITY_MASK);
4099rb_mod_deprecate_constant(
int argc,
const VALUE *argv,
VALUE obj)
4101 set_const_visibility(obj, argc, argv, CONST_DEPRECATED, CONST_DEPRECATED);
4106original_module(
VALUE c)
4114cvar_lookup_at(
VALUE klass,
ID id, st_data_t *v)
4117 if (RICLASS_IS_ORIGIN_P(klass)) {
4122 klass =
RBASIC(klass)->klass;
4127 if (UNDEF_P(n))
return 0;
4134cvar_front_klass(
VALUE klass)
4136 if (RCLASS_SINGLETON_P(klass)) {
4137 VALUE obj = RCLASS_ATTACHED_OBJECT(klass);
4138 if (rb_namespace_p(obj)) {
4148 if (front && target != front) {
4149 if (original_module(front) != original_module(target)) {
4151 "class variable % "PRIsVALUE
" of %"PRIsVALUE
" is overtaken by %"PRIsVALUE
"",
4156 rb_ivar_delete(front,
id,
Qundef);
4161#define CVAR_FOREACH_ANCESTORS(klass, v, r) \
4162 for (klass = cvar_front_klass(klass); klass; klass = RCLASS_SUPER(klass)) { \
4163 if (cvar_lookup_at(klass, id, (v))) { \
4168#define CVAR_LOOKUP(v,r) do {\
4169 CVAR_ACCESSOR_SHOULD_BE_MAIN_RACTOR(); \
4170 if (cvar_lookup_at(klass, id, (v))) {r;}\
4171 CVAR_FOREACH_ANCESTORS(klass, v, r);\
4189check_for_cvar_table(
VALUE subclass,
VALUE key)
4193 RB_DEBUG_COUNTER_INC(cvar_class_invalidate);
4194 ruby_vm_global_cvar_state++;
4198 rb_class_foreach_subclass(subclass, check_for_cvar_table, key);
4204 VALUE tmp, front = 0, target = 0;
4207 CVAR_LOOKUP(0, {
if (!front) front = klass; target = klass;});
4209 cvar_overtaken(front, target,
id);
4216 target =
RBASIC(target)->klass;
4218 check_before_mod_set(target,
id, val,
"class variable");
4220 bool new_cvar = rb_class_ivar_set(target,
id, val);
4222 struct rb_id_table *rb_cvc_tbl = RCLASS_WRITABLE_CVC_TBL(target);
4225 rb_cvc_tbl = rb_id_table_create(2);
4226 RCLASS_WRITE_CVC_TBL(target, rb_cvc_tbl);
4232 if (!rb_id_table_lookup(rb_cvc_tbl,
id, &ent_data)) {
4234 ent->class_value = target;
4235 ent->global_cvar_state = GET_GLOBAL_CVAR_STATE();
4237 rb_id_table_insert(rb_cvc_tbl,
id, (
VALUE)ent);
4238 RB_DEBUG_COUNTER_INC(cvar_inline_miss);
4241 ent = (
void *)ent_data;
4242 ent->global_cvar_state = GET_GLOBAL_CVAR_STATE();
4250 if (RCLASS_SUBCLASSES_FIRST(target)) {
4251 rb_class_foreach_subclass(target, check_for_cvar_table,
id);
4263 value = find_cvar(klass, front, &target,
id);
4265 rb_name_err_raise(
"uninitialized class variable %1$s in %2$s",
4268 cvar_overtaken(*front, target,
id);
4269 return (
VALUE)value;
4282 if (!klass)
return Qfalse;
4283 CVAR_LOOKUP(0,
return Qtrue);
4288cv_intern(
VALUE klass,
const char *name)
4290 ID id = rb_intern(name);
4292 rb_name_err_raise(
"wrong class variable name %1$s",
4301 ID id = cv_intern(klass, name);
4308 ID id = cv_intern(klass, name);
4319cv_i(
ID key,
VALUE v, st_data_t a)
4324 st_update(tbl, (st_data_t)key, cv_i_update, 0);
4330mod_cvar_at(
VALUE mod,
void *data)
4334 tbl = st_init_numtable();
4336 mod = original_module(mod);
4343mod_cvar_of(
VALUE mod,
void *data)
4346 if (RCLASS_SINGLETON_P(mod)) {
4347 if (rb_namespace_p(RCLASS_ATTACHED_OBJECT(mod))) {
4348 data = mod_cvar_at(tmp, data);
4349 tmp = cvar_front_klass(tmp);
4353 data = mod_cvar_at(tmp, data);
4361cv_list_i(st_data_t key, st_data_t value,
VALUE ary)
4369cvar_list(
void *data)
4405 bool inherit =
true;
4410 tbl = mod_cvar_of(mod, 0);
4413 tbl = mod_cvar_at(mod, 0);
4415 return cvar_list(tbl);
4440 const ID id = id_for_var_message(mod, name,
class,
"wrong class variable name %1$s");
4446 rb_check_frozen(mod);
4447 val = rb_ivar_delete(mod,
id,
Qundef);
4448 if (!UNDEF_P(val)) {
4452 rb_name_err_raise(
"cannot remove %1$s for %2$s", mod,
ID2SYM(
id));
4455 rb_name_err_raise(
"class variable %1$s not defined for %2$s",
4474 ID id = rb_intern(name);
4480class_fields_ivar_set(
VALUE klass,
VALUE fields_obj,
ID id,
VALUE val,
bool concurrent,
VALUE *new_fields_obj,
bool *new_ivar_out)
4482 const VALUE original_fields_obj = fields_obj;
4483 fields_obj = original_fields_obj ? original_fields_obj : rb_imemo_fields_new(klass, 1);
4485 shape_id_t current_shape_id = RBASIC_SHAPE_ID(fields_obj);
4486 shape_id_t next_shape_id = current_shape_id;
4487 if (UNLIKELY(rb_shape_too_complex_p(current_shape_id))) {
4492 next_shape_id = generic_shape_ivar(fields_obj,
id, &new_ivar);
4494 if (UNLIKELY(rb_shape_too_complex_p(next_shape_id))) {
4495 fields_obj = imemo_fields_complex_from_obj(klass, fields_obj, next_shape_id);
4499 attr_index_t index = RSHAPE_INDEX(next_shape_id);
4501 if (index >= RSHAPE_CAPACITY(current_shape_id)) {
4504 fields_obj = imemo_fields_copy_capa(klass, fields_obj, RSHAPE_CAPACITY(next_shape_id));
4508 VALUE *fields = rb_imemo_fields_ptr(fields_obj);
4510 if (concurrent && original_fields_obj == fields_obj) {
4516 RB_OBJ_ATOMIC_WRITE(fields_obj, &fields[index], val);
4523 RBASIC_SET_SHAPE_ID(fields_obj, next_shape_id);
4526 *new_fields_obj = fields_obj;
4527 *new_ivar_out = new_ivar;
4532 if (concurrent && fields_obj == original_fields_obj) {
4536 fields_obj = rb_imemo_fields_clone(fields_obj);
4539 st_table *table = rb_imemo_fields_complex_tbl(fields_obj);
4540 new_ivar = !st_insert(table, (st_data_t)
id, (st_data_t)val);
4543 if (fields_obj != original_fields_obj) {
4544 RBASIC_SET_SHAPE_ID(fields_obj, next_shape_id);
4548 *new_fields_obj = fields_obj;
4549 *new_ivar_out = new_ivar;
4550 return ATTR_INDEX_NOT_SET;
4554class_ivar_set(
VALUE obj,
ID id,
VALUE val,
bool *new_ivar)
4556 rb_class_ensure_writable(obj);
4558 const VALUE original_fields_obj = RCLASS_WRITABLE_FIELDS_OBJ(obj);
4559 VALUE new_fields_obj = 0;
4561 attr_index_t index = class_fields_ivar_set(obj, original_fields_obj,
id, val, rb_multi_ractor_p(), &new_fields_obj, new_ivar);
4563 if (new_fields_obj != original_fields_obj) {
4564 RCLASS_WRITABLE_SET_FIELDS_OBJ(obj, new_fields_obj);
4570 RBASIC_SET_SHAPE_ID(obj, RBASIC_SHAPE_ID(new_fields_obj));
4578 rb_check_frozen(obj);
4581 class_ivar_set(obj,
id, val, &new_ivar);
4590 RUBY_ASSERT(RSHAPE_TYPE_P(RBASIC_SHAPE_ID(dst), SHAPE_ROOT));
4592 VALUE fields_obj = RCLASS_WRITABLE_FIELDS_OBJ(src);
4594 RCLASS_WRITABLE_SET_FIELDS_OBJ(dst, rb_imemo_fields_clone(fields_obj));
4595 RBASIC_SET_SHAPE_ID(dst, RBASIC_SHAPE_ID(src));
4606 r = rb_id_table_lookup(tbl,
id, &val);
4615rb_const_lookup(
VALUE klass,
ID id)
4617 return const_lookup(RCLASS_CONST_TBL(klass),
id);
#define RUBY_ASSERT(...)
Asserts that the given expression is truthy if and only if RUBY_DEBUG is truthy.
#define RUBY_EXTERN
Declaration of externally visible global variables.
static VALUE RB_OBJ_FROZEN_RAW(VALUE obj)
This is an implementation detail of RB_OBJ_FROZEN().
static bool RB_FL_ABLE(VALUE obj)
Checks if the object is flaggable.
static void RB_FL_SET_RAW(VALUE obj, VALUE flags)
This is an implementation detail of RB_FL_SET().
void rb_obj_freeze_inline(VALUE obj)
Prevents further modifications to the given object.
static void RB_FL_UNSET_RAW(VALUE obj, VALUE flags)
This is an implementation detail of RB_FL_UNSET().
@ RUBY_FL_FREEZE
This flag has something to do with data immutability.
void rb_class_modify_check(VALUE klass)
Asserts that klass is not a frozen class.
void rb_freeze_singleton_class(VALUE x)
This is an implementation detail of RB_OBJ_FREEZE().
int rb_scan_args(int argc, const VALUE *argv, const char *fmt,...)
Retrieves argument from argc and argv to given VALUE references according to the format string.
#define rb_str_new2
Old name of rb_str_new_cstr.
#define TYPE(_)
Old name of rb_type.
#define FL_UNSET_RAW
Old name of RB_FL_UNSET_RAW.
#define FL_USER3
Old name of RUBY_FL_USER3.
#define REALLOC_N
Old name of RB_REALLOC_N.
#define ALLOC
Old name of RB_ALLOC.
#define T_STRING
Old name of RUBY_T_STRING.
#define xfree
Old name of ruby_xfree.
#define Qundef
Old name of RUBY_Qundef.
#define rb_str_cat2
Old name of rb_str_cat_cstr.
#define UNREACHABLE
Old name of RBIMPL_UNREACHABLE.
#define T_IMEMO
Old name of RUBY_T_IMEMO.
#define ID2SYM
Old name of RB_ID2SYM.
#define SPECIAL_CONST_P
Old name of RB_SPECIAL_CONST_P.
#define T_STRUCT
Old name of RUBY_T_STRUCT.
#define OBJ_FREEZE
Old name of RB_OBJ_FREEZE.
#define UNREACHABLE_RETURN
Old name of RBIMPL_UNREACHABLE_RETURN.
#define T_DATA
Old name of RUBY_T_DATA.
#define ZALLOC
Old name of RB_ZALLOC.
#define CLASS_OF
Old name of rb_class_of.
#define T_MODULE
Old name of RUBY_T_MODULE.
#define T_ICLASS
Old name of RUBY_T_ICLASS.
#define ALLOC_N
Old name of RB_ALLOC_N.
#define FL_TEST_RAW
Old name of RB_FL_TEST_RAW.
#define rb_ary_new3
Old name of rb_ary_new_from_args.
#define FL_USER2
Old name of RUBY_FL_USER2.
#define Qtrue
Old name of RUBY_Qtrue.
#define INT2NUM
Old name of RB_INT2NUM.
#define Qnil
Old name of RUBY_Qnil.
#define Qfalse
Old name of RUBY_Qfalse.
#define T_OBJECT
Old name of RUBY_T_OBJECT.
#define NIL_P
Old name of RB_NIL_P.
#define ALLOCV_N
Old name of RB_ALLOCV_N.
#define T_CLASS
Old name of RUBY_T_CLASS.
#define BUILTIN_TYPE
Old name of RB_BUILTIN_TYPE.
#define rb_ary_new2
Old name of rb_ary_new_capa.
#define FL_SET_RAW
Old name of RB_FL_SET_RAW.
#define ALLOCV_END
Old name of RB_ALLOCV_END.
void rb_category_warn(rb_warning_category_t category, const char *fmt,...)
Identical to rb_category_warning(), except it reports unless $VERBOSE is nil.
void rb_name_error(ID id, const char *fmt,...)
Raises an instance of rb_eNameError.
VALUE rb_eTypeError
TypeError exception.
void rb_name_error_str(VALUE str, const char *fmt,...)
Identical to rb_name_error(), except it takes a VALUE instead of ID.
VALUE rb_eNameError
NameError exception.
VALUE rb_eRuntimeError
RuntimeError exception.
void * rb_check_typeddata(VALUE obj, const rb_data_type_t *data_type)
Identical to rb_typeddata_is_kind_of(), except it raises exceptions instead of returning false.
void rb_warn(const char *fmt,...)
Identical to rb_warning(), except it reports unless $VERBOSE is nil.
void rb_warning(const char *fmt,...)
Issues a warning.
@ RB_WARN_CATEGORY_DEPRECATED
Warning is for deprecated features.
VALUE rb_obj_hide(VALUE obj)
Make the object invisible from Ruby code.
VALUE rb_obj_class(VALUE obj)
Queries the class of an object.
VALUE rb_cModule
Module class.
VALUE rb_class_real(VALUE klass)
Finds a "real" class.
size_t rb_obj_embedded_size(uint32_t fields_count)
Internal header for Object.
#define RB_OBJ_WRITTEN(old, oldv, young)
Identical to RB_OBJ_WRITE(), except it doesn't write any values, but only a WB declaration.
#define RB_OBJ_WRITE(old, slot, young)
Declaration of a "back" pointer.
ID rb_check_id_cstr(const char *ptr, long len, rb_encoding *enc)
Identical to rb_check_id(), except it takes a pointer to a memory region instead of Ruby's string.
VALUE rb_funcall(VALUE recv, ID mid, int n,...)
Calls a method.
VALUE rb_ary_new(void)
Allocates a new, empty array.
VALUE rb_ary_hidden_new(long capa)
Allocates a hidden (no class) empty array.
VALUE rb_ary_push(VALUE ary, VALUE elem)
Special case of rb_ary_cat() that it adds only one element.
VALUE rb_assoc_new(VALUE car, VALUE cdr)
Identical to rb_ary_new_from_values(), except it expects exactly two parameters.
static int rb_check_arity(int argc, int min, int max)
Ensures that the passed integer is in the passed range.
#define st_foreach_safe
Just another name of rb_st_foreach_safe.
int rb_feature_provided(const char *feature, const char **loading)
Identical to rb_provided(), except it additionally returns the "canonical" name of the loaded feature...
VALUE rb_backref_get(void)
Queries the last match, or Regexp.last_match, or the $~.
int rb_is_instance_id(ID id)
Classifies the given ID, then sees if it is an instance variable.
int rb_is_const_id(ID id)
Classifies the given ID, then sees if it is a constant.
int rb_is_class_id(ID id)
Classifies the given ID, then sees if it is a class variable.
VALUE rb_block_proc(void)
Constructs a Proc object from implicitly passed components.
VALUE rb_reg_nth_defined(int n, VALUE md)
Identical to rb_reg_nth_match(), except it just returns Boolean.
VALUE rb_str_append(VALUE dst, VALUE src)
Identical to rb_str_buf_append(), except it converts the right hand side before concatenating.
VALUE rb_str_subseq(VALUE str, long beg, long len)
Identical to rb_str_substr(), except the numbers are interpreted as byte offsets instead of character...
VALUE rb_str_new_frozen(VALUE str)
Creates a frozen copy of the string, if necessary.
VALUE rb_str_dup(VALUE str)
Duplicates a string.
#define rb_str_new_cstr(str)
Identical to rb_str_new, except it assumes the passed pointer is a pointer to a C string.
VALUE rb_str_intern(VALUE str)
Identical to rb_to_symbol(), except it assumes the receiver being an instance of RString.
VALUE rb_mutex_new(void)
Creates a mutex.
VALUE rb_mutex_synchronize(VALUE mutex, VALUE(*func)(VALUE arg), VALUE arg)
Obtains the lock, runs the passed function, and releases the lock when it completes.
VALUE rb_exec_recursive_paired(VALUE(*f)(VALUE g, VALUE h, int r), VALUE g, VALUE p, VALUE h)
Identical to rb_exec_recursive(), except it checks for the recursion on the ordered pair of { g,...
VALUE rb_mod_remove_cvar(VALUE mod, VALUE name)
Resembles Module#remove_class_variable.
VALUE rb_obj_instance_variables(VALUE obj)
Resembles Object#instance_variables.
VALUE rb_f_untrace_var(int argc, const VALUE *argv)
Deletes the passed tracer from the passed global variable, or if omitted, deletes everything.
VALUE rb_const_get(VALUE space, ID name)
Identical to rb_const_defined(), except it returns the actual defined value.
VALUE rb_const_list(void *)
This is another mysterious API that comes with no documents at all.
VALUE rb_path2class(const char *path)
Resolves a Q::W::E::R-style path string to the actual class it points.
VALUE rb_autoload_p(VALUE space, ID name)
Queries if an autoload is defined at a point.
void rb_set_class_path(VALUE klass, VALUE space, const char *name)
Names a class.
VALUE rb_ivar_set(VALUE obj, ID name, VALUE val)
Identical to rb_iv_set(), except it accepts the name as an ID instead of a C string.
VALUE rb_mod_remove_const(VALUE space, VALUE name)
Resembles Module#remove_const.
VALUE rb_class_path_cached(VALUE mod)
Just another name of rb_mod_name.
VALUE rb_f_trace_var(int argc, const VALUE *argv)
Traces a global variable.
void rb_cvar_set(VALUE klass, ID name, VALUE val)
Assigns a value to a class variable.
VALUE rb_cvar_get(VALUE klass, ID name)
Obtains a value from a class variable.
VALUE rb_mod_constants(int argc, const VALUE *argv, VALUE recv)
Resembles Module#constants.
VALUE rb_cvar_find(VALUE klass, ID name, VALUE *front)
Identical to rb_cvar_get(), except it takes additional "front" pointer.
VALUE rb_path_to_class(VALUE path)
Identical to rb_path2class(), except it accepts the path as Ruby's string instead of C's.
VALUE rb_ivar_get(VALUE obj, ID name)
Identical to rb_iv_get(), except it accepts the name as an ID instead of a C string.
void rb_const_set(VALUE space, ID name, VALUE val)
Names a constant.
VALUE rb_autoload_load(VALUE space, ID name)
Kicks the autoload procedure as if it was "touched".
VALUE rb_mod_name(VALUE mod)
Queries the name of a module.
VALUE rb_class_name(VALUE obj)
Queries the name of the given object's class.
VALUE rb_const_get_at(VALUE space, ID name)
Identical to rb_const_defined_at(), except it returns the actual defined value.
void rb_set_class_path_string(VALUE klass, VALUE space, VALUE name)
Identical to rb_set_class_path(), except it accepts the name as Ruby's string instead of C's.
void rb_alias_variable(ID dst, ID src)
Aliases a global variable.
void rb_define_class_variable(VALUE, const char *, VALUE)
Just another name of rb_cv_set.
VALUE rb_obj_remove_instance_variable(VALUE obj, VALUE name)
Resembles Object#remove_instance_variable.
void * rb_mod_const_of(VALUE, void *)
This is a variant of rb_mod_const_at().
st_index_t rb_ivar_count(VALUE obj)
Number of instance variables defined on an object.
void * rb_mod_const_at(VALUE, void *)
This API is mysterious.
VALUE rb_const_remove(VALUE space, ID name)
Identical to rb_mod_remove_const(), except it takes the name as ID instead of VALUE.
VALUE rb_const_get_from(VALUE space, ID name)
Identical to rb_const_defined_at(), except it returns the actual defined value.
VALUE rb_ivar_defined(VALUE obj, ID name)
Queries if the instance variable is defined at the object.
VALUE rb_cv_get(VALUE klass, const char *name)
Identical to rb_cvar_get(), except it accepts C's string instead of ID.
int rb_const_defined_at(VALUE space, ID name)
Identical to rb_const_defined(), except it doesn't look for parent classes.
void rb_cv_set(VALUE klass, const char *name, VALUE val)
Identical to rb_cvar_set(), except it accepts C's string instead of ID.
VALUE rb_mod_class_variables(int argc, const VALUE *argv, VALUE recv)
Resembles Module#class_variables.
VALUE rb_f_global_variables(void)
Queries the list of global variables.
VALUE rb_cvar_defined(VALUE klass, ID name)
Queries if the given class has the given class variable.
VALUE rb_class_path(VALUE mod)
Identical to rb_mod_name(), except it returns #<Class: ...> style inspection for anonymous modules.
int rb_const_defined_from(VALUE space, ID name)
Identical to rb_const_defined(), except it returns false for private constants.
int rb_const_defined(VALUE space, ID name)
Queries if the constant is defined at the namespace.
void rb_free_generic_ivar(VALUE obj)
Frees the list of instance variables.
const char * rb_sourcefile(void)
Resembles __FILE__.
void rb_clear_constant_cache_for_id(ID id)
Clears the inline constant caches associated with a particular ID.
VALUE rb_eval_cmd_kw(VALUE cmd, VALUE arg, int kw_splat)
This API is practically a variant of rb_proc_call_kw() now.
int rb_obj_respond_to(VALUE obj, ID mid, int private_p)
Identical to rb_respond_to(), except it additionally takes the visibility parameter.
static ID rb_intern_const(const char *str)
This is a "tiny optimisation" over rb_intern().
VALUE rb_id2sym(ID id)
Allocates an instance of rb_cSymbol that has the given id.
ID rb_check_id(volatile VALUE *namep)
Detects if the given name is already interned or not.
rb_gvar_setter_t rb_gvar_var_setter
rb_gvar_marker_t rb_gvar_var_marker
void rb_define_global_const(const char *name, VALUE val)
Identical to rb_define_const(), except it defines that of "global", i.e.
VALUE rb_gv_get(const char *name)
Obtains a global variable.
void rb_define_variable(const char *name, VALUE *var)
"Shares" a global variable between Ruby and C.
void rb_gvar_marker_t(VALUE *var)
Type that represents a global variable marker function.
void rb_deprecate_constant(VALUE mod, const char *name)
Asserts that the given constant is deprecated.
void rb_gvar_setter_t(VALUE val, ID id, VALUE *data)
Type that represents a global variable setter function.
rb_gvar_setter_t rb_gvar_val_setter
This is the setter function that backs global variables defined from a ruby script.
rb_gvar_marker_t rb_gvar_undef_marker
void rb_define_readonly_variable(const char *name, const VALUE *var)
Identical to rb_define_variable(), except it does not allow Ruby programs to assign values to such gl...
rb_gvar_setter_t rb_gvar_readonly_setter
This function just raises rb_eNameError.
rb_gvar_getter_t rb_gvar_undef_getter
VALUE rb_gv_set(const char *name, VALUE val)
Assigns to a global variable.
rb_gvar_marker_t rb_gvar_val_marker
This is the setter function that backs global variables defined from a ruby script.
VALUE rb_gvar_getter_t(ID id, VALUE *data)
Type that represents a global variable getter function.
VALUE rb_iv_get(VALUE obj, const char *name)
Obtains an instance variable.
rb_gvar_setter_t rb_gvar_undef_setter
rb_gvar_getter_t rb_gvar_val_getter
This is the getter function that backs global variables defined from a ruby script.
VALUE rb_iv_set(VALUE obj, const char *name, VALUE val)
Assigns to an instance variable.
rb_gvar_getter_t rb_gvar_var_getter
int len
Length of the buffer.
static bool rb_ractor_shareable_p(VALUE obj)
Queries if multiple Ractors can share the passed object or not.
#define MEMCPY(p1, p2, type, n)
Handy macro to call memcpy.
#define RB_GC_GUARD(v)
Prevents premature destruction of local objects.
#define MEMMOVE(p1, p2, type, n)
Handy macro to call memmove.
void rb_define_hooked_variable(const char *q, VALUE *w, type *e, void_type *r)
Define a function-backended global variable.
VALUE type(ANYARGS)
ANYARGS-ed function type.
void rb_define_virtual_variable(const char *q, type *w, void_type *e)
Define a function-backended global variable.
void rb_ivar_foreach(VALUE q, int_type *w, VALUE e)
Iteration over each instance variable of the object.
VALUE rb_ensure(type *q, VALUE w, type *e, VALUE r)
An equivalent of ensure clause.
void rb_copy_generic_ivar(VALUE clone, VALUE obj)
Copies the list of instance variables.
#define RARRAY_LEN
Just another name of rb_array_len.
static VALUE RBASIC_CLASS(VALUE obj)
Queries the class of an object.
#define RBASIC(obj)
Convenient casting macro.
#define RCLASS_SUPER
Just another name of rb_class_get_superclass.
#define ROBJECT(obj)
Convenient casting macro.
static VALUE * ROBJECT_FIELDS(VALUE obj)
Queries the instance variables.
#define StringValue(v)
Ensures that the parameter object is a String.
static char * RSTRING_END(VALUE str)
Queries the end of the contents pointer of the string.
static bool RTYPEDDATA_P(VALUE obj)
Checks whether the passed object is RTypedData or RData.
#define RTYPEDDATA_DATA(v)
Convenient getter macro.
#define TypedData_Wrap_Struct(klass, data_type, sval)
Converts sval, a pointer to your struct, into a Ruby object.
#define RTYPEDDATA(obj)
Convenient casting macro.
#define TypedData_Make_Struct(klass, type, data_type, sval)
Identical to TypedData_Wrap_Struct, except it allocates a new data region internally instead of takin...
const char * rb_class2name(VALUE klass)
Queries the name of the passed class.
const char * rb_obj_classname(VALUE obj)
Queries the name of the class of the passed object.
#define RB_NO_KEYWORDS
Do not pass keywords.
static bool RB_SPECIAL_CONST_P(VALUE obj)
Checks if the given object is of enum ruby_special_consts.
#define RTEST
This is an old name of RB_TEST.
#define _(args)
This was a transition path from K&R to ANSI.
This is the struct that holds necessary info for a struct.
Internal header for Namespace.
uintptr_t ID
Type that represents a Ruby identifier such as a variable name.
uintptr_t VALUE
Type that represents a Ruby object.
static enum ruby_value_type rb_type(VALUE obj)
Identical to RB_BUILTIN_TYPE(), except it can also accept special constants.
static enum ruby_value_type RB_BUILTIN_TYPE(VALUE obj)
Queries the type of the object.
static void Check_Type(VALUE v, enum ruby_value_type t)
Identical to RB_TYPE_P(), except it raises exceptions on predication failure.
static bool RB_TYPE_P(VALUE obj, enum ruby_value_type t)
Queries if the given object is of given type.