wingo pushed a commit to branch wip-whippet
in repository guile.
commit 808d365f4bf2fa12383fa3a2044d0510f09d9e29
Author: Andy Wingo <wi...@igalia.com>
AuthorDate: Thu May 26 08:49:46 2022 +0200
We identify empty blocks lazily now
---
README.md | 1 -
whippet.h | 2 +-
2 files changed, 1 insertion(+), 2 deletions(-)
diff --git a/README.md b/README.md
index 2732566be..3bda79f9f 100644
--- a/README.md
+++ b/README.md
@@ -155,7 +155,6 @@ large majority of use cases.
- [ ] Immix-style opportunistic evacuation
- [ ] Overflow allocation
- - [ ] Lazy identification of empty blocks
- [ ] Generational GC via sticky mark bits
- [ ] Generational GC with semi-space nursery
- [ ] Concurrent marking with SATB barrier
diff --git a/whippet.h b/whippet.h
index 1f72430d6..3c1fb070b 100644
--- a/whippet.h
+++ b/whippet.h
@@ -934,7 +934,7 @@ static size_t next_hole(struct mutator *mut) {
size_t granules = next_hole_in_block(mut);
if (granules) {
// If the hole spans only part of a block, give it to the mutator.
- if (granules <= GRANULES_PER_BLOCK)
+ if (granules < GRANULES_PER_BLOCK)
return granules;
// Sweeping found a completely empty block. If we have pending
// pages to release to the OS, we should unmap this block.
