diff options
| author | Koichi Sasada <[email protected]> | 2024-07-03 11:56:49 +0900 |
|---|---|---|
| committer | Koichi Sasada <[email protected]> | 2024-07-05 21:20:54 +0900 |
| commit | 685a4e5be77ec376f29a180c7ed9fbee23e05bac () | |
| tree | 583720f6654720dc5bdeeeebf6ded38bb13aa497 /vm_sync.c | |
| parent | 88a2a46e233fb52107f4ef921813f14243af75d4 (diff) | |
VM barrier needs to store GC root
On the VM barrier waiting, it needs to store machine context as a GC root. Also it needs to wait for barrier synchronization correctly by `while` (for continuous barrier sync by another ractor). This is why GC marking misses are occerred on ARM machines. like: https://rubyci.s3.amazonaws.com/fedora40-arm/ruby-master/log/20240702T063002Z.fail.html.gz
| -rw-r--r-- | vm_sync.c | 40 |
1 files changed, 27 insertions, 13 deletions
@@ -40,6 +40,26 @@ rb_vm_locked_p(void) return vm_locked(GET_VM()); } static void vm_lock_enter(rb_ractor_t *cr, rb_vm_t *vm, bool locked, bool no_barrier, unsigned int *lev APPEND_LOCATION_ARGS) { @@ -58,23 +78,17 @@ vm_lock_enter(rb_ractor_t *cr, rb_vm_t *vm, bool locked, bool no_barrier, unsign VM_ASSERT(vm->ractor.sync.lock_owner == NULL); VM_ASSERT(vm->ractor.sync.lock_rec == 0); -#ifdef RUBY_THREAD_PTHREAD_H - if (!no_barrier && - cr->threads.sched.running != NULL // ractor has running threads. - ) { - while (vm->ractor.sched.barrier_waiting) { RUBY_DEBUG_LOG("barrier serial:%u", vm->ractor.sched.barrier_serial); rb_ractor_sched_barrier_join(vm, cr); - } } -#else - if (!no_barrier) { - while (vm->ractor.sync.barrier_waiting) { - rb_ractor_sched_barrier_join(vm, cr); - } - } -#endif VM_ASSERT(vm->ractor.sync.lock_rec == 0); VM_ASSERT(vm->ractor.sync.lock_owner == NULL); |