1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-05-20 03:30:27 +02:00

gc_object_set_remembered returns nonzero on success

This commit is contained in:
Andy Wingo 2024-10-01 14:36:55 +02:00
parent 4aa5d04f08
commit cc04761271
2 changed files with 12 additions and 5 deletions

View file

@ -54,7 +54,7 @@ GC_EMBEDDER_API inline void gc_trace_heap_roots(struct gc_heap_roots *roots,
// are in the remembered set. Large or potentially large objects
// (e.g. a vector whose size is a run-time property) must have a
// remembered set bit. Small objects may or may not have such a bit.
GC_EMBEDDER_API inline void gc_object_set_remembered(struct gc_ref ref);
GC_EMBEDDER_API inline int gc_object_set_remembered(struct gc_ref ref);
GC_EMBEDDER_API inline int gc_object_is_remembered_nonatomic(struct gc_ref ref);
GC_EMBEDDER_API inline void gc_object_clear_remembered_nonatomic(struct gc_ref ref);

View file

@ -102,11 +102,18 @@ static inline void gc_object_forward_nonatomic(struct gc_ref ref,
*tag_word(ref) = gc_ref_value(new_ref);
}
static inline void gc_object_set_remembered(struct gc_ref ref) {
static inline int gc_object_set_remembered(struct gc_ref ref) {
uintptr_t *loc = tag_word(ref);
uintptr_t tag = *loc;
while (!(tag & gcobj_remembered_bit))
atomic_compare_exchange_weak(loc, &tag, tag | gcobj_remembered_bit);
uintptr_t tag = atomic_load_explicit(loc, memory_order_relaxed);
while (1) {
if (tag & gcobj_remembered_bit)
return 0;
if (atomic_compare_exchange_weak_explicit(loc, &tag,
tag | gcobj_remembered_bit,
memory_order_acq_rel,
memory_order_acquire))
return 1;
}
}
static inline int gc_object_is_remembered_nonatomic(struct gc_ref ref) {