Skip to content

Commit fa85fa7

Browse files
fingolfinKristofferC
authored andcommitted
Fix a list in GC devdocs (#53032)
When splitting a Markdown list item into multiple lines, the following lines must be indented or else a new paragraph starts. (cherry picked from commit 35c0498)
1 parent 8517eb3 commit fa85fa7

File tree

1 file changed

+2
-2
lines changed

1 file changed

+2
-2
lines changed

doc/src/devdocs/gc.md

Lines changed: 2 additions & 2 deletions
Original file line numberDiff line numberDiff line change
@@ -26,10 +26,10 @@ Julia's pool allocator follows a "tiered" allocation discipline. When requesting
2626
- 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.
2727

2828
- If it failed claiming a page from `pool_page_clean` and from `page_pool_lazily_freed`, it will try to claim a page
29-
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.
29+
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.
3030

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

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

0 commit comments

Comments
 (0)