mirror/guile
mirror/guile
1
Fork 0
mirror of https://git.savannah.gnu.org/git/guile.git synced 2025-06-09 13:30:26 +02:00
Code Activity

Add assertions when forgetting nofl edges

Browse source
This commit is contained in:
Andy Wingo 2024-10-04 13:51:17 +02:00
parent 745a5ab558
commit 6d48e12f78
1 changed files with 12 additions and 4 deletions
Download patch file Download diff file Expand all files Collapse all files

16
src/nofl-space.h
View file

@ -972,10 +972,18 @@ nofl_space_forget_edge(struct nofl_space *space, struct gc_edge edge) {
GC_ASSERT(nofl_space_contains_edge(space, edge));
GC_ASSERT(GC_GENERATIONAL);
uint8_t* loc = nofl_field_logged_byte(edge);
// Clear both logged bits.
uint8_t bits = NOFL_METADATA_BYTE_LOGGED_0 | NOFL_METADATA_BYTE_LOGGED_1;
uint8_t byte = atomic_load_explicit(loc, memory_order_acquire);
atomic_store_explicit(loc, byte & ~bits, memory_order_release);
if (GC_DEBUG) {
pthread_mutex_lock(&space->lock);
uint8_t bit = nofl_field_logged_bit(edge);
GC_ASSERT(*loc & bit);
*loc &= ~bit;
pthread_mutex_unlock(&space->lock);
} else {
// In release mode, race to clear both bits at once.
uint8_t byte = atomic_load_explicit(loc, memory_order_relaxed);
byte &= ~(NOFL_METADATA_BYTE_LOGGED_0 | NOFL_METADATA_BYTE_LOGGED_1);
atomic_store_explicit(loc, byte, memory_order_relaxed);
}
}
static void