Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Incrementally mark even if we have free pages
We move all pooled pages to free pages at the start of incremental marking, so we shouldn't run incremental marking only when we have run out of free pages. This causes incremental marking to always complete in a single step.
- Loading branch information