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/symbol.h"
33#include "internal/thread.h"
34#include "internal/variable.h"
42#include "ractor_core.h"
46#define GET_GLOBAL_CVAR_STATE() (ruby_vm_global_cvar_state)
48typedef void rb_gvar_compact_t(
void *var);
56static VALUE autoload_features;
61static VALUE autoload_mutex;
63static void check_before_mod_set(
VALUE,
ID,
VALUE,
const char *);
65static VALUE rb_const_search(
VALUE klass,
ID id,
int exclude,
int recurse,
int visibility);
68typedef int rb_ivar_foreach_callback_func(
ID key,
VALUE val, st_data_t arg);
69static void rb_field_foreach(
VALUE obj, rb_ivar_foreach_callback_func *func, st_data_t arg,
bool ivar_only);
74 rb_global_tbl = rb_id_table_create(0);
75 generic_fields_tbl_ = st_init_numtable();
80 rb_vm_register_global_object(autoload_mutex);
82 autoload_features = rb_ident_hash_new();
84 rb_vm_register_global_object(autoload_features);
88rb_namespace_p(
VALUE obj)
109classname(
VALUE klass,
bool *permanent)
113 VALUE classpath = RCLASS_CLASSPATH(klass);
114 if (classpath == 0)
return Qnil;
116 *permanent = RCLASS_PERMANENT_CLASSPATH_P(klass);
122rb_mod_name0(
VALUE klass,
bool *permanent)
124 return classname(klass, permanent);
139 return classname(mod, &permanent);
144is_constant_path(
VALUE name)
146 const char *path = RSTRING_PTR(name);
150 const char *p = path;
152 if (p >= pend || !*p) {
157 if (p + 2 <= pend && p[0] ==
':' && p[1] ==
':') {
161 const char *pbeg = p;
162 while (p < pend && *p !=
':') p++;
164 if (pbeg == p)
return false;
166 if (rb_enc_symname_type(pbeg, p - pbeg, enc, 0) != ID_CONST) {
183set_sub_temporary_name_recursive(
VALUE mod,
VALUE data,
int recursive)
185 if (recursive)
return Qfalse;
190 name = build_const_path(rb_ary_last(0, 0, args->names), args->last);
192 set_sub_temporary_name_foreach(mod, args, name);
197set_sub_temporary_name_topmost(
VALUE mod,
VALUE data,
int recursive)
199 if (recursive)
return Qfalse;
202 VALUE name = args->names;
206 set_sub_temporary_name_foreach(mod, args, name);
210static enum rb_id_table_iterator_result
211set_sub_temporary_name_i(
ID id,
VALUE val,
void *data)
214 if (rb_namespace_p(val) && !RCLASS_PERMANENT_CLASSPATH_P(val)) {
220 return ID_TABLE_CONTINUE;
226 RCLASS_WRITE_CLASSPATH(mod, name, FALSE);
230 rb_id_table_foreach(tbl, set_sub_temporary_name_i, args);
235 rb_id_table_foreach(tbl, set_sub_temporary_name_i, args);
236 rb_ary_set_len(args->names, names_len);
297rb_mod_set_temporary_name(
VALUE mod,
VALUE name)
300 if (RCLASS_PERMANENT_CLASSPATH_P(mod)) {
307 set_sub_temporary_name(mod, 0);
314 if (RSTRING_LEN(name) == 0) {
315 rb_raise(rb_eArgError,
"empty class/module name");
318 if (is_constant_path(name)) {
319 rb_raise(rb_eArgError,
"the temporary name must not be a constant path to avoid confusion");
326 set_sub_temporary_name(mod, name);
339 path = rb_sprintf(
"#<Class:%p>", (
void*)obj);
342 path = rb_sprintf(
"#<Module:%p>", (
void*)obj);
345 path = rb_sprintf(
"#<%"PRIsVALUE
":%p>", klass, (
void*)obj);
355rb_tmp_class_path(
VALUE klass,
bool *permanent, fallback_func fallback)
357 VALUE path = classname(klass, permanent);
369 path = rb_tmp_class_path(
RBASIC(klass)->klass, &perm, fallback);
374 return fallback(klass, path);
381 VALUE path = rb_tmp_class_path(klass, &permanent, make_temporary_path);
399rb_search_class_path(
VALUE klass)
402 return rb_tmp_class_path(klass, &permanent, no_fallback);
411 return rb_fstring(path);
415build_const_path(
VALUE head,
ID tail)
417 return build_const_pathname(head, rb_id2str(tail));
423 bool permanent =
true;
426 if (under == rb_cObject) {
430 str = rb_tmp_class_path(under, &permanent, make_temporary_path);
431 str = build_const_pathname(str, name);
434 RCLASS_SET_CLASSPATH(klass, str, permanent);
449 const char *pbeg, *pend, *p, *path = RSTRING_PTR(pathname);
451 VALUE c = rb_cObject;
453 if (!rb_enc_asciicompat(enc)) {
454 rb_raise(rb_eArgError,
"invalid class path encoding (non ASCII)");
457 pend = path + RSTRING_LEN(pathname);
458 if (path == pend || path[0] ==
'#') {
459 rb_raise(rb_eArgError,
"can't retrieve anonymous class %"PRIsVALUE,
463 while (p < pend && *p !=
':') p++;
465 if (p < pend && p[0] ==
':') {
466 if ((
size_t)(pend - p) < 2 || p[1] !=
':')
goto undefined_class;
471 goto undefined_class;
473 c = rb_const_search(c,
id, TRUE, FALSE, FALSE);
474 if (UNDEF_P(c))
goto undefined_class;
475 if (!rb_namespace_p(c)) {
476 rb_raise(
rb_eTypeError,
"%"PRIsVALUE
" does not refer to class/module",
485 rb_raise(rb_eArgError,
"undefined class/module % "PRIsVALUE,
506 VALUE path = rb_tmp_class_path(
rb_class_real(klass), &permanent, make_temporary_path);
507 if (
NIL_P(path))
return NULL;
508 return RSTRING_PTR(path);
531 rb_gvar_compact_t *compactor;
533 bool namespace_ready;
556static enum rb_id_table_iterator_result
557free_global_entry_i(
VALUE val,
void *arg)
560 entry->var->counter--;
561 if (entry->var->counter == 0) {
562 free_global_variable(entry->var);
565 return ID_TABLE_DELETE;
569rb_free_rb_global_tbl(
void)
571 rb_id_table_foreach_values(rb_global_tbl, free_global_entry_i, 0);
572 rb_id_table_free(rb_global_tbl);
576rb_free_generic_fields_tbl_(
void)
578 st_free_table(generic_fields_tbl_);
582rb_find_global_entry(
ID id)
588 if (!rb_id_table_lookup(rb_global_tbl,
id, &data)) {
597 if (UNLIKELY(!rb_ractor_main_p()) && (!entry || !entry->ractor_local)) {
598 rb_raise(rb_eRactorIsolationError,
"can not access global variable %s from non-main Ractor", rb_id2name(
id));
605rb_gvar_ractor_local(
const char *name)
608 entry->ractor_local =
true;
612rb_gvar_namespace_ready(
const char *name)
615 entry->var->namespace_ready =
true;
619rb_gvar_undef_compactor(
void *var)
628 entry = rb_find_global_entry(
id);
635 entry->ractor_local =
false;
641 var->compactor = rb_gvar_undef_compactor;
643 var->block_trace = 0;
645 var->namespace_ready =
false;
646 rb_id_table_insert(rb_global_tbl,
id, (
VALUE)entry);
655 rb_warning(
"global variable '%"PRIsVALUE
"' not initialized", QUOTE_ID(
id));
661rb_gvar_val_compactor(
void *_var)
668 VALUE new = rb_gc_location(obj);
670 var->data = (
void*)
new;
682 var->compactor = rb_gvar_val_compactor;
684 var->data = (
void*)val;
702 var->data = (
void*)val;
709 if (data) rb_gc_mark_movable(data);
715 if (!var)
return Qnil;
728 if (var) rb_gc_mark_maybe(*var);
734 rb_name_error(
id,
"%"PRIsVALUE
" is a read-only variable", QUOTE_ID(
id));
737static enum rb_id_table_iterator_result
738mark_global_entry(
VALUE v,
void *ignored)
744 (*var->marker)(var->data);
747 if (trace->data) rb_gc_mark_maybe(trace->data);
750 return ID_TABLE_CONTINUE;
753#define gc_mark_table(task) \
754 if (rb_global_tbl) { rb_id_table_foreach_values(rb_global_tbl, task##_global_entry, 0); }
757rb_gc_mark_global_tbl(
void)
762static enum rb_id_table_iterator_result
763update_global_entry(
VALUE v,
void *ignored)
768 (*var->compactor)(var);
769 return ID_TABLE_CONTINUE;
773rb_gc_update_global_tbl(
void)
775 gc_mark_table(update);
779global_id(
const char *name)
783 if (name[0] ==
'$')
id = rb_intern(name);
785 size_t len = strlen(name);
789 memcpy(buf+1, name,
len);
790 id = rb_intern2(buf,
len+1);
797find_global_id(
const char *name)
800 size_t len = strlen(name);
802 if (name[0] ==
'$') {
809 memcpy(buf+1, name,
len);
825 ID id = global_id(name);
828 gvar->data = (
void*)var;
880 trace->next = entry->var->trace;
881 trace->func = rb_trace_eval;
884 entry->var->trace = trace;
898 while (trace->next) {
901 trace->next = next->next;
924 if ((entry = rb_find_global_entry(
id)) == NULL) {
925 rb_name_error(
id,
"undefined global variable %"PRIsVALUE
"", QUOTE_ID(
id));
928 trace = entry->var->trace;
939 if (!entry->var->block_trace) remove_trace(entry->var);
944 if (trace->data == cmd) {
946 if (!entry->var->block_trace) remove_trace(entry->var);
967 (*trace->func)(trace->data, data->val);
978 var->block_trace = 0;
989 (*var->setter)(val, entry->id, var->data);
991 if (var->trace && !var->block_trace) {
992 var->block_trace = 1;
993 trace.trace = var->trace;
1000#define USE_NAMESPACE_GVAR_TBL(ns,entry) \
1001 (NAMESPACE_OPTIONAL_P(ns) && \
1002 (!entry || !entry->var->namespace_ready || entry->var->setter != rb_gvar_readonly_setter))
1014 if (USE_NAMESPACE_GVAR_TBL(ns, entry)) {
1015 rb_hash_aset(ns->gvar_tbl,
rb_id2sym(entry->id), val);
1020 retval = rb_gvar_set_entry(entry, val);
1029 return rb_gvar_set(global_id(name), val);
1035 VALUE retval, gvars, key;
1042 if (USE_NAMESPACE_GVAR_TBL(ns, entry)) {
1043 gvars = ns->gvar_tbl;
1045 if (
RTEST(rb_hash_has_key(gvars, key))) {
1046 retval = rb_hash_aref(gvars, key);
1049 retval = (*var->getter)(entry->id, var->data);
1051 retval =
rb_funcall(retval, rb_intern(
"clone"), 0);
1053 rb_hash_aset(gvars, key, retval);
1057 retval = (*var->getter)(entry->id, var->data);
1066 ID id = find_global_id(name);
1069 rb_warning(
"global variable '%s' not initialized", name);
1073 return rb_gvar_get(
id);
1077rb_gvar_defined(
ID id)
1084rb_gvar_getter_function_of(
ID id)
1087 return entry->var->getter;
1091rb_gvar_setter_function_of(
ID id)
1094 return entry->var->setter;
1097static enum rb_id_table_iterator_result
1098gvar_i(
ID key,
VALUE val,
void *a)
1102 return ID_TABLE_CONTINUE;
1111 if (!rb_ractor_main_p()) {
1112 rb_raise(rb_eRactorIsolationError,
"can not access global variables from non-main Ractors");
1116 rb_id_table_foreach(rb_global_tbl, gvar_i, (
void *)ary);
1117 if (!
NIL_P(backref)) {
1119 int i, nmatch = rb_match_count(backref);
1121 for (i = 1; i <= nmatch; ++i) {
1125 buf[1] = (char)(i +
'0');
1126 sym =
ID2SYM(rb_intern2(buf, 2));
1145 if (!rb_ractor_main_p()) {
1146 rb_raise(rb_eRactorIsolationError,
"can not access global variables from non-main Ractors");
1151 if (!rb_id_table_lookup(gtbl, name1, &data1)) {
1154 rb_id_table_insert(gtbl, name1, (
VALUE)entry1);
1156 else if ((entry1 = (
struct rb_global_entry *)data1)->var != entry2->var) {
1158 if (var->block_trace) {
1162 if (var->counter == 0) {
1163 free_global_variable(var);
1167 entry2->var->counter++;
1168 entry1->var = entry2->var;
1174IVAR_ACCESSOR_SHOULD_BE_MAIN_RACTOR(
ID id)
1176 if (UNLIKELY(!rb_ractor_main_p())) {
1178 rb_raise(rb_eRactorIsolationError,
"can not set instance variables of classes/modules by non-main Ractors");
1183#define CVAR_ACCESSOR_SHOULD_BE_MAIN_RACTOR() \
1184 if (UNLIKELY(!rb_ractor_main_p())) { \
1185 rb_raise(rb_eRactorIsolationError, "can not access class variables from non-main Ractors"); \
1189generic_fields_tbl(
VALUE obj,
ID id,
bool force_check_ractor)
1191 ASSERT_vm_locking();
1195 UNLIKELY(!rb_ractor_main_p()) &&
1198 rb_raise(rb_eRactorIsolationError,
"can not access instance variables of shareable objects from non-main Ractors");
1200 return generic_fields_tbl_;
1204generic_fields_tbl_no_ractor_check(
VALUE obj)
1206 return generic_fields_tbl(obj, 0,
false);
1210rb_generic_fields_tbl_get(
void)
1212 return generic_fields_tbl_;
1216generic_fields_lookup(
VALUE obj,
ID id,
bool force_check_ractor)
1220 st_table *generic_tbl = generic_fields_tbl(obj,
id,
false);
1221 st_lookup(generic_tbl, obj, (st_data_t *)&fields_obj);
1227generic_fields_insert(
VALUE obj,
VALUE fields_obj)
1229 RUBY_ASSERT(IMEMO_TYPE_P(fields_obj, imemo_fields));
1232 st_table *generic_tbl = generic_fields_tbl_no_ractor_check(obj);
1233 st_insert(generic_tbl, obj, fields_obj);
1239rb_gen_fields_tbl_get(
VALUE obj,
ID id,
VALUE *fields_obj)
1247 if (st_lookup(generic_fields_tbl(obj,
id,
false), (st_data_t)obj, &data)) {
1248 *fields_obj = (
VALUE)data;
1257rb_ivar_generic_fields_tbl_lookup(
VALUE obj,
VALUE *fields_obj)
1259 return rb_gen_fields_tbl_get(obj, 0, fields_obj);
1263rb_mark_generic_ivar(
VALUE obj)
1266 if (st_lookup(generic_fields_tbl_no_ractor_check(obj), (st_data_t)obj, (st_data_t *)&data)) {
1267 rb_gc_mark_movable(data);
1274 if (rb_obj_exivar_p(obj)) {
1275 st_data_t key = (st_data_t)obj, value;
1278 st_delete(generic_fields_tbl_no_ractor_check(obj), &key, &value);
1284rb_obj_field_get(
VALUE obj, shape_id_t target_shape_id)
1287 RUBY_ASSERT(RSHAPE_TYPE_P(target_shape_id, SHAPE_IVAR) || RSHAPE_TYPE_P(target_shape_id, SHAPE_OBJ_ID));
1290 ASSERT_vm_locking();
1291 VALUE field_obj = RCLASS_WRITABLE_FIELDS_OBJ(obj);
1293 return rb_obj_field_get(field_obj, target_shape_id);
1298 if (rb_shape_too_complex_p(target_shape_id)) {
1303 rb_bug(
"Unreachable");
1306 fields_hash = ROBJECT_FIELDS_HASH(obj);
1310 fields_hash = rb_imemo_fields_complex_tbl(obj);
1314 VALUE fields_obj = 0;
1315 rb_ivar_generic_fields_tbl_lookup(obj, &fields_obj);
1317 fields_hash = rb_imemo_fields_complex_tbl(fields_obj);
1321 st_lookup(fields_hash, RSHAPE_EDGE_NAME(target_shape_id), &value);
1324 if (UNDEF_P(value)) {
1325 rb_bug(
"Object's shape includes object_id, but it's missing %s", rb_obj_info(obj));
1333 attr_index_t attr_index = RSHAPE_INDEX(target_shape_id);
1338 rb_bug(
"Unreachable");
1345 fields = rb_imemo_fields_ptr(obj);
1349 VALUE fields_obj = 0;
1350 rb_ivar_generic_fields_tbl_lookup(obj, &fields_obj);
1352 fields = rb_imemo_fields_ptr(fields_obj);
1355 return fields[attr_index];
1363 shape_id_t shape_id;
1371 VALUE fields_obj = RCLASS_WRITABLE_FIELDS_OBJ(obj);
1373 val = rb_ivar_lookup(fields_obj,
id, undef);
1378 UNLIKELY(!rb_ractor_main_p()) &&
1380 rb_raise(rb_eRactorIsolationError,
1381 "can not get unshareable values from instance variables of classes/modules from non-main Ractors");
1389 shape_id = RBASIC_SHAPE_ID(obj);
1391 if (rb_shape_too_complex_p(shape_id)) {
1392 st_table *iv_table = rb_imemo_fields_complex_tbl(obj);
1394 if (rb_st_lookup(iv_table, (st_data_t)
id, (st_data_t *)&val)) {
1403 ivar_list = rb_imemo_fields_ptr(obj);
1408 shape_id = RBASIC_SHAPE_ID(obj);
1409 if (rb_shape_too_complex_p(shape_id)) {
1410 st_table *iv_table = ROBJECT_FIELDS_HASH(obj);
1412 if (rb_st_lookup(iv_table, (st_data_t)
id, (st_data_t *)&val)) {
1425 shape_id = RBASIC_SHAPE_ID(obj);
1426 if (rb_obj_exivar_p(obj)) {
1427 VALUE fields_obj = 0;
1428 rb_gen_fields_tbl_get(obj,
id, &fields_obj);
1432 if (rb_shape_obj_too_complex_p(fields_obj)) {
1434 if (rb_st_lookup(rb_imemo_fields_complex_tbl(fields_obj), (st_data_t)
id, (st_data_t *)&val)) {
1441 ivar_list = rb_imemo_fields_ptr(fields_obj);
1449 attr_index_t index = 0;
1450 if (rb_shape_get_iv_index(shape_id,
id, &index)) {
1451 return ivar_list[index];
1460 VALUE iv = rb_ivar_lookup(obj,
id,
Qnil);
1461 RB_DEBUG_COUNTER_INC(ivar_get_base);
1468 return rb_ivar_lookup(obj,
id,
Qnil);
1474 rb_check_frozen(obj);
1478 IVAR_ACCESSOR_SHOULD_BE_MAIN_RACTOR(
id);
1480 VALUE fields_obj = RCLASS_WRITABLE_FIELDS_OBJ(obj);
1482 if (rb_multi_ractor_p()) {
1483 fields_obj = rb_imemo_fields_clone(fields_obj);
1484 val = rb_ivar_delete(fields_obj,
id, undef);
1485 RCLASS_WRITABLE_SET_FIELDS_OBJ(obj, fields_obj);
1488 val = rb_ivar_delete(fields_obj,
id, undef);
1494 shape_id_t old_shape_id = rb_obj_shape_id(obj);
1495 if (rb_shape_too_complex_p(old_shape_id)) {
1499 shape_id_t removed_shape_id = 0;
1500 shape_id_t next_shape_id = rb_shape_transition_remove_ivar(obj,
id, &removed_shape_id);
1502 if (next_shape_id == old_shape_id) {
1506 if (UNLIKELY(rb_shape_too_complex_p(next_shape_id))) {
1507 rb_evict_fields_to_hash(obj);
1511 RUBY_ASSERT(RSHAPE_LEN(next_shape_id) == RSHAPE_LEN(old_shape_id) - 1);
1517 rb_bug(
"Unreachable");
1521 fields = rb_imemo_fields_ptr(obj);
1528 rb_gen_fields_tbl_get(obj,
id, &fields_obj);
1529 fields = rb_imemo_fields_ptr(fields_obj);
1534 RUBY_ASSERT(removed_shape_id != INVALID_SHAPE_ID);
1536 attr_index_t removed_index = RSHAPE_INDEX(removed_shape_id);
1537 val = fields[removed_index];
1539 attr_index_t new_fields_count = RSHAPE_LEN(next_shape_id);
1540 if (new_fields_count) {
1541 size_t trailing_fields = new_fields_count - removed_index;
1543 MEMMOVE(&fields[removed_index], &fields[removed_index + 1],
VALUE, trailing_fields);
1559 rb_obj_set_shape_id(obj, next_shape_id);
1569 rb_bug(
"Unreachable");
1574 table = rb_imemo_fields_complex_tbl(obj);
1578 table = ROBJECT_FIELDS_HASH(obj);
1583 if (rb_gen_fields_tbl_get(obj, 0, &fields_obj)) {
1584 table = rb_imemo_fields_complex_tbl(fields_obj);
1591 if (!st_delete(table, (st_data_t *)&
id, (st_data_t *)&val)) {
1601rb_attr_delete(
VALUE obj,
ID id)
1603 return rb_ivar_delete(obj,
id,
Qnil);
1606static inline void generic_update_fields_obj(
VALUE obj,
VALUE fields_obj,
const VALUE original_fields_obj);
1612 return obj_transition_too_complex(RCLASS_WRITABLE_ENSURE_FIELDS_OBJ(obj), table);
1616 shape_id_t shape_id = rb_shape_transition_complex(obj);
1621 VALUE *old_fields = NULL;
1622 if (!(
RBASIC(obj)->flags & ROBJECT_EMBED)) {
1625 RBASIC_SET_SHAPE_ID(obj, shape_id);
1626 ROBJECT_SET_FIELDS_HASH(obj, table);
1634 rb_bug(
"Unreachable");
1639 RBASIC_SET_SHAPE_ID(fields_obj, shape_id);
1642 const VALUE original_fields_obj = generic_fields_lookup(obj, 0,
false);
1643 generic_update_fields_obj(obj, fields_obj, original_fields_obj);
1645 RBASIC_SET_SHAPE_ID(obj, shape_id);
1657 RUBY_ASSERT(rb_shape_canonical_p(RBASIC_SHAPE_ID(obj)));
1658 RUBY_ASSERT(RSHAPE_LEN(RBASIC_SHAPE_ID(obj)) == 0);
1660 obj_transition_too_complex(obj, table);
1664imemo_fields_complex_from_obj_i(
ID key,
VALUE val, st_data_t arg)
1667 st_table *table = rb_imemo_fields_complex_tbl(fields);
1669 RUBY_ASSERT(!st_lookup(table, (st_data_t)key, NULL));
1670 st_add_direct(table, (st_data_t)key, (st_data_t)val);
1677imemo_fields_complex_from_obj(
VALUE klass,
VALUE source_fields_obj, shape_id_t shape_id)
1679 attr_index_t
len = source_fields_obj ? RSHAPE_LEN(RBASIC_SHAPE_ID(source_fields_obj)) : 0;
1680 VALUE fields_obj = rb_imemo_fields_new_complex(klass,
len + 1);
1682 rb_field_foreach(source_fields_obj, imemo_fields_complex_from_obj_i, (st_data_t)fields_obj,
false);
1683 RBASIC_SET_SHAPE_ID(fields_obj, shape_id);
1689imemo_fields_copy_capa(
VALUE klass,
VALUE source_fields_obj, attr_index_t new_size)
1691 VALUE fields_obj = rb_imemo_fields_new(klass, new_size);
1692 if (source_fields_obj) {
1693 attr_index_t fields_count = RSHAPE_LEN(RBASIC_SHAPE_ID(source_fields_obj));
1694 VALUE *fields = rb_imemo_fields_ptr(fields_obj);
1695 MEMCPY(fields, rb_imemo_fields_ptr(source_fields_obj),
VALUE, fields_count);
1696 RBASIC_SET_SHAPE_ID(fields_obj, RBASIC_SHAPE_ID(source_fields_obj));
1697 for (attr_index_t i = 0; i < fields_count; i++) {
1704void rb_obj_copy_fields_to_hash_table(
VALUE obj,
st_table *table);
1708rb_evict_fields_to_hash(
VALUE obj)
1712 st_table *table = st_init_numtable_with_size(RSHAPE_LEN(RBASIC_SHAPE_ID(obj)));
1713 rb_obj_copy_fields_to_hash_table(obj, table);
1714 shape_id_t new_shape_id = obj_transition_too_complex(obj, table);
1717 return new_shape_id;
1721rb_evict_ivars_to_hash(
VALUE obj)
1728 rb_obj_copy_ivs_to_hash_table(obj, table);
1729 obj_transition_too_complex(obj, table);
1740general_ivar_set(
VALUE obj,
ID id,
VALUE val, void *data,
1742 void (*shape_resize_fields_func)(
VALUE, attr_index_t, attr_index_t,
void *),
1743 void (*set_shape_id_func)(
VALUE, shape_id_t,
void *),
1744 shape_id_t (*transition_too_complex_func)(
VALUE,
void *),
1752 shape_id_t current_shape_id = RBASIC_SHAPE_ID(obj);
1754 if (UNLIKELY(rb_shape_too_complex_p(current_shape_id))) {
1759 if (!rb_shape_get_iv_index(current_shape_id,
id, &index)) {
1760 result.existing =
false;
1762 index = RSHAPE_LEN(current_shape_id);
1763 if (index >= SHAPE_MAX_FIELDS) {
1764 rb_raise(rb_eArgError,
"too many instance variables");
1767 shape_id_t next_shape_id = rb_shape_transition_add_ivar(obj,
id);
1768 if (UNLIKELY(rb_shape_too_complex_p(next_shape_id))) {
1769 current_shape_id = transition_too_complex_func(obj, data);
1772 else if (UNLIKELY(RSHAPE_CAPACITY(next_shape_id) != RSHAPE_CAPACITY(current_shape_id))) {
1773 RUBY_ASSERT(RSHAPE_CAPACITY(next_shape_id) > RSHAPE_CAPACITY(current_shape_id));
1774 shape_resize_fields_func(obj, RSHAPE_CAPACITY(current_shape_id), RSHAPE_CAPACITY(next_shape_id), data);
1777 RUBY_ASSERT(RSHAPE_TYPE_P(next_shape_id, SHAPE_IVAR));
1778 RUBY_ASSERT(index == (RSHAPE_INDEX(next_shape_id)));
1779 set_shape_id_func(obj, next_shape_id, data);
1782 VALUE *table = shape_fields_func(obj, data);
1785 result.index = index;
1792 st_table *table = too_complex_table_func(obj, data);
1793 result.existing = st_insert(table, (st_data_t)
id, (st_data_t)val);
1801general_field_set(
VALUE obj, shape_id_t target_shape_id,
VALUE val,
void *data,
1803 void (*shape_resize_fields_func)(
VALUE, attr_index_t, attr_index_t,
void *),
1804 void (*set_shape_id_func)(
VALUE, shape_id_t,
void *),
1805 shape_id_t (*transition_too_complex_func)(
VALUE,
void *),
1808 shape_id_t current_shape_id = RBASIC_SHAPE_ID(obj);
1810 if (UNLIKELY(rb_shape_too_complex_p(target_shape_id))) {
1811 if (UNLIKELY(!rb_shape_too_complex_p(current_shape_id))) {
1812 current_shape_id = transition_too_complex_func(obj, data);
1815 st_table *table = too_complex_table_func(obj, data);
1817 if (RSHAPE_LEN(target_shape_id) > RSHAPE_LEN(current_shape_id)) {
1818 RBASIC_SET_SHAPE_ID(obj, target_shape_id);
1822 st_insert(table, (st_data_t)RSHAPE_EDGE_NAME(target_shape_id), (st_data_t)val);
1826 attr_index_t index = RSHAPE_INDEX(target_shape_id);
1827 if (index >= RSHAPE_CAPACITY(current_shape_id)) {
1828 shape_resize_fields_func(obj, RSHAPE_CAPACITY(current_shape_id), RSHAPE_CAPACITY(target_shape_id), data);
1831 if (RSHAPE_LEN(target_shape_id) > RSHAPE_LEN(current_shape_id)) {
1832 set_shape_id_func(obj, target_shape_id, data);
1835 VALUE *table = shape_fields_func(obj, data);
1841generic_update_fields_obj(
VALUE obj,
VALUE fields_obj,
const VALUE original_fields_obj)
1843 if (fields_obj != original_fields_obj) {
1844 if (original_fields_obj) {
1846 rb_imemo_fields_clear(original_fields_obj);
1849 generic_fields_insert(obj, fields_obj);
1854imemo_fields_set(
VALUE klass,
VALUE fields_obj, shape_id_t target_shape_id,
ID field_name,
VALUE val,
bool concurrent)
1856 const VALUE original_fields_obj = fields_obj;
1857 shape_id_t current_shape_id = fields_obj ? RBASIC_SHAPE_ID(fields_obj) : ROOT_SHAPE_ID;
1859 if (UNLIKELY(rb_shape_too_complex_p(target_shape_id))) {
1860 if (rb_shape_too_complex_p(current_shape_id)) {
1865 fields_obj = rb_imemo_fields_clone(fields_obj);
1869 fields_obj = imemo_fields_complex_from_obj(klass, original_fields_obj, target_shape_id);
1870 current_shape_id = target_shape_id;
1873 st_table *table = rb_imemo_fields_complex_tbl(fields_obj);
1876 st_insert(table, (st_data_t)field_name, (st_data_t)val);
1878 RBASIC_SET_SHAPE_ID(fields_obj, target_shape_id);
1881 attr_index_t index = RSHAPE_INDEX(target_shape_id);
1882 if (concurrent || index >= RSHAPE_CAPACITY(current_shape_id)) {
1883 fields_obj = imemo_fields_copy_capa(klass, original_fields_obj, RSHAPE_CAPACITY(target_shape_id));
1886 VALUE *table = rb_imemo_fields_ptr(fields_obj);
1889 if (RSHAPE_LEN(target_shape_id) > RSHAPE_LEN(current_shape_id)) {
1890 RBASIC_SET_SHAPE_ID(fields_obj, target_shape_id);
1898generic_field_set(
VALUE obj, shape_id_t target_shape_id,
ID field_name,
VALUE val)
1901 field_name = RSHAPE_EDGE_NAME(target_shape_id);
1905 const VALUE original_fields_obj = generic_fields_lookup(obj, field_name,
false);
1906 VALUE fields_obj = imemo_fields_set(
rb_obj_class(obj), original_fields_obj, target_shape_id, field_name, val,
false);
1908 generic_update_fields_obj(obj, fields_obj, original_fields_obj);
1910 if (RBASIC_SHAPE_ID(fields_obj) == target_shape_id) {
1911 RBASIC_SET_SHAPE_ID(obj, target_shape_id);
1914 RUBY_ASSERT(RBASIC_SHAPE_ID(obj) == RBASIC_SHAPE_ID(fields_obj));
1918generic_shape_ivar(
VALUE obj,
ID id,
bool *new_ivar_out)
1920 bool new_ivar =
false;
1921 shape_id_t current_shape_id = RBASIC_SHAPE_ID(obj);
1922 shape_id_t target_shape_id = current_shape_id;
1924 if (!rb_shape_too_complex_p(current_shape_id)) {
1925 if (!rb_shape_find_ivar(current_shape_id,
id, &target_shape_id)) {
1926 if (RSHAPE_LEN(current_shape_id) >= SHAPE_MAX_FIELDS) {
1927 rb_raise(rb_eArgError,
"too many instance variables");
1931 target_shape_id = rb_shape_transition_add_ivar(obj,
id);
1935 *new_ivar_out = new_ivar;
1936 return target_shape_id;
1943 shape_id_t target_shape_id = generic_shape_ivar(obj,
id, &dontcare);
1944 generic_field_set(obj, target_shape_id,
id, val);
1948rb_ensure_iv_list_size(
VALUE obj, uint32_t current_len, uint32_t new_capacity)
1952 if (
RBASIC(obj)->flags & ROBJECT_EMBED) {
1957 ROBJECT(obj)->as.heap.fields = newptr;
1965rb_obj_copy_ivs_to_hash_table_i(
ID key,
VALUE val, st_data_t arg)
1969 st_add_direct((
st_table *)arg, (st_data_t)key, (st_data_t)val);
1976 rb_ivar_foreach(obj, rb_obj_copy_ivs_to_hash_table_i, (st_data_t)table);
1982 rb_field_foreach(obj, rb_obj_copy_ivs_to_hash_table_i, (st_data_t)table,
false);
1986obj_ivar_set_shape_fields(
VALUE obj,
void *_data)
1994obj_ivar_set_shape_resize_fields(
VALUE obj, attr_index_t old_capa, attr_index_t new_capa,
void *_data)
1996 rb_ensure_iv_list_size(obj, old_capa, new_capa);
2000obj_ivar_set_set_shape_id(
VALUE obj, shape_id_t shape_id,
void *_data)
2002 rb_obj_set_shape_id(obj, shape_id);
2006obj_ivar_set_transition_too_complex(
VALUE obj,
void *_data)
2008 return rb_evict_fields_to_hash(obj);
2012obj_ivar_set_too_complex_table(
VALUE obj,
void *_data)
2016 return ROBJECT_FIELDS_HASH(obj);
2022 return general_ivar_set(obj,
id, val, NULL,
2023 obj_ivar_set_shape_fields,
2024 obj_ivar_set_shape_resize_fields,
2025 obj_ivar_set_set_shape_id,
2026 obj_ivar_set_transition_too_complex,
2027 obj_ivar_set_too_complex_table).index;
2031obj_field_set(
VALUE obj, shape_id_t target_shape_id,
VALUE val)
2033 general_field_set(obj, target_shape_id, val, NULL,
2034 obj_ivar_set_shape_fields,
2035 obj_ivar_set_shape_resize_fields,
2036 obj_ivar_set_set_shape_id,
2037 obj_ivar_set_transition_too_complex,
2038 obj_ivar_set_too_complex_table);
2048 rb_check_frozen(obj);
2049 rb_obj_ivar_set(obj,
id, val);
2054rb_obj_set_shape_id(
VALUE obj, shape_id_t shape_id)
2056 shape_id_t old_shape_id = rb_obj_shape_id(obj);
2057 if (old_shape_id == shape_id) {
2061 RB_SET_SHAPE_ID(obj, shape_id);
2073 RB_SET_SHAPE_ID(x, rb_shape_transition_frozen(x));
2084 RB_DEBUG_COUNTER_INC(ivar_set_base);
2089 rb_obj_ivar_set(obj,
id, val);
2094 IVAR_ACCESSOR_SHOULD_BE_MAIN_RACTOR(
id);
2095 rb_class_ivar_set(obj,
id, val);
2099 generic_ivar_set(obj,
id, val);
2107 rb_check_frozen(obj);
2108 ivar_set(obj,
id, val);
2118 ivar_set(obj,
id, val);
2122rb_obj_field_set(
VALUE obj, shape_id_t target_shape_id,
ID field_name,
VALUE val)
2126 obj_field_set(obj, target_shape_id, val);
2131 rb_bug(
"Unreachable");
2134 generic_field_set(obj, target_shape_id, field_name, val);
2140ivar_defined0(
VALUE obj,
ID id)
2144 if (rb_shape_obj_too_complex_p(obj)) {
2150 rb_bug(
"Unreachable");
2155 table = rb_imemo_fields_complex_tbl(obj);
2159 table = ROBJECT_FIELDS_HASH(obj);
2164 if (rb_gen_fields_tbl_get(obj, 0, &fields_obj)) {
2165 table = rb_imemo_fields_complex_tbl(fields_obj);
2170 if (!table || !rb_st_lookup(table,
id, &idx)) {
2177 return RBOOL(rb_shape_get_iv_index(RBASIC_SHAPE_ID(obj),
id, &index));
2191 VALUE fields_obj = RCLASS_WRITABLE_FIELDS_OBJ(obj);
2193 defined = ivar_defined0(fields_obj,
id);
2198 defined = ivar_defined0(obj,
id);
2206 struct gen_fields_tbl *fields_tbl;
2208 rb_ivar_foreach_callback_func *func;
2214iterate_over_shapes_callback(shape_id_t shape_id,
void *data)
2218 if (itr_data->ivar_only && !RSHAPE_TYPE_P(shape_id, SHAPE_IVAR)) {
2225 RUBY_ASSERT(!rb_shape_obj_too_complex_p(itr_data->obj));
2229 RUBY_ASSERT(IMEMO_TYPE_P(itr_data->obj, imemo_fields));
2230 RUBY_ASSERT(!rb_shape_obj_too_complex_p(itr_data->obj));
2232 fields = rb_imemo_fields_ptr(itr_data->obj);
2235 rb_bug(
"Unreachable");
2238 VALUE val = fields[RSHAPE_INDEX(shape_id)];
2239 return itr_data->func(RSHAPE_EDGE_NAME(shape_id), val, itr_data->arg);
2246iterate_over_shapes(shape_id_t shape_id, rb_ivar_foreach_callback_func *callback,
struct iv_itr_data *itr_data)
2248 rb_shape_foreach_field(shape_id, iterate_over_shapes_callback, itr_data);
2252each_hash_iv(st_data_t
id, st_data_t val, st_data_t data)
2255 rb_ivar_foreach_callback_func *callback = itr_data->func;
2256 return callback((
ID)
id, (
VALUE)val, itr_data->arg);
2260obj_fields_each(
VALUE obj, rb_ivar_foreach_callback_func *func, st_data_t arg,
bool ivar_only)
2266 .ivar_only = ivar_only,
2269 shape_id_t shape_id = RBASIC_SHAPE_ID(obj);
2270 if (rb_shape_too_complex_p(shape_id)) {
2271 rb_st_foreach(ROBJECT_FIELDS_HASH(obj), each_hash_iv, (st_data_t)&itr_data);
2275 iterate_over_shapes(shape_id, func, &itr_data);
2280imemo_fields_each(
VALUE fields_obj, rb_ivar_foreach_callback_func *func, st_data_t arg,
bool ivar_only)
2282 IMEMO_TYPE_P(fields_obj, imemo_fields);
2288 .ivar_only = ivar_only,
2291 shape_id_t shape_id = RBASIC_SHAPE_ID(fields_obj);
2292 if (rb_shape_too_complex_p(shape_id)) {
2293 rb_st_foreach(rb_imemo_fields_complex_tbl(fields_obj), each_hash_iv, (st_data_t)&itr_data);
2296 itr_data.fields = rb_imemo_fields_ptr(fields_obj);
2297 iterate_over_shapes(shape_id, func, &itr_data);
2305 VALUE new_fields_obj;
2307 rb_check_frozen(dest);
2309 if (!rb_obj_exivar_p(obj)) {
2313 shape_id_t src_shape_id = rb_obj_shape_id(obj);
2315 if (rb_gen_fields_tbl_get(obj, 0, &fields_obj)) {
2321 if (rb_shape_too_complex_p(src_shape_id)) {
2322 rb_shape_copy_complex_ivars(dest, obj, src_shape_id, rb_imemo_fields_complex_tbl(fields_obj));
2326 shape_id_t dest_shape_id = src_shape_id;
2327 shape_id_t initial_shape_id = rb_obj_shape_id(dest);
2329 if (!rb_shape_canonical_p(src_shape_id)) {
2330 RUBY_ASSERT(RSHAPE_TYPE_P(initial_shape_id, SHAPE_ROOT));
2332 dest_shape_id = rb_shape_rebuild(initial_shape_id, src_shape_id);
2333 if (UNLIKELY(rb_shape_too_complex_p(dest_shape_id))) {
2334 st_table *table = rb_st_init_numtable_with_size(src_num_ivs);
2335 rb_obj_copy_ivs_to_hash_table(obj, table);
2336 rb_obj_init_too_complex(dest, table);
2341 if (!RSHAPE_LEN(dest_shape_id)) {
2342 rb_obj_set_shape_id(dest, dest_shape_id);
2346 new_fields_obj = rb_imemo_fields_new(
rb_obj_class(dest), RSHAPE_CAPACITY(dest_shape_id));
2347 VALUE *src_buf = rb_imemo_fields_ptr(fields_obj);
2348 VALUE *dest_buf = rb_imemo_fields_ptr(new_fields_obj);
2349 rb_shape_copy_fields(new_fields_obj, dest_buf, dest_shape_id, src_buf, src_shape_id);
2350 RBASIC_SET_SHAPE_ID(new_fields_obj, dest_shape_id);
2353 generic_fields_tbl_no_ractor_check(dest);
2354 st_insert(generic_fields_tbl_no_ractor_check(obj), (st_data_t)dest, (st_data_t)new_fields_obj);
2358 RBASIC_SET_SHAPE_ID(dest, dest_shape_id);
2367rb_replace_generic_ivar(
VALUE clone,
VALUE obj)
2370 st_data_t fields_tbl, obj_data = (st_data_t)obj;
2371 if (st_delete(generic_fields_tbl_, &obj_data, &fields_tbl)) {
2372 st_insert(generic_fields_tbl_, (st_data_t)clone, fields_tbl);
2376 rb_bug(
"unreachable");
2382rb_field_foreach(
VALUE obj, rb_ivar_foreach_callback_func *func, st_data_t arg,
bool ivar_only)
2387 if (IMEMO_TYPE_P(obj, imemo_fields)) {
2388 imemo_fields_each(obj, func, arg, ivar_only);
2392 obj_fields_each(obj, func, arg, ivar_only);
2397 IVAR_ACCESSOR_SHOULD_BE_MAIN_RACTOR(0);
2398 VALUE fields_obj = RCLASS_WRITABLE_FIELDS_OBJ(obj);
2400 imemo_fields_each(fields_obj, func, arg, ivar_only);
2405 if (rb_obj_exivar_p(obj)) {
2406 VALUE fields_obj = 0;
2407 if (!rb_gen_fields_tbl_get(obj, 0, &fields_obj))
return;
2409 imemo_fields_each(fields_obj, func, arg, ivar_only);
2418 rb_field_foreach(obj, func, arg,
true);
2426 st_index_t iv_count = 0;
2429 iv_count = ROBJECT_FIELDS_COUNT(obj);
2435 VALUE fields_obj = RCLASS_WRITABLE_FIELDS_OBJ(obj);
2439 if (rb_shape_obj_too_complex_p(fields_obj)) {
2440 iv_count = rb_st_table_size(rb_imemo_fields_complex_tbl(fields_obj));
2443 iv_count = RBASIC_FIELDS_COUNT(fields_obj);
2451 if (rb_shape_obj_too_complex_p(obj)) {
2452 iv_count = rb_st_table_size(rb_imemo_fields_complex_tbl(obj));
2455 iv_count = RBASIC_FIELDS_COUNT(obj);
2460 if (rb_obj_exivar_p(obj)) {
2462 if (rb_shape_obj_too_complex_p(obj)) {
2465 if (rb_gen_fields_tbl_get(obj, 0, &fields_obj)) {
2466 iv_count = rb_st_table_size(rb_imemo_fields_complex_tbl(fields_obj));
2470 iv_count = RBASIC_FIELDS_COUNT(obj);
2476 if (rb_shape_obj_has_id(obj)) {
2484ivar_i(
ID key,
VALUE v, st_data_t a)
2521#define rb_is_constant_id rb_is_const_id
2522#define rb_is_constant_name rb_is_const_name
2523#define id_for_var(obj, name, part, type) \
2524 id_for_var_message(obj, name, type, "'%1$s' is not allowed as "#part" "#type" variable name")
2525#define id_for_var_message(obj, name, type, message) \
2526 check_id_type(obj, &(name), rb_is_##type##_id, rb_is_##type##_name, message, strlen(message))
2529 int (*valid_id_p)(
ID),
int (*valid_name_p)(
VALUE),
2530 const char *message,
size_t message_len)
2533 VALUE name = *pname;
2535 if (
id ? !valid_id_p(
id) : !valid_name_p(name)) {
2536 rb_name_err_raise_str(rb_fstring_new(message, message_len),
2568 const ID id = id_for_var(obj, name, an, instance);
2572 rb_check_frozen(obj);
2577 if (!UNDEF_P(val))
return val;
2580 rb_name_err_raise(
"instance variable %1$s not defined",
2585NORETURN(
static void uninitialized_constant(
VALUE,
VALUE));
2587uninitialized_constant(
VALUE klass,
VALUE name)
2590 rb_name_err_raise(
"uninitialized constant %2$s::%1$s",
2593 rb_name_err_raise(
"uninitialized constant %1$s",
2600 VALUE value = rb_funcallv(klass, idConst_missing, 1, &name);
2601 rb_vm_inc_const_missing_count();
2650 VALUE ref = ec->private_const_reference;
2651 rb_vm_pop_cfunc_frame();
2653 ec->private_const_reference = 0;
2654 rb_name_err_raise(
"private constant %2$s::%1$s referenced", ref, name);
2656 uninitialized_constant(klass, name);
2662autoload_table_mark(
void *ptr)
2664 rb_mark_tbl_no_pin((
st_table *)ptr);
2668autoload_table_free(
void *ptr)
2674autoload_table_memsize(
const void *ptr)
2677 return st_memsize(tbl);
2681autoload_table_compact(
void *ptr)
2683 rb_gc_ref_update_table_values_only((
st_table *)ptr);
2688 {autoload_table_mark, autoload_table_free, autoload_table_memsize, autoload_table_compact,},
2689 0, 0, RUBY_TYPED_FREE_IMMEDIATELY | RUBY_TYPED_WB_PROTECTED
2692#define check_autoload_table(av) \
2693 (struct st_table *)rb_check_typeddata((av), &autoload_table_type)
2704 if (RICLASS_IS_ORIGIN_P(mod)) {
2708 mod =
RBASIC(mod)->klass;
2716 VALUE tbl_value = rb_ivar_lookup(mod, autoload,
Qfalse);
2717 if (!
RTEST(tbl_value) || !(tbl = check_autoload_table(tbl_value)) || !st_lookup(tbl, (st_data_t)
id, &val)) {
2727 struct ccan_list_node cnode;
2730 VALUE autoload_data_value;
2746 rb_const_flag_t flag;
2762 rb_serial_t fork_gen;
2765 struct ccan_list_head constants;
2769autoload_data_compact(
void *ptr)
2773 p->feature = rb_gc_location(p->feature);
2774 p->mutex = rb_gc_location(p->mutex);
2778autoload_data_mark(
void *ptr)
2782 rb_gc_mark_movable(p->feature);
2783 rb_gc_mark_movable(p->mutex);
2787autoload_data_free(
void *ptr)
2792 ccan_list_for_each_safe(&p->constants,
autoload_const, next, cnode) {
2800autoload_data_memsize(
const void *ptr)
2807 {autoload_data_mark, autoload_data_free, autoload_data_memsize, autoload_data_compact},
2808 0, 0, RUBY_TYPED_FREE_IMMEDIATELY | RUBY_TYPED_WB_PROTECTED
2812autoload_const_compact(
void *ptr)
2816 ac->module = rb_gc_location(ac->module);
2817 ac->autoload_data_value = rb_gc_location(ac->autoload_data_value);
2818 ac->value = rb_gc_location(ac->value);
2819 ac->file = rb_gc_location(ac->file);
2820 ac->namespace = rb_gc_location(ac->namespace);
2824autoload_const_mark(
void *ptr)
2828 rb_gc_mark_movable(ac->module);
2829 rb_gc_mark_movable(ac->autoload_data_value);
2830 rb_gc_mark_movable(ac->value);
2831 rb_gc_mark_movable(ac->file);
2832 rb_gc_mark_movable(ac->namespace);
2836autoload_const_memsize(
const void *ptr)
2842autoload_const_free(
void *ptr)
2852 {autoload_const_mark, autoload_const_free, autoload_const_memsize, autoload_const_compact,},
2853 0, 0, RUBY_TYPED_FREE_IMMEDIATELY
2857get_autoload_data(
VALUE autoload_const_value,
struct autoload_const **autoload_const_pointer)
2870 if (autoload_const_pointer) *autoload_const_pointer =
autoload_const;
2876 VALUE dst_tbl_value;
2882autoload_copy_table_for_namespace_i(st_data_t key, st_data_t value, st_data_t arg)
2886 struct st_table *tbl = data->dst_tbl;
2887 VALUE tbl_value = data->dst_tbl_value;
2893 VALUE autoload_data_value = src_const->autoload_data_value;
2905 st_insert(tbl, (st_data_t)
autoload_const->name, (st_data_t)new_value);
2914 struct st_table *src_tbl, *dst_tbl;
2915 VALUE src_tbl_value, dst_tbl_value;
2916 if (!rb_st_lookup(iv_ptr, (st_data_t)autoload, (st_data_t *)&src_tbl_value)) {
2920 if (!
RTEST(src_tbl_value) || !(src_tbl = check_autoload_table(src_tbl_value))) {
2924 src_tbl = check_autoload_table(src_tbl_value);
2930 .dst_tbl_value = dst_tbl_value,
2935 st_foreach(src_tbl, autoload_copy_table_for_namespace_i, (st_data_t)&data);
2936 st_insert(iv_ptr, (st_data_t)autoload, (st_data_t)dst_tbl_value);
2940rb_autoload(
VALUE module,
ID name,
const char *feature)
2942 if (!feature || !*feature) {
2943 rb_raise(rb_eArgError,
"empty feature name");
2946 rb_autoload_str(module, name, rb_fstring_cstr(feature));
2950static void const_added(
VALUE klass,
ID const_name);
2960autoload_feature_lookup_or_create(
VALUE feature,
struct autoload_data **autoload_data_pointer)
2962 RUBY_ASSERT_MUTEX_OWNED(autoload_mutex);
2963 RUBY_ASSERT_CRITICAL_SECTION_ENTER();
2965 VALUE autoload_data_value = rb_hash_aref(autoload_features, feature);
2968 if (
NIL_P(autoload_data_value)) {
2974 if (autoload_data_pointer) *autoload_data_pointer =
autoload_data;
2976 rb_hash_aset(autoload_features, feature, autoload_data_value);
2978 else if (autoload_data_pointer) {
2979 *autoload_data_pointer =
rb_check_typeddata(autoload_data_value, &autoload_data_type);
2982 RUBY_ASSERT_CRITICAL_SECTION_LEAVE();
2983 return autoload_data_value;
2987autoload_table_lookup_or_create(
VALUE module)
2989 VALUE autoload_table_value = rb_ivar_lookup(module, autoload,
Qfalse);
2990 if (
RTEST(autoload_table_value)) {
2991 return autoload_table_value;
2995 rb_class_ivar_set(module, autoload, autoload_table_value);
2997 return autoload_table_value;
3002autoload_synchronized(
VALUE _arguments)
3006 rb_const_entry_t *constant_entry = rb_const_lookup(arguments->module, arguments->name);
3007 if (constant_entry && !UNDEF_P(constant_entry->value)) {
3012 const_set(arguments->module, arguments->name,
Qundef);
3014 VALUE autoload_table_value = autoload_table_lookup_or_create(arguments->module);
3015 struct st_table *autoload_table = check_autoload_table(autoload_table_value);
3018 VALUE feature = rb_fstring(arguments->feature);
3021 VALUE autoload_data_value = autoload_feature_lookup_or_create(feature, &
autoload_data);
3033 st_insert(autoload_table, (st_data_t)arguments->name, (st_data_t)autoload_const_value);
3047 rb_raise(
rb_eNameError,
"autoload must be constant name: %"PRIsVALUE
"", QUOTE_ID(name));
3051 if (!RSTRING_LEN(feature)) {
3052 rb_raise(rb_eArgError,
"empty feature name");
3059 .namespace = current_namespace,
3064 if (result ==
Qtrue) {
3065 const_added(module, name);
3070autoload_delete(
VALUE module,
ID name)
3072 RUBY_ASSERT_CRITICAL_SECTION_ENTER();
3074 st_data_t load = 0, key = name;
3078 VALUE table_value = rb_ivar_lookup(module, autoload,
Qfalse);
3079 if (
RTEST(table_value)) {
3080 struct st_table *table = check_autoload_table(table_value);
3082 st_delete(table, &key, &load);
3105 if (table->num_entries == 0) {
3106 rb_attr_delete(module, autoload);
3111 RUBY_ASSERT_CRITICAL_SECTION_LEAVE();
3117 return ele->mutex !=
Qnil && !rb_mutex_owned_p(ele->mutex);
3121check_autoload_required(
VALUE mod,
ID id,
const char **loadingpath)
3125 const char *loading;
3127 if (!autoload_const_value || !(
autoload_data = get_autoload_data(autoload_const_value, 0))) {
3140 return autoload_const_value;
3143 loading = RSTRING_PTR(feature);
3146 return autoload_const_value;
3149 if (loadingpath && loading) {
3150 *loadingpath = loading;
3151 return autoload_const_value;
3160rb_autoloading_value(
VALUE mod,
ID id,
VALUE* value, rb_const_flag_t *flag)
3163 if (!ac)
return FALSE;
3179 return ele->mutex !=
Qnil && rb_mutex_owned_p(ele->mutex);
3186autoloading_const_entry(
VALUE mod,
ID id)
3193 if (!load || !(ele = get_autoload_data(load, &ac))) {
3199 if (autoload_by_current(ele)) {
3200 if (!UNDEF_P(ac->value)) {
3209autoload_defined_p(
VALUE mod,
ID id)
3214 if (!ce || !UNDEF_P(ce->value)) {
3220 return !rb_autoloading_value(mod,
id, NULL, NULL);
3242 check_before_mod_set(ac->module, ac->name, ac->value,
"constant");
3245 const_tbl_update(ac,
true);
3252autoload_load_needed(
VALUE _arguments)
3256 const char *loading = 0, *src;
3258 if (!autoload_defined_p(arguments->module, arguments->name)) {
3262 VALUE autoload_const_value = check_autoload_required(arguments->module, arguments->name, &loading);
3263 if (!autoload_const_value) {
3268 if (src && loading && strcmp(src, loading) == 0) {
3289 return autoload_const_value;
3293autoload_apply_constants(
VALUE _arguments)
3295 RUBY_ASSERT_CRITICAL_SECTION_ENTER();
3307 ccan_list_for_each_safe(&arguments->autoload_data->constants,
autoload_const, next, cnode) {
3313 RUBY_ASSERT_CRITICAL_SECTION_LEAVE();
3325autoload_feature_require_in_builtin(
VALUE arg)
3329 VALUE result =
rb_funcall(data->receiver, rb_intern(
"require"), 1, data->feature);
3330 if (
RTEST(result)) {
3337autoload_feature_require_ensure_in_builtin(
VALUE _arg)
3343 rb_gccct_clear_table(
Qnil);
3344 rb_namespace_disable_builtin();
3349autoload_feature_require_in_builtin_wrap(
VALUE arg)
3351 return rb_ensure(autoload_feature_require_in_builtin, arg,
3352 autoload_feature_require_ensure_in_builtin,
Qnil);
3356autoload_feature_require(
VALUE _arguments)
3358 VALUE receiver = rb_vm_top_self();
3368 if (
NIL_P(autoload_namespace)) {
3369 rb_namespace_enable_builtin();
3376 rb_gccct_clear_table(
Qnil);
3378 .arguments = arguments,
3379 .receiver = receiver,
3380 .feature = arguments->autoload_data->feature,
3382 return rb_namespace_exec(rb_builtin_namespace(), autoload_feature_require_in_builtin_wrap, (
VALUE)&data);
3385 if (
RTEST(autoload_namespace) && NAMESPACE_OPTIONAL_P(rb_get_namespace_t(autoload_namespace))) {
3386 receiver = autoload_namespace;
3389 VALUE result =
rb_funcall(receiver, rb_intern(
"require"), 1, arguments->autoload_data->feature);
3391 if (
RTEST(result)) {
3398autoload_try_load(
VALUE _arguments)
3402 VALUE result = autoload_feature_require(_arguments);
3405 rb_const_entry_t *ce = rb_const_lookup(arguments->module, arguments->name);
3407 if (!ce || UNDEF_P(ce->value)) {
3412 if (arguments->module == rb_cObject) {
3414 "Expected %"PRIsVALUE
" to define %"PRIsVALUE
" but it didn't",
3415 arguments->autoload_data->feature,
3421 "Expected %"PRIsVALUE
" to define %"PRIsVALUE
"::%"PRIsVALUE
" but it didn't",
3422 arguments->autoload_data->feature,
3430 ce->flag |= arguments->flag;
3442 if (!ce || !UNDEF_P(ce->value)) {
3447 if (UNLIKELY(!rb_ractor_main_p())) {
3448 return rb_ractor_autoload_load(module, name);
3458 if (autoload_const_value ==
Qfalse)
return autoload_const_value;
3460 arguments.flag = ce->flag & (CONST_DEPRECATED | CONST_VISIBILITY_MASK);
3477 return rb_autoload_at_p(mod,
id, TRUE);
3481rb_autoload_at_p(
VALUE mod,
ID id,
int recur)
3486 while (!autoload_defined_p(mod,
id)) {
3487 if (!recur)
return Qnil;
3489 if (!mod)
return Qnil;
3491 load = check_autoload_required(mod,
id, 0);
3492 if (!load)
return Qnil;
3493 return (ele = get_autoload_data(load, 0)) ? ele->feature :
Qnil;
3499 if (RB_CONST_DEPRECATED_P(ce) &&
3501 if (klass == rb_cObject) {
3512rb_const_get_0(
VALUE klass,
ID id,
int exclude,
int recurse,
int visibility)
3514 VALUE c = rb_const_search(klass,
id, exclude, recurse, visibility);
3516 if (UNLIKELY(!rb_ractor_main_p())) {
3518 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));
3523 return rb_const_missing(klass,
ID2SYM(
id));
3527rb_const_search_from(
VALUE klass,
ID id,
int exclude,
int recurse,
int visibility)
3529 VALUE value, current;
3530 bool first_iteration =
true;
3532 for (current = klass;
3534 current =
RCLASS_SUPER(current), first_iteration =
false) {
3539 if (!first_iteration && RCLASS_ORIGIN(current) != current) {
3552 while ((ce = rb_const_lookup(tmp,
id))) {
3553 if (visibility && RB_CONST_PRIVATE_P(ce)) {
3554 GET_EC()->private_const_reference = tmp;
3557 rb_const_warn_if_deprecated(ce, tmp,
id);
3559 if (UNDEF_P(value)) {
3561 if (am == tmp)
break;
3563 ac = autoloading_const_entry(tmp,
id);
3564 if (ac)
return ac->value;
3568 if (exclude && tmp == rb_cObject) {
3573 if (!recurse)
break;
3577 GET_EC()->private_const_reference = 0;
3582rb_const_search(
VALUE klass,
ID id,
int exclude,
int recurse,
int visibility)
3586 if (klass == rb_cObject) exclude = FALSE;
3587 value = rb_const_search_from(klass,
id, exclude, recurse, visibility);
3588 if (!UNDEF_P(value))
return value;
3589 if (exclude)
return value;
3592 return rb_const_search_from(rb_cObject,
id, FALSE, recurse, visibility);
3598 return rb_const_get_0(klass,
id, TRUE, TRUE, FALSE);
3604 return rb_const_get_0(klass,
id, FALSE, TRUE, FALSE);
3610 return rb_const_get_0(klass,
id, TRUE, FALSE, FALSE);
3614rb_public_const_get_from(
VALUE klass,
ID id)
3616 return rb_const_get_0(klass,
id, TRUE, TRUE, TRUE);
3620rb_public_const_get_at(
VALUE klass,
ID id)
3622 return rb_const_get_0(klass,
id, TRUE, FALSE, TRUE);
3625NORETURN(
static void undefined_constant(
VALUE mod,
VALUE name));
3629 rb_name_err_raise(
"constant %2$s::%1$s not defined",
3634rb_const_location_from(
VALUE klass,
ID id,
int exclude,
int recurse,
int visibility)
3636 while (
RTEST(klass)) {
3639 while ((ce = rb_const_lookup(klass,
id))) {
3640 if (visibility && RB_CONST_PRIVATE_P(ce)) {
3643 if (exclude && klass == rb_cObject) {
3647 if (UNDEF_P(ce->value)) {
3649 if (
RTEST(autoload_const_value)) {
3662 if (!recurse)
break;
3671rb_const_location(
VALUE klass,
ID id,
int exclude,
int recurse,
int visibility)
3675 if (klass == rb_cObject) exclude = FALSE;
3676 loc = rb_const_location_from(klass,
id, exclude, recurse, visibility);
3677 if (!
NIL_P(loc))
return loc;
3678 if (exclude)
return loc;
3681 return rb_const_location_from(rb_cObject,
id, FALSE, recurse, visibility);
3685rb_const_source_location(
VALUE klass,
ID id)
3687 return rb_const_location(klass,
id, FALSE, TRUE, FALSE);
3691rb_const_source_location_at(
VALUE klass,
ID id)
3693 return rb_const_location(klass,
id, TRUE, FALSE, FALSE);
3709 const ID id = id_for_var(mod, name, a, constant);
3712 undefined_constant(mod, name);
3725 rb_check_frozen(mod);
3727 ce = rb_const_lookup(mod,
id);
3728 if (!ce || !rb_id_table_delete(RCLASS_WRITABLE_CONST_TBL(mod),
id)) {
3730 rb_name_err_raise(
"cannot remove %2$s::%1$s", mod,
ID2SYM(
id));
3733 undefined_constant(mod,
ID2SYM(
id));
3736 rb_const_warn_if_deprecated(ce, mod,
id);
3742 autoload_delete(mod,
id);
3746 if (ce != const_lookup(RCLASS_PRIME_CONST_TBL(mod),
id)) {
3755cv_i_update(st_data_t *k, st_data_t *v, st_data_t a,
int existing)
3757 if (existing)
return ST_STOP;
3762static enum rb_id_table_iterator_result
3769 st_update(tbl, (st_data_t)key, cv_i_update, (st_data_t)ce);
3771 return ID_TABLE_CONTINUE;
3774static enum rb_id_table_iterator_result
3775rb_local_constants_i(
ID const_name,
VALUE const_value,
void *ary)
3780 return ID_TABLE_CONTINUE;
3784rb_local_constants(
VALUE mod)
3793 rb_id_table_foreach(tbl, rb_local_constants_i, (
void *)ary);
3804 tbl = st_init_numtable();
3806 if (RCLASS_CONST_TBL(mod)) {
3808 rb_id_table_foreach(RCLASS_CONST_TBL(mod), sv_i, tbl);
3822 if (tmp == rb_cObject && mod != rb_cObject)
break;
3828list_i(st_data_t key, st_data_t value,
VALUE ary)
3871 bool inherit =
true;
3879 return rb_local_constants(mod);
3884rb_const_defined_0(
VALUE klass,
ID id,
int exclude,
int recurse,
int visibility)
3893 if ((ce = rb_const_lookup(tmp,
id))) {
3894 if (visibility && RB_CONST_PRIVATE_P(ce)) {
3897 if (UNDEF_P(ce->value) && !check_autoload_required(tmp,
id, 0) &&
3898 !rb_autoloading_value(tmp,
id, NULL, NULL))
3901 if (exclude && tmp == rb_cObject && klass != rb_cObject) {
3907 if (!recurse)
break;
3921 return rb_const_defined_0(klass,
id, TRUE, TRUE, FALSE);
3927 return rb_const_defined_0(klass,
id, FALSE, TRUE, FALSE);
3933 return rb_const_defined_0(klass,
id, TRUE, FALSE, FALSE);
3937rb_public_const_defined_from(
VALUE klass,
ID id)
3939 return rb_const_defined_0(klass,
id, TRUE, TRUE, TRUE);
3943check_before_mod_set(
VALUE klass,
ID id,
VALUE val,
const char *dest)
3945 rb_check_frozen(klass);
3948static void set_namespace_path(
VALUE named_namespace,
VALUE name);
3950static enum rb_id_table_iterator_result
3951set_namespace_path_i(
ID id,
VALUE v,
void *payload)
3954 VALUE value = ce->value;
3957 return ID_TABLE_CONTINUE;
3960 bool has_permanent_classpath;
3961 classname(value, &has_permanent_classpath);
3962 if (has_permanent_classpath) {
3963 return ID_TABLE_CONTINUE;
3965 set_namespace_path(value, build_const_path(parental_path,
id));
3967 if (!RCLASS_PERMANENT_CLASSPATH_P(value)) {
3968 RCLASS_WRITE_CLASSPATH(value, 0,
false);
3971 return ID_TABLE_CONTINUE;
3980set_namespace_path(
VALUE named_namespace,
VALUE namespace_path)
3982 struct rb_id_table *const_table = RCLASS_CONST_TBL(named_namespace);
3985 RCLASS_WRITE_CLASSPATH(named_namespace, namespace_path,
true);
3988 rb_id_table_foreach(const_table, set_namespace_path_i, &namespace_path);
3994const_added(
VALUE klass,
ID const_name)
3996 if (GET_VM()->running) {
3998 rb_funcallv(klass, idConst_added, 1, &name);
4008 rb_raise(
rb_eTypeError,
"no class/module to define constant %"PRIsVALUE
"",
4013 rb_raise(rb_eRactorIsolationError,
"can not set constants with non-shareable objects by non-main Ractors");
4016 check_before_mod_set(klass,
id, val,
"constant");
4019 struct rb_id_table *tbl = RCLASS_WRITABLE_CONST_TBL(klass);
4021 tbl = rb_id_table_create(0);
4022 RCLASS_WRITE_CONST_TBL(klass, tbl,
false);
4025 rb_id_table_insert(tbl,
id, (
VALUE)ce);
4026 setup_const_entry(ce, klass, val, CONST_PUBLIC);
4030 .module = klass, .name = id,
4031 .value = val, .flag = CONST_PUBLIC,
4034 ac.file = rb_source_location(&ac.line);
4035 const_tbl_update(&ac,
false);
4043 if (rb_cObject && rb_namespace_p(val)) {
4044 bool val_path_permanent;
4045 VALUE val_path = classname(val, &val_path_permanent);
4046 if (
NIL_P(val_path) || !val_path_permanent) {
4047 if (klass == rb_cObject) {
4048 set_namespace_path(val, rb_id2str(
id));
4051 bool parental_path_permanent;
4052 VALUE parental_path = classname(klass, &parental_path_permanent);
4053 if (
NIL_P(parental_path)) {
4055 parental_path = rb_tmp_class_path(klass, &throwaway, make_temporary_path);
4057 if (parental_path_permanent && !val_path_permanent) {
4058 set_namespace_path(val, build_const_path(parental_path,
id));
4060 else if (!parental_path_permanent &&
NIL_P(val_path)) {
4061 RCLASS_SET_CLASSPATH(val, build_const_path(parental_path,
id),
false);
4071 const_set(klass,
id, val);
4072 const_added(klass,
id);
4076autoload_data_for_named_constant(
VALUE module,
ID name,
struct autoload_const **autoload_const_pointer)
4079 if (!autoload_data_value)
return 0;
4096 VALUE klass = ac->module;
4097 VALUE val = ac->value;
4099 struct rb_id_table *tbl = RCLASS_CONST_TBL(klass);
4100 rb_const_flag_t visibility = ac->flag;
4103 if (rb_id_table_lookup(tbl,
id, &value)) {
4105 if (UNDEF_P(ce->value)) {
4106 RUBY_ASSERT_CRITICAL_SECTION_ENTER();
4107 VALUE file = ac->file;
4108 int line = ac->line;
4109 struct autoload_data *ele = autoload_data_for_named_constant(klass,
id, &ac);
4111 if (!autoload_force && ele) {
4115 ac->file = rb_source_location(&ac->line);
4119 autoload_delete(klass,
id);
4120 ce->flag = visibility;
4125 RUBY_ASSERT_CRITICAL_SECTION_LEAVE();
4129 VALUE name = QUOTE_ID(
id);
4130 visibility = ce->flag;
4131 if (klass == rb_cObject)
4132 rb_warn(
"already initialized constant %"PRIsVALUE
"", name);
4134 rb_warn(
"already initialized constant %"PRIsVALUE
"::%"PRIsVALUE
"",
4136 if (!
NIL_P(ce->file) && ce->line) {
4137 rb_compile_warn(RSTRING_PTR(ce->file), ce->line,
4138 "previous definition of %"PRIsVALUE
" was here", name);
4142 setup_const_entry(ce, klass, val, visibility);
4145 tbl = RCLASS_WRITABLE_CONST_TBL(klass);
4149 rb_id_table_insert(tbl,
id, (
VALUE)ce);
4150 setup_const_entry(ce, klass, val, visibility);
4156 rb_const_flag_t visibility)
4158 ce->flag = visibility;
4160 RB_OBJ_WRITE(klass, &ce->file, rb_source_location(&ce->line));
4166 ID id = rb_intern(name);
4169 rb_warn(
"rb_define_const: invalid name '%s' for constant", name);
4172 rb_vm_register_global_object(val);
4180 rb_define_const(rb_cObject, name, val);
4184set_const_visibility(
VALUE mod,
int argc,
const VALUE *argv,
4185 rb_const_flag_t flag, rb_const_flag_t mask)
4193 rb_warning(
"%"PRIsVALUE
" with no argument is just ignored",
4194 QUOTE_ID(rb_frame_callee()));
4198 for (i = 0; i < argc; i++) {
4200 VALUE val = argv[i];
4203 undefined_constant(mod, val);
4205 if ((ce = rb_const_lookup(mod,
id))) {
4208 if (UNDEF_P(ce->value)) {
4211 ele = autoload_data_for_named_constant(mod,
id, &ac);
4220 undefined_constant(mod,
ID2SYM(
id));
4230 long len = strlen(name);
4234 undefined_constant(mod, rb_fstring_new(name,
len));
4236 if (!(ce = rb_const_lookup(mod,
id))) {
4237 undefined_constant(mod,
ID2SYM(
id));
4239 ce->flag |= CONST_DEPRECATED;
4250rb_mod_private_constant(
int argc,
const VALUE *argv,
VALUE obj)
4252 set_const_visibility(obj, argc, argv, CONST_PRIVATE, CONST_VISIBILITY_MASK);
4264rb_mod_public_constant(
int argc,
const VALUE *argv,
VALUE obj)
4266 set_const_visibility(obj, argc, argv, CONST_PUBLIC, CONST_VISIBILITY_MASK);
4290rb_mod_deprecate_constant(
int argc,
const VALUE *argv,
VALUE obj)
4292 set_const_visibility(obj, argc, argv, CONST_DEPRECATED, CONST_DEPRECATED);
4297original_module(
VALUE c)
4305cvar_lookup_at(
VALUE klass,
ID id, st_data_t *v)
4308 if (RICLASS_IS_ORIGIN_P(klass)) {
4313 klass =
RBASIC(klass)->klass;
4318 if (UNDEF_P(n))
return 0;
4325cvar_front_klass(
VALUE klass)
4327 if (RCLASS_SINGLETON_P(klass)) {
4328 VALUE obj = RCLASS_ATTACHED_OBJECT(klass);
4329 if (rb_namespace_p(obj)) {
4339 if (front && target != front) {
4340 if (original_module(front) != original_module(target)) {
4342 "class variable % "PRIsVALUE
" of %"PRIsVALUE
" is overtaken by %"PRIsVALUE
"",
4347 rb_ivar_delete(front,
id,
Qundef);
4352#define CVAR_FOREACH_ANCESTORS(klass, v, r) \
4353 for (klass = cvar_front_klass(klass); klass; klass = RCLASS_SUPER(klass)) { \
4354 if (cvar_lookup_at(klass, id, (v))) { \
4359#define CVAR_LOOKUP(v,r) do {\
4360 CVAR_ACCESSOR_SHOULD_BE_MAIN_RACTOR(); \
4361 if (cvar_lookup_at(klass, id, (v))) {r;}\
4362 CVAR_FOREACH_ANCESTORS(klass, v, r);\
4380check_for_cvar_table(
VALUE subclass,
VALUE key)
4384 RB_DEBUG_COUNTER_INC(cvar_class_invalidate);
4385 ruby_vm_global_cvar_state++;
4389 rb_class_foreach_subclass(subclass, check_for_cvar_table, key);
4395 VALUE tmp, front = 0, target = 0;
4398 CVAR_LOOKUP(0, {
if (!front) front = klass; target = klass;});
4400 cvar_overtaken(front, target,
id);
4407 target =
RBASIC(target)->klass;
4409 check_before_mod_set(target,
id, val,
"class variable");
4411 bool new_cvar = rb_class_ivar_set(target,
id, val);
4413 struct rb_id_table *rb_cvc_tbl = RCLASS_WRITABLE_CVC_TBL(target);
4416 rb_cvc_tbl = rb_id_table_create(2);
4417 RCLASS_WRITE_CVC_TBL(target, rb_cvc_tbl);
4423 if (!rb_id_table_lookup(rb_cvc_tbl,
id, &ent_data)) {
4425 ent->class_value = target;
4426 ent->global_cvar_state = GET_GLOBAL_CVAR_STATE();
4428 rb_id_table_insert(rb_cvc_tbl,
id, (
VALUE)ent);
4429 RB_DEBUG_COUNTER_INC(cvar_inline_miss);
4432 ent = (
void *)ent_data;
4433 ent->global_cvar_state = GET_GLOBAL_CVAR_STATE();
4441 if (RCLASS_SUBCLASSES_FIRST(target)) {
4442 rb_class_foreach_subclass(target, check_for_cvar_table,
id);
4454 value = find_cvar(klass, front, &target,
id);
4456 rb_name_err_raise(
"uninitialized class variable %1$s in %2$s",
4459 cvar_overtaken(*front, target,
id);
4460 return (
VALUE)value;
4473 if (!klass)
return Qfalse;
4474 CVAR_LOOKUP(0,
return Qtrue);
4479cv_intern(
VALUE klass,
const char *name)
4481 ID id = rb_intern(name);
4483 rb_name_err_raise(
"wrong class variable name %1$s",
4492 ID id = cv_intern(klass, name);
4499 ID id = cv_intern(klass, name);
4510cv_i(
ID key,
VALUE v, st_data_t a)
4515 st_update(tbl, (st_data_t)key, cv_i_update, 0);
4521mod_cvar_at(
VALUE mod,
void *data)
4525 tbl = st_init_numtable();
4527 mod = original_module(mod);
4534mod_cvar_of(
VALUE mod,
void *data)
4537 if (RCLASS_SINGLETON_P(mod)) {
4538 if (rb_namespace_p(RCLASS_ATTACHED_OBJECT(mod))) {
4539 data = mod_cvar_at(tmp, data);
4540 tmp = cvar_front_klass(tmp);
4544 data = mod_cvar_at(tmp, data);
4552cv_list_i(st_data_t key, st_data_t value,
VALUE ary)
4560cvar_list(
void *data)
4596 bool inherit =
true;
4601 tbl = mod_cvar_of(mod, 0);
4604 tbl = mod_cvar_at(mod, 0);
4606 return cvar_list(tbl);
4631 const ID id = id_for_var_message(mod, name,
class,
"wrong class variable name %1$s");
4637 rb_check_frozen(mod);
4638 val = rb_ivar_delete(mod,
id,
Qundef);
4639 if (!UNDEF_P(val)) {
4643 rb_name_err_raise(
"cannot remove %1$s for %2$s", mod,
ID2SYM(
id));
4646 rb_name_err_raise(
"class variable %1$s not defined for %2$s",
4665 ID id = rb_intern(name);
4671class_fields_ivar_set(
VALUE klass,
VALUE fields_obj,
ID id,
VALUE val,
bool concurrent,
VALUE *new_fields_obj)
4673 bool existing =
true;
4674 const VALUE original_fields_obj = fields_obj;
4675 fields_obj = original_fields_obj ? original_fields_obj : rb_imemo_fields_new(
rb_singleton_class(klass), 1);
4677 shape_id_t current_shape_id = RBASIC_SHAPE_ID(fields_obj);
4678 shape_id_t next_shape_id = current_shape_id;
4680 if (UNLIKELY(rb_shape_too_complex_p(current_shape_id))) {
4685 if (!rb_shape_get_iv_index(current_shape_id,
id, &index)) {
4688 index = RSHAPE_LEN(current_shape_id);
4689 if (index >= SHAPE_MAX_FIELDS) {
4690 rb_raise(rb_eArgError,
"too many instance variables");
4693 next_shape_id = rb_shape_transition_add_ivar(fields_obj,
id);
4694 if (UNLIKELY(rb_shape_too_complex_p(next_shape_id))) {
4695 fields_obj = imemo_fields_complex_from_obj(
rb_singleton_class(klass), fields_obj, next_shape_id);
4699 attr_index_t next_capacity = RSHAPE_CAPACITY(next_shape_id);
4700 attr_index_t current_capacity = RSHAPE_CAPACITY(current_shape_id);
4702 if (next_capacity > current_capacity) {
4705 fields_obj = imemo_fields_copy_capa(
rb_singleton_class(klass), fields_obj, next_capacity);
4709 RUBY_ASSERT(index == (RSHAPE_LEN(next_shape_id) - 1));
4712 VALUE *fields = rb_imemo_fields_ptr(fields_obj);
4714 if (concurrent && original_fields_obj == fields_obj) {
4720 RB_OBJ_ATOMIC_WRITE(fields_obj, &fields[index], val);
4727 RBASIC_SET_SHAPE_ID(fields_obj, next_shape_id);
4730 *new_fields_obj = fields_obj;
4735 if (concurrent && fields_obj == original_fields_obj) {
4739 fields_obj = rb_imemo_fields_clone(fields_obj);
4742 st_table *table = rb_imemo_fields_complex_tbl(fields_obj);
4743 existing = st_insert(table, (st_data_t)
id, (st_data_t)val);
4746 if (fields_obj != original_fields_obj) {
4747 RBASIC_SET_SHAPE_ID(fields_obj, next_shape_id);
4751 *new_fields_obj = fields_obj;
4759 rb_check_frozen(obj);
4761 rb_class_ensure_writable(obj);
4763 const VALUE original_fields_obj = RCLASS_WRITABLE_FIELDS_OBJ(obj);
4764 VALUE new_fields_obj = 0;
4766 bool existing = class_fields_ivar_set(obj, original_fields_obj,
id, val, rb_multi_ractor_p(), &new_fields_obj);
4768 if (new_fields_obj != original_fields_obj) {
4769 RCLASS_WRITABLE_SET_FIELDS_OBJ(obj, new_fields_obj);
4776 RBASIC_SET_SHAPE_ID(obj, RBASIC_SHAPE_ID(new_fields_obj));
4786 RUBY_ASSERT(RSHAPE_TYPE_P(RBASIC_SHAPE_ID(dst), SHAPE_ROOT));
4788 VALUE fields_obj = RCLASS_WRITABLE_FIELDS_OBJ(src);
4790 RCLASS_WRITABLE_SET_FIELDS_OBJ(dst, rb_imemo_fields_clone(fields_obj));
4791 RBASIC_SET_SHAPE_ID(dst, RBASIC_SHAPE_ID(src));
4802 r = rb_id_table_lookup(tbl,
id, &val);
4811rb_const_lookup(
VALUE klass,
ID id)
4813 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 VALUE RB_FL_TEST_RAW(VALUE obj, VALUE flags)
This is an implementation detail of RB_FL_TEST().
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.
VALUE rb_singleton_class(VALUE obj)
Finds or creates the singleton class of the passed object.
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_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 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 OBJ_FREEZE
Old name of RB_OBJ_FREEZE.
#define UNREACHABLE_RETURN
Old name of RBIMPL_UNREACHABLE_RETURN.
#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 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 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.
#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 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.