12#include "ruby/internal/config.h"
21#include "eval_intern.h"
23#include "internal/cont.h"
24#include "internal/jit.h"
25#include "internal/thread.h"
26#include "internal/error.h"
27#include "internal/eval.h"
28#include "internal/gc.h"
29#include "internal/proc.h"
30#include "internal/sanitizers.h"
31#include "internal/vm_map.h"
32#include "internal/warnings.h"
39#include "ractor_core.h"
48#define RB_PAGE_SIZE (pagesize)
49#define RB_PAGE_MASK (~(RB_PAGE_SIZE - 1))
54static VALUE rb_cContinuation;
55static VALUE rb_cFiber;
56static VALUE rb_eFiberError;
57#ifdef RB_EXPERIMENTAL_FIBER_POOL
58static VALUE rb_cFiberPool;
61#define CAPTURE_JUST_VALID_VM_STACK 1
64#ifdef COROUTINE_LIMITED_ADDRESS_SPACE
65#define FIBER_POOL_ALLOCATION_FREE
66#define FIBER_POOL_MINIMUM_COUNT 8
67#define FIBER_POOL_MAXIMUM_ALLOCATIONS 32
69#define FIBER_POOL_MINIMUM_COUNT 32
70#define FIBER_POOL_MAXIMUM_ALLOCATIONS 1024
72#ifdef RB_EXPERIMENTAL_FIBER_POOL
73#define FIBER_POOL_ALLOCATION_FREE
77 CONTINUATION_CONTEXT = 0,
84#ifdef CAPTURE_JUST_VALID_VM_STACK
121#ifdef FIBER_POOL_ALLOCATION_FREE
164#ifdef FIBER_POOL_ALLOCATION_FREE
172#ifdef FIBER_POOL_ALLOCATION_FREE
178#if VM_CHECK_MODE > 0 && defined(HAVE_PTHREAD_H)
179#define ASSERT_FIBER_POOL_LOCK_OWNER_P (true)
181#define ASSERT_FIBER_POOL_LOCK_OWNER_P (false)
199 size_t minimum_count;
203 size_t maximum_count;
214 size_t vm_stack_size;
217 rb_nativethread_lock_t lock;
219#if ASSERT_FIBER_POOL_LOCK_OWNER_P
220 pthread_t lock_owner;
224 struct ccan_list_node list_node;
237 enum context_type type;
275#define FIBER_CREATED_P(fiber) ((fiber)->status == FIBER_CREATED)
276#define FIBER_RESUMED_P(fiber) ((fiber)->status == FIBER_RESUMED)
277#define FIBER_SUSPENDED_P(fiber) ((fiber)->status == FIBER_SUSPENDED)
278#define FIBER_TERMINATED_P(fiber) ((fiber)->status == FIBER_TERMINATED)
279#define FIBER_RUNNABLE_P(fiber) (FIBER_CREATED_P(fiber) || FIBER_SUSPENDED_P(fiber))
287 BITFIELD(
enum fiber_status, status, 2);
289 unsigned int yielding : 1;
290 unsigned int blocking : 1;
292 unsigned int killed : 1;
298static struct fiber_pool shared_fiber_pool = {NULL, NULL, 0, 0, 0, 0};
301rb_free_shared_fiber_pool(
void)
304 while (allocations) {
306 ruby_mimfree(allocations);
311static ID fiber_initialize_keywords[3] = {0};
313static CCAN_LIST_HEAD(fiber_pool_list);
314static rb_nativethread_lock_t fiber_pool_list_lock;
316#if ASSERT_FIBER_POOL_LOCK_OWNER_P
320 return pthread_equal(pthread_self(),
fiber_pool->lock_owner);
326#if VM_CHECK_MODE == 0
327 if (!rb_multi_ractor_p()) {
337#if VM_CHECK_MODE == 0
338 if (!rb_multi_ractor_p()) {
345#define ASSERT_fiber_pool_locked(fiber_pool) (void)0
346#define ASSERT_fiber_pool_unlocked(fiber_pool) (void)0
352#if VM_CHECK_MODE == 0
354 if (!rb_multi_ractor_p())
return;
358#if ASSERT_FIBER_POOL_LOCK_OWNER_P
366#if VM_CHECK_MODE == 0
367 if (!rb_multi_ractor_p())
return;
370#if ASSERT_FIBER_POOL_LOCK_OWNER_P
380#if ASSERT_FIBER_POOL_LOCK_OWNER_P
390 ccan_list_add(&fiber_pool_list, &
fiber_pool->list_node);
395#ifdef RB_EXPERIMENTAL_FIBER_POOL
408rb_fiber_pool_lock_atfork(
void)
413 ccan_list_for_each(&fiber_pool_list,
fiber_pool, list_node) {
423#if defined(MAP_STACK) && !defined(__FreeBSD__) && !defined(__FreeBSD_kernel__)
424#define FIBER_STACK_FLAGS (MAP_PRIVATE | MAP_ANON | MAP_STACK)
425#define FIBER_PROT_FLAGS (PROT_READ | PROT_WRITE)
427#define FIBER_STACK_FLAGS (MAP_PRIVATE | MAP_ANON)
429#define FIBER_BASE_PROT_FLAGS PROT_READ | PROT_WRITE
430#define FIBER_PROT_FLAGS (FIBER_BASE_PROT_FLAGS | PROT_MAX(FIBER_BASE_PROT_FLAGS))
432#define FIBER_PROT_FLAGS (PROT_READ | PROT_WRITE)
436#define ERRNOMSG strerror(errno)
440fiber_pool_vacancy_pointer(
void * base,
size_t size)
442 STACK_GROW_DIR_DETECTION;
445 (
char*)base + STACK_DIR_UPPER(0, size - RB_PAGE_SIZE)
449#if defined(COROUTINE_SANITIZE_ADDRESS)
454 STACK_GROW_DIR_DETECTION;
456 return (
char*)stack->base + STACK_DIR_UPPER(RB_PAGE_SIZE, 0);
463 return stack->size - RB_PAGE_SIZE;
471 STACK_GROW_DIR_DETECTION;
473 stack->current = (
char*)stack->base + STACK_DIR_UPPER(0, stack->size);
474 stack->available = stack->size;
481 STACK_GROW_DIR_DETECTION;
483 VM_ASSERT(stack->current);
485 return STACK_DIR_UPPER(stack->current, (
char*)stack->current - stack->available);
493 STACK_GROW_DIR_DETECTION;
495 if (DEBUG) fprintf(stderr,
"fiber_pool_stack_alloca(%p): %"PRIuSIZE
"/%"PRIuSIZE
"\n", (
void*)stack, offset, stack->available);
496 VM_ASSERT(stack->available >= offset);
499 void * pointer = STACK_DIR_UPPER(stack->current, (
char*)stack->current - offset);
502 stack->current = STACK_DIR_UPPER((
char*)stack->current + offset, (
char*)stack->current - offset);
503 stack->available -= offset;
512 fiber_pool_stack_reset(&vacancy->stack);
515 fiber_pool_stack_alloca(&vacancy->stack, RB_PAGE_SIZE);
521 ASSERT_fiber_pool_locked(vacancy->stack.pool);
522 vacancy->next = head;
524#ifdef FIBER_POOL_ALLOCATION_FREE
526 head->previous = vacancy;
527 vacancy->previous = NULL;
534#ifdef FIBER_POOL_ALLOCATION_FREE
539 vacancy->next->previous = vacancy->previous;
542 if (vacancy->previous) {
543 vacancy->previous->next = vacancy->next;
547 vacancy->stack.pool->vacancies = vacancy->next;
552fiber_pool_vacancy_pop(
struct fiber_pool * pool)
554 ASSERT_fiber_pool_locked(pool);
558 fiber_pool_vacancy_remove(vacancy);
565fiber_pool_vacancy_pop(
struct fiber_pool * pool)
567 ASSERT_fiber_pool_locked(pool);
571 pool->vacancies = vacancy->next;
586 vacancy->stack.base = base;
587 vacancy->stack.size = size;
589 fiber_pool_vacancy_reset(vacancy);
593 return fiber_pool_vacancy_push(vacancy, vacancies);
601fiber_pool_allocate_memory(
size_t * count,
size_t stride)
611 void * base = VirtualAlloc(0, (*count)*stride, MEM_COMMIT, PAGE_READWRITE);
614 errno = rb_w32_map_errno(GetLastError());
615 *count = (*count) >> 1;
622 size_t mmap_size = (*count)*stride;
623 void * base = mmap(NULL, mmap_size, FIBER_PROT_FLAGS, FIBER_STACK_FLAGS, -1, 0);
625 if (base == MAP_FAILED) {
627 *count = (*count) >> 1;
630 ruby_annotate_mmap(base, mmap_size,
"Ruby:fiber_pool_allocate_memory");
631 rb_vm_map_reuse(base, mmap_size);
657 if (RB_UNLIKELY(!allocation)) {
663 STACK_GROW_DIR_DETECTION;
666 size_t stride = size + RB_PAGE_SIZE;
671 if (needs_lock) fiber_pool_unlock(
fiber_pool);
672 ruby_mimfree(allocation);
677 if (count > remaining) {
683 void * base = fiber_pool_allocate_memory(&count, stride);
686 int saved_errno =
errno;
687 if (!saved_errno) saved_errno = ENOMEM;
688 if (needs_lock) fiber_pool_unlock(
fiber_pool);
689 ruby_mimfree(allocation);
697 allocation->base = base;
698 allocation->size = size;
699 allocation->stride = stride;
700 allocation->count = count;
701#ifdef FIBER_POOL_ALLOCATION_FREE
702 allocation->used = 0;
707 fprintf(stderr,
"fiber_pool_expand(%"PRIuSIZE
"): %p, %"PRIuSIZE
"/%"PRIuSIZE
" x [%"PRIuSIZE
":%"PRIuSIZE
"]\n",
712 for (
size_t i = 0; i < count; i += 1) {
713 void * base = (
char*)allocation->base + (stride * i);
714 void * page = (
char*)base + STACK_DIR_UPPER(size, 0);
718 if (!VirtualProtect(page, RB_PAGE_SIZE, PAGE_READWRITE | PAGE_GUARD, &old_protect)) {
719 int error = rb_w32_map_errno(GetLastError());
720 if (needs_lock) fiber_pool_unlock(
fiber_pool);
721 VirtualFree(allocation->base, 0, MEM_RELEASE);
722 ruby_mimfree(allocation);
726#elif defined(__wasi__)
730 if (mprotect(page, RB_PAGE_SIZE, PROT_NONE) < 0) {
732 if (needs_lock) fiber_pool_unlock(
fiber_pool);
733 if (!error) error = ENOMEM;
734 munmap(allocation->base, count*stride);
735 ruby_mimfree(allocation);
741 vacancies = fiber_pool_vacancy_initialize(
743 (
char*)base + STACK_DIR_UPPER(0, RB_PAGE_SIZE),
747#ifdef FIBER_POOL_ALLOCATION_FREE
748 vacancies->stack.allocation = allocation;
755#ifdef FIBER_POOL_ALLOCATION_FREE
756 if (allocation->next) {
757 allocation->next->previous = allocation;
760 allocation->previous = NULL;
768 *vacancy_out = fiber_pool_vacancy_pop(
fiber_pool);
770 if (needs_lock) fiber_pool_unlock(
fiber_pool);
782 VM_ASSERT(vacancy_out);
793fiber_pool_initialize(
struct fiber_pool *
fiber_pool,
size_t size,
size_t minimum_count,
size_t maximum_count,
size_t vm_stack_size)
795 VM_ASSERT(vm_stack_size < size);
799 fiber_pool->size = ((size / RB_PAGE_SIZE) + 1) * RB_PAGE_SIZE;
812 rb_raise(rb_eFiberError,
"can't allocate initial fiber stacks (%"PRIuSIZE
" x %"PRIuSIZE
" bytes): %s",
fiber_pool->minimum_count,
fiber_pool->size, strerror(
errno));
817#ifdef FIBER_POOL_ALLOCATION_FREE
822 STACK_GROW_DIR_DETECTION;
824 VM_ASSERT(allocation->used == 0);
826 if (DEBUG) fprintf(stderr,
"fiber_pool_allocation_free: %p base=%p count=%"PRIuSIZE
"\n", (
void*)allocation, allocation->base, allocation->count);
829 for (i = 0; i < allocation->count; i += 1) {
830 void * base = (
char*)allocation->base + (allocation->stride * i) + STACK_DIR_UPPER(0, RB_PAGE_SIZE);
832 struct fiber_pool_vacancy * vacancy = fiber_pool_vacancy_pointer(base, allocation->size);
835 fiber_pool_vacancy_remove(vacancy);
839 VirtualFree(allocation->base, 0, MEM_RELEASE);
841 munmap(allocation->base, allocation->stride * allocation->count);
844 if (allocation->previous) {
845 allocation->previous->next = allocation->next;
849 allocation->pool->allocations = allocation->next;
852 if (allocation->next) {
853 allocation->next->previous = allocation->previous;
856 allocation->pool->count -= allocation->count;
858 ruby_mimfree(allocation);
864fiber_pool_stack_expand_count(
const struct fiber_pool *pool)
866 ASSERT_fiber_pool_locked(pool);
867 const size_t maximum_allocations = FIBER_POOL_MAXIMUM_ALLOCATIONS;
868 const size_t minimum_count = FIBER_POOL_MINIMUM_COUNT;
871 size_t count = pool->count;
872 if (count > maximum_allocations) count = maximum_allocations;
873 if (count < minimum_count) count = minimum_count;
876 if (pool->maximum_count > 0) {
877 if (pool->count >= pool->maximum_count) {
883 size_t remaining = pool->maximum_count - pool->count;
884 if (count > remaining) {
898 size_t count = fiber_pool_stack_expand_count(
fiber_pool);
900 if (DEBUG_ACQUIRE) fprintf(stderr,
"fiber_pool_stack_acquire: expanding fiber pool by %"PRIuSIZE
" stacks\n", count);
904 if (RB_LIKELY((vacancy = fiber_pool_expand_and_pop(
fiber_pool, count)))) {
908 if (DEBUG_ACQUIRE) fprintf(stderr,
"fiber_pool_stack_acquire: expand failed (%s), collecting garbage\n", strerror(
errno));
918 if (RB_LIKELY(vacancy)) {
923 count = fiber_pool_stack_expand_count(
fiber_pool);
926 if (RB_LIKELY((vacancy = fiber_pool_expand_and_pop(
fiber_pool, count)))) {
947 if (DEBUG) fprintf(stderr,
"fiber_pool_stack_acquire: %p used=%"PRIuSIZE
"\n", (
void*)
fiber_pool->vacancies,
fiber_pool->used);
950 if (RB_UNLIKELY(!vacancy)) {
951 vacancy = fiber_pool_stack_acquire_expand(
fiber_pool);
954 if (RB_UNLIKELY(!vacancy)) {
956 rb_raise(rb_eFiberError,
"can't allocate fiber stack: %s", strerror(
errno));
961 VM_ASSERT(vacancy->stack.base);
963#if defined(COROUTINE_SANITIZE_ADDRESS)
964 __asan_unpoison_memory_region(fiber_pool_stack_poison_base(&vacancy->stack), fiber_pool_stack_poison_size(&vacancy->stack));
970#ifdef FIBER_POOL_ALLOCATION_FREE
971 vacancy->stack.allocation->used += 1;
974 fiber_pool_stack_reset(&vacancy->stack);
978 return vacancy->stack;
986 void * base = fiber_pool_stack_base(stack);
987 size_t size = stack->available;
990 VM_ASSERT(size <= (stack->size - RB_PAGE_SIZE));
992 int advice = stack->pool->free_stacks >> 1;
994 if (DEBUG) fprintf(stderr,
"fiber_pool_stack_free: %p+%"PRIuSIZE
" [base=%p, size=%"PRIuSIZE
"] advice=%d\n", base, size, stack->base, stack->size, advice);
1005 rb_vm_map_reusable_lazy(base, size, advice);
1007#if defined(COROUTINE_SANITIZE_ADDRESS)
1008 __asan_poison_memory_region(fiber_pool_stack_poison_base(stack), fiber_pool_stack_poison_size(stack));
1016 ASSERT_fiber_pool_locked(stack->pool);
1018 struct fiber_pool_vacancy * vacancy = fiber_pool_vacancy_pointer(stack->base, stack->size);
1020 if (DEBUG) fprintf(stderr,
"fiber_pool_stack_release: %p used=%"PRIuSIZE
"\n", stack->base, stack->pool->used);
1023 vacancy->stack = *stack;
1027 fiber_pool_vacancy_reset(vacancy);
1030 pool->vacancies = fiber_pool_vacancy_push(vacancy, pool->vacancies);
1033#ifdef FIBER_POOL_ALLOCATION_FREE
1036 allocation->used -= 1;
1039 if (allocation->used == 0) {
1040 fiber_pool_allocation_free(allocation);
1042 else if (stack->pool->free_stacks) {
1043 fiber_pool_stack_free(&vacancy->stack);
1048 if (stack->pool->free_stacks) {
1049 fiber_pool_stack_free(&vacancy->stack);
1058#ifdef RUBY_ASAN_ENABLED
1059 ec->machine.asan_fake_stack_handle = asan_get_thread_fake_stack_handle();
1061 rb_ractor_set_current_ec(th->ractor, th->ec = ec);
1068 if (th->vm->ractor.main_thread == th &&
1069 rb_signal_buff_size() > 0) {
1070 RUBY_VM_SET_TRAP_INTERRUPT(ec);
1073 VM_ASSERT(ec->fiber_ptr->cont.self == 0 || ec->vm_stack != NULL);
1079 ec_switch(th, fiber);
1080 VM_ASSERT(th->ec->fiber_ptr == fiber);
1083#ifndef COROUTINE_DECL
1084# define COROUTINE_DECL COROUTINE
1092#if defined(COROUTINE_SANITIZE_ADDRESS)
1102 __sanitizer_finish_switch_fiber(to->fake_stack, (
const void**)&from->stack_base, &from->stack_size);
1105 rb_thread_t *thread = fiber->cont.saved_ec.thread_ptr;
1107#ifdef COROUTINE_PTHREAD_CONTEXT
1108 ruby_thread_set_native(thread);
1111 fiber_restore_thread(thread, fiber);
1113 rb_fiber_start(fiber);
1115#ifndef COROUTINE_PTHREAD_CONTEXT
1116 VM_UNREACHABLE(fiber_entry);
1122fiber_initialize_coroutine(
rb_fiber_t *fiber,
size_t * vm_stack_size)
1126 void * vm_stack = NULL;
1130 fiber->stack = fiber_pool_stack_acquire(
fiber_pool);
1131 vm_stack = fiber_pool_stack_alloca(&fiber->stack,
fiber_pool->vm_stack_size);
1134 coroutine_initialize(&fiber->context, fiber_entry, fiber_pool_stack_base(&fiber->stack), fiber->stack.available);
1137 sec->machine.stack_start = fiber->stack.current;
1138 sec->machine.stack_maxsize = fiber->stack.available;
1140 fiber->context.argument = (
void*)fiber;
1152 if (DEBUG) fprintf(stderr,
"fiber_stack_release: %p, stack.base=%p\n", (
void*)fiber, fiber->stack.base);
1155 if (fiber->stack.base) {
1160 fiber_pool_stack_release(&fiber->stack);
1164 fiber->stack.base = NULL;
1168 rb_ec_clear_vm_stack(ec);
1172fiber_status_name(
enum fiber_status s)
1175 case FIBER_CREATED:
return "created";
1176 case FIBER_RESUMED:
return "resumed";
1177 case FIBER_SUSPENDED:
return "suspended";
1178 case FIBER_TERMINATED:
return "terminated";
1180 VM_UNREACHABLE(fiber_status_name);
1187#if VM_CHECK_MODE > 0
1188 VM_ASSERT(fiber->cont.saved_ec.fiber_ptr == fiber);
1190 switch (fiber->status) {
1192 if (fiber->cont.saved_ec.thread_ptr->self == 0) {
1193 VM_ASSERT(fiber->cont.saved_ec.vm_stack != NULL);
1196 case FIBER_SUSPENDED:
1197 VM_ASSERT(fiber->cont.saved_ec.vm_stack != NULL);
1200 case FIBER_TERMINATED:
1204 VM_UNREACHABLE(fiber_verify);
1210fiber_status_set(
rb_fiber_t *fiber,
enum fiber_status s)
1213 VM_ASSERT(!FIBER_TERMINATED_P(fiber));
1214 VM_ASSERT(fiber->status != s);
1215 fiber_verify(fiber);
1235 if (!fiber) rb_raise(rb_eFiberError,
"uninitialized fiber");
1240NOINLINE(
static VALUE cont_capture(
volatile int *
volatile stat));
1242#define THREAD_MUST_BE_RUNNING(th) do { \
1243 if (!(th)->ec->tag) rb_raise(rb_eThreadError, "not running thread"); \
1249 return fiber->cont.saved_ec.thread_ptr;
1255 return cont->saved_ec.thread_ptr->self;
1259cont_compact(
void *ptr)
1264 rb_gc_update_moved(&cont->self);
1266 rb_gc_update_moved(&cont->value);
1267 rb_execution_context_update(&cont->saved_ec);
1275 RUBY_MARK_ENTER(
"cont");
1277 rb_gc_mark_movable(cont->self);
1279 rb_gc_mark_movable(cont->value);
1281 rb_execution_context_mark(&cont->saved_ec);
1282 rb_gc_mark(cont_thread_value(cont));
1284 if (cont->saved_vm_stack.ptr) {
1285#ifdef CAPTURE_JUST_VALID_VM_STACK
1286 rb_gc_mark_locations(cont->saved_vm_stack.ptr,
1287 cont->saved_vm_stack.ptr + cont->saved_vm_stack.slen + cont->saved_vm_stack.clen);
1289 rb_gc_mark_locations(cont->saved_vm_stack.ptr,
1290 cont->saved_vm_stack.ptr, cont->saved_ec.stack_size);
1294 if (cont->machine.stack) {
1295 if (cont->type == CONTINUATION_CONTEXT) {
1297 rb_gc_mark_locations(cont->machine.stack,
1298 cont->machine.stack + cont->machine.stack_size);
1306 RUBY_MARK_LEAVE(
"cont");
1313 return fiber == fiber->cont.saved_ec.thread_ptr->root_fiber;
1317static void jit_cont_free(
struct rb_jit_cont *cont);
1324 RUBY_FREE_ENTER(
"cont");
1326 if (cont->type == CONTINUATION_CONTEXT) {
1327 SIZED_FREE_N(cont->saved_ec.vm_stack, cont->saved_ec.vm_stack_size);
1328 SIZED_FREE_N(cont->machine.stack, cont->machine.stack_size);
1332 coroutine_destroy(&fiber->context);
1333 fiber_stack_release(fiber);
1336 SIZED_FREE_N(cont->saved_vm_stack.ptr, cont->saved_vm_stack.size);
1338 VM_ASSERT(cont->jit_cont != NULL);
1339 jit_cont_free(cont->jit_cont);
1341 if (cont->type == CONTINUATION_CONTEXT) {
1347 RUBY_FREE_LEAVE(
"cont");
1351cont_memsize(
const void *ptr)
1356 size =
sizeof(*cont);
1357 if (cont->saved_vm_stack.ptr) {
1358#ifdef CAPTURE_JUST_VALID_VM_STACK
1359 size_t n = (cont->saved_vm_stack.slen + cont->saved_vm_stack.clen);
1361 size_t n = cont->saved_ec.vm_stack_size;
1363 size += n *
sizeof(*cont->saved_vm_stack.ptr);
1366 if (cont->machine.stack) {
1367 size += cont->machine.stack_size *
sizeof(*cont->machine.stack);
1376 if (fiber->cont.self) {
1377 rb_gc_update_moved(&fiber->cont.self);
1380 rb_execution_context_update(&fiber->cont.saved_ec);
1387 rb_gc_mark_movable(fiber->cont.self);
1391fiber_compact(
void *ptr)
1394 rb_gc_update_moved(&fiber->first_proc);
1396 if (fiber->prev) rb_fiber_update_self(fiber->prev);
1398 cont_compact(&fiber->cont);
1399 fiber_verify(fiber);
1403fiber_mark(
void *ptr)
1406 RUBY_MARK_ENTER(
"cont");
1407 fiber_verify(fiber);
1408 rb_gc_mark_movable(fiber->first_proc);
1409 if (fiber->prev) rb_fiber_mark_self(fiber->prev);
1410 cont_mark(&fiber->cont);
1411 RUBY_MARK_LEAVE(
"cont");
1415fiber_free(
void *ptr)
1423 if (&fiber->cont.saved_ec == rb_current_execution_context(
false)) {
1424 fiber->cont.self = 0;
1427 rb_fiber_free_body(ptr);
1431rb_fiber_free_body(
void *ptr)
1434 RUBY_FREE_ENTER(
"fiber");
1436 if (DEBUG) fprintf(stderr,
"fiber_free: %p[%p]\n", (
void *)fiber, fiber->stack.base);
1438 if (fiber->cont.saved_ec.local_storage) {
1439 rb_id_table_free(fiber->cont.saved_ec.local_storage);
1442 cont_free(&fiber->cont);
1443 RUBY_FREE_LEAVE(
"fiber");
1447fiber_memsize(
const void *ptr)
1450 size_t size =
sizeof(*fiber);
1456 if (saved_ec->local_storage && fiber->first_proc != 0) {
1457 size += rb_id_table_memsize(saved_ec->local_storage);
1458 size += rb_obj_memsize_of(saved_ec->storage);
1461 size += cont_memsize(&fiber->cont);
1468 return RBOOL(rb_typeddata_is_kind_of(obj, &rb_fiber_data_type));
1474 const size_t old_stack_size = cont->machine.stack_size;
1477 SET_MACHINE_STACK_END(&th->ec->machine.stack_end);
1479 if (th->ec->machine.stack_start > th->ec->machine.stack_end) {
1480 size = cont->machine.stack_size = th->ec->machine.stack_start - th->ec->machine.stack_end;
1481 cont->machine.stack_src = th->ec->machine.stack_end;
1484 size = cont->machine.stack_size = th->ec->machine.stack_end - th->ec->machine.stack_start;
1485 cont->machine.stack_src = th->ec->machine.stack_start;
1488 if (cont->machine.stack) {
1489 SIZED_REALLOC_N(cont->machine.stack,
VALUE, cont->machine.stack_size, old_stack_size);
1492 cont->machine.stack =
ALLOC_N(
VALUE, cont->machine.stack_size);
1495 FLUSH_REGISTER_WINDOWS;
1496 asan_unpoison_memory_region(cont->machine.stack_src, size,
false);
1497 MEMCPY(cont->machine.stack, cont->machine.stack_src,
VALUE, size);
1501cont_handle_weak_references(
void *ptr)
1507 if (!rb_gc_handle_weak_references_alive_p(cont->saved_ec.gen_fields_cache.obj) ||
1508 !rb_gc_handle_weak_references_alive_p(cont->saved_ec.gen_fields_cache.fields_obj)) {
1509 cont->saved_ec.gen_fields_cache.obj =
Qundef;
1510 cont->saved_ec.gen_fields_cache.fields_obj =
Qundef;
1516 {cont_mark, cont_free, cont_memsize, cont_compact, cont_handle_weak_references},
1517 0, 0, RUBY_TYPED_THREAD_SAFE_FREE
1525 VM_ASSERT(th->status == THREAD_RUNNABLE);
1532 sec->machine.stack_end = NULL;
1535static rb_nativethread_lock_t jit_cont_lock;
1547 cont = ruby_mimcalloc(1,
sizeof(
struct rb_jit_cont));
1553 if (first_jit_cont == NULL) {
1554 cont->next = cont->prev = NULL;
1558 cont->next = first_jit_cont;
1559 first_jit_cont->prev = cont;
1561 first_jit_cont = cont;
1574 if (cont == first_jit_cont) {
1575 first_jit_cont = cont->next;
1576 if (first_jit_cont != NULL)
1577 first_jit_cont->prev = NULL;
1580 cont->prev->next = cont->next;
1581 if (cont->next != NULL)
1582 cont->next->prev = cont->prev;
1591rb_jit_cont_each_iseq(rb_iseq_callback callback,
void *data)
1594 for (cont = first_jit_cont; cont != NULL; cont = cont->next) {
1595 if (cont->ec->vm_stack == NULL)
1599 while (!RUBY_VM_CONTROL_FRAME_STACK_OVERFLOW_P(cont->ec, cfp)) {
1600 if (CFP_PC(cfp) && CFP_ISEQ(cfp)) {
1602 if (iseq && imemo_type((
VALUE)iseq) == imemo_iseq) {
1603 callback(iseq, data);
1606 cfp = RUBY_VM_PREVIOUS_CONTROL_FRAME(cfp);
1615rb_yjit_cancel_jit_return(
void *leave_exit,
void *leave_exception)
1618 for (cont = first_jit_cont; cont != NULL; cont = cont->next) {
1619 if (cont->ec->vm_stack == NULL)
1623 while (!RUBY_VM_CONTROL_FRAME_STACK_OVERFLOW_P(cont->ec, cfp)) {
1624 if (cfp->jit_return && cfp->jit_return != leave_exception) {
1627 cfp = RUBY_VM_PREVIOUS_CONTROL_FRAME(cfp);
1635rb_jit_cont_finish(
void)
1638 for (cont = first_jit_cont; cont != NULL; cont = next) {
1648 VM_ASSERT(cont->jit_cont == NULL);
1650 cont->jit_cont = jit_cont_new(&(cont->saved_ec));
1656 return &fiber->cont.saved_ec;
1663 cont_save_thread(cont, th);
1664 cont->saved_ec.thread_ptr = th;
1665 cont->saved_ec.local_storage = NULL;
1666 cont->saved_ec.local_storage_recursive_hash =
Qnil;
1667 cont->saved_ec.local_storage_recursive_hash_for_trace =
Qnil;
1668 cont_init_jit_cont(cont);
1672cont_new(
VALUE klass)
1675 volatile VALUE contval;
1678 THREAD_MUST_BE_RUNNING(th);
1680 rb_gc_declare_weak_references(contval);
1681 cont->self = contval;
1682 cont_init(cont, th);
1689 return fiber->cont.self;
1695 return fiber->blocking;
1700rb_jit_cont_init(
void)
1709 VALUE *p = ec->vm_stack;
1710 while (p < ec->cfp->sp) {
1711 fprintf(stderr,
"%3d ", (
int)(p - ec->vm_stack));
1712 rb_obj_info_dump(*p);
1722 while (cfp != end_of_cfp) {
1724 if (CFP_ISEQ(cfp)) {
1725 pc = cfp->pc - ISEQ_BODY(CFP_ISEQ(cfp))->iseq_encoded;
1727 fprintf(stderr,
"%2d pc: %d\n", i++, pc);
1728 cfp = RUBY_VM_PREVIOUS_CONTROL_FRAME(cfp);
1734cont_capture(
volatile int *
volatile stat)
1738 volatile VALUE contval;
1741 THREAD_MUST_BE_RUNNING(th);
1742 rb_vm_stack_to_heap(th->ec);
1743 cont = cont_new(rb_cContinuation);
1744 contval = cont->self;
1746#ifdef CAPTURE_JUST_VALID_VM_STACK
1747 cont->saved_vm_stack.slen = ec->cfp->sp - ec->vm_stack;
1748 cont->saved_vm_stack.clen = ec->vm_stack + ec->vm_stack_size - (
VALUE*)ec->cfp;
1749 cont->saved_vm_stack.size = cont->saved_vm_stack.slen + cont->saved_vm_stack.clen;
1750 cont->saved_vm_stack.ptr =
ALLOC_N(
VALUE, cont->saved_vm_stack.slen + cont->saved_vm_stack.clen);
1751 MEMCPY(cont->saved_vm_stack.ptr,
1753 VALUE, cont->saved_vm_stack.slen);
1754 MEMCPY(cont->saved_vm_stack.ptr + cont->saved_vm_stack.slen,
1757 cont->saved_vm_stack.clen);
1759 cont->saved_vm_stack.size = ec->vm_stack_size;
1760 cont->saved_vm_stack.ptr =
ALLOC_N(
VALUE, ec->vm_stack_size);
1761 MEMCPY(cont->saved_vm_stack.ptr, ec->vm_stack,
VALUE, ec->vm_stack_size);
1764 rb_ec_set_vm_stack(&cont->saved_ec, NULL, 0);
1765 VM_ASSERT(cont->saved_ec.cfp != NULL);
1766 cont_save_machine_stack(th, cont);
1768 if (ruby_setjmp(cont->jmpbuf)) {
1771 VAR_INITIALIZED(cont);
1772 value = cont->value;
1790 if (cont->type == CONTINUATION_CONTEXT) {
1795 if (sec->fiber_ptr != NULL) {
1796 fiber = sec->fiber_ptr;
1798 else if (th->root_fiber) {
1799 fiber = th->root_fiber;
1802 if (fiber && th->ec != &fiber->cont.saved_ec) {
1803 ec_switch(th, fiber);
1806 if (th->ec->trace_arg != sec->trace_arg) {
1810#if defined(__wasm__) && !defined(__EMSCRIPTEN__)
1811 if (th->ec->tag != sec->tag) {
1814 struct rb_vm_tag *lowest_common_ancestor = NULL;
1815 size_t num_tags = 0;
1816 size_t num_saved_tags = 0;
1817 for (
struct rb_vm_tag *tag = th->ec->tag; tag != NULL; tag = tag->prev) {
1820 for (
struct rb_vm_tag *tag = sec->tag; tag != NULL; tag = tag->prev) {
1824 size_t min_tags = num_tags <= num_saved_tags ? num_tags : num_saved_tags;
1827 while (num_tags > min_tags) {
1833 while (num_saved_tags > min_tags) {
1834 saved_tag = saved_tag->prev;
1838 while (min_tags > 0) {
1839 if (tag == saved_tag) {
1840 lowest_common_ancestor = tag;
1844 saved_tag = saved_tag->prev;
1849 for (
struct rb_vm_tag *tag = th->ec->tag; tag != lowest_common_ancestor; tag = tag->prev) {
1850 rb_vm_tag_jmpbuf_deinit(&tag->buf);
1856#ifdef CAPTURE_JUST_VALID_VM_STACK
1858 cont->saved_vm_stack.ptr,
1859 VALUE, cont->saved_vm_stack.slen);
1860 MEMCPY(th->ec->vm_stack + th->ec->vm_stack_size - cont->saved_vm_stack.clen,
1861 cont->saved_vm_stack.ptr + cont->saved_vm_stack.slen,
1862 VALUE, cont->saved_vm_stack.clen);
1864 MEMCPY(th->ec->vm_stack, cont->saved_vm_stack.ptr,
VALUE, sec->vm_stack_size);
1868 th->ec->cfp = sec->cfp;
1869 th->ec->raised_flag = sec->raised_flag;
1870 th->ec->tag = sec->tag;
1871 th->ec->root_lep = sec->root_lep;
1872 th->ec->root_svar = sec->root_svar;
1873 th->ec->errinfo = sec->errinfo;
1875 VM_ASSERT(th->ec->vm_stack != NULL);
1891 if (!FIBER_TERMINATED_P(old_fiber)) {
1892 STACK_GROW_DIR_DETECTION;
1893 SET_MACHINE_STACK_END(&th->ec->machine.stack_end);
1894 if (STACK_DIR_UPPER(0, 1)) {
1895 old_fiber->cont.machine.stack_size = th->ec->machine.stack_start - th->ec->machine.stack_end;
1896 old_fiber->cont.machine.stack = th->ec->machine.stack_end;
1899 old_fiber->cont.machine.stack_size = th->ec->machine.stack_end - th->ec->machine.stack_start;
1900 old_fiber->cont.machine.stack = th->ec->machine.stack_start;
1905 old_fiber->cont.saved_ec.machine.stack_start = th->ec->machine.stack_start;
1906 old_fiber->cont.saved_ec.machine.stack_end = FIBER_TERMINATED_P(old_fiber) ? NULL : th->ec->machine.stack_end;
1911#if defined(COROUTINE_SANITIZE_ADDRESS)
1912 __sanitizer_start_switch_fiber(FIBER_TERMINATED_P(old_fiber) ? NULL : &old_fiber->context.fake_stack, new_fiber->context.stack_base, new_fiber->context.stack_size);
1916 struct coroutine_context * from = coroutine_transfer(&old_fiber->context, &new_fiber->context);
1918#if defined(COROUTINE_SANITIZE_ADDRESS)
1919 __sanitizer_finish_switch_fiber(old_fiber->context.fake_stack, NULL, NULL);
1927 fiber_restore_thread(th, old_fiber);
1933NOINLINE(NORETURN(
static void cont_restore_1(
rb_context_t *)));
1938 cont_restore_thread(cont);
1941#if (defined(_M_AMD64) && !defined(__MINGW64__)) || defined(_M_ARM64)
1946 _JUMP_BUFFER *bp = (
void*)&cont->jmpbuf;
1947 bp->Frame = ((_JUMP_BUFFER*)((
void*)&buf))->Frame;
1950 if (cont->machine.stack_src) {
1951 FLUSH_REGISTER_WINDOWS;
1952 MEMCPY(cont->machine.stack_src, cont->machine.stack,
1953 VALUE, cont->machine.stack_size);
1956 ruby_longjmp(cont->jmpbuf, 1);
1964 if (cont->machine.stack_src) {
1966#define STACK_PAD_SIZE 1
1968#define STACK_PAD_SIZE 1024
1970 VALUE space[STACK_PAD_SIZE];
1972#if !STACK_GROW_DIRECTION
1973 if (addr_in_prev_frame > &space[0]) {
1976#if STACK_GROW_DIRECTION <= 0
1977 volatile VALUE *
const end = cont->machine.stack_src;
1978 if (&space[0] > end) {
1987 cont_restore_0(cont, &space[0]);
1991#if !STACK_GROW_DIRECTION
1996#if STACK_GROW_DIRECTION >= 0
1997 volatile VALUE *
const end = cont->machine.stack_src + cont->machine.stack_size;
1998 if (&space[STACK_PAD_SIZE] < end) {
2003 cont_restore_0(cont, &space[STACK_PAD_SIZE-1]);
2007#if !STACK_GROW_DIRECTION
2011 cont_restore_1(cont);
2098rb_callcc(
VALUE self)
2100 volatile int called;
2101 volatile VALUE val = cont_capture(&called);
2110#ifdef RUBY_ASAN_ENABLED
2113MAYBE_UNUSED(
static void notusing_callcc(
void)) { rb_callcc(
Qnil); }
2114# define rb_callcc rb_f_notimplement
2119make_passing_arg(
int argc,
const VALUE *argv)
2135NORETURN(
static VALUE rb_cont_call(
int argc,
VALUE *argv,
VALUE contval));
2153rb_cont_call(
int argc,
VALUE *argv,
VALUE contval)
2158 if (cont_thread_value(cont) != th->self) {
2161 if (cont->saved_ec.fiber_ptr) {
2162 if (th->ec->fiber_ptr != cont->saved_ec.fiber_ptr) {
2168 cont->value = make_passing_arg(argc, argv);
2170 cont_restore_0(cont, &contval);
2262fiber_handle_weak_references(
void *ptr)
2268 if (!rb_gc_handle_weak_references_alive_p(fiber->cont.saved_ec.gen_fields_cache.obj) ||
2269 !rb_gc_handle_weak_references_alive_p(fiber->cont.saved_ec.gen_fields_cache.fields_obj)) {
2270 fiber->cont.saved_ec.gen_fields_cache.obj =
Qundef;
2271 fiber->cont.saved_ec.gen_fields_cache.fields_obj =
Qundef;
2277 {fiber_mark, fiber_free, fiber_memsize, fiber_compact, fiber_handle_weak_references},
2278 0, 0, RUBY_TYPED_THREAD_SAFE_FREE
2284fiber_alloc(
VALUE klass)
2286 return fiber_alloc_in(klass, GET_RACTOR()->
objspace);
2292 VALUE obj = rb_data_typed_object_wrap_in_objspace(
objspace, klass, 0, &rb_fiber_data_type);
2293 rb_gc_declare_weak_references(obj);
2300 return cr->next_ec_serial++;
2304fiber_t_alloc(
VALUE fiber_value,
unsigned int blocking)
2313 THREAD_MUST_BE_RUNNING(th);
2315 fiber->cont.self = fiber_value;
2316 fiber->cont.type = FIBER_CONTEXT;
2317 fiber->blocking = blocking;
2319 cont_init(&fiber->cont, th);
2321 fiber->cont.saved_ec.fiber_ptr = fiber;
2322 fiber->cont.saved_ec.serial = next_ec_serial(th->ractor);
2323 rb_ec_clear_vm_stack(&fiber->cont.saved_ec);
2329 VM_ASSERT(FIBER_CREATED_P(fiber));
2342 return ec->fiber_ptr;
2346current_fiber_storage(
void)
2353inherit_fiber_storage(
void)
2361 fiber->cont.saved_ec.storage = storage;
2365fiber_storage_get(
rb_fiber_t *fiber,
int allocate)
2367 VALUE storage = fiber->cont.saved_ec.storage;
2368 if (storage ==
Qnil && allocate) {
2369 storage = rb_hash_new();
2370 fiber_storage_set(fiber, storage);
2376storage_access_must_be_from_same_fiber(
VALUE self)
2380 if (fiber != current) {
2381 rb_raise(rb_eArgError,
"Fiber storage can only be accessed from the Fiber it belongs to");
2392rb_fiber_storage_get(
VALUE self)
2394 storage_access_must_be_from_same_fiber(self);
2396 VALUE storage = fiber_storage_get(fiber_ptr(self), FALSE);
2398 if (storage ==
Qnil) {
2415fiber_storage_validate(
VALUE value)
2418 if (value ==
Qnil)
return;
2458 "Fiber#storage= is experimental and may be removed in the future!");
2461 storage_access_must_be_from_same_fiber(self);
2462 fiber_storage_validate(value);
2464 fiber_ptr(self)->cont.saved_ec.storage =
rb_obj_dup(value);
2483 VALUE storage = fiber_storage_get(fiber_current(), FALSE);
2486 return rb_hash_aref(storage, key);
2505 VALUE storage = fiber_storage_get(fiber_current(), value !=
Qnil);
2508 if (value ==
Qnil) {
2509 return rb_hash_delete(storage, key);
2512 return rb_hash_aset(storage, key, value);
2521 storage = inherit_fiber_storage();
2524 fiber_storage_validate(storage);
2528 rb_fiber_t *fiber = fiber_t_alloc(self, blocking);
2530 fiber->cont.saved_ec.storage = storage;
2531 fiber->first_proc = proc;
2532 fiber->stack.base = NULL;
2544 size_t vm_stack_size = 0;
2545 VALUE *vm_stack = fiber_initialize_coroutine(fiber, &vm_stack_size);
2548 cont->saved_vm_stack.ptr = NULL;
2549 rb_ec_initialize_vm_stack(sec, vm_stack, vm_stack_size /
sizeof(
VALUE));
2552 sec->local_storage = NULL;
2553 sec->local_storage_recursive_hash =
Qnil;
2554 sec->local_storage_recursive_hash_for_trace =
Qnil;
2558rb_fiber_pool_default(
VALUE pool)
2560 return &shared_fiber_pool;
2566 fiber->cont.saved_ec.storage = storage;
2572rb_fiber_initialize_kw(
int argc,
VALUE* argv,
VALUE self,
int kw_splat)
2583 rb_get_kwargs(options, fiber_initialize_keywords, 0, 3, arguments);
2585 if (!UNDEF_P(arguments[0])) {
2586 blocking = arguments[0];
2589 if (!UNDEF_P(arguments[1])) {
2590 pool = arguments[1];
2593 storage = arguments[2];
2596 return fiber_initialize(self,
rb_block_proc(), rb_fiber_pool_default(pool),
RTEST(blocking), storage);
2649rb_fiber_initialize(
int argc,
VALUE* argv,
VALUE self)
2657 return fiber_initialize(fiber_alloc(rb_cFiber),
rb_proc_new(func, obj), rb_fiber_pool_default(
Qnil), 0, storage);
2663 return rb_fiber_new_storage(func, obj,
Qtrue);
2667rb_fiber_s_schedule_kw(
int argc,
VALUE* argv,
int kw_splat)
2670 VALUE scheduler = th->scheduler;
2673 if (scheduler !=
Qnil) {
2725rb_fiber_s_schedule(
int argc,
VALUE *argv,
VALUE obj)
2741rb_fiber_s_scheduler(
VALUE klass)
2755rb_fiber_current_scheduler(
VALUE klass)
2777rb_fiber_set_scheduler(
VALUE klass,
VALUE scheduler)
2782NORETURN(
static void rb_fiber_terminate(
rb_fiber_t *fiber,
int need_interrupt,
VALUE err));
2788 rb_thread_t *
volatile th = fiber->cont.saved_ec.thread_ptr;
2790 enum ruby_tag_type state;
2792 VM_ASSERT(th->ec == GET_EC());
2793 VM_ASSERT(FIBER_RESUMED_P(fiber));
2795 if (fiber->blocking) {
2799 EC_PUSH_TAG(th->ec);
2800 if ((state = EC_EXEC_TAG()) == TAG_NONE) {
2804 const VALUE *argv, args = cont->value;
2805 GetProcPtr(fiber->first_proc, proc);
2808 th->ec->errinfo =
Qnil;
2809 th->ec->root_lep = rb_vm_proc_local_ep(fiber->first_proc);
2810 th->ec->root_svar =
Qfalse;
2813 const rb_cref_t *cref = rb_proc_refinements_cref_for_call(fiber->first_proc);
2814 cont->value = rb_vm_invoke_proc(th->ec, proc, argc, argv, cont->kw_splat, VM_BLOCK_HANDLER_NONE, cref);
2818 int need_interrupt = TRUE;
2821 err = th->ec->errinfo;
2822 VM_ASSERT(FIBER_RESUMED_P(fiber));
2824 if (state == TAG_RAISE) {
2827 else if (state == TAG_FATAL && err == RUBY_FATAL_FIBER_KILLED) {
2828 need_interrupt = FALSE;
2831 else if (state == TAG_FATAL) {
2832 rb_threadptr_pending_interrupt_enque(th, err);
2835 err = rb_vm_make_jump_tag_but_local_jump(state, err);
2839 rb_fiber_terminate(fiber, need_interrupt, err);
2848 rb_bug(
"%s", strerror(
errno));
2851 fiber->cont.type = FIBER_CONTEXT;
2852 fiber->cont.saved_ec.fiber_ptr = fiber;
2853 fiber->cont.saved_ec.serial = next_ec_serial(th->ractor);
2854 fiber->cont.saved_ec.thread_ptr = th;
2855 fiber->blocking = 1;
2857 fiber_status_set(fiber, FIBER_RESUMED);
2859 coroutine_initialize_main(&fiber->context);
2861 th->ec = &fiber->cont.saved_ec;
2863 cont_init_jit_cont(&fiber->cont);
2872 fiber->cont.self = fiber_value;
2878 if (th->root_fiber) {
2884 VM_ASSERT(th->ec->fiber_ptr->cont.type == FIBER_CONTEXT);
2885 VM_ASSERT(th->ec->fiber_ptr->cont.self == 0);
2887 if (ec && th->ec == ec) {
2888 rb_ractor_set_current_ec(th->ractor, NULL);
2890 fiber_free(th->ec->fiber_ptr);
2900 fiber->status = FIBER_TERMINATED;
2903 rb_ec_clear_vm_stack(th->ec);
2907return_fiber(
bool terminate)
2914 prev->resuming_fiber = NULL;
2919 rb_raise(rb_eFiberError,
"attempt to yield on a not resumed fiber");
2925 VM_ASSERT(root_fiber != NULL);
2928 for (fiber = root_fiber; fiber->resuming_fiber; fiber = fiber->resuming_fiber) {
2936rb_fiber_current(
void)
2938 return fiber_current()->cont.self;
2947 if (FIBER_CREATED_P(next_fiber)) {
2948 fiber_prepare_stack(next_fiber);
2951 VM_ASSERT(FIBER_RESUMED_P(fiber) || FIBER_TERMINATED_P(fiber));
2952 VM_ASSERT(FIBER_RUNNABLE_P(next_fiber));
2954 if (FIBER_RESUMED_P(fiber)) fiber_status_set(fiber, FIBER_SUSPENDED);
2956 fiber_status_set(next_fiber, FIBER_RESUMED);
2957 fiber_setcontext(next_fiber, fiber);
2963 VM_ASSERT(fiber == fiber_current());
2965 if (fiber->killed) {
2966 rb_thread_t *thread = fiber->cont.saved_ec.thread_ptr;
2968 thread->ec->errinfo = RUBY_FATAL_FIBER_KILLED;
2969 EC_JUMP_TAG(thread->ec, RUBY_TAG_FATAL);
2981 if (th->root_fiber == NULL) {
2982 th->root_fiber = th->ec->fiber_ptr;
2985 if (th->ec->fiber_ptr == fiber) {
2989 return make_passing_arg(argc, argv);
2992 if (cont_thread_value(cont) != th->self) {
2993 rb_raise(rb_eFiberError,
"fiber called across threads");
2996 if (FIBER_TERMINATED_P(fiber)) {
2997 value =
rb_exc_new2(rb_eFiberError,
"dead fiber called");
2999 if (!FIBER_TERMINATED_P(th->ec->fiber_ptr)) {
3001 VM_UNREACHABLE(fiber_switch);
3007 VM_ASSERT(FIBER_SUSPENDED_P(th->root_fiber));
3009 cont = &th->root_fiber->cont;
3011 cont->value = value;
3013 fiber_setcontext(th->root_fiber, th->ec->fiber_ptr);
3015 VM_UNREACHABLE(fiber_switch);
3019 VM_ASSERT(FIBER_RUNNABLE_P(fiber));
3026 VALUE fiber_value = fiber->cont.self;
3030 VM_ASSERT(!current_fiber->resuming_fiber);
3032 if (resuming_fiber) {
3033 current_fiber->resuming_fiber = resuming_fiber;
3034 fiber->prev = fiber_current();
3035 fiber->yielding = 0;
3038 VM_ASSERT(!current_fiber->yielding);
3040 current_fiber->yielding = 1;
3043 if (current_fiber->blocking) {
3048 cont->kw_splat = kw_splat;
3049 cont->value = make_passing_arg(argc, argv);
3051 fiber_store(fiber, th);
3054#ifndef COROUTINE_PTHREAD_CONTEXT
3055 if (FIBER_TERMINATED_P(fiber)) {
3056 fiber_stack_release(fiber);
3061 if (fiber_current()->blocking) {
3065 RUBY_VM_CHECK_INTS(th->ec);
3069 current_fiber = th->ec->fiber_ptr;
3070 value = current_fiber->cont.value;
3072 fiber_check_killed(current_fiber);
3074 if (current_fiber->cont.argc == -1) {
3085 return fiber_switch(fiber_ptr(fiber_value), argc, argv,
RB_NO_KEYWORDS, NULL,
false);
3103rb_fiber_blocking_p(
VALUE fiber)
3105 return RBOOL(fiber_ptr(fiber)->blocking);
3109fiber_blocking_yield(
VALUE fiber_value)
3112 rb_thread_t *
volatile th = fiber->cont.saved_ec.thread_ptr;
3114 VM_ASSERT(fiber->blocking == 0);
3117 fiber->blocking = 1;
3126fiber_blocking_ensure(
VALUE fiber_value)
3129 rb_thread_t *
volatile th = fiber->cont.saved_ec.thread_ptr;
3132 fiber->blocking = 0;
3149rb_fiber_blocking(
VALUE class)
3151 VALUE fiber_value = rb_fiber_current();
3155 if (fiber->blocking) {
3159 return rb_ensure(fiber_blocking_yield, fiber_value, fiber_blocking_ensure, fiber_value);
3182rb_fiber_s_blocking_p(
VALUE klass)
3185 unsigned blocking = thread->blocking;
3196 fiber_status_set(fiber, FIBER_TERMINATED);
3197 rb_ec_close(&fiber->cont.saved_ec);
3203 VALUE value = fiber->cont.value;
3205 VM_ASSERT(FIBER_RESUMED_P(fiber));
3206 rb_fiber_close(fiber);
3208 fiber->cont.machine.stack = NULL;
3209 fiber->cont.machine.stack_size = 0;
3213 if (need_interrupt) RUBY_VM_SET_INTERRUPT(&next_fiber->cont.saved_ec);
3216 fiber_switch(next_fiber, -1, &error,
RB_NO_KEYWORDS, NULL,
false);
3218 fiber_switch(next_fiber, 1, &value,
RB_NO_KEYWORDS, NULL,
false);
3223fiber_resume_kw(
rb_fiber_t *fiber,
int argc,
const VALUE *argv,
int kw_splat)
3227 if (argc == -1 && FIBER_CREATED_P(fiber)) {
3228 rb_raise(rb_eFiberError,
"cannot raise exception on unborn fiber");
3230 else if (FIBER_TERMINATED_P(fiber)) {
3231 rb_raise(rb_eFiberError,
"attempt to resume a terminated fiber");
3233 else if (fiber == current_fiber) {
3234 rb_raise(rb_eFiberError,
"attempt to resume the current fiber");
3236 else if (fiber->prev != NULL) {
3237 rb_raise(rb_eFiberError,
"attempt to resume a resumed fiber (double resume)");
3239 else if (fiber->resuming_fiber) {
3240 rb_raise(rb_eFiberError,
"attempt to resume a resuming fiber");
3242 else if (fiber->prev == NULL &&
3243 (!fiber->yielding && fiber->status != FIBER_CREATED)) {
3244 rb_raise(rb_eFiberError,
"attempt to resume a transferring fiber");
3247 return fiber_switch(fiber, argc, argv, kw_splat, fiber,
false);
3251rb_fiber_resume_kw(
VALUE self,
int argc,
const VALUE *argv,
int kw_splat)
3253 return fiber_resume_kw(fiber_ptr(self), argc, argv, kw_splat);
3259 return fiber_resume_kw(fiber_ptr(self), argc, argv,
RB_NO_KEYWORDS);
3263rb_fiber_yield_kw(
int argc,
const VALUE *argv,
int kw_splat)
3265 return fiber_switch(return_fiber(
false), argc, argv, kw_splat, NULL,
true);
3269rb_fiber_yield(
int argc,
const VALUE *argv)
3271 return fiber_switch(return_fiber(
false), argc, argv,
RB_NO_KEYWORDS, NULL,
true);
3277 if (th->root_fiber && th->root_fiber != th->ec->fiber_ptr) {
3278 th->ec->local_storage = th->root_fiber->cont.saved_ec.local_storage;
3293 return RBOOL(!FIBER_TERMINATED_P(fiber_ptr(fiber_value)));
3312rb_fiber_m_resume(
int argc,
VALUE *argv,
VALUE fiber)
3364rb_fiber_backtrace(
int argc,
VALUE *argv,
VALUE fiber)
3366 return rb_vm_backtrace(argc, argv, &fiber_ptr(fiber)->cont.saved_ec);
3389rb_fiber_backtrace_locations(
int argc,
VALUE *argv,
VALUE fiber)
3391 return rb_vm_backtrace_locations(argc, argv, &fiber_ptr(fiber)->cont.saved_ec);
3477rb_fiber_m_transfer(
int argc,
VALUE *argv,
VALUE self)
3483fiber_transfer_kw(
rb_fiber_t *fiber,
int argc,
const VALUE *argv,
int kw_splat)
3485 if (fiber->resuming_fiber) {
3486 rb_raise(rb_eFiberError,
"attempt to transfer to a resuming fiber");
3489 if (fiber->yielding) {
3490 rb_raise(rb_eFiberError,
"attempt to transfer to a yielding fiber");
3493 return fiber_switch(fiber, argc, argv, kw_splat, NULL,
false);
3497rb_fiber_transfer_kw(
VALUE self,
int argc,
const VALUE *argv,
int kw_splat)
3499 return fiber_transfer_kw(fiber_ptr(self), argc, argv, kw_splat);
3513rb_fiber_s_yield(
int argc,
VALUE *argv,
VALUE klass)
3521 if (fiber == fiber_current()) {
3524 else if (fiber->resuming_fiber) {
3525 return fiber_raise(fiber->resuming_fiber, exception);
3527 else if (FIBER_SUSPENDED_P(fiber) && !fiber->yielding) {
3538 VALUE exception = rb_exception_setup(argc, argv);
3540 return fiber_raise(fiber_ptr(fiber), exception);
3578rb_fiber_m_raise(
int argc,
VALUE *argv,
VALUE self)
3580 return rb_fiber_raise(self, argc, argv);
3601rb_fiber_m_kill(
VALUE self)
3605 if (fiber->killed)
return Qfalse;
3608 if (fiber->status == FIBER_CREATED) {
3609 fiber->status = FIBER_TERMINATED;
3611 else if (fiber->status != FIBER_TERMINATED) {
3612 if (fiber_current() == fiber) {
3613 fiber_check_killed(fiber);
3616 fiber_raise(fiber_ptr(self),
Qnil);
3631rb_fiber_s_current(
VALUE klass)
3633 return rb_fiber_current();
3637fiber_to_s(
VALUE fiber_value)
3639 const rb_fiber_t *fiber = fiber_ptr(fiber_value);
3641 char status_info[0x20];
3643 if (fiber->resuming_fiber) {
3644 snprintf(status_info, 0x20,
" (%s by resuming)", fiber_status_name(fiber->status));
3647 snprintf(status_info, 0x20,
" (%s)", fiber_status_name(fiber->status));
3652 strlcat(status_info,
">",
sizeof(status_info));
3657 GetProcPtr(fiber->first_proc, proc);
3658 return rb_block_to_s(fiber_value, &proc->block, status_info);
3661#ifdef HAVE_WORKING_FORK
3665 if (th->root_fiber) {
3666 if (&th->root_fiber->cont.saved_ec != th->ec) {
3667 th->root_fiber = th->ec->fiber_ptr;
3669 th->root_fiber->prev = 0;
3670 th->root_fiber->blocking = 1;
3676#ifdef RB_EXPERIMENTAL_FIBER_POOL
3678fiber_pool_free(
void *ptr)
3681 RUBY_FREE_ENTER(
"fiber_pool");
3684 fiber_pool_allocation_free(
fiber_pool->allocations);
3688 RUBY_FREE_LEAVE(
"fiber_pool");
3692fiber_pool_memsize(
const void *ptr)
3695 size_t size =
sizeof(*fiber_pool);
3704 {NULL, fiber_pool_free, fiber_pool_memsize,},
3705 0, 0, RUBY_TYPED_THREAD_SAFE_FREE
3709fiber_pool_alloc(
VALUE klass)
3717rb_fiber_pool_initialize(
int argc,
VALUE* argv,
VALUE self)
3724 rb_scan_args(argc, argv,
"03", &size, &count, &vm_stack_size);
3727 size =
SIZET2NUM(th->vm->default_params.fiber_machine_stack_size);
3734 if (
NIL_P(vm_stack_size)) {
3735 vm_stack_size =
SIZET2NUM(th->vm->default_params.fiber_vm_stack_size);
3760shared_fiber_pool_minimum_count(
void)
3762 size_t minimum_count = FIBER_POOL_MINIMUM_COUNT;
3764 const char *minimum_count_env = getenv(
"RUBY_SHARED_FIBER_POOL_MINIMUM_COUNT");
3765 if (minimum_count_env && minimum_count_env[0]) {
3767 unsigned long value = strtoul(minimum_count_env, &end, 10);
3768 if (end != minimum_count_env && *end ==
'\0') {
3769 minimum_count = (size_t)value;
3772 rb_warn(
"invalid RUBY_SHARED_FIBER_POOL_MINIMUM_COUNT=%s (expected a non-negative integer)", minimum_count_env);
3776 return minimum_count;
3780shared_fiber_pool_maximum_count(
void)
3782 size_t maximum_count = 0;
3784 const char *maximum_count_env = getenv(
"RUBY_SHARED_FIBER_POOL_MAXIMUM_COUNT");
3785 if (maximum_count_env && maximum_count_env[0]) {
3787 unsigned long value = strtoul(maximum_count_env, &end, 10);
3788 if (end != maximum_count_env && *end ==
'\0') {
3789 maximum_count = (size_t)value;
3792 rb_warn(
"invalid RUBY_SHARED_FIBER_POOL_MAXIMUM_COUNT=%s (expected a non-negative integer)", maximum_count_env);
3796 return maximum_count;
3803 size_t vm_stack_size = th->vm->default_params.fiber_vm_stack_size;
3804 size_t machine_stack_size = th->vm->default_params.fiber_machine_stack_size;
3805 size_t stack_size = machine_stack_size + vm_stack_size;
3809 GetSystemInfo(&info);
3810 pagesize = info.dwPageSize;
3812 pagesize = sysconf(_SC_PAGESIZE);
3814 SET_MACHINE_STACK_END(&th->ec->machine.stack_end);
3820 size_t minimum_count = shared_fiber_pool_minimum_count();
3821 size_t maximum_count = shared_fiber_pool_maximum_count();
3822 fiber_pool_initialize(&shared_fiber_pool, stack_size, minimum_count, maximum_count, vm_stack_size);
3828 const char *fiber_shared_fiber_pool_free_stacks = getenv(
"RUBY_SHARED_FIBER_POOL_FREE_STACKS");
3829 if (fiber_shared_fiber_pool_free_stacks) {
3830 shared_fiber_pool.free_stacks = atoi(fiber_shared_fiber_pool_free_stacks);
3832 if (shared_fiber_pool.free_stacks < 0) {
3833 rb_warn(
"Setting RUBY_SHARED_FIBER_POOL_FREE_STACKS to a negative value is not allowed.");
3834 shared_fiber_pool.free_stacks = 0;
3837 if (shared_fiber_pool.free_stacks > 1) {
3838 rb_warn(
"Setting RUBY_SHARED_FIBER_POOL_FREE_STACKS to a value greater than 1 is operating system specific, and may cause crashes.");
3842 rb_cFiber = rb_define_class(
"Fiber",
rb_cObject);
3858 rb_define_method(rb_cFiber,
"backtrace_locations", rb_fiber_backtrace_locations, -1);
3871 rb_thread_t *current_thread = rb_current_thread();
3873 *(
VALUE *)&((
struct RBasic *)current_thread->ec->fiber_ptr->cont.self)->klass = rb_cFiber;
3875#ifdef RB_EXPERIMENTAL_FIBER_POOL
3880 rb_cFiberPool = rb_define_class_under(rb_cFiber,
"Pool",
rb_cObject);
3882 rb_define_method(rb_cFiberPool,
"initialize", rb_fiber_pool_initialize, -1);
3888RUBY_SYMBOL_EXPORT_BEGIN
3891ruby_Init_Continuation_body(
void)
3893 rb_cContinuation = rb_define_class(
"Continuation",
rb_cObject);
3898#ifdef COROUTINE_SHADOW_STACK
3899 if (coroutine_shadow_stack_enabled()) {
3908RUBY_SYMBOL_EXPORT_END
#define RUBY_ASSERT(...)
Asserts that the given expression is truthy if and only if RUBY_DEBUG is truthy.
#define rb_define_method(klass, mid, func, arity)
Defines klass#mid.
#define rb_define_singleton_method(klass, mid, func, arity)
Defines klass.mid.
#define rb_define_global_function(mid, func, arity)
Defines rb_mKernel #mid.
#define RUBY_EVENT_FIBER_SWITCH
Encountered a Fiber#yield.
static bool RB_OBJ_FROZEN(VALUE obj)
Checks if an object is frozen.
void rb_define_alias(VALUE klass, const char *name1, const char *name2)
Defines an alias of a method.
void rb_undef_method(VALUE klass, const char *name)
Defines an undef of a method.
int rb_scan_args_kw(int kw_flag, int argc, const VALUE *argv, const char *fmt,...)
Identical to rb_scan_args(), except it also accepts kw_splat.
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.
int rb_keyword_given_p(void)
Determines if the current method is given a keyword argument.
int rb_get_kwargs(VALUE keyword_hash, const ID *table, int required, int optional, VALUE *values)
Keyword argument deconstructor.
#define Qundef
Old name of RUBY_Qundef.
#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 rb_ary_new4
Old name of rb_ary_new_from_values.
#define SIZET2NUM
Old name of RB_SIZE2NUM.
#define rb_exc_new2
Old name of rb_exc_new_cstr.
#define T_HASH
Old name of RUBY_T_HASH.
#define ALLOC_N
Old name of RB_ALLOC_N.
#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 NIL_P
Old name of RB_NIL_P.
#define T_SYMBOL
Old name of RUBY_T_SYMBOL.
#define NUM2SIZET
Old name of RB_NUM2SIZE.
void ruby_stop(int ex)
Calls ruby_cleanup() and exits the process.
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_exc_raise(VALUE mesg)
Raises an exception in the current thread.
void rb_syserr_fail(int e, const char *mesg)
Raises appropriate exception that represents a C errno.
VALUE rb_eStandardError
StandardError exception.
VALUE rb_eFrozenError
FrozenError exception.
VALUE rb_eTypeError
TypeError exception.
VALUE rb_eRuntimeError
RuntimeError exception.
void rb_warn(const char *fmt,...)
Identical to rb_warning(), except it reports unless $VERBOSE is nil.
@ RB_WARN_CATEGORY_EXPERIMENTAL
Warning is for experimental features.
VALUE rb_cObject
Object class.
VALUE rb_any_to_s(VALUE obj)
Generates a textual representation of the given object.
VALUE rb_obj_dup(VALUE obj)
Duplicates the given object.
VALUE rb_fiber_scheduler_current(void)
Identical to rb_fiber_scheduler_get(), except it also returns RUBY_Qnil in case of a blocking fiber.
VALUE rb_fiber_scheduler_set(VALUE scheduler)
Destructively assigns the passed scheduler to that of the current thread that is calling this functio...
VALUE rb_fiber_scheduler_get(void)
Queries the current scheduler of the current thread that is calling this function.
VALUE rb_fiber_scheduler_fiber(VALUE scheduler, int argc, VALUE *argv, int kw_splat)
Create and schedule a non-blocking fiber.
void rb_provide(const char *feature)
Declares that the given feature is already provided by someone else.
VALUE rb_block_proc(void)
Constructs a Proc object from implicitly passed components.
VALUE rb_obj_is_proc(VALUE recv)
Queries if the given object is a proc.
void rb_str_set_len(VALUE str, long len)
Overwrites the length of the string.
#define rb_str_cat_cstr(buf, str)
Identical to rb_str_cat(), except it assumes the passed pointer is a pointer to a C string.
void rb_undef_alloc_func(VALUE klass)
Deletes the allocator function of a class.
void rb_define_alloc_func(VALUE klass, rb_alloc_func_t func)
Sets the allocator function of a class.
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().
VALUE rb_to_symbol(VALUE name)
Identical to rb_intern_str(), except it generates a dynamic symbol if necessary.
VALUE rb_yield(VALUE val)
Yields the block.
rb_block_call_func * rb_block_call_func_t
Shorthand type that represents an iterator-written-in-C function pointer.
#define MEMCPY(p1, p2, type, n)
Handy macro to call memcpy.
#define ALLOCA_N(type, n)
#define RB_GC_GUARD(v)
Prevents premature destruction of local objects.
VALUE rb_proc_new(type *q, VALUE w)
Creates a rb_cProc instance.
void rb_hash_foreach(VALUE q, int_type *w, VALUE e)
Iteration over the given hash.
VALUE rb_ensure(type *q, VALUE w, type *e, VALUE r)
An equivalent of ensure clause.
#define RARRAY_CONST_PTR
Just another name of rb_array_const_ptr.
#define TypedData_Get_Struct(obj, type, data_type, sval)
Obtains a C struct from inside of a wrapper Ruby object.
#define DATA_PTR(obj)
Convenient casting macro for backward compatibility.
#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...
#define errno
Ractor-aware version of errno.
#define RB_NO_KEYWORDS
Do not pass keywords.
#define RTEST
This is an old name of RB_TEST.
Ruby object's base components.
This is the struct that holds necessary info for a struct.
void rb_native_mutex_lock(rb_nativethread_lock_t *lock)
Just another name of rb_nativethread_lock_lock.
void rb_native_mutex_initialize(rb_nativethread_lock_t *lock)
Just another name of rb_nativethread_lock_initialize.
void rb_native_mutex_unlock(rb_nativethread_lock_t *lock)
Just another name of rb_nativethread_lock_unlock.
void rb_native_mutex_destroy(rb_nativethread_lock_t *lock)
Just another name of rb_nativethread_lock_destroy.
uintptr_t ID
Type that represents a Ruby identifier such as a variable name.
uintptr_t VALUE
Type that represents a Ruby 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.