Ruby 3.5.0dev (2025-05-21 revision 081a44f586b19e66be5a22d2f7d29b34de453efb)
gc.h
1#ifndef GC_GC_H
2#define GC_GC_H
12#include "ruby/ruby.h"
13
14#if USE_MODULAR_GC
15#include "ruby/thread_native.h"
16
17struct rb_gc_vm_context {
18 rb_nativethread_lock_t lock;
19
21};
22#endif
23
24typedef int (*vm_table_foreach_callback_func)(VALUE value, void *data);
25typedef int (*vm_table_update_callback_func)(VALUE *value, void *data);
26
27enum rb_gc_vm_weak_tables {
28 RB_GC_VM_CI_TABLE,
29 RB_GC_VM_OVERLOADED_CME_TABLE,
30 RB_GC_VM_GLOBAL_SYMBOLS_TABLE,
31 RB_GC_VM_ID2REF_TABLE,
32 RB_GC_VM_GENERIC_FIELDS_TABLE,
33 RB_GC_VM_FROZEN_STRINGS_TABLE,
34 RB_GC_VM_WEAK_TABLE_COUNT
35};
36
37RUBY_SYMBOL_EXPORT_BEGIN
38unsigned int rb_gc_vm_lock(void);
39void rb_gc_vm_unlock(unsigned int lev);
40unsigned int rb_gc_cr_lock(void);
41void rb_gc_cr_unlock(unsigned int lev);
42unsigned int rb_gc_vm_lock_no_barrier(void);
43void rb_gc_vm_unlock_no_barrier(unsigned int lev);
44void rb_gc_vm_barrier(void);
45size_t rb_gc_obj_optimal_size(VALUE obj);
46void rb_gc_mark_children(void *objspace, VALUE obj);
47void rb_gc_vm_weak_table_foreach(vm_table_foreach_callback_func callback, vm_table_update_callback_func update_callback, void *data, bool weak_only, enum rb_gc_vm_weak_tables table);
48void rb_gc_update_object_references(void *objspace, VALUE obj);
49void rb_gc_update_vm_references(void *objspace);
50void rb_gc_event_hook(VALUE obj, rb_event_flag_t event);
51void *rb_gc_get_objspace(void);
52size_t rb_size_mul_or_raise(size_t x, size_t y, VALUE exc);
53void rb_gc_run_obj_finalizer(VALUE objid, long count, VALUE (*callback)(long i, void *data), void *data);
54void rb_gc_set_pending_interrupt(void);
55void rb_gc_unset_pending_interrupt(void);
56void rb_gc_obj_free_vm_weak_references(VALUE obj);
57bool rb_gc_obj_free(void *objspace, VALUE obj);
58void rb_gc_save_machine_context(void);
59void rb_gc_mark_roots(void *objspace, const char **categoryp);
60void rb_gc_ractor_newobj_cache_foreach(void (*func)(void *cache, void *data), void *data);
61bool rb_gc_multi_ractor_p(void);
62void rb_objspace_reachable_objects_from_root(void (func)(const char *category, VALUE, void *), void *passing_data);
63void rb_objspace_reachable_objects_from(VALUE obj, void (func)(VALUE, void *), void *data);
64void rb_obj_info_dump(VALUE obj);
65const char *rb_obj_info(VALUE obj);
66bool rb_gc_shutdown_call_finalizer_p(VALUE obj);
67uint32_t rb_gc_get_shape(VALUE obj);
68void rb_gc_set_shape(VALUE obj, uint32_t shape_id);
69uint32_t rb_gc_rebuild_shape(VALUE obj, size_t heap_id);
70size_t rb_obj_memsize_of(VALUE obj);
71void rb_gc_prepare_heap_process_object(VALUE obj);
72bool ruby_free_at_exit_p(void);
73bool rb_memerror_reentered(void);
74bool rb_obj_id_p(VALUE);
75
76#if USE_MODULAR_GC
77bool rb_gc_event_hook_required_p(rb_event_flag_t event);
78void *rb_gc_get_ractor_newobj_cache(void);
79void rb_gc_initialize_vm_context(struct rb_gc_vm_context *context);
80void rb_gc_worker_thread_set_vm_context(struct rb_gc_vm_context *context);
81void rb_gc_worker_thread_unset_vm_context(struct rb_gc_vm_context *context);
82#endif
83RUBY_SYMBOL_EXPORT_END
84
85void rb_ractor_finish_marking(void);
86
87// -------------------Private section begin------------------------
88// Functions in this section are private to the default GC and gc.c
89
90#ifdef BUILDING_MODULAR_GC
92RBIMPL_WARNING_IGNORED(-Wunused-function)
93#endif
94
95/* RGENGC_CHECK_MODE
96 * 0: disable all assertions
97 * 1: enable assertions (to debug RGenGC)
98 * 2: enable internal consistency check at each GC (for debugging)
99 * 3: enable internal consistency check at each GC steps (for debugging)
100 * 4: enable liveness check
101 * 5: show all references
102 */
103#ifndef RGENGC_CHECK_MODE
104# define RGENGC_CHECK_MODE 0
105#endif
106
107#ifndef GC_ASSERT
108# define GC_ASSERT(expr) RUBY_ASSERT_MESG_WHEN(RGENGC_CHECK_MODE > 0, expr, #expr)
109#endif
110
111static int
112hash_foreach_replace_value(st_data_t key, st_data_t value, st_data_t argp, int error)
113{
114 if (rb_gc_location((VALUE)value) != (VALUE)value) {
115 return ST_REPLACE;
116 }
117 return ST_CONTINUE;
118}
119
120static int
121hash_replace_ref_value(st_data_t *key, st_data_t *value, st_data_t argp, int existing)
122{
123 *value = rb_gc_location((VALUE)*value);
124
125 return ST_CONTINUE;
126}
127
128static void
129gc_ref_update_table_values_only(st_table *tbl)
130{
131 if (!tbl || tbl->num_entries == 0) return;
132
133 if (st_foreach_with_replace(tbl, hash_foreach_replace_value, hash_replace_ref_value, 0)) {
134 rb_raise(rb_eRuntimeError, "hash modified during iteration");
135 }
136}
137
138static int
139gc_mark_tbl_no_pin_i(st_data_t key, st_data_t value, st_data_t data)
140{
141 rb_gc_mark_movable((VALUE)value);
142
143 return ST_CONTINUE;
144}
145
146static int
147hash_foreach_replace(st_data_t key, st_data_t value, st_data_t argp, int error)
148{
149 if (rb_gc_location((VALUE)key) != (VALUE)key) {
150 return ST_REPLACE;
151 }
152
153 if (rb_gc_location((VALUE)value) != (VALUE)value) {
154 return ST_REPLACE;
155 }
156
157 return ST_CONTINUE;
158}
159
160static int
161hash_replace_ref(st_data_t *key, st_data_t *value, st_data_t argp, int existing)
162{
163 if (rb_gc_location((VALUE)*key) != (VALUE)*key) {
164 *key = rb_gc_location((VALUE)*key);
165 }
166
167 if (rb_gc_location((VALUE)*value) != (VALUE)*value) {
168 *value = rb_gc_location((VALUE)*value);
169 }
170
171 return ST_CONTINUE;
172}
173
174static void
175gc_update_table_refs(st_table *tbl)
176{
177 if (!tbl || tbl->num_entries == 0) return;
178
179 if (st_foreach_with_replace(tbl, hash_foreach_replace, hash_replace_ref, 0)) {
180 rb_raise(rb_eRuntimeError, "hash modified during iteration");
181 }
182}
183
184static inline size_t
185xmalloc2_size(const size_t count, const size_t elsize)
186{
187 return rb_size_mul_or_raise(count, elsize, rb_eArgError);
188}
189
190static VALUE
191type_sym(size_t type)
192{
193 switch (type) {
194#define COUNT_TYPE(t) case (t): return ID2SYM(rb_intern(#t)); break;
195 COUNT_TYPE(T_NONE);
196 COUNT_TYPE(T_OBJECT);
197 COUNT_TYPE(T_CLASS);
198 COUNT_TYPE(T_MODULE);
199 COUNT_TYPE(T_FLOAT);
200 COUNT_TYPE(T_STRING);
201 COUNT_TYPE(T_REGEXP);
202 COUNT_TYPE(T_ARRAY);
203 COUNT_TYPE(T_HASH);
204 COUNT_TYPE(T_STRUCT);
205 COUNT_TYPE(T_BIGNUM);
206 COUNT_TYPE(T_FILE);
207 COUNT_TYPE(T_DATA);
208 COUNT_TYPE(T_MATCH);
209 COUNT_TYPE(T_COMPLEX);
210 COUNT_TYPE(T_RATIONAL);
211 COUNT_TYPE(T_NIL);
212 COUNT_TYPE(T_TRUE);
213 COUNT_TYPE(T_FALSE);
214 COUNT_TYPE(T_SYMBOL);
215 COUNT_TYPE(T_FIXNUM);
216 COUNT_TYPE(T_IMEMO);
217 COUNT_TYPE(T_UNDEF);
218 COUNT_TYPE(T_NODE);
219 COUNT_TYPE(T_ICLASS);
220 COUNT_TYPE(T_ZOMBIE);
221 COUNT_TYPE(T_MOVED);
222#undef COUNT_TYPE
223 default: return SIZET2NUM(type); break;
224 }
225}
226
227#ifdef BUILDING_MODULAR_GC
229#endif
230// -------------------Private section end------------------------
231
232#endif
uint32_t rb_event_flag_t
Represents event(s).
Definition event.h:108
#define T_COMPLEX
Old name of RUBY_T_COMPLEX.
Definition value_type.h:59
#define T_FILE
Old name of RUBY_T_FILE.
Definition value_type.h:62
#define T_STRING
Old name of RUBY_T_STRING.
Definition value_type.h:78
#define T_NIL
Old name of RUBY_T_NIL.
Definition value_type.h:72
#define T_FLOAT
Old name of RUBY_T_FLOAT.
Definition value_type.h:64
#define T_IMEMO
Old name of RUBY_T_IMEMO.
Definition value_type.h:67
#define T_BIGNUM
Old name of RUBY_T_BIGNUM.
Definition value_type.h:57
#define T_STRUCT
Old name of RUBY_T_STRUCT.
Definition value_type.h:79
#define T_FIXNUM
Old name of RUBY_T_FIXNUM.
Definition value_type.h:63
#define T_DATA
Old name of RUBY_T_DATA.
Definition value_type.h:60
#define T_NONE
Old name of RUBY_T_NONE.
Definition value_type.h:74
#define T_NODE
Old name of RUBY_T_NODE.
Definition value_type.h:73
#define SIZET2NUM
Old name of RB_SIZE2NUM.
Definition size_t.h:62
#define T_MODULE
Old name of RUBY_T_MODULE.
Definition value_type.h:70
#define T_TRUE
Old name of RUBY_T_TRUE.
Definition value_type.h:81
#define T_RATIONAL
Old name of RUBY_T_RATIONAL.
Definition value_type.h:76
#define T_ICLASS
Old name of RUBY_T_ICLASS.
Definition value_type.h:66
#define T_HASH
Old name of RUBY_T_HASH.
Definition value_type.h:65
#define T_FALSE
Old name of RUBY_T_FALSE.
Definition value_type.h:61
#define T_UNDEF
Old name of RUBY_T_UNDEF.
Definition value_type.h:82
#define T_ZOMBIE
Old name of RUBY_T_ZOMBIE.
Definition value_type.h:83
#define T_ARRAY
Old name of RUBY_T_ARRAY.
Definition value_type.h:56
#define T_OBJECT
Old name of RUBY_T_OBJECT.
Definition value_type.h:75
#define T_SYMBOL
Old name of RUBY_T_SYMBOL.
Definition value_type.h:80
#define T_MATCH
Old name of RUBY_T_MATCH.
Definition value_type.h:69
#define T_CLASS
Old name of RUBY_T_CLASS.
Definition value_type.h:58
#define T_MOVED
Old name of RUBY_T_MOVED.
Definition value_type.h:71
#define T_REGEXP
Old name of RUBY_T_REGEXP.
Definition value_type.h:77
VALUE rb_eRuntimeError
RuntimeError exception.
Definition error.c:1428
VALUE type(ANYARGS)
ANYARGS-ed function type.
Definition st.h:79
uintptr_t VALUE
Type that represents a Ruby object.
Definition value.h:40
#define RBIMPL_WARNING_IGNORED(flag)
Suppresses a warning.
#define RBIMPL_WARNING_PUSH()
Pushes compiler warning state.
#define RBIMPL_WARNING_POP()
Pops compiler warning state.