Ruby 4.1.0dev (2026-10-13 revision 55e03ec0cf25deea7c17d3e8f977c0a04af3a743)
gc.h
1#ifndef INTERNAL_GC_H /*-*-C-*-vi:se ft=c:*/
2#define INTERNAL_GC_H
11#include "ruby/internal/config.h"
12
13#include <stddef.h> /* for size_t */
14
15#include "internal/compilers.h" /* for __has_attribute */
16#include "ruby/ruby.h" /* for rb_event_flag_t */
17#include "ruby_atomic.h" /* for RUBY_ATOMIC_VALUE_SET */
18
20
21#ifndef USE_MODULAR_GC
22# define USE_MODULAR_GC 0
23#endif
24
25#if defined(__x86_64__) && !defined(_ILP32) && defined(__GNUC__)
26#define SET_MACHINE_STACK_END(p) __asm__ __volatile__ ("movq\t%%rsp, %0" : "=r" (*(p)))
27#elif defined(__i386) && defined(__GNUC__)
28#define SET_MACHINE_STACK_END(p) __asm__ __volatile__ ("movl\t%%esp, %0" : "=r" (*(p)))
29#elif (defined(__powerpc__) || defined(__powerpc64__)) && defined(__GNUC__) && !defined(_AIX)
30#define SET_MACHINE_STACK_END(p) __asm__ __volatile__ ("mr\t%0, %%r1" : "=r" (*(p)))
31#elif (defined(__powerpc__) || defined(__powerpc64__)) && defined(__GNUC__) && defined(_AIX)
32#define SET_MACHINE_STACK_END(p) __asm__ __volatile__ ("mr %0,1" : "=r" (*(p)))
33#elif defined(__aarch64__) && defined(__GNUC__)
34#define SET_MACHINE_STACK_END(p) __asm__ __volatile__ ("mov\t%0, sp" : "=r" (*(p)))
35#else
36NOINLINE(void rb_gc_set_stack_end(VALUE **stack_end_p));
37#define SET_MACHINE_STACK_END(p) rb_gc_set_stack_end(p)
38#define USE_CONSERVATIVE_STACK_END
39#endif
40
41/* for GC debug */
42
43#ifndef RUBY_MARK_FREE_DEBUG
44#define RUBY_MARK_FREE_DEBUG 0
45#endif
46
47#if RUBY_MARK_FREE_DEBUG
48extern int ruby_gc_debug_indent;
49
50static inline void
51rb_gc_debug_indent(void)
52{
53 ruby_debug_printf("%*s", ruby_gc_debug_indent, "");
54}
55
56static inline void
57rb_gc_debug_body(const char *mode, const char *msg, int st, void *ptr)
58{
59 if (st == 0) {
60 ruby_gc_debug_indent--;
61 }
62 rb_gc_debug_indent();
63 ruby_debug_printf("%s: %s %s (%p)\n", mode, st ? "->" : "<-", msg, ptr);
64
65 if (st) {
66 ruby_gc_debug_indent++;
67 }
68
69 fflush(stdout);
70}
71
72#define RUBY_MARK_ENTER(msg) rb_gc_debug_body("mark", (msg), 1, ptr)
73#define RUBY_MARK_LEAVE(msg) rb_gc_debug_body("mark", (msg), 0, ptr)
74#define RUBY_FREE_ENTER(msg) rb_gc_debug_body("free", (msg), 1, ptr)
75#define RUBY_FREE_LEAVE(msg) rb_gc_debug_body("free", (msg), 0, ptr)
76#define RUBY_GC_INFO rb_gc_debug_indent(), ruby_debug_printf
77
78#else
79#define RUBY_MARK_ENTER(msg)
80#define RUBY_MARK_LEAVE(msg)
81#define RUBY_FREE_ENTER(msg)
82#define RUBY_FREE_LEAVE(msg)
83#define RUBY_GC_INFO if(0)printf
84#endif
85
86#if STACK_GROW_DIRECTION > 0
87# define STACK_UPPER(x, a, b) (a)
88#elif STACK_GROW_DIRECTION < 0
89# define STACK_UPPER(x, a, b) (b)
90#else
91RUBY_EXTERN int ruby_stack_grow_direction;
92int ruby_get_stack_grow_direction(volatile VALUE *addr);
93# define stack_growup_p(x) ( \
94 (ruby_stack_grow_direction ? \
95 ruby_stack_grow_direction : \
96 ruby_get_stack_grow_direction(x)) > 0)
97# define STACK_UPPER(x, a, b) (stack_growup_p(x) ? (a) : (b))
98#endif
99
100/*
101 STACK_GROW_DIR_DETECTION is used with STACK_DIR_UPPER.
102
103 On most normal systems, stacks grow from high address to lower address. In
104 this case, STACK_DIR_UPPER(a, b) will return (b), but on exotic systems where
105 the stack grows UP (from low address to high address), it will return (a).
106*/
107
108#if STACK_GROW_DIRECTION
109#define STACK_GROW_DIR_DETECTION
110#define STACK_DIR_UPPER(a,b) STACK_UPPER(0, (a), (b))
111#else
112#define STACK_GROW_DIR_DETECTION VALUE stack_grow_dir_detection
113#define STACK_DIR_UPPER(a,b) STACK_UPPER(&stack_grow_dir_detection, (a), (b))
114#endif
115#define IS_STACK_DIR_UPPER() STACK_DIR_UPPER(1,0)
116
117const char *rb_obj_info(VALUE obj);
118const char *rb_raw_obj_info(char *const buff, const size_t buff_size, VALUE obj);
119
120struct rb_execution_context_struct; /* in vm_core.h */
121struct rb_objspace; /* in vm_core.h */
122struct rb_ractor_struct; /* in vm_core.h */
123
124#define EC_NEWOBJ_OF(var, T, c, f, s, ec) \
125 T *(var) = (T *)rb_ec_newobj_of((ec), (c), (f), s)
126#define NEWOBJ_OF(var, T, c, f, s) EC_NEWOBJ_OF(var, T, c, f, s, GET_EC())
127#define UNPROTECTED_NEWOBJ_OF(var, T, c, f, s) \
128 T *(var) = (T *)rb_newobj((GET_EC()), (c), (f), ROOT_SHAPE_ID | SHAPE_ID_LAYOUT_OTHER, false, s)
129
130#ifndef RB_GC_OBJECT_METADATA_ENTRY_DEFINED
131# define RB_GC_OBJECT_METADATA_ENTRY_DEFINED
133 ID name;
134 VALUE val;
135};
136#endif
137
138#ifndef USE_UNALIGNED_MEMBER_ACCESS
139# define UNALIGNED_MEMBER_ACCESS(expr) (expr)
140#elif ! USE_UNALIGNED_MEMBER_ACCESS
141# define UNALIGNED_MEMBER_ACCESS(expr) (expr)
142#elif ! (__has_warning("-Waddress-of-packed-member") || GCC_VERSION_SINCE(9, 0, 0))
143# define UNALIGNED_MEMBER_ACCESS(expr) (expr)
144#else
145# include "internal/warnings.h"
146# define UNALIGNED_MEMBER_ACCESS(expr) __extension__({ \
147 COMPILER_WARNING_PUSH; \
148 COMPILER_WARNING_IGNORED(-Waddress-of-packed-member); \
149 __typeof__(expr) unaligned_member_access_result = (expr); \
150 COMPILER_WARNING_POP; \
151 unaligned_member_access_result; \
152})
153
154# define UNALIGNED_MEMBER_PTR(ptr, mem) __extension__({ \
155 COMPILER_WARNING_PUSH; \
156 COMPILER_WARNING_IGNORED(-Waddress-of-packed-member); \
157 const volatile void *unaligned_member_ptr_result = &(ptr)->mem; \
158 COMPILER_WARNING_POP; \
159 (__typeof__((ptr)->mem) *)unaligned_member_ptr_result; \
160})
161#endif
162
163#ifndef UNALIGNED_MEMBER_PTR
164# define UNALIGNED_MEMBER_PTR(ptr, mem) UNALIGNED_MEMBER_ACCESS(&(ptr)->mem)
165#endif
166
167#define RB_OBJ_WRITE_UNALIGNED(old, slot, young) do { \
168 VALUE *_slot = UNALIGNED_MEMBER_ACCESS(slot); \
169 RB_OBJ_WRITE(old, _slot, young); \
170} while (0)
171
172/* Used in places that could malloc during, which can cause the GC to run. We
173 * need to temporarily disable the GC to allow the malloc to happen.
174 * Allocating memory during GC is a bad idea, so use this only when absolutely
175 * necessary. */
176/* Only re-entrant GC of the current objspace needs suppressing (the malloc happens inside this
177 * Ractor), so use the local disable. The during-GC malloc guard reads the per-objspace dont_gc
178 * flag rather than a process-wide one. */
179#define DURING_GC_COULD_MALLOC_REGION_START() \
180 assert(rb_during_gc()); \
181 VALUE _already_disabled = rb_gc_local_disable_no_rest()
182
183#define DURING_GC_COULD_MALLOC_REGION_END() \
184 if (_already_disabled == Qfalse) rb_gc_local_enable()
185
186/* gc.c */
187RUBY_ATTR_MALLOC void *ruby_mimmalloc(size_t size);
188RUBY_ATTR_MALLOC void *ruby_mimcalloc(size_t num, size_t size);
189void ruby_mimfree(void *ptr);
190void rb_gc_prepare_heap(void);
191VALUE rb_wmap_new_hidden(void);
192VALUE rb_wmap_lookup(VALUE wmap, VALUE key);
193void rb_wmap_aset(VALUE wmap, VALUE key, VALUE val);
194void rb_objspace_set_event_hook(const rb_event_flag_t event);
195VALUE rb_objspace_gc_enable(void *objspace);
196VALUE rb_objspace_gc_disable(void *objspace);
197void ruby_gc_set_params(void);
198void rb_gc_copy_attributes(VALUE dest, VALUE obj);
199size_t rb_size_mul_or_raise(size_t, size_t, VALUE); /* used in compile.c */
200size_t rb_size_mul_add_or_raise(size_t, size_t, size_t, VALUE); /* used in iseq.h */
201size_t rb_malloc_grow_capa(size_t current_capacity, size_t type_size);
202RUBY_ATTR_MALLOC void *rb_xmalloc_mul_add(size_t, size_t, size_t);
203RUBY_ATTR_MALLOC void *rb_xcalloc_mul_add(size_t, size_t, size_t);
204void *rb_xrealloc_mul_add(const void *, size_t, size_t, size_t);
205RUBY_ATTR_MALLOC void *rb_xmalloc_mul_add_mul(size_t, size_t, size_t, size_t);
206RUBY_ATTR_MALLOC void *rb_xcalloc_mul_add_mul(size_t, size_t, size_t, size_t);
207void rb_gc_register_pinning_obj(VALUE obj);
208struct rb_execution_context_struct *rb_gc_get_ec(void);
209VALUE rb_newobj_of_unprotected(VALUE klass, VALUE flags, size_t size);
210
211void *rb_gc_ractor_cache_alloc(struct rb_ractor_struct *ractor);
212void rb_gc_ractor_cache_free(void *cache);
213bool rb_gc_zjit_new_obj_fastpath(size_t alloc_size, VALUE flags, VALUE klass, struct rb_gc_zjit_fastpath *fastpath);
214const uintptr_t *rb_gc_zjit_writebarrier_required_p_ptr(void);
215
216bool rb_gc_size_allocatable_p(size_t size);
217size_t rb_gc_size_slot_size(size_t size);
218size_t rb_gc_max_allocation_size(void);
219
220void rb_gc_mark_and_move(VALUE *ptr);
221
222/* The objspace a marking walk marks into, plus the per-Ractor traversal redirect slot
223 * (vm_core.h's gc_mark_func_data_struct) and the shareable-check flag cached from it.
224 * Resolving the current Ractor costs an out-of-line rb_current_ec() call on arm64, so a
225 * walk resolves it once into a ctx and threads that down instead of repeating it per
226 * reference. Only gc.c builds one; everyone else just passes the pointer along. */
228
230 void *objspace;
231 struct gc_mark_func_data_struct **mfdp;
232 bool checking_shareable;
233};
234
235void rb_gc_mark_and_pin_ctx(const struct rb_gc_mark_ctx *ctx, VALUE obj);
236void rb_gc_mark_movable_ctx(const struct rb_gc_mark_ctx *ctx, VALUE obj);
237void rb_gc_mark_maybe_ctx(const struct rb_gc_mark_ctx *ctx, VALUE obj);
238void rb_gc_mark_and_move_ctx(const struct rb_gc_mark_ctx *ctx, VALUE *ptr);
239void rb_gc_mark_locations_ctx(const struct rb_gc_mark_ctx *ctx, const VALUE *start, const VALUE *end);
240void rb_mark_tbl_no_pin_ctx(const struct rb_gc_mark_ctx *ctx, st_table *tbl);
241void rb_gc_mark_set_no_pin_ctx(const struct rb_gc_mark_ctx *ctx, st_table *tbl);
242VALUE rb_gc_location_ctx(const struct rb_gc_mark_ctx *ctx, VALUE value);
243void rb_gc_update_moved_ctx(const struct rb_gc_mark_ctx *ctx, VALUE *ptr);
244
245static inline bool
246rb_gc_checking_shareable_ctx(const struct rb_gc_mark_ctx *ctx)
247{
248 return ctx->checking_shareable;
249}
250
251void rb_gc_ref_update_table_values_only(st_table *tbl);
252
253void rb_gc_initial_stress_set(VALUE flag);
254
255void rb_gc_before_fork(void);
256void rb_gc_after_fork(rb_pid_t pid);
257
258#define rb_gc_mark_and_move_ptr(ptr) do { \
259 VALUE _obj = (VALUE)*(ptr); \
260 rb_gc_mark_and_move(&_obj); \
261 if (_obj != (VALUE)*(ptr)) *(ptr) = (void *)_obj; \
262} while (0)
263
264#define rb_gc_update_moved_ptr(ptr) do { \
265 VALUE _obj = (VALUE)*(ptr); \
266 rb_gc_update_moved(&_obj); \
267 if (_obj != (VALUE)*(ptr)) *(ptr) = (void *)_obj; \
268} while (0)
269
270#define rb_gc_mark_and_move_ptr_ctx(ctx, ptr) do { \
271 VALUE _obj = (VALUE)*(ptr); \
272 rb_gc_mark_and_move_ctx((ctx), &_obj); \
273 if (_obj != (VALUE)*(ptr)) *(ptr) = (void *)_obj; \
274} while (0)
275
276#define rb_gc_update_moved_ptr_ctx(ctx, ptr) do { \
277 VALUE _obj = (VALUE)*(ptr); \
278 rb_gc_update_moved_ctx((ctx), &_obj); \
279 if (_obj != (VALUE)*(ptr)) *(ptr) = (void *)_obj; \
280} while (0)
281
282void rb_objspace_reachable_objects_from_local(VALUE obj, void (func)(VALUE, void *), void *data);
283
284#if USE_MODULAR_GC
285RUBY_SYMBOL_EXPORT_BEGIN
286#endif
287/* Called only by the default GC's verifier, which lives in the GC's shared object in a
288 * modular build, so it needs exporting only there. */
289void rb_objspace_reachable_objects_from_unlocked(VALUE obj, void (func)(VALUE, void *), void *data);
290#if USE_MODULAR_GC
291RUBY_SYMBOL_EXPORT_END
292#endif
293
294RUBY_SYMBOL_EXPORT_BEGIN
295/* exports for objspace module */
296void rb_objspace_reachable_objects_from(VALUE obj, void (func)(VALUE, void *), void *data);
297void rb_objspace_reachable_objects_from_root(void (func)(const char *category, VALUE, void *), void *data);
298int rb_objspace_internal_object_p(VALUE obj);
299int rb_objspace_garbage_object_p(VALUE obj);
300int rb_objspace_foreign_object_p(VALUE obj);
301int rb_objspace_live_object_p(VALUE obj);
302void rb_gc_declare_weak_references(VALUE obj);
303bool rb_gc_handle_weak_references_alive_p(VALUE obj);
304
305void rb_objspace_each_objects(
306 int (*callback)(void *start, void *end, size_t stride, void *data),
307 void *data);
308
309
310size_t rb_gc_obj_slot_size(VALUE obj);
311
312VALUE rb_gc_disable_no_rest(void);
313/* Local GC disable/enable covering only the current Ractor's objspace. Unlike rb_gc_disable*,
314 * which became process-wide, this suppresses GC in one's own objspace only. Exported because
315 * DURING_GC_COULD_MALLOC_REGION above expands in bundled extensions. */
316VALUE rb_gc_local_enable(void);
317VALUE rb_gc_local_disable_no_rest(void);
318
319#define RB_GC_MAX_NAME_LEN 20
320
321/* gc.c (export) */
322const char *rb_objspace_data_type_name(VALUE obj);
323VALUE rb_newobj(struct rb_execution_context_struct *, VALUE, VALUE, uint32_t /* shape_id_t */, bool, size_t);
324VALUE rb_newobj_of(VALUE, VALUE, size_t);
325VALUE rb_ec_newobj_of(struct rb_execution_context_struct *, VALUE, VALUE, size_t);
326size_t rb_obj_memsize_of(VALUE);
327struct rb_gc_object_metadata_entry *rb_gc_object_metadata(VALUE obj);
328void rb_gc_mark_values(long n, const VALUE *values);
329void rb_gc_mark_vm_stack_values(long n, const VALUE *values);
330struct rb_vm_struct;
331void rb_gc_mark_registered_addrs(struct rb_ractor_struct *r, bool need_lock);
332void rb_gc_registered_addrs_enroll_without_gc(struct rb_vm_struct *vm, struct rb_ractor_struct *r);
333void rb_gc_registered_addrs_unenroll_without_gc(struct rb_vm_struct *vm, struct rb_ractor_struct *r);
334void rb_gc_update_values(long n, VALUE *values);
335void rb_gc_mark_set_no_pin(st_table *);
336/* Exercised by the bundled -test-/gc/writebarrier extension, so it must be visible
337 * outside the ruby binary. */
338void rb_gc_writebarrier_remember(VALUE obj);
339void rb_gc_update_set_refs(st_table *);
340
341#if USE_MODULAR_GC
342const char *rb_gc_active_gc_name(void);
343int rb_gc_modular_gc_loaded_p(void);
344#endif
345
346RUBY_SYMBOL_EXPORT_END
347
348static inline VALUE
349rb_obj_atomic_write(
350 VALUE a, VALUE *slot, VALUE b,
352 const char *filename,
354 int line)
355{
356#ifdef RGENGC_LOGGING_WRITE
357 RGENGC_LOGGING_WRITE(a, slot, b, filename, line);
358#endif
359
360 RUBY_ATOMIC_VALUE_SET(*slot, b);
361
362 rb_obj_written(a, RUBY_Qundef /* ignore `oldv' now */, b, filename, line);
363 return a;
364}
365#define RB_OBJ_ATOMIC_WRITE(old, slot, young) \
366 RBIMPL_CAST(rb_obj_atomic_write((VALUE)(old), (VALUE *)(slot), (VALUE)(young), __FILE__, __LINE__))
367
368int rb_ec_stack_check(struct rb_execution_context_struct *ec);
369void rb_gc_obj_became_shareable(VALUE obj);
370bool rb_gc_multi_objspace_p(void);
371bool rb_gc_obj_foreign_p(VALUE obj);
372void *rb_gc_objspace_alloc(void);
373void rb_gc_objspace_retire_gc(void);
374/* Build an object, or suppress GC, in a named objspace rather than the current
375 * Ractor's. Only create_ractor_alloc_thread() needs these. */
376VALUE rb_data_typed_object_wrap_in_objspace(void *objspace, VALUE klass, void *datap, const rb_data_type_t *type);
377VALUE rb_data_typed_object_zalloc_in_objspace(void *objspace, VALUE klass, size_t size, const rb_data_type_t *type);
378VALUE rb_gc_objspace_disable_no_rest(void *objspace);
379VALUE rb_gc_objspace_enable(void *objspace);
380
381void rb_gc_objspace_retire(void **objspace_slot);
382void rb_gc_objspace_postmortem_self(void);
383void rb_gc_objspace_absorb_into_current(void **objspace_slot);
384void rb_gc_objspace_absorb_all_zombies(void);
385void rb_gc_objspace_disown(void *objspace);
386void rb_gc_zombie_objspaces_atfork(void);
387void rb_gc_disable_holders_atfork(void);
388void rb_gc_atfork_global_locks(void);
389void rb_gc_stash_cleanup_objspace(void);
390void rb_gc_rest(void);
391bool rb_gc_during_global_gc_p(void);
392bool rb_gc_single_objspace_p(void);
393const char *rb_obj_info(VALUE obj);
394void ruby_annotate_mmap(const void *addr, unsigned long size, const char *name);
395
396# define SIZED_REALLOC_N(v, T, m, n) \
397 ((v) = (T *)ruby_xrealloc2_sized((void *)(v), (m), sizeof(T), (n)))
398
399# define SIZED_FREE(v) ruby_xfree_sized((void *)(v), sizeof(*(v)))
400# define SIZED_FREE_N(v, n) ruby_xfree_sized((void *)(v), sizeof(*(v)) * (n))
401
402static inline void *
403ruby_sized_realloc_n(void *ptr, size_t new_count, size_t element_size, size_t old_count)
404{
405 return ruby_xrealloc2_sized(ptr, new_count, element_size, old_count);
406}
407
408void rb_gc_verify_shareable(VALUE);
409bool rb_gc_checking_shareable(void);
410
411#endif /* INTERNAL_GC_H */
#define RUBY_ATOMIC_VALUE_SET(var, val)
Identical to RUBY_ATOMIC_SET, except it expects its arguments are VALUE.
Definition atomic.h:378
#define RUBY_EXTERN
Declaration of externally visible global variables.
Definition dllexport.h:45
uint32_t rb_event_flag_t
Represents event(s).
Definition event.h:108
#define RBIMPL_ATTR_MAYBE_UNUSED()
Wraps (or simulates) [[maybe_unused]]
VALUE type(ANYARGS)
ANYARGS-ed function type.
@ RUBY_Qundef
Represents so-called undef.
This is the struct that holds necessary info for a struct.
Definition rtypeddata.h:242
Definition gc_impl.h:34
Definition st.h:79
uintptr_t ID
Type that represents a Ruby identifier such as a variable name.
Definition value.h:52
uintptr_t VALUE
Type that represents a Ruby object.
Definition value.h:40