10#include "gc/mmtk/mmtk.h"
12#include "ccan/list/list.h"
16#include <sys/sysctl.h>
25 size_t total_allocated_objects;
31 struct ccan_list_head ractor_caches;
32 unsigned long live_ractor_cache_count;
34 pthread_mutex_t mutex;
37 pthread_cond_t cond_world_stopped;
38 pthread_cond_t cond_world_started;
39 size_t start_the_world_count;
42 bool gc_thread_crashed;
46 struct rb_gc_vm_context vm_context;
48 unsigned int fork_hook_vm_lock_lev;
51#define OBJ_FREE_BUF_CAPACITY 128
54 struct ccan_list_node list_node;
56 MMTk_Mutator *mutator;
61 MMTk_ObjectReference obj_free_parallel_buf[OBJ_FREE_BUF_CAPACITY];
62 size_t obj_free_parallel_count;
63 MMTk_ObjectReference obj_free_non_parallel_buf[OBJ_FREE_BUF_CAPACITY];
64 size_t obj_free_non_parallel_count;
71 MMTK_FINAL_JOB_FINALIZE,
80 VALUE finalizer_array;
85#ifdef RB_THREAD_LOCAL_SPECIFIER
88RB_THREAD_LOCAL_SPECIFIER
VALUE marking_parent_object;
90# error We currently need language-supported TLS
94# define MMTK_ASSERT(expr, ...) RUBY_ASSERT_ALWAYS(expr, #expr RBIMPL_VA_OPT_ARGS(__VA_ARGS__))
96# define MMTK_ASSERT(expr, ...) ((void)0)
101static inline VALUE rb_mmtk_call_object_closure(
VALUE obj,
bool pin);
106 rb_mmtk_gc_thread_tls = gc_thread_tls;
110rb_mmtk_is_mutator(
void)
116rb_mmtk_stop_the_world(
void)
121 if ((err = pthread_mutex_lock(&
objspace->mutex)) != 0) {
122 rb_bug(
"ERROR: cannot lock objspace->mutex: %s", strerror(err));
129 if ((err = pthread_mutex_unlock(&
objspace->mutex)) != 0) {
130 rb_bug(
"ERROR: cannot release objspace->mutex: %s", strerror(err));
135rb_mmtk_resume_mutators(
void)
140 if ((err = pthread_mutex_lock(&
objspace->mutex)) != 0) {
141 rb_bug(
"ERROR: cannot lock objspace->mutex: %s", strerror(err));
146 pthread_cond_broadcast(&
objspace->cond_world_started);
148 if ((err = pthread_mutex_unlock(&
objspace->mutex)) != 0) {
149 rb_bug(
"ERROR: cannot release objspace->mutex: %s", strerror(err));
160 size_t starting_gc_count =
objspace->gc_count;
162 int lock_lev = RB_GC_VM_LOCK();
165 if ((err = pthread_mutex_lock(&
objspace->mutex)) != 0) {
166 rb_bug(
"ERROR: cannot lock objspace->mutex: %s", strerror(err));
169 if (
objspace->gc_count == starting_gc_count) {
172 rb_gc_initialize_vm_context(&
objspace->vm_context);
174 mutator->gc_mutator_p =
true;
178 clock_gettime(CLOCK_MONOTONIC, &gc_start_time);
181 rb_gc_save_machine_context();
186 ccan_list_for_each(&
objspace->ractor_caches, rc, list_node) {
187 mmtk_flush_obj_free_buffer(rc);
192 pthread_cond_broadcast(&
objspace->cond_world_stopped);
199 if (RB_UNLIKELY(
objspace->crash_context.gc_thread_crashed)) {
200 rb_bug(
"%s",
objspace->crash_context.crash_msg);
205 clock_gettime(CLOCK_MONOTONIC, &gc_end_time);
208 (gc_end_time.tv_sec - gc_start_time.tv_sec) * (1000 * 1000 * 1000) +
209 (gc_end_time.tv_nsec - gc_start_time.tv_nsec);
213 if ((err = pthread_mutex_unlock(&
objspace->mutex)) != 0) {
214 rb_bug(
"ERROR: cannot release objspace->mutex: %s", strerror(err));
216 RB_GC_VM_UNLOCK(lock_lev);
220rb_mmtk_before_updating_jit_code(
void)
222 rb_gc_before_updating_jit_code();
226rb_mmtk_after_updating_jit_code(
void)
228 rb_gc_after_updating_jit_code();
232rb_mmtk_number_of_mutators(
void)
235 return objspace->live_ractor_cache_count;
239rb_mmtk_get_mutators(
void (*visit_mutator)(MMTk_Mutator *mutator,
void *data),
void *data)
244 ccan_list_for_each(&
objspace->ractor_caches, ractor_cache, list_node) {
245 visit_mutator(ractor_cache->mutator, data);
250rb_mmtk_scan_gc_roots(
void)
256 rb_gc_worker_thread_set_vm_context(&
objspace->vm_context);
258 rb_gc_worker_thread_unset_vm_context(&
objspace->vm_context);
262pin_value(st_data_t key, st_data_t value, st_data_t data)
264 rb_gc_impl_mark_and_pin((
void *)data, (
VALUE)value);
270rb_mmtk_scan_objspace(
void)
274 if (
objspace->finalizer_table != NULL) {
279 while (job != NULL) {
281 case MMTK_FINAL_JOB_DFREE:
283 case MMTK_FINAL_JOB_FINALIZE:
284 rb_gc_impl_mark(
objspace, job->as.finalize.finalizer_array);
287 rb_bug(
"rb_mmtk_scan_objspace: unknown final job type %d", job->kind);
295rb_mmtk_move_obj_during_marking(MMTk_ObjectReference from, MMTk_ObjectReference to)
297 rb_gc_move_obj_during_marking((
VALUE)from, (
VALUE)to);
301rb_mmtk_update_object_references(MMTk_ObjectReference mmtk_object)
306 marking_parent_object = object;
307 rb_gc_update_object_references(rb_gc_get_objspace(),
object);
308 marking_parent_object = 0;
313rb_mmtk_call_gc_mark_children(MMTk_ObjectReference
object)
315 marking_parent_object = (
VALUE)
object;
316 rb_gc_mark_children(rb_gc_get_objspace(), (
VALUE)
object);
317 marking_parent_object = 0;
321rb_mmtk_handle_weak_references(MMTk_ObjectReference mmtk_object,
bool moving)
325 marking_parent_object = object;
327 rb_gc_handle_weak_references(
object);
330 rb_gc_update_object_references(rb_gc_get_objspace(),
object);
333 marking_parent_object = 0;
337rb_mmtk_call_obj_free(MMTk_ObjectReference
object)
343 rb_gc_worker_thread_set_vm_context(&
objspace->vm_context);
345 rb_gc_worker_thread_unset_vm_context(&
objspace->vm_context);
351 memset((
void *)obj, 0, rb_gc_impl_obj_slot_size(obj));
356rb_mmtk_vm_live_bytes(
void)
367 job->next =
objspace->finalizer_jobs;
368 job->kind = MMTK_FINAL_JOB_FINALIZE;
369 job->as.finalize.finalizer_array = table;
375rb_mmtk_update_finalizer_table_i(st_data_t key, st_data_t value, st_data_t data,
int error)
377 MMTK_ASSERT(mmtk_is_reachable((MMTk_ObjectReference)value));
382 if (mmtk_is_reachable((MMTk_ObjectReference)key)) {
383 VALUE new_key_location = rb_mmtk_call_object_closure((
VALUE)key,
false);
387 if (new_key_location != key) {
403rb_mmtk_update_finalizer_table_replace_i(st_data_t *key, st_data_t *value, st_data_t data,
int existing)
405 *key = rb_mmtk_call_object_closure((
VALUE)*key,
false);
411rb_mmtk_update_finalizer_table(
void)
415 st_foreach_with_replace(
417 rb_mmtk_update_finalizer_table_i,
418 rb_mmtk_update_finalizer_table_replace_i,
424rb_mmtk_global_tables_count(
void)
426 return RB_GC_VM_WEAK_TABLE_COUNT;
429static inline VALUE rb_mmtk_call_object_closure(
VALUE obj,
bool pin);
432rb_mmtk_update_global_tables_i(
VALUE val,
void *data)
434 if (!mmtk_is_reachable((MMTk_ObjectReference)val)) {
439 if (rb_mmtk_call_object_closure(val,
false) != val) {
447rb_mmtk_update_global_tables_replace_i(
VALUE *ptr,
void *data)
450 *ptr = rb_mmtk_call_object_closure(*ptr,
false);
456rb_mmtk_update_global_tables(
int table,
bool moving)
458 MMTK_ASSERT(table < RB_GC_VM_WEAK_TABLE_COUNT);
460 rb_gc_vm_weak_table_foreach(
461 rb_mmtk_update_global_tables_i,
462 rb_mmtk_update_global_tables_replace_i,
465 (
enum rb_gc_vm_weak_tables)table
470rb_mmtk_special_const_p(MMTk_ObjectReference
object)
479rb_mmtk_gc_thread_bug(const
char *msg, ...)
483 objspace->crash_context.gc_thread_crashed =
true;
487 vsnprintf(
objspace->crash_context.crash_msg,
sizeof(
objspace->crash_context.crash_msg), msg, args);
490 fprintf(stderr,
"-- GC thread backtrace "
491 "-------------------------------------------\n");
492 rb_gc_print_backtrace();
493 fprintf(stderr,
"\n");
495 rb_mmtk_resume_mutators();
499 rb_bug(
"rb_mmtk_gc_thread_bug");
503rb_mmtk_gc_thread_panic_handler(
void)
505 rb_mmtk_gc_thread_bug(
"MMTk GC thread panicked");
509rb_mmtk_mutator_thread_panic_handler(
void)
511 rb_bug(
"Ruby mutator thread panicked");
516 rb_mmtk_init_gc_worker_thread,
518 rb_mmtk_stop_the_world,
519 rb_mmtk_resume_mutators,
520 rb_mmtk_block_for_gc,
521 rb_mmtk_before_updating_jit_code,
522 rb_mmtk_after_updating_jit_code,
523 rb_mmtk_number_of_mutators,
524 rb_mmtk_get_mutators,
525 rb_mmtk_scan_gc_roots,
526 rb_mmtk_scan_objspace,
527 rb_mmtk_move_obj_during_marking,
528 rb_mmtk_update_object_references,
529 rb_mmtk_call_gc_mark_children,
530 rb_mmtk_handle_weak_references,
531 rb_mmtk_call_obj_free,
532 rb_mmtk_vm_live_bytes,
533 rb_mmtk_update_global_tables,
534 rb_mmtk_global_tables_count,
535 rb_mmtk_update_finalizer_table,
536 rb_mmtk_special_const_p,
537 rb_mmtk_mutator_thread_panic_handler,
538 rb_mmtk_gc_thread_panic_handler,
542#define RB_MMTK_HEAP_LIMIT_PERC 80
543#define RB_MMTK_DEFAULT_HEAP_MIN (1024 * 1024)
544#define RB_MMTK_DEFAULT_HEAP_MAX (rb_mmtk_system_physical_memory() / 100 * RB_MMTK_HEAP_LIMIT_PERC)
547 RB_MMTK_DYNAMIC_HEAP,
552rb_mmtk_builder_init(
void)
554 MMTk_Builder *builder = mmtk_builder_default();
559rb_gc_impl_objspace_alloc(
void)
561 MMTk_Builder *builder = rb_mmtk_builder_init();
562 mmtk_init_binding(builder, NULL, &ruby_upcalls);
564 return calloc(1,
sizeof(
struct objspace));
567static void gc_run_finalizers(
void *data);
570rb_gc_impl_objspace_init(
void *objspace_ptr)
576 objspace->finalizer_table = st_init_numtable();
579 ccan_list_head_init(&
objspace->ractor_caches);
581 objspace->mutex = (pthread_mutex_t)PTHREAD_MUTEX_INITIALIZER;
582 objspace->cond_world_stopped = (pthread_cond_t)PTHREAD_COND_INITIALIZER;
583 objspace->cond_world_started = (pthread_cond_t)PTHREAD_COND_INITIALIZER;
587rb_gc_impl_objspace_free(
void *objspace_ptr)
593rb_gc_impl_ractor_cache_alloc(
void *objspace_ptr,
void *ractor)
596 if (
objspace->live_ractor_cache_count == 0) {
597 mmtk_initialize_collection(ractor);
599 objspace->live_ractor_cache_count++;
602 ccan_list_add(&
objspace->ractor_caches, &cache->list_node);
604 cache->mutator = mmtk_bind_mutator(cache);
605 cache->bump_pointer = mmtk_get_bump_pointer_allocator(cache->mutator);
611rb_gc_impl_ractor_cache_free(
void *objspace_ptr,
void *cache_ptr)
616 ccan_list_del(&cache->list_node);
618 mmtk_flush_obj_free_buffer(cache);
620 if (ruby_free_at_exit_p()) {
621 MMTK_ASSERT(
objspace->live_ractor_cache_count > 0);
624 MMTK_ASSERT(
objspace->live_ractor_cache_count > 1);
627 objspace->live_ractor_cache_count--;
629 mmtk_destroy_mutator(cache->mutator);
632void rb_gc_impl_set_params(
void *objspace_ptr) { }
634static VALUE gc_verify_internal_consistency(
VALUE self) {
return Qnil; }
636#define MMTK_HEAP_COUNT 6
637#define MMTK_MAX_OBJ_SIZE 640
639static size_t heap_sizes[MMTK_HEAP_COUNT + 1] = {
640 32, 40, 80, 160, 320, MMTK_MAX_OBJ_SIZE, 0
646 VALUE gc_constants = rb_hash_new();
649 rb_hash_aset(gc_constants,
ID2SYM(rb_intern(
"RVALUE_OVERHEAD")),
INT2NUM(0));
650 rb_hash_aset(gc_constants,
ID2SYM(rb_intern(
"RVARGC_MAX_ALLOCATE_SIZE")),
LONG2FIX(MMTK_MAX_OBJ_SIZE));
652 rb_hash_aset(gc_constants,
ID2SYM(rb_intern(
"SIZE_POOL_COUNT")),
LONG2FIX(MMTK_HEAP_COUNT));
654 rb_hash_aset(gc_constants,
ID2SYM(rb_intern(
"RVALUE_OLD_AGE")),
INT2FIX(0));
656 rb_define_const(
rb_mGC,
"INTERNAL_CONSTANTS", gc_constants);
669rb_gc_impl_heap_sizes(
void *objspace_ptr)
675rb_mmtk_obj_free_iter_wrapper(
VALUE obj,
void *data)
680 rb_gc_obj_free_vm_weak_references(obj);
691rb_gc_impl_shutdown_free_objects(
void *objspace_ptr)
693 mmtk_set_gc_enabled(
false);
694 each_object(objspace_ptr, rb_mmtk_obj_free_iter_wrapper, objspace_ptr);
695 mmtk_set_gc_enabled(
true);
700rb_gc_impl_start(
void *objspace_ptr,
bool full_mark,
bool immediate_mark,
bool immediate_sweep,
bool compact)
702 mmtk_handle_user_collection_request(rb_gc_get_ractor_newobj_cache(),
true, full_mark);
706rb_gc_impl_during_gc_p(
void *objspace_ptr)
713rb_gc_impl_prepare_heap_i(MMTk_ObjectReference obj,
void *d)
715 rb_gc_prepare_heap_process_object((
VALUE)obj);
719rb_gc_impl_prepare_heap(
void *objspace_ptr)
721 mmtk_enumerate_objects(rb_gc_impl_prepare_heap_i, NULL);
725rb_gc_impl_gc_enable(
void *objspace_ptr)
727 mmtk_set_gc_enabled(
true);
731rb_gc_impl_gc_disable(
void *objspace_ptr,
bool finish_current_gc)
733 mmtk_set_gc_enabled(
false);
737rb_gc_impl_gc_enabled_p(
void *objspace_ptr)
739 return mmtk_gc_enabled_p();
743rb_gc_impl_stress_set(
void *objspace_ptr,
VALUE flag)
751rb_gc_impl_stress_get(
void *objspace_ptr)
759rb_gc_impl_config_get(
void *objspace_ptr)
761 VALUE hash = rb_hash_new();
766 size_t heap_min = mmtk_heap_min();
774rb_gc_impl_config_set(
void *objspace_ptr,
VALUE hash)
785 if (bump_pointer == NULL)
return 0;
787 uintptr_t new_cursor = bump_pointer->cursor + size;
789 if (new_cursor > bump_pointer->limit) {
794 bump_pointer->cursor = new_cursor;
800obj_can_parallel_free_p(
VALUE obj)
823 if (cache->obj_free_parallel_count > 0) {
824 mmtk_add_obj_free_candidates(cache->obj_free_parallel_buf,
825 cache->obj_free_parallel_count,
true);
826 cache->obj_free_parallel_count = 0;
828 if (cache->obj_free_non_parallel_count > 0) {
829 mmtk_add_obj_free_candidates(cache->obj_free_non_parallel_buf,
830 cache->obj_free_non_parallel_count,
false);
831 cache->obj_free_non_parallel_count = 0;
838 if (obj_can_parallel_free_p(obj)) {
839 cache->obj_free_parallel_buf[cache->obj_free_parallel_count++] = (MMTk_ObjectReference)obj;
840 if (cache->obj_free_parallel_count >= OBJ_FREE_BUF_CAPACITY) {
841 mmtk_add_obj_free_candidates(cache->obj_free_parallel_buf,
842 cache->obj_free_parallel_count,
true);
843 cache->obj_free_parallel_count = 0;
847 cache->obj_free_non_parallel_buf[cache->obj_free_non_parallel_count++] = (MMTk_ObjectReference)obj;
848 if (cache->obj_free_non_parallel_count >= OBJ_FREE_BUF_CAPACITY) {
849 mmtk_add_obj_free_candidates(cache->obj_free_non_parallel_buf,
850 cache->obj_free_non_parallel_count,
false);
851 cache->obj_free_non_parallel_count = 0;
857rb_gc_impl_new_obj(
void *objspace_ptr,
void *cache_ptr,
VALUE klass,
VALUE flags,
bool wb_protected,
size_t alloc_size)
859#define MMTK_ALLOCATION_SEMANTICS_DEFAULT 0
863 if (alloc_size > MMTK_MAX_OBJ_SIZE) rb_bug(
"too big");
864 for (
int i = 0; i < MMTK_HEAP_COUNT; i++) {
865 if (alloc_size == heap_sizes[i])
break;
866 if (alloc_size < heap_sizes[i]) {
867 alloc_size = heap_sizes[i];
873 mmtk_handle_user_collection_request(ractor_cache,
false,
false);
876 alloc_size +=
sizeof(
VALUE);
878 VALUE *alloc_obj = (
VALUE *)rb_mmtk_alloc_fast_path(
objspace, ractor_cache, alloc_size);
880 alloc_obj = mmtk_alloc(ractor_cache->mutator, alloc_size, MMTk_MIN_OBJ_ALIGN, 0, MMTK_ALLOCATION_SEMANTICS_DEFAULT);
884 alloc_obj[-1] = alloc_size -
sizeof(
VALUE);
885 alloc_obj[0] = flags;
886 alloc_obj[1] = klass;
889 mmtk_post_alloc(ractor_cache->mutator, (
void*)alloc_obj, alloc_size, MMTK_ALLOCATION_SEMANTICS_DEFAULT);
892 mmtk_buffer_obj_free_candidate(ractor_cache, (
VALUE)alloc_obj);
894 objspace->total_allocated_objects++;
896 return (
VALUE)alloc_obj;
900rb_gc_impl_obj_slot_size(
VALUE obj)
902 return ((
VALUE *)obj)[-1];
906rb_gc_impl_heap_id_for_size(
void *objspace_ptr,
size_t size)
908 for (
int i = 0; i < MMTK_HEAP_COUNT; i++) {
909 if (size == heap_sizes[i])
return i;
910 if (size < heap_sizes[i])
return i;
913 rb_bug(
"size too big");
917rb_gc_impl_size_allocatable_p(
size_t size)
919 return size <= MMTK_MAX_OBJ_SIZE;
924rb_gc_impl_malloc(
void *objspace_ptr,
size_t size,
bool gc_allowed)
931rb_gc_impl_calloc(
void *objspace_ptr,
size_t size,
bool gc_allowed)
934 return calloc(1, size);
938rb_gc_impl_realloc(
void *objspace_ptr,
void *ptr,
size_t new_size,
size_t old_size,
bool gc_allowed)
941 return realloc(ptr, new_size);
945rb_gc_impl_free(
void *objspace_ptr,
void *ptr,
size_t old_size)
951void rb_gc_impl_adjust_memory_usage(
void *objspace_ptr, ssize_t diff) { }
955rb_mmtk_call_object_closure(
VALUE obj,
bool pin)
958 const size_t info_size = 256;
959 char obj_info_buf[info_size];
960 rb_raw_obj_info(obj_info_buf, info_size, obj);
962 char parent_obj_info_buf[info_size];
963 rb_raw_obj_info(parent_obj_info_buf, info_size, marking_parent_object);
965 rb_mmtk_gc_thread_bug(
"try to mark T_NONE object (obj: %s, parent: %s)", obj_info_buf, parent_obj_info_buf);
970 rb_mmtk_gc_thread_tls->gc_context,
971 (MMTk_ObjectReference)obj,
977rb_gc_impl_mark(
void *objspace_ptr,
VALUE obj)
981 rb_mmtk_call_object_closure(obj,
false);
985rb_gc_impl_mark_and_move(
void *objspace_ptr,
VALUE *ptr)
989 VALUE new_obj = rb_mmtk_call_object_closure(*ptr,
false);
990 if (new_obj != *ptr) {
996rb_gc_impl_mark_and_pin(
void *objspace_ptr,
VALUE obj)
1000 rb_mmtk_call_object_closure(obj,
true);
1004rb_gc_impl_mark_maybe(
void *objspace_ptr,
VALUE obj)
1006 if (rb_gc_impl_pointer_to_heap_p(objspace_ptr, (
const void *)obj)) {
1007 rb_gc_impl_mark_and_pin(objspace_ptr, obj);
1012rb_gc_impl_declare_weak_references(
void *objspace_ptr,
VALUE obj)
1015 mmtk_declare_weak_references((MMTk_ObjectReference)obj);
1019rb_gc_impl_handle_weak_references_alive_p(
void *objspace_ptr,
VALUE obj)
1021 return mmtk_weak_references_alive_p((MMTk_ObjectReference)obj);
1026rb_gc_impl_register_pinning_obj(
void *objspace_ptr,
VALUE obj)
1028 mmtk_register_pinning_obj((MMTk_ObjectReference)obj);
1032rb_gc_impl_object_moved_p(
void *objspace_ptr,
VALUE obj)
1034 return rb_mmtk_call_object_closure(obj,
false) != obj;
1038rb_gc_impl_location(
void *objspace_ptr,
VALUE obj)
1040 return rb_mmtk_call_object_closure(obj,
false);
1045rb_gc_impl_writebarrier(
void *objspace_ptr,
VALUE a,
VALUE b)
1052 if (!rb_gc_impl_pointer_to_heap_p(objspace_ptr, (
void *)a)) {
1054 rb_bug(
"a: %s is not an object", rb_raw_obj_info(buff, 256, a));
1057 if (!rb_gc_impl_pointer_to_heap_p(objspace_ptr, (
void *)b)) {
1059 rb_bug(
"b: %s is not an object", rb_raw_obj_info(buff, 256, b));
1066 mmtk_object_reference_write_post(cache->mutator, (MMTk_ObjectReference)a);
1070rb_gc_impl_writebarrier_unprotect(
void *objspace_ptr,
VALUE obj)
1072 mmtk_register_wb_unprotected_object((MMTk_ObjectReference)obj);
1076rb_gc_impl_writebarrier_remember(
void *objspace_ptr,
VALUE obj)
1080 mmtk_object_reference_write_post(cache->mutator, (MMTk_ObjectReference)obj);
1085each_objects_i(MMTk_ObjectReference obj,
void *d)
1087 rb_darray(
VALUE) *objs = d;
1089 rb_darray_append(objs, (
VALUE)obj);
1095 rb_darray(
VALUE) objs;
1096 rb_darray_make(&objs, 0);
1098 mmtk_enumerate_objects(each_objects_i, &objs);
1101 rb_darray_foreach(objs, i, obj_ptr) {
1102 if (!mmtk_is_mmtk_object((MMTk_ObjectReference)*obj_ptr))
continue;
1104 if (func(*obj_ptr, data) != 0) {
1109 rb_darray_free(objs);
1113 int (*func)(
void *,
void *, size_t,
void *);
1118rb_gc_impl_each_objects_i(
VALUE obj,
void *d)
1122 size_t slot_size = rb_gc_impl_obj_slot_size(obj);
1124 return data->func((
void *)obj, (
void *)(obj + slot_size), slot_size, data->data);
1128rb_gc_impl_each_objects(
void *objspace_ptr,
int (*func)(
void *,
void *,
size_t,
void *),
void *data)
1135 each_object(objspace_ptr, rb_gc_impl_each_objects_i, &each_objects_data);
1139 void (*func)(
VALUE,
void *);
1144rb_gc_impl_each_object_i(
VALUE obj,
void *d)
1148 data->func(obj, data->data);
1154rb_gc_impl_each_object(
void *objspace_ptr,
void (*func)(
VALUE,
void *),
void *data)
1161 each_object(objspace_ptr, rb_gc_impl_each_object_i, &each_object_data);
1166gc_run_finalizers_get_final(
long i,
void *data)
1174gc_run_finalizers(
void *data)
1178 rb_gc_set_pending_interrupt();
1180 while (
objspace->finalizer_jobs != NULL) {
1182 objspace->finalizer_jobs = job->next;
1184 switch (job->kind) {
1185 case MMTK_FINAL_JOB_DFREE:
1186 job->as.dfree.func(job->as.dfree.data);
1188 case MMTK_FINAL_JOB_FINALIZE: {
1189 VALUE finalizer_array = job->as.finalize.finalizer_array;
1191 rb_gc_run_obj_finalizer(
1194 gc_run_finalizers_get_final,
1195 (
void *)finalizer_array
1206 rb_gc_unset_pending_interrupt();
1210rb_gc_impl_make_zombie(
void *objspace_ptr,
VALUE obj,
void (*dfree)(
void *),
void *data)
1212 if (dfree == NULL)
return;
1217 job->kind = MMTK_FINAL_JOB_DFREE;
1218 job->as.dfree.func = dfree;
1219 job->as.dfree.data = data;
1223 job->next =
objspace->finalizer_jobs;
1225 }
while (prev != job->next);
1227 if (!ruby_free_at_exit_p()) {
1233rb_gc_impl_define_finalizer(
void *objspace_ptr,
VALUE obj,
VALUE block)
1241 int lev = RB_GC_VM_LOCK();
1243 if (st_lookup(
objspace->finalizer_table, obj, &data)) {
1244 table = (
VALUE)data;
1251 for (i = 0; i <
len; i++) {
1254 RB_GC_VM_UNLOCK(lev);
1265 st_add_direct(
objspace->finalizer_table, obj, table);
1268 RB_GC_VM_UNLOCK(lev);
1274rb_gc_impl_undefine_finalizer(
void *objspace_ptr,
VALUE obj)
1278 st_data_t data = obj;
1280 int lev = RB_GC_VM_LOCK();
1281 st_delete(
objspace->finalizer_table, &data, 0);
1282 RB_GC_VM_UNLOCK(lev);
1288rb_gc_impl_copy_finalizer(
void *objspace_ptr,
VALUE dest,
VALUE obj)
1296 int lev = RB_GC_VM_LOCK();
1297 if (RB_LIKELY(st_lookup(
objspace->finalizer_table, obj, &data))) {
1300 st_insert(
objspace->finalizer_table, dest, table);
1304 rb_bug(
"rb_gc_copy_finalizer: FL_FINALIZE set but not found in finalizer_table: %s", rb_obj_info(obj));
1306 RB_GC_VM_UNLOCK(lev);
1310move_finalizer_from_table_i(st_data_t key, st_data_t val, st_data_t arg)
1320rb_gc_impl_shutdown_call_finalizer(
void *objspace_ptr)
1324 while (
objspace->finalizer_table->num_entries) {
1325 st_foreach(
objspace->finalizer_table, move_finalizer_from_table_i, (st_data_t)
objspace);
1330 unsigned int lev = RB_GC_VM_LOCK();
1333 ccan_list_for_each(&
objspace->ractor_caches, rc, list_node) {
1334 mmtk_flush_obj_free_buffer(rc);
1338 for (
size_t i = 0; i < registered_candidates.len; i++) {
1339 VALUE obj = (
VALUE)registered_candidates.ptr[i];
1341 if (rb_gc_shutdown_call_finalizer_p(obj)) {
1342 rb_gc_obj_free(objspace_ptr, obj);
1346 mmtk_free_raw_vec_of_obj_ref(registered_candidates);
1348 RB_GC_VM_UNLOCK(lev);
1356rb_gc_impl_before_fork(
void *objspace_ptr)
1361 objspace->fork_hook_vm_lock_lev = RB_GC_VM_LOCK();
1375 if (mutator_blocking_count != 0) {
1376 RB_GC_VM_UNLOCK(
objspace->fork_hook_vm_lock_lev);
1384rb_gc_impl_after_fork(
void *objspace_ptr, rb_pid_t pid)
1388 mmtk_after_fork(rb_gc_get_ractor_newobj_cache());
1390 RB_GC_VM_UNLOCK(
objspace->fork_hook_vm_lock_lev);
1396rb_gc_impl_set_measure_total_time(
void *objspace_ptr,
VALUE flag)
1404rb_gc_impl_get_measure_total_time(
void *objspace_ptr)
1412rb_gc_impl_get_total_time(
void *objspace_ptr)
1420rb_gc_impl_gc_count(
void *objspace_ptr)
1428rb_gc_impl_latest_gc_info(
void *objspace_ptr,
VALUE hash_or_key)
1439 rb_bug(
"gc_info_decode: non-hash or symbol given");
1442#define SET(name, attr) \
1443 if (key == ID2SYM(rb_intern_const(#name))) \
1445 else if (hash != Qnil) \
1446 rb_hash_aset(hash, ID2SYM(rb_intern_const(#name)), (attr));
1464 gc_stat_sym_total_allocated_objects,
1465 gc_stat_sym_total_bytes,
1466 gc_stat_sym_used_bytes,
1467 gc_stat_sym_free_bytes,
1468 gc_stat_sym_starting_heap_address,
1469 gc_stat_sym_last_heap_address,
1470 gc_stat_sym_weak_references_count,
1474static VALUE gc_stat_symbols[gc_stat_sym_last];
1477setup_gc_stat_symbols(
void)
1479 if (gc_stat_symbols[0] == 0) {
1480#define S(s) gc_stat_symbols[gc_stat_sym_##s] = ID2SYM(rb_intern_const(#s))
1483 S(total_allocated_objects);
1487 S(starting_heap_address);
1488 S(last_heap_address);
1489 S(weak_references_count);
1494rb_gc_impl_stat(
void *objspace_ptr,
VALUE hash_or_sym)
1499 setup_gc_stat_symbols();
1508 rb_bug(
"non-hash or symbol given");
1511#define SET(name, attr) \
1512 if (key == gc_stat_symbols[gc_stat_sym_##name]) \
1513 return SIZET2NUM(attr); \
1514 else if (hash != Qnil) \
1515 rb_hash_aset(hash, gc_stat_symbols[gc_stat_sym_##name], SIZET2NUM(attr));
1518 SET(time,
objspace->total_gc_time / (1000 * 1000));
1519 SET(total_allocated_objects,
objspace->total_allocated_objects);
1520 SET(total_bytes, mmtk_total_bytes());
1521 SET(used_bytes, mmtk_used_bytes());
1522 SET(free_bytes, mmtk_free_bytes());
1523 SET(starting_heap_address, (
size_t)mmtk_starting_heap_address());
1524 SET(last_heap_address, (
size_t)mmtk_last_heap_address());
1525 SET(weak_references_count, mmtk_weak_references_count());
1537rb_gc_impl_stat_heap(
void *objspace_ptr,
VALUE heap_name,
VALUE hash_or_sym)
1549#define RB_GC_OBJECT_METADATA_ENTRY_COUNT 1
1553rb_gc_impl_object_metadata(
void *objspace_ptr,
VALUE obj)
1555 static ID ID_object_id;
1557 if (!ID_object_id) {
1558#define I(s) ID_##s = rb_intern(#s);
1565#define SET_ENTRY(na, v) do { \
1566 MMTK_ASSERT(n <= RB_GC_OBJECT_METADATA_ENTRY_COUNT); \
1567 object_metadata_entries[n].name = ID_##na; \
1568 object_metadata_entries[n].val = v; \
1572 if (rb_obj_id_p(obj)) SET_ENTRY(object_id, rb_obj_id(obj));
1574 object_metadata_entries[n].name = 0;
1575 object_metadata_entries[n].val = 0;
1577 return object_metadata_entries;
1581rb_gc_impl_pointer_to_heap_p(
void *objspace_ptr,
const void *ptr)
1583 if (ptr == NULL)
return false;
1584 if ((uintptr_t)ptr %
sizeof(
void*) != 0)
return false;
1585 return mmtk_is_mmtk_object((MMTk_Address)ptr);
1589rb_gc_impl_garbage_object_p(
void *objspace_ptr,
VALUE obj)
1594void rb_gc_impl_set_event_hook(
void *objspace_ptr,
const rb_event_flag_t event) { }
1597rb_gc_impl_copy_attributes(
void *objspace_ptr,
VALUE dest,
VALUE obj)
1599 if (mmtk_object_wb_unprotected_p((MMTk_ObjectReference)obj)) {
1600 rb_gc_impl_writebarrier_unprotect(objspace_ptr, dest);
1603 rb_gc_impl_copy_finalizer(objspace_ptr, dest, obj);
1609rb_gc_impl_active_gc_name(
void)
#define RUBY_ATOMIC_INC(var)
Atomically increments the value pointed by var.
#define RUBY_ATOMIC_PTR_CAS(var, oldval, newval)
Identical to RUBY_ATOMIC_CAS, except it expects its arguments are void*.
std::atomic< unsigned > rb_atomic_t
Type that is eligible for atomic operations.
#define RUBY_ATOMIC_DEC(var)
Atomically decrements the value pointed by var.
#define RUBY_ATOMIC_LOAD(var)
Atomic load.
#define rb_define_singleton_method(klass, mid, func, arity)
Defines klass.mid.
unsigned int rb_postponed_job_handle_t
The type of a handle returned from rb_postponed_job_preregister and passed to rb_postponed_job_trigge...
void rb_postponed_job_trigger(rb_postponed_job_handle_t h)
Triggers a pre-registered job registered with rb_postponed_job_preregister, scheduling it for executi...
rb_postponed_job_handle_t rb_postponed_job_preregister(unsigned int flags, rb_postponed_job_func_t func, void *data)
Pre-registers a func in Ruby's postponed job preregistration table, returning an opaque handle which ...
#define RUBY_INTERNAL_EVENT_FREEOBJ
Object swept.
#define RUBY_INTERNAL_EVENT_GC_START
GC started.
uint32_t rb_event_flag_t
Represents event(s).
static VALUE RB_FL_TEST(VALUE obj, VALUE flags)
Tests if the given flag(s) are set or not.
static void RB_FL_SET(VALUE obj, VALUE flags)
Sets the given flag(s).
@ RUBY_FL_FINALIZE
This flag has something to do with finalisers.
@ RUBY_FL_WEAK_REFERENCE
This object weakly refers to other objects.
#define T_COMPLEX
Old name of RUBY_T_COMPLEX.
#define T_STRING
Old name of RUBY_T_STRING.
#define xfree
Old name of ruby_xfree.
#define Qundef
Old name of RUBY_Qundef.
#define INT2FIX
Old name of RB_INT2FIX.
#define T_FLOAT
Old name of RUBY_T_FLOAT.
#define ID2SYM
Old name of RB_ID2SYM.
#define T_BIGNUM
Old name of RUBY_T_BIGNUM.
#define SPECIAL_CONST_P
Old name of RB_SPECIAL_CONST_P.
#define T_STRUCT
Old name of RUBY_T_STRUCT.
#define OBJ_FREEZE
Old name of RB_OBJ_FREEZE.
#define T_NONE
Old name of RUBY_T_NONE.
#define SIZET2NUM
Old name of RB_SIZE2NUM.
#define xmalloc
Old name of ruby_xmalloc.
#define LONG2FIX
Old name of RB_INT2FIX.
#define FL_FINALIZE
Old name of RUBY_FL_FINALIZE.
#define T_RATIONAL
Old name of RUBY_T_RATIONAL.
#define T_HASH
Old name of RUBY_T_HASH.
#define FL_SET
Old name of RB_FL_SET.
#define rb_ary_new3
Old name of rb_ary_new_from_args.
#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_ARRAY
Old name of RUBY_T_ARRAY.
#define T_OBJECT
Old name of RUBY_T_OBJECT.
#define NIL_P
Old name of RB_NIL_P.
#define T_SYMBOL
Old name of RUBY_T_SYMBOL.
#define BUILTIN_TYPE
Old name of RB_BUILTIN_TYPE.
#define FL_TEST
Old name of RB_FL_TEST.
#define FL_UNSET
Old name of RB_FL_UNSET.
#define SYMBOL_P
Old name of RB_SYMBOL_P.
#define T_REGEXP
Old name of RUBY_T_REGEXP.
VALUE rb_obj_hide(VALUE obj)
Make the object invisible from Ruby code.
VALUE rb_equal(VALUE lhs, VALUE rhs)
This function is an optimised version of calling #==.
VALUE rb_ary_dup(VALUE ary)
Duplicates an array.
VALUE rb_ary_push(VALUE ary, VALUE elem)
Special case of rb_ary_cat() that it adds only one element.
#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_f_notimplement(int argc, const VALUE *argv, VALUE obj, VALUE marker)
Raises rb_eNotImpError.
static ID rb_intern_const(const char *str)
This is a "tiny optimisation" over rb_intern().
int len
Length of the buffer.
#define RB_ULONG2NUM
Just another name of rb_ulong2num_inline.
#define RB_GC_GUARD(v)
Prevents premature destruction of local objects.
#define RARRAY_LEN
Just another name of rb_array_len.
static void RARRAY_ASET(VALUE ary, long i, VALUE v)
Assigns an object in an array.
#define RARRAY_AREF(a, i)
#define RBASIC(obj)
Convenient casting macro.
int ruby_native_thread_p(void)
Queries if the thread which calls this function is a ruby's thread.
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.
void * rust_closure
The pointer to the Rust-level closure object.
MMTk_ObjectClosureFunction c_function
The function to be called from C.
Ruby object's base components.
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_BUILTIN_TYPE(VALUE obj)
Queries the type of the object.
static bool RB_TYPE_P(VALUE obj, enum ruby_value_type t)
Queries if the given object is of given type.