Skip to content

Commit

Permalink
Fix a list in GC devdocs (#53032)
Browse files Browse the repository at this point in the history
When splitting a Markdown list item into multiple lines, the following
lines must be indented or else a new paragraph starts.
  • Loading branch information
fingolfin authored Jan 24, 2024
1 parent 128e6e4 commit 35c0498
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions doc/src/devdocs/gc.md
Original file line number Diff line number Diff line change
Expand Up @@ -26,10 +26,10 @@ Julia's pool allocator follows a "tiered" allocation discipline. When requesting
- If it failed claiming a page from `page_pool_lazily_freed`, it will try to claim a page from `the page_pool_clean`, which contains pages which were mmaped on a previous page allocation request but never accessed.

- If it failed claiming a page from `pool_page_clean` and from `page_pool_lazily_freed`, it will try to claim a page
from `page_pool_freed`, which contains pages which have already been madvised by a concurrent sweeper GC thread and whose underlying virtual address can be recycled.
from `page_pool_freed`, which contains pages which have already been madvised by a concurrent sweeper GC thread and whose underlying virtual address can be recycled.

- If it failed in all of the attempts mentioned above, it will mmap a batch of pages, claim one page for itself, and
insert the remaining pages into `page_pool_clean`.
insert the remaining pages into `page_pool_clean`.

![Diagram of tiered pool allocation](./img/gc-tiered-allocation.jpg)

Expand Down

0 comments on commit 35c0498

Please sign in to comment.