From db74fc0c986fb3a9e88bf8d439adb49db5ea2e95 Mon Sep 17 00:00:00 2001 From: daanx Date: Tue, 4 Apr 2023 16:04:17 -0700 Subject: [PATCH] add abandoned reader barrier --- src/segment.c | 1 + 1 file changed, 1 insertion(+) diff --git a/src/segment.c b/src/segment.c index e34cb2bf..0eec0727 100644 --- a/src/segment.c +++ b/src/segment.c @@ -484,6 +484,7 @@ static void mi_segment_os_free(mi_segment_t* segment, size_t segment_size, mi_se fully_committed = false; } + _mi_abandoned_await_readers(); // prevent ABA issue if concurrent readers try to access our memory (that might be purged) _mi_arena_free(segment, segment_size, segment->mem_alignment, segment->mem_align_offset, segment->memid, fully_committed, tld->stats); }