From 6538c89f1c9d1af95c0fb3e58ac0e807a5fe47f4 Mon Sep 17 00:00:00 2001
From: Koichi Sasada <ko1@atdot.net>
Date: Fri, 18 Dec 2020 01:19:03 +0900
Subject: [PATCH] gc_verify_internal_consistency() needs barrier

gc_verify_internal_consistency() accesses all slots (objects) so
all ractors should stop before starting this function.
---
 gc.c | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/gc.c b/gc.c
index 386e140a21..f6bfaf6d10 100644
--- a/gc.c
+++ b/gc.c
@@ -7059,7 +7059,6 @@ gc_verify_heap_pages(rb_objspace_t *objspace)
 static VALUE
 gc_verify_internal_consistency_m(VALUE dummy)
 {
-    ASSERT_vm_locking();
     gc_verify_internal_consistency(&rb_objspace);
     return Qnil;
 }
@@ -7143,6 +7142,9 @@ gc_verify_internal_consistency_(rb_objspace_t *objspace)
 static void
 gc_verify_internal_consistency(rb_objspace_t *objspace)
 {
+    ASSERT_vm_locking();
+    rb_vm_barrier(); // stop other ractors
+
     unsigned int prev_during_gc = during_gc;
     during_gc = FALSE; // stop gc here
     {