From 35c0498ceb1668fbc05ff5ae24ac1e696fdfa6a5 Mon Sep 17 00:00:00 2001 From: Max Horn Date: Wed, 24 Jan 2024 13:31:28 +0100 Subject: [PATCH] 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. --- doc/src/devdocs/gc.md | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/doc/src/devdocs/gc.md b/doc/src/devdocs/gc.md index 2f75e4d911f69..9b9038c9445f3 100644 --- a/doc/src/devdocs/gc.md +++ b/doc/src/devdocs/gc.md @@ -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)