mm / virtio: Provide support for unused page reporting
Subsystems (8)
v5 cover mm / virtio: Provide support for unused page reporting
This series provides an asynchronous means of reporting to a hypervisor that a guest page is no longer in use and can have the data associated with it dropped. To do this I have implemented functionality that allows for what I am referring to as unused page reporting
The functionality for this is fairly simple. When enabled it will allocate statistics to track the number of reported pages in a given free area. When the number of free pages exceeds this value plus a high water value, currently 32, it will begin performing page reporting which consists of pulling pages off of free list and placing them into a scatter list. The scatterlist is then given to the page reporting device and it will perform the required action to make the pages "reported", in the case of virtio-balloon this results in the pages being madvised as MADV_DONTNEED and as such they are forced out of the guest. After this they are placed back on the free list, and an additional bit is added if they are not merged indicating that they are a reported buddy page instead of a standard buddy page. The cycle then repeats with additional non-reported pages being pulled until the free areas all consist of reported pages.
I am leaving a number of things hard-coded such as limiting the lowest order processed to PAGEBLOCK_ORDER, and have left it up to the guest to determine what the limit is on how many pages it wants to allocate to process the hints. The upper limit for this is based on the size of the queue used to store the scattergather list.
My primary testing has just been to verify the memory is being freed after allocation by running memhog 40g on a 40g guest and watching the total free memory via /proc/meminfo on the host. With this I have verified most of the memory is freed after each iteration. As far as performance I have been mainly focusing on the will-it-scale/page_fault1 test running with 16 vcpus. I have modified it to use Transparent Huge Pages. With this I see almost no difference, -0.08%, with the patches applied and the feature disabled. I see a regression of -0.86% with the feature enabled, but the madvise disabled in the hypervisor due to a device being assigned. With the feature fully enabled I see a regression of -3.27% versus the baseline without these patches applied. In my testing I found that most of the overhead was due to the page zeroing that comes as a result of the pages having to be faulted back into the guest.
One side effect of these patches is that the guest becomes much more resilient in terms of NUMA locality. With the pages being freed and then reallocated when used it allows for the pages to be much closer to the active thread, and as a result there can be situations where this patch set will out-perform the stock kernel when the guest memory is not local to the guest vCPUs. To avoid that in my testing I set the affinity of all the vCPUs and QEMU instance to the same node.
Changes from the RFC:
https://lore.kernel.org/lkml/[email protected]/
Moved aeration requested flag out of aerator and into zone->flags. Moved boundary out of free_area and into local variables for aeration. Moved aeration cycle out of interrupt and into workqueue.
Left nr_free as total pages instead of splitting it between raw and aerated. Combined size and physical address values in virtio ring into one 64b value.
Changes from v1:
https://lore.kernel.org/lkml/[email protected]/
Dropped "waste page treatment" in favor of "page hinting" Renamed files and functions from "aeration" to "page_hinting" Moved from page->lru list to scatterlist
Replaced wait on refcnt in shutdown with RCU and cancel_delayed_work_sync Virtio now uses scatterlist directly instead of intermediate array Moved stats out of free_area, now in separate area and pointed to from zone Merged patch 5 into patch 4 to improve review-ability
Updated various code comments throughout
Changes from v2:
https://lore.kernel.org/lkml/[email protected]/
Dropped "page hinting" in favor of "page reporting" Renamed files from "hinting" to "reporting" Replaced "Hinted" page type with "Reported" page flag Added support for page poisoning while hinting is active Add QEMU patch that implements PAGE_POISON feature
Changes from v3:
https://lore.kernel.org/lkml/[email protected]/
Added mutex lock around page reporting startup and shutdown Fixed reference to "page aeration" in patch 2
Split page reporting function bit out into separate QEMU patch Limited capacity of scatterlist to vq size - 1 instead of vq size Added exception handling for case of virtio descriptor allocation failure
Changes from v4:
https://lore.kernel.org/lkml/[email protected]/
Replaced spin_(un)lock with spin_(un)lock_irq in page_reporting_cycle() Dropped if/continue for ternary operator in page_reporting_process() Added checks for isolate and cma types to for_each_reporting_migratetype_order Added virtio-dev, Michal Hocko, and Oscar Salvador to to:/cc:
Rebased on latest linux-next and QEMU git trees
---
Alexander Duyck (6):
mm: Adjust shuffle code to allow for future coalescing
mm: Move set/get_pcppage_migratetype to mmzone.h
mm: Use zone and order instead of free area in free_list manipulators
mm: Introduce Reported pages
virtio-balloon: Pull page poisoning config out of free page hinting
virtio-balloon: Add support for providing unused page reports to host
drivers/virtio/Kconfig | 1 drivers/virtio/virtio_balloon.c | 84 +++++++++- include/linux/mmzone.h | 116 ++++++++----- include/linux/page-flags.h | 11 + include/linux/page_reporting.h | 138 ++++++++++++++++ include/uapi/linux/virtio_balloon.h | 1 mm/Kconfig | 5 + mm/Makefile | 1 mm/internal.h | 18 ++ mm/memory_hotplug.c | 1 mm/page_alloc.c | 238 ++++++++++++++++++++------- mm/page_reporting.c | 308 +++++++++++++++++++++++++++++++++++ mm/shuffle.c | 24 --- mm/shuffle.h | 32 ++++ 14 files changed, 839 insertions(+), 139 deletions(-) create mode 100644 include/linux/page_reporting.h create mode 100644 mm/page_reporting.c
--
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
PATCH v5 1/6 mm: Adjust shuffle code to allow for future coalescing
From: Alexander Duyck <[email protected]>
This patch is meant to move the head/tail adding logic out of the shuffle code and into the __free_one_page function since ultimately that is where it is really needed anyway. By doing this we should be able to reduce the overhead and can consolidate all of the list addition bits in one spot.
--- include/linux/mmzone.h | 12 -------- mm/page_alloc.c | 70 +++++++++++++++++++++++++++--------------------- mm/shuffle.c | 24 ---------------- mm/shuffle.h | 32 ++++++++++++++++++++++ 4 files changed, 71 insertions(+), 67 deletions(-)
include/linux/mmzone.h +0 -12
@@ -116,18 +116,6 @@ static inline void add_to_free_area_tail(struct page *page, struct free_area *ar area->nr_free++; } -#ifdef CONFIG_SHUFFLE_PAGE_ALLOCATOR -/* Used to preserve page allocation order entropy */ -void add_to_free_area_random (struct page *page,struct free_area *area, -int migratetype); -#else -static inline void add_to_free_area_random (struct page *page, -struct free_area *area,int migratetype) -{ -add_to_free_area (page, area, migratetype); -} -#endif -/* Used for pages which are on another list */ static inline void move_to_free_area (struct page *page,struct free_area *area,int migratetype)
mm/page_alloc.c +39 -31
91 lines not on this page · raw message
mm/shuffle.c +0 -24
@@ -4,7 +4,6 @@#include <linux/mm.h> #include <linux/init.h> #include <linux/mmzone.h> -#include <linux/random.h> #include <linux/moduleparam.h> #include "internal.h" #include "shuffle.h"
@@ -182,26 +181,3 @@ void __meminit __shuffle_free_memory(pg_data_t *pgdat)for (z = pgdat->node_zones; z < pgdat->node_zones +MAX_NR_ZONES ; z++)shuffle_zone (z); } - -void add_to_free_area_random (struct page *page,struct free_area *area, -int migratetype) -{ -static u64 rand; -static u8 rand_bits; - -/* -* The lack of locking is deliberate. If 2 threads race to -* update the rand state it just adds to the entropy. -*/ -if (rand_bits ==0 ) { - rand_bits =64 ; - rand =get_random_u64 (); - } - -if (rand &1 ) -add_to_free_area (page, area, migratetype); -else -add_to_free_area_tail (page, area, migratetype); - rand_bits--; - rand >>=1 ; -}
mm/shuffle.h +32 -0
@@ -3,6 +3,7 @@#ifndef _MM_SHUFFLE_H#define _MM_SHUFFLE_H#include <linux/jump_label.h> +#include <linux/random.h> /* * SHUFFLE_ENABLE is called from the command line enabling path, or by
@@ -43,6 +44,32 @@ static inline bool is_shuffle_order(int order)return false; return order >= SHUFFLE_ORDER; } + +static inline bool shuffle_add_to_tail (void ) +{ +static u64 rand; +static u8 rand_bits; +u64 rand_old; + +/* +* The lack of locking is deliberate. If 2 threads race to +* update the rand state it just adds to the entropy. +*/ +if (rand_bits-- ==0 ) { + rand_bits =64 ; + rand =get_random_u64 (); + } + +/* +* Test highest order bit while shifting our random value. This +* should result in us testing for the carry flag following the +* shift. +*/ + rand_old = rand; + rand <<=1 ; + +return rand < rand_old; +}#else static inline void shuffle_free_memory (pg_data_t *pgdat) {
@@ -60,5 +87,10 @@ static inline bool is_shuffle_order(int order) {return false; } + +static inline bool shuffle_add_to_tail (void ) +{ +return false; +}#endif #endif /* _MM_SHUFFLE_H */
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
Re: [PATCH v5 1/6] mm: Adjust shuffle code to allow for future coalescing
Quoted 4 lines · Alexander Duyck
From: Alexander Duyck <[email protected]>
This patch is meant to move the head/tail adding logic out of the shuffle
s/This patch is meant to move/Move/
Quoted 3 lines
code and into the
__free_one_pagefunction since ultimately that is where it is really needed anyway. By doing this we should be able to reduce the overhead
Is the overhead benefit observable? I would expect the overhead of get_random_u64() dominates.
Quoted 1 line
and can consolidate all of the list addition bits in one spot.
This sounds the better argument.
[..]
Quoted 32 lines
mm/shuffle.h +17
-0@@ -3,6 +3,7 @@#ifndef _MM_SHUFFLE_H#define _MM_SHUFFLE_H#include <linux/jump_label.h> +#include <linux/random.h> /* * SHUFFLE_ENABLE is called from the command line enabling path, or by @@ -43,6 +44,32 @@ static inline bool is_shuffle_order(int order)return false;return order >=SHUFFLE_ORDER ; } + +static inline bool shuffle_add_to_tail (void ) +{ +static u64 rand; +static u8 rand_bits; +u64 rand_old; + +/* +* The lack of locking is deliberate. If 2 threads race to +* update the rand state it just adds to the entropy. +*/ +if (rand_bits-- ==0 ) { + rand_bits =64 ; + rand =get_random_u64 (); + } +
mm/shuffle.h static inline bool is_shuffle_order(int order) · line 72
Quoted 10 lines
mm/shuffle.h +10
-0+/* +* Test highest order bit while shifting our random value. This +* should result in us testing for the carry flag following the +* shift. +*/ + rand_old = rand; + rand <<=1 ; + +return rand < rand_old; +}
This function seems too involved to be a static inline and I believe each compilation unit that might call this routine gets it's own copy of 'rand' and 'rand_bits' when the original expectation is that they are global. How about leave this bit to mm/shuffle.c and rename it coin_flip(), or something more generic, since it does not 'add_to_tail'? The 'add_to_tail' action is something the caller decides.
Re: [PATCH v5 1/6] mm: Adjust shuffle code to allow for future coalescing
Quoted 9 lines · Dan Williams
Quoted 4 lines · Alexander Duyck
From: Alexander Duyck <[email protected]>
This patch is meant to move the head/tail adding logic out of the shuffle
s/This patch is meant to move/Move/
I'll update that on next submission.
Quoted 10 lines
Quoted 3 lines
code and into the
__free_one_pagefunction since ultimately that is where it is really needed anyway. By doing this we should be able to reduce the overheadIs the overhead benefit observable? I would expect the overhead of
get_random_u64()dominates.Quoted 1 line
and can consolidate all of the list addition bits in one spot.
This sounds the better argument.
Actually the overhead is the bit where we have to setup the arguments and call the function. There is only one spot where this function is ever called and that is in __free_one_page.
Quoted 44 lines
[..]
Quoted 32 lines
mm/shuffle.h +17
-0@@ -3,6 +3,7 @@#ifndef _MM_SHUFFLE_H#define _MM_SHUFFLE_H#include <linux/jump_label.h> +#include <linux/random.h> /* * SHUFFLE_ENABLE is called from the command line enabling path, or by @@ -43,6 +44,32 @@ static inline bool is_shuffle_order(int order)return false;return order >=SHUFFLE_ORDER ; } + +static inline bool shuffle_add_to_tail (void ) +{ +static u64 rand; +static u8 rand_bits; +u64 rand_old; + +/* +* The lack of locking is deliberate. If 2 threads race to +* update the rand state it just adds to the entropy. +*/ +if (rand_bits-- ==0 ) { + rand_bits =64 ; + rand =get_random_u64 (); + } +mm/shuffle.h static inline bool is_shuffle_order(int order) · line 72
Quoted 10 lines
mm/shuffle.h +10
-0+/* +* Test highest order bit while shifting our random value. This +* should result in us testing for the carry flag following the +* shift. +*/ + rand_old = rand; + rand <<=1 ; + +return rand < rand_old; +}
Quoted 7 lines
This function seems too involved to be a static inline and I believe each compilation unit that might call this routine gets it's own copy of 'rand' and '
rand_bits' when the original expectation is that they are global. How about leave this bit tomm/shuffle.cand rename itcoin_flip(), or something more generic, since it does not 'add_to_tail'? The 'add_to_tail' action is something the caller decides.
The thing is there is only one caller to this function, and that is __free_one_page. That is why I made it a static inline since that way we can avoid having to call this as a function at all and can just inline the code into __free_one_page.
As far as making this more generic I guess I can look into that. Maybe I will look at trying to implement something like get_random_bool() and then just do a macro to point to that. One other things that occurs to me now that I am looking over the code is that I am not sure the original or this modified version actually provide all that much randomness if multiple threads have access to it at the same time. If rand_bits races past the 0 you can end up getting streaks of 0s for 256+ bits.
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
PATCH v5 2/6 mm: Move set/get_pcppage_migratetype to mmzone.h
In reply to Alexander DuyckFrom: Alexander Duyck <[email protected]>
In order to support page reporting it will be necessary to store and retrieve the migratetype of a page. To enable that I am moving the set and get operations for pcppage_migratetype into the mm/internal.h header so that they can be used outside of the page_alloc.c file.
--- mm/internal.h | 18 ++++++++++++++++++ mm/page_alloc.c | 18 ------------------ 2 files changed, 18 insertions(+), 18 deletions(-)
mm/internal.h +18 -0
@@ -549,6 +549,24 @@ static inline bool is_migrate_highatomic_page(struct page *page) return get_pageblock_migratetype(page) == MIGRATE_HIGHATOMIC; } +/* +* A cached value of the page's pageblock's migratetype, used when the page is +* put on a pcplist. Used to avoid the pageblock migratetype lookup when +* freeing from pcplists in most cases, at the cost of possibly becoming stale. +* Also the migratetype set in the page does not necessarily match the pcplist +* index, e.g. page might have MIGRATE_CMA set but be on a pcplist with any +* other index - this ensures that it will be put on the correct CMA freelist. +*/ +static inline int get_pcppage_migratetype (struct page *page) +{ +return page->index; +} + +static inline void set_pcppage_migratetype (struct page *page,int migratetype) +{ + page->index = migratetype; +} +void setup_zone_pageset (struct zone *zone);extern struct page *alloc_new_node_page (struct page *page,unsigned long node);#endif /* __MM_INTERNAL_H */
mm/page_alloc.c +0 -18
@@ -185,24 +185,6 @@ static int __init early_init_on_free(char *buf) }early_param ("init_on_free" , early_init_on_free); -/* -* A cached value of the page's pageblock's migratetype, used when the page is -* put on a pcplist. Used to avoid the pageblock migratetype lookup when -* freeing from pcplists in most cases, at the cost of possibly becoming stale. -* Also the migratetype set in the page does not necessarily match the pcplist -* index, e.g. page might have MIGRATE_CMA set but be on a pcplist with any -* other index - this ensures that it will be put on the correct CMA freelist. -*/ -static inline int get_pcppage_migratetype (struct page *page) -{ -return page->index; -} - -static inline void set_pcppage_migratetype (struct page *page,int migratetype) -{ - page->index = migratetype; -} -#ifdef CONFIG_PM_SLEEP /* * The following functions are used by the suspend/hibernate code to temporarily
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
PATCH v5 3/6 mm: Use zone and order instead of free area in free_list manipulators
In reply to Alexander DuyckFrom: Alexander Duyck <[email protected]>
In order to enable the use of the zone from the list manipulator functions I will need access to the zone pointer. As it turns out most of the accessors were always just being directly passed &zone->free_area[order] anyway so it would make sense to just fold that into the function itself and pass the zone and order as arguments instead of the free area.
In order to be able to reference the zone we need to move the declaration of the functions down so that we have the zone defined before we define the list manipulation functions.
--- include/linux/mmzone.h | 70 ++++++++++++++++++++++++++---------------------- mm/page_alloc.c | 30 ++++++++------------- 2 files changed, 49 insertions(+), 51 deletions(-)
include/linux/mmzone.h +38 -32
@@ -100,29 +100,6 @@ struct free_area {unsigned long nr_free; }; -/* Used for pages not on another list */ -static inline void add_to_free_area (struct page *page,struct free_area *area, -int migratetype) -{ -list_add (&page->lru, &area->free_list[migratetype]); - area->nr_free++; -} - -/* Used for pages not on another list */ -static inline void add_to_free_area_tail (struct page *page,struct free_area *area, -int migratetype) -{ -list_add_tail (&page->lru, &area->free_list[migratetype]); - area->nr_free++; -} - -/* Used for pages which are on another list */ -static inline void move_to_free_area (struct page *page,struct free_area *area, -int migratetype) -{ -list_move (&page->lru, &area->free_list[migratetype]); -} -static inline struct page *get_page_from_free_area (struct free_area *area,int migratetype) {
@@ -130,15 +107,6 @@ static inline struct page *get_page_from_free_area(struct free_area *area, struct page, lru); } -static inline void del_page_from_free_area (struct page *page, -struct free_area *area) -{ -list_del (&page->lru); -__ClearPageBuddy (page); -set_page_private (page,0 ); - area->nr_free--; -} -static inline bool free_area_empty (struct free_area *area,int migratetype) {return list_empty (&area->free_list[migratetype]);
@@ -789,6 +757,44 @@ static inline bool pgdat_is_empty(pg_data_t *pgdat)return !pgdat->node_start_pfn && !pgdat->node_spanned_pages; } +/* Used for pages not on another list */ +static inline void add_to_free_list (struct page *page,struct zone *zone, +unsigned int order,int migratetype) +{ +struct free_area *area = &zone->free_area[order]; + +list_add (&page->lru, &area->free_list[migratetype]); + area->nr_free++; +} + +/* Used for pages not on another list */ +static inline void add_to_free_list_tail (struct page *page,struct zone *zone, +unsigned int order,int migratetype) +{ +struct free_area *area = &zone->free_area[order]; + +list_add_tail (&page->lru, &area->free_list[migratetype]); + area->nr_free++; +} + +/* Used for pages which are on another list */ +static inline void move_to_free_list (struct page *page,struct zone *zone, +unsigned int order,int migratetype) +{ +struct free_area *area = &zone->free_area[order]; + +list_move (&page->lru, &area->free_list[migratetype]); +} + +static inline void del_page_from_free_list (struct page *page,struct zone *zone, +unsigned int order) +{ +list_del (&page->lru); +__ClearPageBuddy (page); +set_page_private (page,0 ); + zone->free_area[order].nr_free--; +} +#include <linux/memory_hotplug.h> void build_all_zonelists (pg_data_t *pgdat);
mm/page_alloc.c +11 -19
@@ -920,7 +920,6 @@ static inline void __free_one_page(struct page *page,struct capture_control *capc =task_capc (zone);unsigned long uninitialized_var (buddy_pfn );unsigned long combined_pfn; -struct free_area *area;unsigned int max_order;struct page *buddy;
@@ -957,7 +956,7 @@ static inline void __free_one_page(struct page *page,if (page_is_guard (buddy))clear_page_guard (zone, buddy, order, migratetype);else -del_page_from_free_area (buddy, &zone->free_area[order]); +del_page_from_free_list (buddy, zone, order); combined_pfn = buddy_pfn & pfn; page = page + (combined_pfn - pfn); pfn = combined_pfn;
@@ -991,12 +990,11 @@ static inline void __free_one_page(struct page *page, done_merging:set_page_order (page, order); - area = &zone->free_area[order];if (is_shuffle_order (order) ?shuffle_add_to_tail () :buddy_merge_likely (pfn, buddy_pfn, page, order)) -add_to_free_area_tail (page, area, migratetype); +add_to_free_list_tail (page, zone, order, migratetype);else -add_to_free_area (page, area, migratetype); +add_to_free_list (page, zone, order, migratetype); }/*
@@ -2000,13 +1998,11 @@ void __init init_cma_reserved_pageblock(struct page *page)* -- nyc */ static inline void expand (struct zone *zone,struct page *page, -int low,int high,struct free_area *area, -int migratetype) +int low,int high,int migratetype) {unsigned long size =1 << high;while (high > low) { - area--; high--; size >>=1 ;VM_BUG_ON_PAGE (bad_range (zone, &page[size]), &page[size]);
@@ -2020,7 +2016,7 @@ static inline void expand(struct zone *zone, struct page *page,if (set_page_guard (zone, &page[size], high, migratetype))continue ; -add_to_free_area (&page[size], area, migratetype); +add_to_free_list (&page[size], zone, high, migratetype);set_page_order (&page[size], high); } }
@@ -2178,8 +2174,8 @@ struct page *__rmqueue_smallest(struct zone *zone, unsigned int order, page =get_page_from_free_area (area, migratetype);if (!page)continue ; -del_page_from_free_area (page, area); -expand (zone, page, order, current_order, area, migratetype); +del_page_from_free_list (page, zone, current_order); +expand (zone, page, order, current_order, migratetype);set_pcppage_migratetype (page, migratetype);return page; }
@@ -2187,7 +2183,6 @@ struct page *__rmqueue_smallest(struct zone *zone, unsigned int order,return NULL ; } -/* * This array describes the order lists are fallen back to when * the free lists for the desirable migrate type are depleted
@@ -2264,7 +2259,7 @@ static int move_freepages(struct zone *zone, } order =page_order (page); -move_to_free_area (page, &zone->free_area[order], migratetype); +move_to_free_list (page, zone, order, migratetype); page +=1 << order; pages_moved +=1 << order; }
@@ -2380,7 +2375,6 @@ static void steal_suitable_fallback(struct zone *zone, struct page *page, unsigned int alloc_flags, int start_type, bool whole_block) { unsigned int current_order = page_order(page); -struct free_area *area;int free_pages, movable_pages, alike_pages;int old_block_type;
@@ -2451,8 +2445,7 @@ static void steal_suitable_fallback(struct zone *zone, struct page *page,return ; single_page: - area = &zone->free_area[current_order]; -move_to_free_area (page, area, start_type); +move_to_free_list (page, zone, current_order, start_type); }/*
@@ -3123,7 +3116,6 @@ void split_page(struct page *page, unsigned int order)int __isolate_free_page (struct page *page,unsigned int order) { -struct free_area *area = &page_zone (page)->free_area[order];unsigned long watermark;struct zone *zone;int mt;
@@ -3149,7 +3141,7 @@ int __isolate_free_page(struct page *page, unsigned int order)/* Remove page from free list */ -del_page_from_free_area (page, area); +del_page_from_free_list (page, zone, order);/* * Set the pageblock if the isolated page is at least half of a
@@ -8568,7 +8560,7 @@ void zone_pcp_reset(struct zone *zone)pr_info ("remove from free list %lx %d %lx\n" , pfn,1 << order, end_pfn);#endif -del_page_from_free_area (page, &zone->free_area[order]); +del_page_from_free_list (page, zone, order);for (i =0 ; i < (1 << order); i++)SetPageReserved ((page+i)); pfn += (1 << order);
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
Re: [PATCH v5 3/6] mm: Use zone and order instead of free area in free_list manipulators
Quoted 9 lines · Alexander Duyck
From: Alexander Duyck <[email protected]>
In order to enable the use of the zone from the list manipulator functions I will need access to the zone pointer. As it turns out most of the accessors were always just being directly passed &zone->free_area[order] anyway so it would make sense to just fold that into the function itself and pass the zone and order as arguments instead of the free area.
Quoted 3 lines
In order to be able to reference the zone we need to move the declaration of the functions down so that we have the zone defined before we define the list manipulation functions.
Independent of the code movement for the zone declaration this looks like a nice cleanup of the calling convention.
PATCH v5 4/6 mm: Introduce Reported pages
In reply to Alexander DuyckFrom: Alexander Duyck <[email protected]>
In order to pave the way for free page reporting in virtualized environments we will need a way to get pages out of the free lists and identify those pages after they have been returned. To accomplish this, this patch adds the concept of a Reported Buddy, which is essentially meant to just be the Uptodate flag used in conjunction with the Buddy page type.
It adds a set of pointers we shall call "boundary" which represents the upper boundary between the unreported and reported pages. The general idea is that in order for a page to cross from one side of the boundary to the other it will need to go through the reporting process. Ultimately a free_list has been fully processed when the boundary has been moved from the tail all they way up to occupying the first entry in the list.
Doing this we should be able to make certain that we keep the reported pages as one contiguous block in each free list. This will allow us to efficiently manipulate the free lists whenever we need to go in and start sending reports to the hypervisor that there are new pages that have been freed and are no longer in use.
An added advantage to this approach is that we should be reducing the overall memory footprint of the guest as it will be more likely to recycle warm pages versus trying to allocate the reported pages that were likely evicted from the guest memory.
Since we will only be reporting one zone at a time we keep the boundary limited to being defined for just the zone we are currently reporting pages from. Doing this we can keep the number of additional pointers needed quite small. To flag that the boundaries are in place we use a single bit in the zone to indicate that reporting and the boundaries are active.
The determination of when to start reporting is based on the tracking of the number of free pages in a given area versus the number of reported pages in that area. We keep track of the number of reported pages per free_area in a separate zone specific area. We do this to avoid modifying the free_area structure as this can lead to false sharing for the highest order with the zone lock which leads to a noticeable performance degradation.
--- include/linux/mmzone.h | 40 +++++ include/linux/page-flags.h | 11 + include/linux/page_reporting.h | 138 ++++++++++++++++++ mm/Kconfig | 5 + mm/Makefile | 1 mm/memory_hotplug.c | 1 mm/page_alloc.c | 136 +++++++++++++++++- mm/page_reporting.c | 308 ++++++++++++++++++++++++++++++++++++++++ 8 files changed, 632 insertions(+), 8 deletions(-) create mode 100644 include/linux/page_reporting.h create mode 100644 mm/page_reporting.c
include/linux/mmzone.h +37 -3
@@ -462,6 +462,14 @@ struct zone {seqlock_t span_seqlock;#endif +#ifdef CONFIG_PAGE_REPORTING +/* +* Pointer to reported page tracking statistics array. The size of +* the array is MAX_ORDER - PAGE_REPORTING_MIN_ORDER. NULL when +* unused page reporting is not present. +*/ +unsigned long *reported_pages; +#endif int initialized;/* Write-intensive fields used from the page allocator */
@@ -537,6 +545,14 @@ enum zone_flags {ZONE_BOOSTED_WATERMARK ,/* zone recently boosted watermarks. * Cleared when kswapd is woken. */ +ZONE_PAGE_REPORTING_REQUESTED ,/* zone enabled page reporting and has +* requested flushing the data out of +* higher order pages. +*/ + ZONE_PAGE_REPORTING_ACTIVE, /* zone enabled page reporting and is + * activly flushing the data out of + * higher order pages. + */ };static inline unsigned long zone_managed_pages (struct zone *zone)
@@ -757,6 +773,8 @@ static inline bool pgdat_is_empty(pg_data_t *pgdat)return !pgdat->node_start_pfn && !pgdat->node_spanned_pages; } +#include <linux/page_reporting.h> +/* Used for pages not on another list */ static inline void add_to_free_list (struct page *page,struct zone *zone,unsigned int order,int migratetype)
@@ -771,10 +789,16 @@ static inline void add_to_free_list(struct page *page, struct zone *zone,static inline void add_to_free_list_tail (struct page *page,struct zone *zone,unsigned int order,int migratetype) { -struct free_area *area = &zone->free_area[order]; +struct list_head *tail =get_unreported_tail (zone, order, migratetype); -list_add_tail (&page->lru, &area->free_list[migratetype]); - area->nr_free++; +/* +* To prevent the unreported pages from being interleaved with the +* reported ones while we are actively processing pages we will use +* the head of the reported pages to determine the tail of the free +* list. +*/ +list_add_tail (&page->lru, tail); + zone->free_area[order].nr_free++; }/* Used for pages which are on another list */
@@ -783,12 +807,22 @@ static inline void move_to_free_list(struct page *page, struct zone *zone, {struct free_area *area = &zone->free_area[order]; +/* +* Clear Hinted flag, if present, to avoid placing reported pages +* at the top of the free_list. It is cheaper to just process this +* page again than to walk around a page that is already reported. +*/ +clear_page_reported (page, zone); +list_move (&page->lru, &area->free_list[migratetype]); }static inline void del_page_from_free_list (struct page *page,struct zone *zone,unsigned int order) { +/* Clear Reported flag, if present, before resetting page type */ +clear_page_reported (page, zone); +list_del (&page->lru);__ClearPageBuddy (page);set_page_private (page,0 );
include/linux/page-flags.h +11 -0
@@ -163,6 +163,9 @@ enum pageflags {/* non-lru isolated movable page */ PG_isolated = PG_reclaim, + +/* Buddy pages. Used to track which pages have been reported */ + PG_reported = PG_uptodate, };#ifndef __GENERATING_BOUNDS_H
@@ -432,6 +435,14 @@ static inline bool set_hwpoison_free_buddy_page(struct page *page)#endif /* +* PageReported() is used to track reported free pages within the Buddy +* allocator. We can use the non-atomic version of the test and set +* operations as both should be shielded with the zone lock to prevent +* any possible races on the setting or clearing of the bit. +*/ +__PAGEFLAG (Reported, reported,PF_NO_COMPOUND ) + +/* * On an anonymous page mapped into a user virtual memory area, * page->mapping points to its anon_vma, not to a struct address_space; * with the PAGE_MAPPING_ANON bit set to distinguish it. See rmap.h.
include/linux/page_reporting.h new file +138 -0
138 lines not on this page · raw message
mm/Kconfig +5 -0
@@ -237,6 +237,11 @@ config COMPACTION [email protected]. # +# support for unused page reporting +config PAGE_REPORTING + bool + +# # support for page migration # config MIGRATION
mm/Makefile +1 -0
@@ -105,3 +105,4 @@ obj-$(CONFIG_PERCPU_STATS) += percpu-stats.o obj-$(CONFIG_ZONE_DEVICE) += memremap.o obj-$(CONFIG_HMM_MIRROR) += hmm.o obj-$(CONFIG_MEMFD_CREATE) += memfd.o +obj-$(CONFIG_PAGE_REPORTING) += page_reporting.o
mm/memory_hotplug.c +1 -0
@@ -1612,6 +1612,7 @@ static int __ref __offline_pages(unsigned long start_pfn,if (!populated_zone (zone)) {zone_pcp_reset (zone);build_all_zonelists (NULL ); +page_reporting_reset (zone); }else zone_pcp_update (zone);
mm/page_alloc.c +131 -5
175 lines not on this page · raw message
mm/page_reporting.c new file +308 -0
308 lines not on this page · raw message
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
Re: [PATCH v5 4/6] mm: Introduce Reported pages
Quoted 459 lines · Alexander Duyck
From: Alexander Duyck <[email protected]>
In order to pave the way for free page reporting in virtualized environments we will need a way to get pages out of the free lists and identify those pages after they have been returned. To accomplish this, this patch adds the concept of a Reported Buddy, which is essentially meant to just be the Uptodate flag used in conjunction with the Buddy page type.
It adds a set of pointers we shall call "boundary" which represents the upper boundary between the unreported and reported pages. The general idea is that in order for a page to cross from one side of the boundary to the other it will need to go through the reporting process. Ultimately a
free_listhas been fully processed when the boundary has been moved from the tail all they way up to occupying the first entry in the list.Doing this we should be able to make certain that we keep the reported pages as one contiguous block in each free list. This will allow us to efficiently manipulate the free lists whenever we need to go in and start sending reports to the hypervisor that there are new pages that have been freed and are no longer in use.
An added advantage to this approach is that we should be reducing the overall memory footprint of the guest as it will be more likely to recycle warm pages versus trying to allocate the reported pages that were likely evicted from the guest memory.
Since we will only be reporting one zone at a time we keep the boundary limited to being defined for just the zone we are currently reporting pages from. Doing this we can keep the number of additional pointers needed quite small. To flag that the boundaries are in place we use a single bit in the zone to indicate that reporting and the boundaries are active.
The determination of when to start reporting is based on the tracking of the number of free pages in a given area versus the number of reported pages in that area. We keep track of the number of reported pages per
free_areain a separate zone specific area. We do this to avoid modifying thefree_areastructure as this can lead to false sharing for the highest order with the zone lock which leads to a noticeable performance degradation.Signed-off-by Alexander Duyck <[email protected]>--- include/linux/mmzone.h | 40 +++++ include/linux/page-flags.h | 11 + include/linux/page_reporting.h | 138 ++++++++++++++++++ mm/Kconfig | 5 + mm/Makefile | 1 mm/memory_hotplug.c | 1 mm/page_alloc.c | 136 +++++++++++++++++- mm/page_reporting.c | 308 ++++++++++++++++++++++++++++++++++++++++ 8 files changed, 632 insertions(+), 8 deletions(-) create mode 100644 include/linux/page_reporting.h create mode 100644 mm/page_reporting.cinclude/linux/mmzone.h +37
-3@@ -462,6 +462,14 @@ struct zone {seqlock_t span_seqlock;#endif +#ifdef CONFIG_PAGE_REPORTING +/* +* Pointer to reported page tracking statistics array. The size of +* the array is MAX_ORDER - PAGE_REPORTING_MIN_ORDER. NULL when +* unused page reporting is not present. +*/ +unsigned long *reported_pages; +#endif int initialized;/* Write-intensive fields used from the page allocator */ @@ -537,6 +545,14 @@ enum zone_flags {ZONE_BOOSTED_WATERMARK ,/* zone recently boosted watermarks. * Cleared when kswapd is woken. */ +ZONE_PAGE_REPORTING_REQUESTED ,/* zone enabled page reporting and has +* requested flushing the data out of +* higher order pages. +*/ + ZONE_PAGE_REPORTING_ACTIVE, /* zone enabled page reporting and is + * activly flushing the data out of + * higher order pages. + */ };static inline unsigned long zone_managed_pages (struct zone *zone)@@ -757,6 +773,8 @@ static inline bool pgdat_is_empty(pg_data_t *pgdat)return !pgdat->node_start_pfn && !pgdat->node_spanned_pages; } +#include <linux/page_reporting.h> +/* Used for pages not on another list */ static inline void add_to_free_list (struct page *page,struct zone *zone,unsigned int order,int migratetype)@@ -771,10 +789,16 @@ static inline void add_to_free_list(struct page *page, struct zone *zone,static inline void add_to_free_list_tail (struct page *page,struct zone *zone,unsigned int order,int migratetype) { -struct free_area *area = &zone->free_area[order]; +struct list_head *tail =get_unreported_tail (zone, order, migratetype); -list_add_tail (&page->lru, &area->free_list[migratetype]); - area->nr_free++; +/* +* To prevent the unreported pages from being interleaved with the +* reported ones while we are actively processing pages we will use +* the head of the reported pages to determine the tail of the free +* list. +*/ +list_add_tail (&page->lru, tail); + zone->free_area[order].nr_free++; }/* Used for pages which are on another list */ @@ -783,12 +807,22 @@ static inline void move_to_free_list(struct page *page, struct zone *zone, {struct free_area *area = &zone->free_area[order]; +/* +* Clear Hinted flag, if present, to avoid placing reported pages +* at the top of the free_list. It is cheaper to just process this +* page again than to walk around a page that is already reported. +*/ +clear_page_reported (page, zone); +list_move (&page->lru, &area->free_list[migratetype]); }static inline void del_page_from_free_list (struct page *page,struct zone *zone,unsigned int order) { +/* Clear Reported flag, if present, before resetting page type */ +clear_page_reported (page, zone); +list_del (&page->lru);__ClearPageBuddy (page);set_page_private (page,0 );include/linux/page-flags.h +11
-0@@ -163,6 +163,9 @@ enum pageflags {/* non-lru isolated movable page */ PG_isolated = PG_reclaim, + +/* Buddy pages. Used to track which pages have been reported */ + PG_reported = PG_uptodate, };#ifndef __GENERATING_BOUNDS_H@@ -432,6 +435,14 @@ static inline bool set_hwpoison_free_buddy_page(struct page *page)#endif /* +* PageReported() is used to track reported free pages within the Buddy +* allocator. We can use the non-atomic version of the test and set +* operations as both should be shielded with the zone lock to prevent +* any possible races on the setting or clearing of the bit. +*/ +__PAGEFLAG (Reported, reported,PF_NO_COMPOUND ) + +/* * On an anonymous page mapped into a user virtual memory area, * page->mapping points to its anon_vma, not to a struct address_space; * with the PAGE_MAPPING_ANON bit set to distinguish it. See rmap.h. include/linux/page_reporting.h new file +138
-0@@ -0,0 +1,138 @@ +/* SPDX-License-Identifier: GPL-2.0 */ +#ifndef _LINUX_PAGE_REPORTING_H +#define _LINUX_PAGE_REPORTING_H + +#include <linux/mmzone.h> +#include <linux/jump_label.h> +#include <linux/pageblock-flags.h> +#include <asm/pgtable_types.h> + +#define PAGE_REPORTING_MIN_ORDER pageblock_order +#define PAGE_REPORTING_HWM 32 + +#ifdef CONFIG_PAGE_REPORTING +struct page_reporting_dev_info { +/* function that alters pages to make them "reported" */ +void (*report)(struct page_reporting_dev_info *phdev, +unsigned int nents); + +/* scatterlist containing pages to be processed */ +struct scatterlist *sg; + +/* +* Upper limit on the number of pages that the react function +* expects to be placed into the batch list to be processed. +*/ +unsigned long capacity; + +/* work struct for processing reports */ +struct delayed_work work; + +/* +* The number of zones requesting reporting, plus one additional if +* processing thread is active. +*/ +atomic_t refcnt; +}; + +extern struct static_key page_reporting_notify_enabled; + +/* Boundary functions */ +struct list_head *__page_reporting_get_boundary (unsigned int order, +int migratetype); +void page_reporting_del_from_boundary (struct page *page,struct zone *zone); +void page_reporting_add_to_boundary (struct page *page,struct zone *zone, +int migratetype); + +/* Hinted page accessors, defined in page_alloc.c */ +struct page *get_unreported_page (struct zone *zone,unsigned int order, +int migratetype); +void put_reported_page (struct zone *zone,struct page *page); + +void __page_reporting_request (struct zone *zone); +void __page_reporting_free_stats (struct zone *zone); + +/* Tear-down and bring-up for page reporting devices */ +void page_reporting_shutdown (struct page_reporting_dev_info *phdev); +int page_reporting_startup (struct page_reporting_dev_info *phdev); +#endif /* CONFIG_PAGE_REPORTING */ + +static inline struct list_head * +get_unreported_tail (struct zone *zone,unsigned int order,int migratetype) +{ +#ifdef CONFIG_PAGE_REPORTING +if (order >=PAGE_REPORTING_MIN_ORDER && +test_bit (ZONE_PAGE_REPORTING_ACTIVE , &zone->flags)) +return __page_reporting_get_boundary (order, migratetype); +#endif +return &zone->free_area[order].free_list[migratetype]; +} + +static inline void clear_page_reported (struct page *page, +struct zone *zone) +{ +#ifdef CONFIG_PAGE_REPORTING +if (likely (!PageReported (page))) +return ; + +/* push boundary back if we removed the upper boundary */ +if (test_bit (ZONE_PAGE_REPORTING_ACTIVE , &zone->flags)) +page_reporting_del_from_boundary (page, zone); + +__ClearPageReported (page); + +/* page_private will contain the page order, so just use it directly */ + zone->reported_pages[page_private (page) -PAGE_REPORTING_MIN_ORDER ]--; +#endif +} + +/* Free reported_pages and reset reported page tracking count to 0 */ +static inline void page_reporting_reset (struct zone *zone) +{ +#ifdef CONFIG_PAGE_REPORTING +if (zone->reported_pages) +__page_reporting_free_stats (zone); +#endif +} + +/** +* page_reporting_notify_free - Free page notification to start page processing +* @zone: Pointer to current zone of last page processed +* @order: Order of last page added to zone +* +* This function is meant to act as a screener for __page_reporting_request +* which will determine if a give zone has crossed over the high-water mark +* that will justify us beginning page treatment. If we have crossed that +* threshold then it will start the process of pulling some pages and +* placing them in the batch list for treatment. +*/ +static inline void page_reporting_notify_free (struct zone *zone,int order) +{ +#ifdef CONFIG_PAGE_REPORTING +unsigned long nr_reported; + +/* Called from hot path in __free_one_page() */ +if (!static_key_false (&page_reporting_notify_enabled)) +return ; + +/* Limit notifications only to higher order pages */ +if (order <PAGE_REPORTING_MIN_ORDER ) +return ; + +/* Do not bother with tests if we have already requested reporting */ +if (test_bit (ZONE_PAGE_REPORTING_REQUESTED , &zone->flags)) +return ; + +/* If reported_pages is not populated, assume 0 */ + nr_reported = zone->reported_pages ? + zone->reported_pages[order -PAGE_REPORTING_MIN_ORDER ] :0 ; + +/* Only request it if we have enough to begin the page reporting */ +if (zone->free_area[order].nr_free < nr_reported +PAGE_REPORTING_HWM ) +return ; + +/* This is slow, but should be called very rarely */ +__page_reporting_request (zone); +#endif +} +#endif /*_LINUX_PAGE_REPORTING_H */ mm/Kconfig +5
-0@@ -237,6 +237,11 @@ config COMPACTION [email protected]. # +# support for unused page reporting +config PAGE_REPORTING + bool + +# # support for page migration # config MIGRATIONmm/Makefile +1
-0@@ -105,3 +105,4 @@ obj-$(CONFIG_PERCPU_STATS) += percpu-stats.o obj-$(CONFIG_ZONE_DEVICE) += memremap.o obj-$(CONFIG_HMM_MIRROR) += hmm.o obj-$(CONFIG_MEMFD_CREATE) += memfd.o +obj-$(CONFIG_PAGE_REPORTING) += page_reporting.omm/memory_hotplug.c +1
-0@@ -1612,6 +1612,7 @@ static int __ref __offline_pages(unsigned long start_pfn,if (!populated_zone (zone)) {zone_pcp_reset (zone);build_all_zonelists (NULL ); +page_reporting_reset (zone); }else zone_pcp_update (zone);mm/page_alloc.c +57
-5@@ -68,6 +68,7 @@#include <linux/lockdep.h> #include <linux/nmi.h> #include <linux/psi.h> +#include <linux/page_reporting.h> #include <asm/sections.h> #include <asm/tlbflush.h> @@ -915,7 +916,7 @@ static inline struct capture_control *task_capc(struct zone *zone)static inline void __free_one_page (struct page *page,unsigned long pfn,struct zone *zone,unsigned int order, -int migratetype) +int migratetype,bool reported) {struct capture_control *capc =task_capc (zone);unsigned long uninitialized_var (buddy_pfn );@@ -990,11 +991,20 @@ static inline void __free_one_page(struct page *page, done_merging:set_page_order (page, order); -if (is_shuffle_order (order) ?shuffle_add_to_tail () : -buddy_merge_likely (pfn, buddy_pfn, page, order)) +if (reported || + (is_shuffle_order (order) ?shuffle_add_to_tail () : +buddy_merge_likely (pfn, buddy_pfn, page, order)))add_to_free_list_tail (page, zone, order, migratetype);else add_to_free_list (page, zone, order, migratetype); + +/* +* No need to notify on a reported page as the total count of +* unreported pages will not have increased since we have essentially +* merged the reported page with one or more unreported pages. +*/ +if (!reported) +page_reporting_notify_free (zone, order); }/* @@ -1305,7 +1315,7 @@ static void free_pcppages_bulk(struct zone *zone, int count,if (unlikely (isolated_pageblocks)) mt =get_pageblock_migratetype (page); -__free_one_page (page,page_to_pfn (page), zone,0 , mt); +__free_one_page (page,page_to_pfn (page), zone,0 , mt, false);trace_mm_page_pcpu_drain (page,0 , mt); }spin_unlock (&zone->lock);@@ -1321,7 +1331,7 @@ static void free_one_page(struct zone *zone, is_migrate_isolate(migratetype))) { migratetype =get_pfnblock_migratetype (page, pfn); } -__free_one_page (page, pfn, zone, order, migratetype); +__free_one_page (page, pfn, zone, order, migratetype, false);spin_unlock (&zone->lock); }@@ -2183,6 +2193,122 @@ struct page *__rmqueue_smallest(struct zone *zone, unsigned int order,return NULL ; } +#ifdef CONFIG_PAGE_REPORTING +/** +* get_unreported_page - Pull an unreported page from the free_list +* @zone: Zone to draw pages from +* @order: Order to draw pages from +* @mt: Migratetype to draw pages from +* +* This function will obtain a page from the free list. It will start by +* attempting to pull from the tail of the free list and if that is already +* reported on it will instead pull the head if that is unreported. +* +* The page will have the migrate type and order stored in the page +* metadata. While being processed the page will not be avaialble for +* allocation. +* +* Return: page pointer if raw page found, otherwise NULL +*/ +struct page *get_unreported_page (struct zone *zone,unsigned int order,int mt) +{ +struct list_head *tail =get_unreported_tail (zone, order, mt); +struct free_area *area = &(zone->free_area[order]); +struct list_head *list = &area->free_list[mt]; +struct page *page; + +/* zone lock should be held when this function is called */ +lockdep_assert_held (&zone->lock); + +/* Find a page of the appropriate size in the preferred list */ + page = list_last_entry(tail, struct page, lru); +list_for_each_entry_from_reverse (page, list, lru) { +/* If we entered this loop then the "raw" list isn't empty */ + +/* If the page is reported try the head of the list */ +if (PageReported (page)) { + page = list_first_entry(list, struct page, lru); + +/* +* If both the head and tail are reported then reset +* the boundary so that we read as an empty list +* next time and bail out. +*/ +if (PageReported (page)) {
mm/page_alloc.c struct page *__rmqueue_smallest(struct zone *zone, unsigned int order, · line 2247
Quoted 10 lines
mm/page_alloc.c +10
-0+page_reporting_add_to_boundary (page, zone, mt); +break ; + } + } + +del_page_from_free_list (page, zone, order); + +/* record migratetype and order within page */ +set_pcppage_migratetype (page, mt); +set_page_private (page, order);
Can you elaborate why you (similar to Nitesh) have to save/restore the migratetype? I can't yet follow why that is necessary. You could simply set it to MOVABLE (like e.g., undo_isolate_page_range() would do via alloc_contig_range()). If a pageblock is completely free, it might even make sense to set it to MOVABLE.
(mainly wondering if this is required here and what the rational is)
Now a theoretical issue:
You are allocating pages from all zones, including the MOVABLE zone. The pages are currently unmovable (however, only temporarily allocated).
del_page_from_free_area() will clear PG_buddy, and leave the refcount of the page set to zero (!). has_unmovable_pages() will skip any pages either on the MOVABLE zone or with a refcount of zero. So all pages that are being reported are detected as movable. The isolation of allocated pages will work - which is not bad, but I wonder what the implications are.
As far as I can follow, alloc_contig_range() -> __alloc_contig_migrate_range() -> isolate_migratepages_range() -> isolate_migratepages_block() will choke on these pages ((!PageLRU(page) -> !__PageMovable(page) -> fail), essentially making alloc_contig_range() range fail. Same could apply to offline_pages().
I would have thought that there has to be something like a reported_pages_drain_all(), that waits until all reports are over (or even signals to the hypervisor to abort reporting). As the pages are isolated, they won't be allocated for reporting again.
I have not yet understood completely the way all the details work. I am currently looking into using alloc_contig_range() in a different context, which would co-exist with free-page-reporting.
Signature · 7 lines
Thanks, David / dhildenb --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
Re: [PATCH v5 4/6] mm: Introduce Reported pages
Quoted 477 lines · David Hildenbrand
Quoted 459 lines · Alexander Duyck
From: Alexander Duyck <[email protected]>
In order to pave the way for free page reporting in virtualized environments we will need a way to get pages out of the free lists and identify those pages after they have been returned. To accomplish this, this patch adds the concept of a Reported Buddy, which is essentially meant to just be the Uptodate flag used in conjunction with the Buddy page type.
It adds a set of pointers we shall call "boundary" which represents the upper boundary between the unreported and reported pages. The general idea is that in order for a page to cross from one side of the boundary to the other it will need to go through the reporting process. Ultimately a
free_listhas been fully processed when the boundary has been moved from the tail all they way up to occupying the first entry in the list.Doing this we should be able to make certain that we keep the reported pages as one contiguous block in each free list. This will allow us to efficiently manipulate the free lists whenever we need to go in and start sending reports to the hypervisor that there are new pages that have been freed and are no longer in use.
An added advantage to this approach is that we should be reducing the overall memory footprint of the guest as it will be more likely to recycle warm pages versus trying to allocate the reported pages that were likely evicted from the guest memory.
Since we will only be reporting one zone at a time we keep the boundary limited to being defined for just the zone we are currently reporting pages from. Doing this we can keep the number of additional pointers needed quite small. To flag that the boundaries are in place we use a single bit in the zone to indicate that reporting and the boundaries are active.
The determination of when to start reporting is based on the tracking of the number of free pages in a given area versus the number of reported pages in that area. We keep track of the number of reported pages per
free_areain a separate zone specific area. We do this to avoid modifying thefree_areastructure as this can lead to false sharing for the highest order with the zone lock which leads to a noticeable performance degradation.Signed-off-by Alexander Duyck <[email protected]>--- include/linux/mmzone.h | 40 +++++ include/linux/page-flags.h | 11 + include/linux/page_reporting.h | 138 ++++++++++++++++++ mm/Kconfig | 5 + mm/Makefile | 1 mm/memory_hotplug.c | 1 mm/page_alloc.c | 136 +++++++++++++++++- mm/page_reporting.c | 308 ++++++++++++++++++++++++++++++++++++++++ 8 files changed, 632 insertions(+), 8 deletions(-) create mode 100644 include/linux/page_reporting.h create mode 100644 mm/page_reporting.cinclude/linux/mmzone.h +37
-3@@ -462,6 +462,14 @@ struct zone {seqlock_t span_seqlock;#endif +#ifdef CONFIG_PAGE_REPORTING +/* +* Pointer to reported page tracking statistics array. The size of +* the array is MAX_ORDER - PAGE_REPORTING_MIN_ORDER. NULL when +* unused page reporting is not present. +*/ +unsigned long *reported_pages; +#endif int initialized;/* Write-intensive fields used from the page allocator */ @@ -537,6 +545,14 @@ enum zone_flags {ZONE_BOOSTED_WATERMARK ,/* zone recently boosted watermarks. * Cleared when kswapd is woken. */ +ZONE_PAGE_REPORTING_REQUESTED ,/* zone enabled page reporting and has +* requested flushing the data out of +* higher order pages. +*/ + ZONE_PAGE_REPORTING_ACTIVE, /* zone enabled page reporting and is + * activly flushing the data out of + * higher order pages. + */ };static inline unsigned long zone_managed_pages (struct zone *zone)@@ -757,6 +773,8 @@ static inline bool pgdat_is_empty(pg_data_t *pgdat)return !pgdat->node_start_pfn && !pgdat->node_spanned_pages; } +#include <linux/page_reporting.h> +/* Used for pages not on another list */ static inline void add_to_free_list (struct page *page,struct zone *zone,unsigned int order,int migratetype)@@ -771,10 +789,16 @@ static inline void add_to_free_list(struct page *page, struct zone *zone,static inline void add_to_free_list_tail (struct page *page,struct zone *zone,unsigned int order,int migratetype) { -struct free_area *area = &zone->free_area[order]; +struct list_head *tail =get_unreported_tail (zone, order, migratetype); -list_add_tail (&page->lru, &area->free_list[migratetype]); - area->nr_free++; +/* +* To prevent the unreported pages from being interleaved with the +* reported ones while we are actively processing pages we will use +* the head of the reported pages to determine the tail of the free +* list. +*/ +list_add_tail (&page->lru, tail); + zone->free_area[order].nr_free++; }/* Used for pages which are on another list */ @@ -783,12 +807,22 @@ static inline void move_to_free_list(struct page *page, struct zone *zone, {struct free_area *area = &zone->free_area[order]; +/* +* Clear Hinted flag, if present, to avoid placing reported pages +* at the top of the free_list. It is cheaper to just process this +* page again than to walk around a page that is already reported. +*/ +clear_page_reported (page, zone); +list_move (&page->lru, &area->free_list[migratetype]); }static inline void del_page_from_free_list (struct page *page,struct zone *zone,unsigned int order) { +/* Clear Reported flag, if present, before resetting page type */ +clear_page_reported (page, zone); +list_del (&page->lru);__ClearPageBuddy (page);set_page_private (page,0 );include/linux/page-flags.h +11
-0@@ -163,6 +163,9 @@ enum pageflags {/* non-lru isolated movable page */ PG_isolated = PG_reclaim, + +/* Buddy pages. Used to track which pages have been reported */ + PG_reported = PG_uptodate, };#ifndef __GENERATING_BOUNDS_H@@ -432,6 +435,14 @@ static inline bool set_hwpoison_free_buddy_page(struct page *page)#endif /* +* PageReported() is used to track reported free pages within the Buddy +* allocator. We can use the non-atomic version of the test and set +* operations as both should be shielded with the zone lock to prevent +* any possible races on the setting or clearing of the bit. +*/ +__PAGEFLAG (Reported, reported,PF_NO_COMPOUND ) + +/* * On an anonymous page mapped into a user virtual memory area, * page->mapping points to its anon_vma, not to a struct address_space; * with the PAGE_MAPPING_ANON bit set to distinguish it. See rmap.h. include/linux/page_reporting.h new file +138
-0@@ -0,0 +1,138 @@ +/* SPDX-License-Identifier: GPL-2.0 */ +#ifndef _LINUX_PAGE_REPORTING_H +#define _LINUX_PAGE_REPORTING_H + +#include <linux/mmzone.h> +#include <linux/jump_label.h> +#include <linux/pageblock-flags.h> +#include <asm/pgtable_types.h> + +#define PAGE_REPORTING_MIN_ORDER pageblock_order +#define PAGE_REPORTING_HWM 32 + +#ifdef CONFIG_PAGE_REPORTING +struct page_reporting_dev_info { +/* function that alters pages to make them "reported" */ +void (*report)(struct page_reporting_dev_info *phdev, +unsigned int nents); + +/* scatterlist containing pages to be processed */ +struct scatterlist *sg; + +/* +* Upper limit on the number of pages that the react function +* expects to be placed into the batch list to be processed. +*/ +unsigned long capacity; + +/* work struct for processing reports */ +struct delayed_work work; + +/* +* The number of zones requesting reporting, plus one additional if +* processing thread is active. +*/ +atomic_t refcnt; +}; + +extern struct static_key page_reporting_notify_enabled; + +/* Boundary functions */ +struct list_head *__page_reporting_get_boundary (unsigned int order, +int migratetype); +void page_reporting_del_from_boundary (struct page *page,struct zone *zone); +void page_reporting_add_to_boundary (struct page *page,struct zone *zone, +int migratetype); + +/* Hinted page accessors, defined in page_alloc.c */ +struct page *get_unreported_page (struct zone *zone,unsigned int order, +int migratetype); +void put_reported_page (struct zone *zone,struct page *page); + +void __page_reporting_request (struct zone *zone); +void __page_reporting_free_stats (struct zone *zone); + +/* Tear-down and bring-up for page reporting devices */ +void page_reporting_shutdown (struct page_reporting_dev_info *phdev); +int page_reporting_startup (struct page_reporting_dev_info *phdev); +#endif /* CONFIG_PAGE_REPORTING */ + +static inline struct list_head * +get_unreported_tail (struct zone *zone,unsigned int order,int migratetype) +{ +#ifdef CONFIG_PAGE_REPORTING +if (order >=PAGE_REPORTING_MIN_ORDER && +test_bit (ZONE_PAGE_REPORTING_ACTIVE , &zone->flags)) +return __page_reporting_get_boundary (order, migratetype); +#endif +return &zone->free_area[order].free_list[migratetype]; +} + +static inline void clear_page_reported (struct page *page, +struct zone *zone) +{ +#ifdef CONFIG_PAGE_REPORTING +if (likely (!PageReported (page))) +return ; + +/* push boundary back if we removed the upper boundary */ +if (test_bit (ZONE_PAGE_REPORTING_ACTIVE , &zone->flags)) +page_reporting_del_from_boundary (page, zone); + +__ClearPageReported (page); + +/* page_private will contain the page order, so just use it directly */ + zone->reported_pages[page_private (page) -PAGE_REPORTING_MIN_ORDER ]--; +#endif +} + +/* Free reported_pages and reset reported page tracking count to 0 */ +static inline void page_reporting_reset (struct zone *zone) +{ +#ifdef CONFIG_PAGE_REPORTING +if (zone->reported_pages) +__page_reporting_free_stats (zone); +#endif +} + +/** +* page_reporting_notify_free - Free page notification to start page processing +* @zone: Pointer to current zone of last page processed +* @order: Order of last page added to zone +* +* This function is meant to act as a screener for __page_reporting_request +* which will determine if a give zone has crossed over the high-water mark +* that will justify us beginning page treatment. If we have crossed that +* threshold then it will start the process of pulling some pages and +* placing them in the batch list for treatment. +*/ +static inline void page_reporting_notify_free (struct zone *zone,int order) +{ +#ifdef CONFIG_PAGE_REPORTING +unsigned long nr_reported; + +/* Called from hot path in __free_one_page() */ +if (!static_key_false (&page_reporting_notify_enabled)) +return ; + +/* Limit notifications only to higher order pages */ +if (order <PAGE_REPORTING_MIN_ORDER ) +return ; + +/* Do not bother with tests if we have already requested reporting */ +if (test_bit (ZONE_PAGE_REPORTING_REQUESTED , &zone->flags)) +return ; + +/* If reported_pages is not populated, assume 0 */ + nr_reported = zone->reported_pages ? + zone->reported_pages[order -PAGE_REPORTING_MIN_ORDER ] :0 ; + +/* Only request it if we have enough to begin the page reporting */ +if (zone->free_area[order].nr_free < nr_reported +PAGE_REPORTING_HWM ) +return ; + +/* This is slow, but should be called very rarely */ +__page_reporting_request (zone); +#endif +} +#endif /*_LINUX_PAGE_REPORTING_H */ mm/Kconfig +5
-0@@ -237,6 +237,11 @@ config COMPACTION [email protected]. # +# support for unused page reporting +config PAGE_REPORTING + bool + +# # support for page migration # config MIGRATIONmm/Makefile +1
-0@@ -105,3 +105,4 @@ obj-$(CONFIG_PERCPU_STATS) += percpu-stats.o obj-$(CONFIG_ZONE_DEVICE) += memremap.o obj-$(CONFIG_HMM_MIRROR) += hmm.o obj-$(CONFIG_MEMFD_CREATE) += memfd.o +obj-$(CONFIG_PAGE_REPORTING) += page_reporting.omm/memory_hotplug.c +1
-0@@ -1612,6 +1612,7 @@ static int __ref __offline_pages(unsigned long start_pfn,if (!populated_zone (zone)) {zone_pcp_reset (zone);build_all_zonelists (NULL ); +page_reporting_reset (zone); }else zone_pcp_update (zone);mm/page_alloc.c +57
-5@@ -68,6 +68,7 @@#include <linux/lockdep.h> #include <linux/nmi.h> #include <linux/psi.h> +#include <linux/page_reporting.h> #include <asm/sections.h> #include <asm/tlbflush.h> @@ -915,7 +916,7 @@ static inline struct capture_control *task_capc(struct zone *zone)static inline void __free_one_page (struct page *page,unsigned long pfn,struct zone *zone,unsigned int order, -int migratetype) +int migratetype,bool reported) {struct capture_control *capc =task_capc (zone);unsigned long uninitialized_var (buddy_pfn );@@ -990,11 +991,20 @@ static inline void __free_one_page(struct page *page, done_merging:set_page_order (page, order); -if (is_shuffle_order (order) ?shuffle_add_to_tail () : -buddy_merge_likely (pfn, buddy_pfn, page, order)) +if (reported || + (is_shuffle_order (order) ?shuffle_add_to_tail () : +buddy_merge_likely (pfn, buddy_pfn, page, order)))add_to_free_list_tail (page, zone, order, migratetype);else add_to_free_list (page, zone, order, migratetype); + +/* +* No need to notify on a reported page as the total count of +* unreported pages will not have increased since we have essentially +* merged the reported page with one or more unreported pages. +*/ +if (!reported) +page_reporting_notify_free (zone, order); }/* @@ -1305,7 +1315,7 @@ static void free_pcppages_bulk(struct zone *zone, int count,if (unlikely (isolated_pageblocks)) mt =get_pageblock_migratetype (page); -__free_one_page (page,page_to_pfn (page), zone,0 , mt); +__free_one_page (page,page_to_pfn (page), zone,0 , mt, false);trace_mm_page_pcpu_drain (page,0 , mt); }spin_unlock (&zone->lock);@@ -1321,7 +1331,7 @@ static void free_one_page(struct zone *zone, is_migrate_isolate(migratetype))) { migratetype =get_pfnblock_migratetype (page, pfn); } -__free_one_page (page, pfn, zone, order, migratetype); +__free_one_page (page, pfn, zone, order, migratetype, false);spin_unlock (&zone->lock); }@@ -2183,6 +2193,122 @@ struct page *__rmqueue_smallest(struct zone *zone, unsigned int order,return NULL ; } +#ifdef CONFIG_PAGE_REPORTING +/** +* get_unreported_page - Pull an unreported page from the free_list +* @zone: Zone to draw pages from +* @order: Order to draw pages from +* @mt: Migratetype to draw pages from +* +* This function will obtain a page from the free list. It will start by +* attempting to pull from the tail of the free list and if that is already +* reported on it will instead pull the head if that is unreported. +* +* The page will have the migrate type and order stored in the page +* metadata. While being processed the page will not be avaialble for +* allocation. +* +* Return: page pointer if raw page found, otherwise NULL +*/ +struct page *get_unreported_page (struct zone *zone,unsigned int order,int mt) +{ +struct list_head *tail =get_unreported_tail (zone, order, mt); +struct free_area *area = &(zone->free_area[order]); +struct list_head *list = &area->free_list[mt]; +struct page *page; + +/* zone lock should be held when this function is called */ +lockdep_assert_held (&zone->lock); + +/* Find a page of the appropriate size in the preferred list */ + page = list_last_entry(tail, struct page, lru); +list_for_each_entry_from_reverse (page, list, lru) { +/* If we entered this loop then the "raw" list isn't empty */ + +/* If the page is reported try the head of the list */ +if (PageReported (page)) { + page = list_first_entry(list, struct page, lru); + +/* +* If both the head and tail are reported then reset +* the boundary so that we read as an empty list +* next time and bail out. +*/ +if (PageReported (page)) {mm/page_alloc.c struct page *__rmqueue_smallest(struct zone *zone, unsigned int order, · line 2247
Quoted 10 lines
mm/page_alloc.c +10
-0+page_reporting_add_to_boundary (page, zone, mt); +break ; + } + } + +del_page_from_free_list (page, zone, order); + +/* record migratetype and order within page */ +set_pcppage_migratetype (page, mt); +set_page_private (page, order);Can you elaborate why you (similar to Nitesh) have to save/restore the migratetype? I can't yet follow why that is necessary. You could simply set it to MOVABLE (like e.g.,
undo_isolate_page_range()would do viaalloc_contig_range()). If a pageblock is completely free, it might even make sense to set it to MOVABLE.
Quoted 1 line
(mainly wondering if this is required here and what the rational is)
It was mostly a "put it back where I found it" type of logic. I suppose I could probably just come back and read the migratetype out of the pfnblock and return it there. Is that what you are thinking? If so I can probably look at doing that instead, assuming there are no issues with that.
Quoted 4 lines
Now a theoretical issue:
You are allocating pages from all zones, including the MOVABLE zone. The pages are currently unmovable (however, only temporarily allocated).
In my mind they aren't in too different of a state from pages that have had their reference count dropped to 0 by something like __free_pages, but haven't yet reached the function __free_pages_ok.
The general idea is that they should be in this state for a very short- lived period of time. They are essentially free pages that just haven't made it back into the buddy allocator.
Quoted 5 lines
del_page_from_free_area()will clearPG_buddy, and leave the refcount of the page set to zero (!).has_unmovable_pages()will skip any pages either on the MOVABLE zone or with a refcount of zero. So all pages that are being reported are detected as movable. The isolation of allocated pages will work - which is not bad, but I wonder what the implications are.
So as per my comment above I am fairly certain this isn't a new state that my code has introduced. In fact isolate_movable_page() calls out the case in the comments at the start of the function. Specifically it states:
/*
* Avoid burning cycles with pages that are yet under __free_pages(),
* or just got freed under us.
*
* In case we 'win' a race for a movable page being freed under us and
* raise its refcount preventing __free_pages() from doing its job
* the put_page() at the end of this block will take care of
* release this page, thus avoiding a nasty leakage.
*/
if (unlikely(!get_page_unless_zero(page)))
goto out;
So it would seem like this case is already handled. I am assuming the fact that the migrate type for the pfnblock was set to isolate before we got here would mean that when I call put_reported_page the final result will be that the page is placed into the freelist for the isolate migratetype.
Quoted 10 lines
As far as I can follow,
alloc_contig_range()->__alloc_contig_migrate_range()->isolate_migratepages_range()->isolate_migratepages_block()will choke on these pages ((!PageLRU(page) -> !__PageMovable(page) -> fail), essentially makingalloc_contig_range()range fail. Same could apply tooffline_pages().I would have thought that there has to be something like a
reported_pages_drain_all(), that waits until all reports are over (or even signals to the hypervisor to abort reporting). As the pages are isolated, they won't be allocated for reporting again.
The thing is I only have 16 pages at most sitting in the scatterlist. In most cases the response should be quick enough that by the time I could make a request to abort reporting it would have likely already completed.
Also, unless there is already a ton of memory churn then we probably wouldn't need to worry about page reporting really causing too much of an issue. Specifically the way I structured the logic was that we only pull out up to 16 pages at a time. What should happen is that we will continue to build a list of "reported" pages in the free_list until we start bumping up against the allocator, in that case the allocator should start pulling reported pages and we will stop reporting with hopefully enough "reported" pages built up that it can allocate out of those until the last 16 or fewer reported pages are returned to the free_list.
Quoted 3 lines
I have not yet understood completely the way all the details work. I am currently looking into using
alloc_contig_range()in a different context, which would co-exist with free-page-reporting.
I am pretty sure the two can "play well" together, even in their current form. One thing I could look at doing would be to skip a page if the migratetype of the pfnblock indicates that it is an isolate block. I would essentially have to pull it out of the free_list I am working with and drop it into the MIGRATE_ISOLATE freelist.
PATCH v5 4/6 mm: Introduce Reported pages
Quoted 42 lines
Quoted 42 lines
Quoted 25 lines
mm/page_alloc.c +25
-0+struct page *get_unreported_page (struct zone *zone,unsigned int order,int mt) +{ +struct list_head *tail =get_unreported_tail (zone, order, mt); +struct free_area *area = &(zone->free_area[order]); +struct list_head *list = &area->free_list[mt]; +struct page *page; + +/* zone lock should be held when this function is called */ +lockdep_assert_held (&zone->lock); + +/* Find a page of the appropriate size in the preferred list */ + page = list_last_entry(tail, struct page, lru); +list_for_each_entry_from_reverse (page, list, lru) { +/* If we entered this loop then the "raw" list isn't empty */ + +/* If the page is reported try the head of the list */ +if (PageReported (page)) { + page = list_first_entry(list, struct page, lru); + +/* +* If both the head and tail are reported then reset +* the boundary so that we read as an empty list +* next time and bail out. +*/ +if (PageReported (page)) {mm/page_alloc.c struct page *__rmqueue_smallest(struct zone *zone, unsigned int order, · line 2247
Quoted 10 lines
mm/page_alloc.c +10
-0+page_reporting_add_to_boundary (page, zone, mt); +break ; + } + } + +del_page_from_free_list (page, zone, order); + +/* record migratetype and order within page */ +set_pcppage_migratetype (page, mt); +set_page_private (page, order);Can you elaborate why you (similar to Nitesh) have to save/restore the migratetype? I can't yet follow why that is necessary. You could simply set it to MOVABLE (like e.g.,
undo_isolate_page_range()would do viaalloc_contig_range()). If a pageblock is completely free, it might even make sense to set it to MOVABLE.
Quoted 6 lines
Quoted 1 line
(mainly wondering if this is required here and what the rational is)
It was mostly a "put it back where I found it" type of logic. I suppose I could probably just come back and read the migratetype out of the pfnblock and return it there. Is that what you are thinking? If so I can probably look at doing that instead, assuming there are no issues with that.
"read the migratetype out of the pfnblock" - that's what I would have done. Who could change it in the meanwhile (besides isolation)? (besides the buddy converting migratetypes on demand). I haven't yet understood if this saving/restring is really needed or beneficial.
Quoted 9 lines
Quoted 5 lines
Now a theoretical issue:
You are allocating pages from all zones, including the MOVABLE zone. The pages are currently unmovable (however, only temporarily allocated).
In my mind they aren't in too different of a state from pages that have had their reference count dropped to 0 by something like
__free_pages, but haven't yet reached the function__free_pages_ok.
Good point, however that code sequence is fairly small. If you have a hypervisor call in between (+ taking the BQL, + mmap_sem in the hypervisor), things might look different (-> more latency). However, the hypervisor might also reschedule while in that critical section.
But I am not sure yet it there is a subtle difference between
1. Some page just got freed (and maybe we are lucky that this happened) and we run into this corner case.
2. We are actively pulling out pages and putting them back, making this trigger more frequently.
I guess I could try to test how alloc_contig_range() play together with free page reporting to see if there is now a notable difference.
Quoted 11 lines
The general idea is that they should be in this state for a very short- lived period of time. They are essentially free pages that just haven't made it back into the buddy allocator.
Quoted 5 lines
del_page_from_free_area()will clearPG_buddy, and leave the refcount of the page set to zero (!).has_unmovable_pages()will skip any pages either on the MOVABLE zone or with a refcount of zero. So all pages that are being reported are detected as movable. The isolation of allocated pages will work - which is not bad, but I wonder what the implications are.
Quoted 15 lines
So as per my comment above I am fairly certain this isn't a new state that my code has introduced. In fact
isolate_movable_page()calls out the case in the comments at the start of the function. Specifically it states:
/*
* Avoid burning cycles with pages that are yet under__free_pages(),
* or just got freed under us.
*
* In case we 'win' a race for a movable page being freed under us and
* raise its refcount preventing__free_pages()from doing its job
* theput_page()at the end of this block will take care of
* release this page, thus avoiding a nasty leakage.
*/
if (unlikely(!get_page_unless_zero(page)))
goto out;
Please note that this is only valid for movable pages, but not for random pages with a refcount of zero (e.g., isolate_movable_page() is only called when __PageMovable()).
Quoted 11 lines
So it would seem like this case is already handled. I am assuming the fact that the migrate type for the pfnblock was set to isolate before we got here would mean that when I call
put_reported_pagethe final result will be that the page is placed into the freelist for the isolate migratetype.Quoted 6 lines
As far as I can follow,
alloc_contig_range()->__alloc_contig_migrate_range()->isolate_migratepages_range()->isolate_migratepages_block()will choke on these pages ((!PageLRU(page) -> !__PageMovable(page) -> fail), essentially makingalloc_contig_range()range fail. Same could apply tooffline_pages().
Quoted 8 lines
Quoted 4 lines
I would have thought that there has to be something like a
reported_pages_drain_all(), that waits until all reports are over (or even signals to the hypervisor to abort reporting). As the pages are isolated, they won't be allocated for reporting again.The thing is I only have 16 pages at most sitting in the scatterlist. In most cases the response should be quick enough that by the time I could make a request to abort reporting it would have likely already completed.
The "in most cases" is what's bugging me. It's not deterministic. E.g., try to allocate a gigantic page -> fails. Try again -> works. And that would happen even on MOVABLE memory that is supposed to be somewhat reliable.
Yes, it's not a lot of pages, but if it can happen it will happen :)
Quoted 15 lines
Also, unless there is already a ton of memory churn then we probably wouldn't need to worry about page reporting really causing too much of an issue. Specifically the way I structured the logic was that we only pull out up to 16 pages at a time. What should happen is that we will continue to build a list of "reported" pages in the
free_listuntil we start bumping up against the allocator, in that case the allocator should start pulling reported pages and we will stop reporting with hopefully enough "reported" pages built up that it can allocate out of those until the last 16 or fewer reported pages are returned to thefree_list.Quoted 3 lines
I have not yet understood completely the way all the details work. I am currently looking into using
alloc_contig_range()in a different context, which would co-exist with free-page-reporting.
Quoted 5 lines
I am pretty sure the two can "play well" together, even in their current form. One thing I could look at doing would be to skip a page if the migratetype of the pfnblock indicates that it is an isolate block. I would essentially have to pull it out of the
free_listI am working with and drop it into theMIGRATE_ISOLATEfreelist.
Yeah, there could just be more some false negatives (meaning, alloc_contig_range() would fail more frequently).
Complicated stuff :)
Signature · 9 lines
Thanks, David / dhildenb --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
kbuild test robot
build botRe: [PATCH v5 4/6] mm: Introduce Reported pages
In reply to Alexander DuyckThank you for the patch! Perhaps something to improve:
Hi Alexander,
Thank you for the patch! Perhaps something to improve:
[auto build test WARNING on linus/master]
[cannot apply to v5.3-rc4]
[if your patch is applied to the wrong git tree, please drop us a note to help improve the system]
url: https://github.com/0day-ci/linux/commits/Alexander-Duyck/mm-virtio-Provide-support-for-unused-page-reporting/20190813-150543
config: um-x86_64_defconfig (attached as .config)
compiler: gcc-7 (Debian 7.4.0-10) 7.4.0 reproduce:
# save the attached .config to linux build tree
make ARCH=um SUBARCH=x86_64If you fix the issue, kindly add following tag
All warnings (new ones prefixed by >>):
In file included from include/linux/thread_info.h:38:0,
from include/asm-generic/current.h:5,
from ./arch/um/include/generated/asm/current.h:1,
from include/linux/sched.h:12,
from arch/x86/um/shared/sysdep/kernel-offsets.h:3,
from arch/um/kernel/asm-offsets.c:1:
arch/um/include/asm/thread_info.h:9:0: note: this is the location of the previous definition
#define THREAD_SIZE_ORDER CONFIG_KERNEL_STACK_ORDER
In file included from arch/x86/include/asm/page_types.h:48:0,
from arch/x86/include/asm/pgtable_types.h:8, from include/linux/page_reporting.h:8,
from include/linux/mmzone.h:774,
from include/linux/gfp.h:6,
from include/linux/slab.h:15,
from include/linux/crypto.h:19,
from arch/x86/um/shared/sysdep/kernel-offsets.h:5, from arch/um/kernel/asm-offsets.c:1:
arch/x86/include/asm/page_64_types.h:16:0: warning: "THREAD_SIZE" redefined
#define THREAD_SIZE (PAGE_SIZE << THREAD_SIZE_ORDER)
In file included from include/linux/thread_info.h:38:0,
from include/asm-generic/current.h:5,
from ./arch/um/include/generated/asm/current.h:1,
from include/linux/sched.h:12,
from arch/x86/um/shared/sysdep/kernel-offsets.h:3,
from arch/um/kernel/asm-offsets.c:1:
arch/um/include/asm/thread_info.h:10:0: note: this is the location of the previous definition
#define THREAD_SIZE ((1 << CONFIG_KERNEL_STACK_ORDER) * PAGE_SIZE)
In file included from arch/x86/include/asm/pgtable_types.h:249:0,
from include/linux/page_reporting.h:8,
from include/linux/mmzone.h:774,
from include/linux/gfp.h:6,
from include/linux/slab.h:15,
from include/linux/crypto.h:19,
from arch/x86/um/shared/sysdep/kernel-offsets.h:5, from arch/um/kernel/asm-offsets.c:1:
arch/x86/include/asm/pgtable_64_types.h:21:34: error: conflicting types for 'pte_t'
typedef struct { pteval_t pte; } pte_t;
^~~~~
In file included from arch/um/include/asm/thread_info.h:15:0,
from include/linux/thread_info.h:38,
from include/asm-generic/current.h:5,
from ./arch/um/include/generated/asm/current.h:1,
from include/linux/sched.h:12,
from arch/x86/um/shared/sysdep/kernel-offsets.h:3,
from arch/um/kernel/asm-offsets.c:1:
arch/um/include/asm/page.h:57:39: note: previous declaration of 'pte_t' was here
typedef struct { unsigned long pte; } pte_t;
^~~~~
In file included from include/linux/page_reporting.h:8:0,
from include/linux/mmzone.h:774,
from include/linux/gfp.h:6,
from include/linux/slab.h:15,
from include/linux/crypto.h:19,
from arch/x86/um/shared/sysdep/kernel-offsets.h:5,
from arch/um/kernel/asm-offsets.c:1:
arch/x86/include/asm/pgtable_types.h:265:47: error: conflicting types for 'pgprot_t'
typedef struct pgprot { pgprotval_t pgprot; } pgprot_t;
^~~~~~~~
In file included from arch/um/include/asm/thread_info.h:15:0,
from include/linux/thread_info.h:38,
from include/asm-generic/current.h:5,
from ./arch/um/include/generated/asm/current.h:1,
from include/linux/sched.h:12,
from arch/x86/um/shared/sysdep/kernel-offsets.h:3,
from arch/um/kernel/asm-offsets.c:1:
arch/um/include/asm/page.h:80:42: note: previous declaration of 'pgprot_t' was here
typedef struct { unsigned long pgprot; } pgprot_t;
^~~~~~~~
In file included from include/linux/page_reporting.h:8:0,
from include/linux/mmzone.h:774,
from include/linux/gfp.h:6,
from include/linux/slab.h:15,
from include/linux/crypto.h:19,
from arch/x86/um/shared/sysdep/kernel-offsets.h:5,
from arch/um/kernel/asm-offsets.c:1:
arch/x86/include/asm/pgtable_types.h:267:34: error: conflicting types for 'pgd_t'
typedef struct { pgdval_t pgd; } pgd_t;
^~~~~
In file included from arch/um/include/asm/thread_info.h:15:0,
from include/linux/thread_info.h:38,
from include/asm-generic/current.h:5,
from ./arch/um/include/generated/asm/current.h:1,
from include/linux/sched.h:12,
from arch/x86/um/shared/sysdep/kernel-offsets.h:3,
from arch/um/kernel/asm-offsets.c:1:
arch/um/include/asm/page.h:58:39: note: previous declaration of 'pgd_t' was here
typedef struct { unsigned long pgd; } pgd_t;
^~~~~
In file included from arch/x86/include/asm/pgtable_types.h:346:0,
from include/linux/page_reporting.h:8,
from include/linux/mmzone.h:774,
from include/linux/gfp.h:6,
from include/linux/slab.h:15,
from include/linux/crypto.h:19,
from arch/x86/um/shared/sysdep/kernel-offsets.h:5,
from arch/um/kernel/asm-offsets.c:1:
>> include/asm-generic/pgtable-nopud.h:21:0: warning: "PUD_SHIFT" redefined
#define PUD_SHIFT P4D_SHIFT In file included from arch/x86/include/asm/pgtable_types.h:249:0,
from include/linux/page_reporting.h:8,
from include/linux/mmzone.h:774,
from include/linux/gfp.h:6,
from include/linux/slab.h:15,
from include/linux/crypto.h:19,
from arch/x86/um/shared/sysdep/kernel-offsets.h:5,
from arch/um/kernel/asm-offsets.c:1:
arch/x86/include/asm/pgtable_64_types.h:83:0: note: this is the location of the previous definition
#define PUD_SHIFT 30
In file included from arch/x86/include/asm/pgtable_types.h:346:0,
from include/linux/page_reporting.h:8, from include/linux/mmzone.h:774,
from include/linux/gfp.h:6,
from include/linux/slab.h:15,
from include/linux/crypto.h:19,
from arch/x86/um/shared/sysdep/kernel-offsets.h:5, from arch/um/kernel/asm-offsets.c:1:
>> include/asm-generic/pgtable-nopud.h:22:0: warning: "PTRS_PER_PUD" redefined
#define PTRS_PER_PUD 1 In file included from arch/x86/include/asm/pgtable_types.h:249:0,
from include/linux/page_reporting.h:8,
from include/linux/mmzone.h:774,
from include/linux/gfp.h:6,
from include/linux/slab.h:15,
from include/linux/crypto.h:19,
from arch/x86/um/shared/sysdep/kernel-offsets.h:5,
from arch/um/kernel/asm-offsets.c:1:
arch/x86/include/asm/pgtable_64_types.h:84:0: note: this is the location of the previous definition
#define PTRS_PER_PUD 512
In file included from arch/x86/include/asm/pgtable_types.h:346:0,
from include/linux/page_reporting.h:8, from include/linux/mmzone.h:774,
from include/linux/gfp.h:6,
from include/linux/slab.h:15,
from include/linux/crypto.h:19,
from arch/x86/um/shared/sysdep/kernel-offsets.h:5, from arch/um/kernel/asm-offsets.c:1:
>> include/asm-generic/pgtable-nopud.h:23:0: warning: "PUD_SIZE" redefined
#define PUD_SIZE (1UL << PUD_SHIFT) In file included from arch/x86/include/asm/pgtable_types.h:249:0,
from include/linux/page_reporting.h:8,
from include/linux/mmzone.h:774,
from include/linux/gfp.h:6,
from include/linux/slab.h:15,
from include/linux/crypto.h:19,
from arch/x86/um/shared/sysdep/kernel-offsets.h:5,
from arch/um/kernel/asm-offsets.c:1:
arch/x86/include/asm/pgtable_64_types.h:100:0: note: this is the location of the previous definition
#define PUD_SIZE (_AC(1, UL) << PUD_SHIFT)
In file included from arch/x86/include/asm/pgtable_types.h:346:0,
from include/linux/page_reporting.h:8, from include/linux/mmzone.h:774,
from include/linux/gfp.h:6,
from include/linux/slab.h:15,
from include/linux/crypto.h:19,
from arch/x86/um/shared/sysdep/kernel-offsets.h:5, from arch/um/kernel/asm-offsets.c:1:
>> include/asm-generic/pgtable-nopud.h:24:0: warning: "PUD_MASK" redefined
#define PUD_MASK (~(PUD_SIZE-1)) In file included from arch/x86/include/asm/pgtable_types.h:249:0,
from include/linux/page_reporting.h:8,
from include/linux/mmzone.h:774,
from include/linux/gfp.h:6,
from include/linux/slab.h:15,
from include/linux/crypto.h:19,
from arch/x86/um/shared/sysdep/kernel-offsets.h:5,
from arch/um/kernel/asm-offsets.c:1:
arch/x86/include/asm/pgtable_64_types.h:101:0: note: this is the location of the previous definition
#define PUD_MASK (~(PUD_SIZE - 1))
In file included from include/linux/page_reporting.h:8:0,
from include/linux/mmzone.h:774,
from include/linux/gfp.h:6,
from include/linux/slab.h:15,
from include/linux/crypto.h:19,
from arch/x86/um/shared/sysdep/kernel-offsets.h:5, from arch/um/kernel/asm-offsets.c:1:
arch/x86/include/asm/pgtable_types.h:360:34: error: conflicting types for 'pmd_t'
typedef struct { pmdval_t pmd; } pmd_t;
^~~~~
In file included from arch/um/include/asm/thread_info.h:15:0,
from include/linux/thread_info.h:38,
from include/asm-generic/current.h:5,
from ./arch/um/include/generated/asm/current.h:1,
from include/linux/sched.h:12,
from arch/x86/um/shared/sysdep/kernel-offsets.h:3,
from arch/um/kernel/asm-offsets.c:1:
arch/um/include/asm/page.h:61:39: note: previous declaration of 'pmd_t' was here
typedef struct { unsigned long pmd; } pmd_t;
^~~~~ make[2]: *** [arch/um/kernel/asm-offsets.s] Error 1 make[2]: Target '__build' not remade because of errors. make[1]: *** [prepare0] Error 2
make[1]: Target 'prepare' not remade because of errors.
make: *** [sub-make] Error 2
4 real 4 user 2 sys 157.04% cpu make prepare
vim +/PUD_SHIFT +21 include/asm-generic/pgtable-nopud.h
^1da177e4c3f41 Linus Torvalds 2005-04-16 20
048456dcf2c56a Kirill A. Shutemov 2017-03-09 @21 #define PUD_SHIFT P4D_SHIFT ^1da177e4c3f41 Linus Torvalds 2005-04-16 @22 #define PTRS_PER_PUD 1 ^1da177e4c3f41 Linus Torvalds 2005-04-16 @23 #define PUD_SIZE (1UL << PUD_SHIFT) ^1da177e4c3f41 Linus Torvalds 2005-04-16 @24 #define PUD_MASK (~(PUD_SIZE-1))
^1da177e4c3f41 Linus Torvalds 2005-04-16 25
:::::: The code at line 21 was first introduced by commit
:::::: 048456dcf2c56ad6f6248e2899dda92fb6a613f6 asm-generic: introduce <asm-generic/pgtable-nop4d.h>
:::::: TO: Kirill A. Shutemov <[email protected]> :::::: CC: Linus Torvalds <[email protected]>
---
0-DAY kernel test infrastructure Open Source Technology Center
https://lists.01.org/pipermail/kbuild-all Intel Corporation
kbuild test robot
build botRe: [PATCH v5 4/6] mm: Introduce Reported pages
In reply to Alexander DuyckThank you for the patch! Yet something to improve:
Hi Alexander,
Thank you for the patch! Yet something to improve:
[auto build test ERROR on linus/master]
[cannot apply to v5.3-rc4]
[if your patch is applied to the wrong git tree, please drop us a note to help improve the system]
url: https://github.com/0day-ci/linux/commits/Alexander-Duyck/mm-virtio-Provide-support-for-unused-page-reporting/20190813-150543
config: riscv-tinyconfig (attached as .config)
compiler: riscv64-linux-gcc (GCC) 7.4.0
reproduce:
wget https://raw.githubusercontent.com/intel/lkp-tests/master/sbin/make.cross -O ~/bin/make.cross chmod +x ~/bin/make.cross
# save the attached .config to linux build tree
GCC_VERSION=7.4.0 make.cross ARCH=riscv
If you fix the issue, kindly add following tag
All errors (new ones prefixed by >>):
In file included from include/linux/mmzone.h:774:0,
from include/linux/gfp.h:6,
from include/linux/umh.h:4,
from include/linux/kmod.h:9,
from include/linux/module.h:13,
from init/main.c:17:
>> include/linux/page_reporting.h:8:10: fatal error: asm/pgtable_types.h: No such file or directory
#include <asm/pgtable_types.h>
^~~~~~~~~~~~~~~~~~~~~compilation terminated.
vim +8 include/linux/page_reporting.h
4
5 #include <linux/mmzone.h>
6 #include <linux/jump_label.h>
7 #include <linux/pageblock-flags.h>
> 8 #include <asm/pgtable_types.h>
9 ---
0-DAY kernel test infrastructure Open Source Technology Center
https://lists.01.org/pipermail/kbuild-all Intel Corporation
PATCH v5 5/6 virtio-balloon: Pull page poisoning config out of free page hinting
In reply to Alexander DuyckFrom: Alexander Duyck <[email protected]>
Currently the page poisoning setting wasn't being enabled unless free page hinting was enabled. However we will need the page poisoning tracking logic as well for unused page reporting. As such pull it out and make it a separate bit of config in the probe function.
In addition we can actually wrap the code in a check for NO_SANITY. If we don't care what is actually in the page we can just default to 0 and leave it there.
--- drivers/virtio/virtio_balloon.c | 19 +++++++++++++------ 1 file changed, 13 insertions(+), 6 deletions(-)
drivers/virtio/virtio_balloon.c +13 -6
@@ -842,7 +842,6 @@ static int virtio_balloon_register_shrinker(struct virtio_balloon *vb)static int virtballoon_probe (struct virtio_device *vdev) {struct virtio_balloon *vb; -__u32 poison_val;int err;if (!vdev->config->get) {
@@ -909,11 +908,19 @@ static int virtballoon_probe(struct virtio_device *vdev) VIRTIO_BALLOON_CMD_ID_STOP);spin_lock_init (&vb->free_page_list_lock);INIT_LIST_HEAD (&vb->free_page_list); -if (virtio_has_feature (vdev,VIRTIO_BALLOON_F_PAGE_POISON )) { -memset (&poison_val,PAGE_POISON ,sizeof (poison_val)); - virtio_cwrite(vb->vdev, struct virtio_balloon_config, - poison_val, &poison_val); - } + } +if (virtio_has_feature (vdev,VIRTIO_BALLOON_F_PAGE_POISON )) { +__u32 poison_val =0 ; + +#if !defined(CONFIG_PAGE_POISONING_NO_SANITY ) +/* +* Let hypervisor know that we are expecting a specific +* value to be written back in unused pages. +*/ +memset (&poison_val,PAGE_POISON ,sizeof (poison_val)); +#endif + virtio_cwrite(vb->vdev, struct virtio_balloon_config, + poison_val, &poison_val); }/* * We continue to use VIRTIO_BALLOON_F_DEFLATE_ON_OOM to decide if a
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
PATCH v5 6/6 virtio-balloon: Add support for providing unused page reports to host
In reply to Alexander DuyckFrom: Alexander Duyck <[email protected]>
Add support for the page reporting feature provided by virtio-balloon. Reporting differs from the regular balloon functionality in that is is much less durable than a standard memory balloon. Instead of creating a list of pages that cannot be accessed the pages are only inaccessible while they are being indicated to the virtio interface. Once the interface has acknowledged them they are placed back into their respective free lists and are once again accessible by the guest system.
--- drivers/virtio/Kconfig | 1 + drivers/virtio/virtio_balloon.c | 65 +++++++++++++++++++++++++++++++++++ include/uapi/linux/virtio_balloon.h | 1 + 3 files changed, 67 insertions(+)
drivers/virtio/Kconfig +1 -0
@@ -58,6 +58,7 @@ config VIRTIO_BALLOON tristate "Virtio balloon driver" depends on VIRTIO select MEMORY_BALLOON + select PAGE_REPORTING ---help--- This driver supports increasing and decreasing the amount of memory within a KVM guest.
drivers/virtio/virtio_balloon.c +65 -0
136 lines not on this page · raw message
include/uapi/linux/virtio_balloon.h +1 -0
@@ -36,6 +36,7 @@#define VIRTIO_BALLOON_F_DEFLATE_ON_OOM 2/* Deflate balloon on OOM */ #define VIRTIO_BALLOON_F_FREE_PAGE_HINT 3/* VQ to report free pages */ #define VIRTIO_BALLOON_F_PAGE_POISON 4/* Guest is using page poisoning */ +#define VIRTIO_BALLOON_F_REPORTING 5/* Page reporting virtqueue */ /* Size of a PFN in the balloon interface. */ #define VIRTIO_BALLOON_PFN_SHIFT 12
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
Michael S. Tsirkin
maintainerRe: [PATCH v5 6/6] virtio-balloon: Add support for providing unused page reports to host
Quoted 133 lines · Alexander Duyck
From: Alexander Duyck <[email protected]>
Add support for the page reporting feature provided by virtio-balloon. Reporting differs from the regular balloon functionality in that is is much less durable than a standard memory balloon. Instead of creating a list of pages that cannot be accessed the pages are only inaccessible while they are being indicated to the virtio interface. Once the interface has acknowledged them they are placed back into their respective free lists and are once again accessible by the guest system.
Signed-off-by Alexander Duyck <[email protected]>--- drivers/virtio/Kconfig | 1 + drivers/virtio/virtio_balloon.c | 65 +++++++++++++++++++++++++++++++++++ include/uapi/linux/virtio_balloon.h | 1 + 3 files changed, 67 insertions(+)drivers/virtio/Kconfig +1
-0@@ -58,6 +58,7 @@ config VIRTIO_BALLOON tristate "Virtio balloon driver" depends on VIRTIO select MEMORY_BALLOON + select PAGE_REPORTING ---help--- This driver supports increasing and decreasing the amount of memory within a KVM guest.drivers/virtio/virtio_balloon.c +44
-0@@ -19,6 +19,7 @@#include <linux/mount.h> #include <linux/magic.h> #include <linux/pseudo_fs.h> +#include <linux/page_reporting.h> /* * Balloon device works in 4K page units. So each page is pointed to by @@ -37,6 +38,9 @@#define VIRTIO_BALLOON_FREE_PAGE_SIZE \ (1 << (VIRTIO_BALLOON_FREE_PAGE_ORDER + PAGE_SHIFT)) +/* limit on the number of pages that can be on the reporting vq */ +#define VIRTIO_BALLOON_VRING_HINTS_MAX 16 +#ifdef CONFIG_BALLOON_COMPACTION static struct vfsmount *balloon_mnt;#endif @@ -46,6 +50,7 @@ enum virtio_balloon_vq {VIRTIO_BALLOON_VQ_DEFLATE ,VIRTIO_BALLOON_VQ_STATS ,VIRTIO_BALLOON_VQ_FREE_PAGE , +VIRTIO_BALLOON_VQ_REPORTING , VIRTIO_BALLOON_VQ_MAX };@@ -113,6 +118,10 @@ struct virtio_balloon {/* To register a shrinker to shrink memory upon memory pressure */ struct shrinker shrinker; + +/* Unused page reporting device */ +struct virtqueue *reporting_vq; +struct page_reporting_dev_info ph_dev_info; };static struct virtio_device_id id_table[] = {@@ -152,6 +161,32 @@ static void tell_host(struct virtio_balloon *vb, struct virtqueue *vq) } +void virtballoon_unused_page_report (struct page_reporting_dev_info *ph_dev_info, +unsigned int nents) +{ +struct virtio_balloon *vb = + container_of(ph_dev_info, struct virtio_balloon, ph_dev_info); +struct virtqueue *vq = vb->reporting_vq; +unsigned int unused, err; + +/* We should always be able to add these buffers to an empty queue. */ + err =virtqueue_add_inbuf (vq, ph_dev_info->sg, nents, vb, +GFP_NOWAIT | __GFP_NOWARN); + +/* +* In the extremely unlikely case that something has changed and we +* are able to trigger an error we will simply display a warning +* and exit without actually processing the pages. +*/ +if (WARN_ON (err)) +return ; + +virtqueue_kick (vq); + +/* When host has read buffer, this completes via balloon_ack */ +wait_event (vb->acked,virtqueue_get_buf (vq, &unused)); +} +static void set_page_pfns (struct virtio_balloon *vb,__virtio32 pfns[],struct page *page) {@@ -476,6 +511,7 @@ static int init_vqs(struct virtio_balloon *vb) names[VIRTIO_BALLOON_VQ_DEFLATE ] ="deflate" ; names[VIRTIO_BALLOON_VQ_STATS ] =NULL ; names[VIRTIO_BALLOON_VQ_FREE_PAGE ] =NULL ; + names[VIRTIO_BALLOON_VQ_REPORTING ] =NULL ;if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_STATS_VQ )) { names[VIRTIO_BALLOON_VQ_STATS ] ="stats" ;@@ -487,11 +523,19 @@ static int init_vqs(struct virtio_balloon *vb) callbacks[VIRTIO_BALLOON_VQ_FREE_PAGE ] =NULL ; } +if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_REPORTING )) { + names[VIRTIO_BALLOON_VQ_REPORTING ] ="reporting_vq" ; + callbacks[VIRTIO_BALLOON_VQ_REPORTING ] = balloon_ack; + } + err = vb->vdev->config->find_vqs (vb->vdev,VIRTIO_BALLOON_VQ_MAX , vqs, callbacks, names,NULL ,NULL );if (err)return err; +if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_REPORTING )) + vb->reporting_vq = vqs[VIRTIO_BALLOON_VQ_REPORTING ]; + vb->inflate_vq = vqs[VIRTIO_BALLOON_VQ_INFLATE ]; vb->deflate_vq = vqs[VIRTIO_BALLOON_VQ_DEFLATE ];if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_STATS_VQ )) {@@ -931,12 +975,30 @@ static int virtballoon_probe(struct virtio_device *vdev)if (err)
drivers/virtio/virtio_balloon.c static int virtballoon_probe(struct virtio_device *vdev) · line 985
Quoted 10 lines
drivers/virtio/virtio_balloon.c +8
-0goto out_del_balloon_wq; } + + vb->ph_dev_info.report = virtballoon_unused_page_report; +if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_REPORTING )) { +unsigned int capacity; + + capacity = min_t(unsigned int, +virtqueue_get_vring_size (vb->reporting_vq) -1 , +VIRTIO_BALLOON_VRING_HINTS_MAX );
Hmm why - 1 exactly?
This might end up being 0 in the unusual configuration of vq size 1. Also, VIRTIO_BALLOON_VRING_HINTS_MAX is a power of 2 but virtqueue_get_vring_size(vb->reporting_vq) - 1 won't
be if we are using split rings - donnu if that matters.
Quoted 41 lines
drivers/virtio/virtio_balloon.c +13
-0+ vb->ph_dev_info.capacity = capacity; + + err =page_reporting_startup (&vb->ph_dev_info); +if (err) + goto out_unregister_shrinker; + } +virtio_device_ready (vdev);if (towards_target (vb))virtballoon_changed (vdev);return 0 ; +out_unregister_shrinker: +if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_DEFLATE_ON_OOM )) +virtio_balloon_unregister_shrinker (vb); out_del_balloon_wq:if (virtio_has_feature (vdev,VIRTIO_BALLOON_F_FREE_PAGE_HINT ))destroy_workqueue (vb->balloon_wq);@@ -965,6 +1027,8 @@ static void virtballoon_remove(struct virtio_device *vdev) {struct virtio_balloon *vb = vdev->priv; +if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_REPORTING )) +page_reporting_shutdown (&vb->ph_dev_info);if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_DEFLATE_ON_OOM ))virtio_balloon_unregister_shrinker (vb);spin_lock_irq (&vb->stop_update_lock);@@ -1034,6 +1098,7 @@ static int virtballoon_validate(struct virtio_device *vdev)VIRTIO_BALLOON_F_DEFLATE_ON_OOM ,VIRTIO_BALLOON_F_FREE_PAGE_HINT ,VIRTIO_BALLOON_F_PAGE_POISON , + VIRTIO_BALLOON_F_REPORTING, }; static struct virtio_driver virtio_balloon_driver = {include/uapi/linux/virtio_balloon.h +0
-0
include/uapi/linux/virtio_balloon.h line 42
Quoted 7 lines
include/uapi/linux/virtio_balloon.h +1
-0@@ -36,6 +36,7 @@#define VIRTIO_BALLOON_F_DEFLATE_ON_OOM 2/* Deflate balloon on OOM */ #define VIRTIO_BALLOON_F_FREE_PAGE_HINT 3/* VQ to report free pages */ #define VIRTIO_BALLOON_F_PAGE_POISON 4/* Guest is using page poisoning */ +#define VIRTIO_BALLOON_F_REPORTING 5/* Page reporting virtqueue */ /* Size of a PFN in the balloon interface. */ #define VIRTIO_BALLOON_PFN_SHIFT 12
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
Re: [PATCH v5 6/6] virtio-balloon: Add support for providing unused page reports to host
Quoted 143 lines · Michael S. Tsirkin
Quoted 141 lines · Alexander Duyck
From: Alexander Duyck <[email protected]>
Add support for the page reporting feature provided by virtio-balloon. Reporting differs from the regular balloon functionality in that is is much less durable than a standard memory balloon. Instead of creating a list of pages that cannot be accessed the pages are only inaccessible while they are being indicated to the virtio interface. Once the interface has acknowledged them they are placed back into their respective free lists and are once again accessible by the guest system.
Signed-off-by Alexander Duyck <[email protected]>--- drivers/virtio/Kconfig | 1 + drivers/virtio/virtio_balloon.c | 65 +++++++++++++++++++++++++++++++++++ include/uapi/linux/virtio_balloon.h | 1 + 3 files changed, 67 insertions(+)drivers/virtio/Kconfig +1
-0@@ -58,6 +58,7 @@ config VIRTIO_BALLOON tristate "Virtio balloon driver" depends on VIRTIO select MEMORY_BALLOON + select PAGE_REPORTING ---help--- This driver supports increasing and decreasing the amount of memory within a KVM guest.drivers/virtio/virtio_balloon.c +50
-0@@ -19,6 +19,7 @@#include <linux/mount.h> #include <linux/magic.h> #include <linux/pseudo_fs.h> +#include <linux/page_reporting.h> /* * Balloon device works in 4K page units. So each page is pointed to by @@ -37,6 +38,9 @@#define VIRTIO_BALLOON_FREE_PAGE_SIZE \ (1 << (VIRTIO_BALLOON_FREE_PAGE_ORDER + PAGE_SHIFT)) +/* limit on the number of pages that can be on the reporting vq */ +#define VIRTIO_BALLOON_VRING_HINTS_MAX 16 +#ifdef CONFIG_BALLOON_COMPACTION static struct vfsmount *balloon_mnt;#endif @@ -46,6 +50,7 @@ enum virtio_balloon_vq {VIRTIO_BALLOON_VQ_DEFLATE ,VIRTIO_BALLOON_VQ_STATS ,VIRTIO_BALLOON_VQ_FREE_PAGE , +VIRTIO_BALLOON_VQ_REPORTING , VIRTIO_BALLOON_VQ_MAX };@@ -113,6 +118,10 @@ struct virtio_balloon {/* To register a shrinker to shrink memory upon memory pressure */ struct shrinker shrinker; + +/* Unused page reporting device */ +struct virtqueue *reporting_vq; +struct page_reporting_dev_info ph_dev_info; };static struct virtio_device_id id_table[] = {@@ -152,6 +161,32 @@ static void tell_host(struct virtio_balloon *vb, struct virtqueue *vq) } +void virtballoon_unused_page_report (struct page_reporting_dev_info *ph_dev_info, +unsigned int nents) +{ +struct virtio_balloon *vb = + container_of(ph_dev_info, struct virtio_balloon, ph_dev_info); +struct virtqueue *vq = vb->reporting_vq; +unsigned int unused, err; + +/* We should always be able to add these buffers to an empty queue. */ + err =virtqueue_add_inbuf (vq, ph_dev_info->sg, nents, vb, +GFP_NOWAIT | __GFP_NOWARN); + +/* +* In the extremely unlikely case that something has changed and we +* are able to trigger an error we will simply display a warning +* and exit without actually processing the pages. +*/ +if (WARN_ON (err)) +return ; + +virtqueue_kick (vq); + +/* When host has read buffer, this completes via balloon_ack */ +wait_event (vb->acked,virtqueue_get_buf (vq, &unused)); +} +static void set_page_pfns (struct virtio_balloon *vb,__virtio32 pfns[],struct page *page) {@@ -476,6 +511,7 @@ static int init_vqs(struct virtio_balloon *vb) names[VIRTIO_BALLOON_VQ_DEFLATE ] ="deflate" ; names[VIRTIO_BALLOON_VQ_STATS ] =NULL ; names[VIRTIO_BALLOON_VQ_FREE_PAGE ] =NULL ; + names[VIRTIO_BALLOON_VQ_REPORTING ] =NULL ;if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_STATS_VQ )) { names[VIRTIO_BALLOON_VQ_STATS ] ="stats" ;@@ -487,11 +523,19 @@ static int init_vqs(struct virtio_balloon *vb) callbacks[VIRTIO_BALLOON_VQ_FREE_PAGE ] =NULL ; } +if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_REPORTING )) { + names[VIRTIO_BALLOON_VQ_REPORTING ] ="reporting_vq" ; + callbacks[VIRTIO_BALLOON_VQ_REPORTING ] = balloon_ack; + } + err = vb->vdev->config->find_vqs (vb->vdev,VIRTIO_BALLOON_VQ_MAX , vqs, callbacks, names,NULL ,NULL );if (err)return err; +if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_REPORTING )) + vb->reporting_vq = vqs[VIRTIO_BALLOON_VQ_REPORTING ]; + vb->inflate_vq = vqs[VIRTIO_BALLOON_VQ_INFLATE ]; vb->deflate_vq = vqs[VIRTIO_BALLOON_VQ_DEFLATE ];if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_STATS_VQ )) {@@ -931,12 +975,30 @@ static int virtballoon_probe(struct virtio_device *vdev)if (err) goto out_del_balloon_wq; } + + vb->ph_dev_info.report = virtballoon_unused_page_report; +if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_REPORTING )) { +unsigned int capacity; + + capacity = min_t(unsigned int,
Quoted 8 lines
drivers/virtio/virtio_balloon.c static int virtballoon_probe(struct virtio_device *vdev) · line 985
Quoted 2 lines
drivers/virtio/virtio_balloon.c +2
-0+virtqueue_get_vring_size (vb->reporting_vq) -1 , + VIRTIO_BALLOON_VRING_HINTS_MAX);Hmm why - 1 exactly?
This might end up being 0 in the unusual configuration of vq size 1. Also,VIRTIO_BALLOON_VRING_HINTS_MAXis a power of 2 butvirtqueue_get_vring_size(vb->reporting_vq)- 1 won't
be if we are using split rings - donnu if that matters.
Is a vq size of 1 valid? Does that mean you can use that 1 descriptor?
Odds are I probably misunderstood the ring config in the other hinting implementation. Looking it over now I guess it was adding one additional entry for a command header and that was why it was reserving one additional slot. I can update the code to drop the "- 1" if the ring is capable of being fully utilized.
Thanks.
- Alex
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
Michael S. Tsirkin
maintainerRe: [PATCH v5 6/6] virtio-balloon: Add support for providing unused page reports to host
Quoted 153 lines · Alexander Duyck
Quoted 143 lines · Michael S. Tsirkin
Quoted 141 lines · Alexander Duyck
From: Alexander Duyck <[email protected]>
Add support for the page reporting feature provided by virtio-balloon. Reporting differs from the regular balloon functionality in that is is much less durable than a standard memory balloon. Instead of creating a list of pages that cannot be accessed the pages are only inaccessible while they are being indicated to the virtio interface. Once the interface has acknowledged them they are placed back into their respective free lists and are once again accessible by the guest system.
Signed-off-by Alexander Duyck <[email protected]>--- drivers/virtio/Kconfig | 1 + drivers/virtio/virtio_balloon.c | 65 +++++++++++++++++++++++++++++++++++ include/uapi/linux/virtio_balloon.h | 1 + 3 files changed, 67 insertions(+)drivers/virtio/Kconfig +1
-0@@ -58,6 +58,7 @@ config VIRTIO_BALLOON tristate "Virtio balloon driver" depends on VIRTIO select MEMORY_BALLOON + select PAGE_REPORTING ---help--- This driver supports increasing and decreasing the amount of memory within a KVM guest.drivers/virtio/virtio_balloon.c +50
-0@@ -19,6 +19,7 @@#include <linux/mount.h> #include <linux/magic.h> #include <linux/pseudo_fs.h> +#include <linux/page_reporting.h> /* * Balloon device works in 4K page units. So each page is pointed to by @@ -37,6 +38,9 @@#define VIRTIO_BALLOON_FREE_PAGE_SIZE \ (1 << (VIRTIO_BALLOON_FREE_PAGE_ORDER + PAGE_SHIFT)) +/* limit on the number of pages that can be on the reporting vq */ +#define VIRTIO_BALLOON_VRING_HINTS_MAX 16 +#ifdef CONFIG_BALLOON_COMPACTION static struct vfsmount *balloon_mnt;#endif @@ -46,6 +50,7 @@ enum virtio_balloon_vq {VIRTIO_BALLOON_VQ_DEFLATE ,VIRTIO_BALLOON_VQ_STATS ,VIRTIO_BALLOON_VQ_FREE_PAGE , +VIRTIO_BALLOON_VQ_REPORTING , VIRTIO_BALLOON_VQ_MAX };@@ -113,6 +118,10 @@ struct virtio_balloon {/* To register a shrinker to shrink memory upon memory pressure */ struct shrinker shrinker; + +/* Unused page reporting device */ +struct virtqueue *reporting_vq; +struct page_reporting_dev_info ph_dev_info; };static struct virtio_device_id id_table[] = {@@ -152,6 +161,32 @@ static void tell_host(struct virtio_balloon *vb, struct virtqueue *vq) } +void virtballoon_unused_page_report (struct page_reporting_dev_info *ph_dev_info, +unsigned int nents) +{ +struct virtio_balloon *vb = + container_of(ph_dev_info, struct virtio_balloon, ph_dev_info); +struct virtqueue *vq = vb->reporting_vq; +unsigned int unused, err; + +/* We should always be able to add these buffers to an empty queue. */ + err =virtqueue_add_inbuf (vq, ph_dev_info->sg, nents, vb, +GFP_NOWAIT | __GFP_NOWARN); + +/* +* In the extremely unlikely case that something has changed and we +* are able to trigger an error we will simply display a warning +* and exit without actually processing the pages. +*/ +if (WARN_ON (err)) +return ; + +virtqueue_kick (vq); + +/* When host has read buffer, this completes via balloon_ack */ +wait_event (vb->acked,virtqueue_get_buf (vq, &unused)); +} +static void set_page_pfns (struct virtio_balloon *vb,__virtio32 pfns[],struct page *page) {@@ -476,6 +511,7 @@ static int init_vqs(struct virtio_balloon *vb) names[VIRTIO_BALLOON_VQ_DEFLATE ] ="deflate" ; names[VIRTIO_BALLOON_VQ_STATS ] =NULL ; names[VIRTIO_BALLOON_VQ_FREE_PAGE ] =NULL ; + names[VIRTIO_BALLOON_VQ_REPORTING ] =NULL ;if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_STATS_VQ )) { names[VIRTIO_BALLOON_VQ_STATS ] ="stats" ;@@ -487,11 +523,19 @@ static int init_vqs(struct virtio_balloon *vb) callbacks[VIRTIO_BALLOON_VQ_FREE_PAGE ] =NULL ; } +if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_REPORTING )) { + names[VIRTIO_BALLOON_VQ_REPORTING ] ="reporting_vq" ; + callbacks[VIRTIO_BALLOON_VQ_REPORTING ] = balloon_ack; + } + err = vb->vdev->config->find_vqs (vb->vdev,VIRTIO_BALLOON_VQ_MAX , vqs, callbacks, names,NULL ,NULL );if (err)return err; +if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_REPORTING )) + vb->reporting_vq = vqs[VIRTIO_BALLOON_VQ_REPORTING ]; + vb->inflate_vq = vqs[VIRTIO_BALLOON_VQ_INFLATE ]; vb->deflate_vq = vqs[VIRTIO_BALLOON_VQ_DEFLATE ];if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_STATS_VQ )) {@@ -931,12 +975,30 @@ static int virtballoon_probe(struct virtio_device *vdev)if (err) goto out_del_balloon_wq; } + + vb->ph_dev_info.report = virtballoon_unused_page_report; +if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_REPORTING )) { +unsigned int capacity; + + capacity = min_t(unsigned int,Quoted 8 lines
drivers/virtio/virtio_balloon.c static int virtballoon_probe(struct virtio_device *vdev) · line 985
Quoted 2 lines
drivers/virtio/virtio_balloon.c +2
-0+virtqueue_get_vring_size (vb->reporting_vq) -1 , + VIRTIO_BALLOON_VRING_HINTS_MAX);Hmm why - 1 exactly?
This might end up being 0 in the unusual configuration of vq size 1. Also,VIRTIO_BALLOON_VRING_HINTS_MAXis a power of 2 butvirtqueue_get_vring_size(vb->reporting_vq)- 1 won't
be if we are using split rings - donnu if that matters.
Quoted 2 lines
Is a vq size of 1 valid?
Does that mean you can use that 1 descriptor?
It seems to be according to the spec, and linux seems to accept that without issues, and only put 1 descriptor there.
Quoted 9 lines
Odds are I probably misunderstood the ring config in the other hinting implementation. Looking it over now I guess it was adding one additional entry for a command header and that was why it was reserving one additional slot. I can update the code to drop the "- 1" if the ring is capable of being fully utilized.
Thanks.
- Alex
It should be. I just hacked qemu to have 1 descriptor sized ring and everything seems to work.
Signature · 5 lines
MST --------------------------------------------------------------------- To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
Re: [PATCH v5 6/6] virtio-balloon: Add support for providing unused page reports to host
Quoted 167 lines · Michael S. Tsirkin
Quoted 153 lines · Alexander Duyck
Quoted 143 lines · Michael S. Tsirkin
Quoted 141 lines · Alexander Duyck
From: Alexander Duyck <[email protected]>
Add support for the page reporting feature provided by virtio-balloon. Reporting differs from the regular balloon functionality in that is is much less durable than a standard memory balloon. Instead of creating a list of pages that cannot be accessed the pages are only inaccessible while they are being indicated to the virtio interface. Once the interface has acknowledged them they are placed back into their respective free lists and are once again accessible by the guest system.
Signed-off-by Alexander Duyck <[email protected]>--- drivers/virtio/Kconfig | 1 + drivers/virtio/virtio_balloon.c | 65 +++++++++++++++++++++++++++++++++++ include/uapi/linux/virtio_balloon.h | 1 + 3 files changed, 67 insertions(+)drivers/virtio/Kconfig +1
-0@@ -58,6 +58,7 @@ config VIRTIO_BALLOON tristate "Virtio balloon driver" depends on VIRTIO select MEMORY_BALLOON + select PAGE_REPORTING ---help--- This driver supports increasing and decreasing the amount of memory within a KVM guest.drivers/virtio/virtio_balloon.c +50
-0@@ -19,6 +19,7 @@#include <linux/mount.h> #include <linux/magic.h> #include <linux/pseudo_fs.h> +#include <linux/page_reporting.h> /* * Balloon device works in 4K page units. So each page is pointed to by @@ -37,6 +38,9 @@#define VIRTIO_BALLOON_FREE_PAGE_SIZE \ (1 << (VIRTIO_BALLOON_FREE_PAGE_ORDER + PAGE_SHIFT)) +/* limit on the number of pages that can be on the reporting vq */ +#define VIRTIO_BALLOON_VRING_HINTS_MAX 16 +#ifdef CONFIG_BALLOON_COMPACTION static struct vfsmount *balloon_mnt;#endif @@ -46,6 +50,7 @@ enum virtio_balloon_vq {VIRTIO_BALLOON_VQ_DEFLATE ,VIRTIO_BALLOON_VQ_STATS ,VIRTIO_BALLOON_VQ_FREE_PAGE , +VIRTIO_BALLOON_VQ_REPORTING , VIRTIO_BALLOON_VQ_MAX };@@ -113,6 +118,10 @@ struct virtio_balloon {/* To register a shrinker to shrink memory upon memory pressure */ struct shrinker shrinker; + +/* Unused page reporting device */ +struct virtqueue *reporting_vq; +struct page_reporting_dev_info ph_dev_info; };static struct virtio_device_id id_table[] = {@@ -152,6 +161,32 @@ static void tell_host(struct virtio_balloon *vb, struct virtqueue *vq) } +void virtballoon_unused_page_report (struct page_reporting_dev_info *ph_dev_info, +unsigned int nents) +{ +struct virtio_balloon *vb = + container_of(ph_dev_info, struct virtio_balloon, ph_dev_info); +struct virtqueue *vq = vb->reporting_vq; +unsigned int unused, err; + +/* We should always be able to add these buffers to an empty queue. */ + err =virtqueue_add_inbuf (vq, ph_dev_info->sg, nents, vb, +GFP_NOWAIT | __GFP_NOWARN); + +/* +* In the extremely unlikely case that something has changed and we +* are able to trigger an error we will simply display a warning +* and exit without actually processing the pages. +*/ +if (WARN_ON (err)) +return ; + +virtqueue_kick (vq); + +/* When host has read buffer, this completes via balloon_ack */ +wait_event (vb->acked,virtqueue_get_buf (vq, &unused)); +} +static void set_page_pfns (struct virtio_balloon *vb,__virtio32 pfns[],struct page *page) {@@ -476,6 +511,7 @@ static int init_vqs(struct virtio_balloon *vb) names[VIRTIO_BALLOON_VQ_DEFLATE ] ="deflate" ; names[VIRTIO_BALLOON_VQ_STATS ] =NULL ; names[VIRTIO_BALLOON_VQ_FREE_PAGE ] =NULL ; + names[VIRTIO_BALLOON_VQ_REPORTING ] =NULL ;if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_STATS_VQ )) { names[VIRTIO_BALLOON_VQ_STATS ] ="stats" ;@@ -487,11 +523,19 @@ static int init_vqs(struct virtio_balloon *vb) callbacks[VIRTIO_BALLOON_VQ_FREE_PAGE ] =NULL ; } +if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_REPORTING )) { + names[VIRTIO_BALLOON_VQ_REPORTING ] ="reporting_vq" ; + callbacks[VIRTIO_BALLOON_VQ_REPORTING ] = balloon_ack; + } + err = vb->vdev->config->find_vqs (vb->vdev,VIRTIO_BALLOON_VQ_MAX , vqs, callbacks, names,NULL ,NULL );if (err)return err; +if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_REPORTING )) + vb->reporting_vq = vqs[VIRTIO_BALLOON_VQ_REPORTING ]; + vb->inflate_vq = vqs[VIRTIO_BALLOON_VQ_INFLATE ]; vb->deflate_vq = vqs[VIRTIO_BALLOON_VQ_DEFLATE ];if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_STATS_VQ )) {@@ -931,12 +975,30 @@ static int virtballoon_probe(struct virtio_device *vdev)if (err) goto out_del_balloon_wq; } + + vb->ph_dev_info.report = virtballoon_unused_page_report; +if (virtio_has_feature (vb->vdev,VIRTIO_BALLOON_F_REPORTING )) { +unsigned int capacity; + + capacity = min_t(unsigned int,Quoted 8 lines
drivers/virtio/virtio_balloon.c static int virtballoon_probe(struct virtio_device *vdev) · line 985
Quoted 2 lines
drivers/virtio/virtio_balloon.c +2
-0+virtqueue_get_vring_size (vb->reporting_vq) -1 , + VIRTIO_BALLOON_VRING_HINTS_MAX);Hmm why - 1 exactly?
This might end up being 0 in the unusual configuration of vq size 1. Also,VIRTIO_BALLOON_VRING_HINTS_MAXis a power of 2 butvirtqueue_get_vring_size(vb->reporting_vq)- 1 won't
be if we are using split rings - donnu if that matters.Quoted 2 lines
Is a vq size of 1 valid?
Does that mean you can use that 1 descriptor?It seems to be according to the spec, and linux seems to accept that without issues, and only put 1 descriptor there.
Quoted 6 lines
Odds are I probably misunderstood the ring config in the other hinting implementation. Looking it over now I guess it was adding one additional entry for a command header and that was why it was reserving one additional slot. I can update the code to drop the "- 1" if the ring is capable of being fully utilized.
Quoted 6 lines
Quoted 3 lines
Thanks.
- Alex
It should be. I just hacked qemu to have 1 descriptor sized ring and everything seems to work.
Okay. I will update the code to make the capacity equal to the vring size and max out oat HINTS_MAX.
I also have a fix that will make sure we return an error if we attempt to enable the page hinting with a capacity of 0 just in case.
I'll post the updated v7 later today.
Thanks.
- Alex
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
PATCH v5 1/3 virtio-ballon: Implement support for page poison tracking feature
In reply to Alexander DuyckFrom: Alexander Duyck <[email protected]>
We need to make certain to advertise support for page poison tracking if we want to actually get data on if the guest will be poisoning pages. So if free page hinting is active we should add page poisoning support and let the guest disable it if it isn't using it.
Page poisoning will result in a page being dirtied on free. As such we cannot really avoid having to copy the page at least one more time since we will need to write the poison value to the destination. As such we can just ignore free page hinting if page poisoning is enabled as it will actually reduce the work we have to do.
--- hw/virtio/virtio-balloon.c | 25 +++++++++++++++++++++---- include/hw/virtio/virtio-balloon.h | 1 + 2 files changed, 22 insertions(+), 4 deletions(-)
hw/virtio/virtio-balloon.c +21 -4
@@ -530,6 +530,15 @@ static void virtio_balloon_free_page_start(VirtIOBalloon *s)return ; } +/* +* If page poisoning is enabled then we probably shouldn't bother with +* the hinting since the poisoning will dirty the page and invalidate +* the work we are doing anyway. +*/ +if (virtio_vdev_has_feature (vdev,VIRTIO_BALLOON_F_PAGE_POISON )) { +return ; + } +if (s->free_page_report_cmd_id ==UINT_MAX ) { s->free_page_report_cmd_id =VIRTIO_BALLOON_FREE_PAGE_REPORT_CMD_ID_MIN ;
@@ -617,12 +626,10 @@ static size_t virtio_balloon_config_size(VirtIOBalloon *s)if (s->qemu_4_0_config_size) {return sizeof (struct virtio_balloon_config ); } -if (virtio_has_feature (features,VIRTIO_BALLOON_F_PAGE_POISON )) { +if (virtio_has_feature (features,VIRTIO_BALLOON_F_PAGE_POISON ) || +virtio_has_feature (features,VIRTIO_BALLOON_F_FREE_PAGE_HINT )) {return sizeof (struct virtio_balloon_config ); } -if (virtio_has_feature (features,VIRTIO_BALLOON_F_FREE_PAGE_HINT )) { -return offsetof(struct virtio_balloon_config , poison_val); - }return offsetof(struct virtio_balloon_config , free_page_report_cmd_id); }
@@ -633,6 +640,7 @@ static void virtio_balloon_get_config(VirtIODevice *vdev, uint8_t *config_data) config.num_pages =cpu_to_le32 (dev->num_pages); config.actual =cpu_to_le32 (dev->actual); + config.poison_val =cpu_to_le32 (dev->poison_val);if (dev->free_page_report_status ==FREE_PAGE_REPORT_S_REQUESTED ) { config.free_page_report_cmd_id =
@@ -696,6 +704,8 @@ static void virtio_balloon_set_config(VirtIODevice *vdev,qapi_event_send_balloon_change (vm_ram_size - ((ram_addr_t ) dev->actual <<VIRTIO_BALLOON_PFN_SHIFT )); } + dev->poison_val =virtio_vdev_has_feature (vdev,VIRTIO_BALLOON_F_PAGE_POISON ) ? +le32_to_cpu (config.poison_val) :0 ;trace_virtio_balloon_set_config (dev->actual, oldactual); }
@@ -705,6 +715,9 @@ static uint64_t virtio_balloon_get_features(VirtIODevice *vdev, uint64_t f,VirtIOBalloon *dev =VIRTIO_BALLOON (vdev); f |= dev->host_features;virtio_add_feature (&f,VIRTIO_BALLOON_F_STATS_VQ ); +if (virtio_has_feature (f,VIRTIO_BALLOON_F_FREE_PAGE_HINT )) { +virtio_add_feature (&f,VIRTIO_BALLOON_F_PAGE_POISON ); + }return f; }
@@ -846,6 +859,8 @@ static void virtio_balloon_device_reset(VirtIODevice *vdev)g_free (s->stats_vq_elem); s->stats_vq_elem =NULL ; } + + s->poison_val =0 ; }static void virtio_balloon_set_status (VirtIODevice *vdev,uint8_t status)
@@ -908,6 +923,8 @@ static Property virtio_balloon_properties[] = { VIRTIO_BALLOON_F_DEFLATE_ON_OOM, false),DEFINE_PROP_BIT ("free-page-hint" , VirtIOBalloon, host_features,VIRTIO_BALLOON_F_FREE_PAGE_HINT , false), +DEFINE_PROP_BIT ("x-page-poison" , VirtIOBalloon, host_features, + VIRTIO_BALLOON_F_PAGE_POISON, false),/* QEMU 4.0 accidentally changed the config size even when free-page-hint * is disabled, resulting in QEMU 3.1 migration incompatibility. This * property retains this quirk for QEMU 4.1 machine types.
include/hw/virtio/virtio-balloon.h +1 -0
@@ -70,6 +70,7 @@ typedef struct VirtIOBalloon {uint32_t host_features;bool qemu_4_0_config_size; + uint32_t poison_val; } VirtIOBalloon;#endif
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
PATCH v5 2/3 virtio-balloon: Add bit to notify guest of unused page reporting
In reply to Alexander DuyckFrom: Alexander Duyck <[email protected]>
Add a bit for the page reporting feature provided by virtio-balloon.
This patch should be replaced once the feature is added to the Linux kernel and the bit is backported into this exported kernel header.
--- include/standard-headers/linux/virtio_balloon.h | 1 + 1 file changed, 1 insertion(+)
include/standard-headers/linux/virtio_balloon.h +1 -0
@@ -36,6 +36,7 @@#define VIRTIO_BALLOON_F_DEFLATE_ON_OOM 2/* Deflate balloon on OOM */ #define VIRTIO_BALLOON_F_FREE_PAGE_HINT 3/* VQ to report free pages */ #define VIRTIO_BALLOON_F_PAGE_POISON 4/* Guest is using page poisoning */ +#define VIRTIO_BALLOON_F_REPORTING 5/* Page reporting virtqueue */ /* Size of a PFN in the balloon interface. */ #define VIRTIO_BALLOON_PFN_SHIFT 12
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]
PATCH v5 3/3 virtio-balloon: Provide a interface for unused page reporting
In reply to Alexander DuyckFrom: Alexander Duyck <[email protected]>
Add support for what I am referring to as "unused page reporting". Basically the idea is to function very similar to how the balloon works in that we basically end up madvising the page as not being used. However we don't really need to bother with any deflate type logic since the page will be faulted back into the guest when it is read or written to.
This is meant to be a simplification of the existing balloon interface to use for providing hints to what memory needs to be freed. I am assuming this is safe to do as the deflate logic does not actually appear to do very much other than tracking what subpages have been released and which ones haven't.
--- hw/virtio/virtio-balloon.c | 46 ++++++++++++++++++++++++++++++++++-- include/hw/virtio/virtio-balloon.h | 2 +- 2 files changed, 45 insertions(+), 3 deletions(-)
hw/virtio/virtio-balloon.c +44 -2
@@ -320,6 +320,40 @@ static void balloon_stats_set_poll_interval(Object *obj, Visitor *v,balloon_stats_change_timer (s,0 ); } +static void virtio_balloon_handle_report (VirtIODevice *vdev,VirtQueue *vq) +{ +VirtIOBalloon *dev =VIRTIO_BALLOON (vdev); +VirtQueueElement *elem; + +while ((elem =virtqueue_pop (vq,sizeof (VirtQueueElement)))) { +unsigned int i; + +for (i =0 ; i < elem->in_num; i++) { +void *addr = elem->in_sg[i].iov_base; +size_t size = elem->in_sg[i].iov_len; +ram_addr_t ram_offset; +size_t rb_page_size; +RAMBlock *rb; + +if (qemu_balloon_is_inhibited () || dev->poison_val) +continue ; + + rb =qemu_ram_block_from_host (addr, false, &ram_offset); + rb_page_size =qemu_ram_pagesize (rb); + +/* For now we will simply ignore unaligned memory regions */ +if ((ram_offset | size) & (rb_page_size -1 )) +continue ; + +ram_block_discard_range (rb, ram_offset, size); + } + +virtqueue_push (vq, elem,0 ); +virtio_notify (vdev, vq); +g_free (elem); + } +} +static void virtio_balloon_handle_output (VirtIODevice *vdev,VirtQueue *vq) {VirtIOBalloon *s =VIRTIO_BALLOON (vdev);
@@ -627,7 +661,8 @@ static size_t virtio_balloon_config_size(VirtIOBalloon *s)return sizeof (struct virtio_balloon_config ); }if (virtio_has_feature (features,VIRTIO_BALLOON_F_PAGE_POISON ) || -virtio_has_feature (features,VIRTIO_BALLOON_F_FREE_PAGE_HINT )) { +virtio_has_feature (features,VIRTIO_BALLOON_F_FREE_PAGE_HINT ) || +virtio_has_feature (features,VIRTIO_BALLOON_F_REPORTING )) {return sizeof (struct virtio_balloon_config ); }return offsetof(struct virtio_balloon_config , free_page_report_cmd_id);
@@ -715,7 +750,8 @@ static uint64_t virtio_balloon_get_features(VirtIODevice *vdev, uint64_t f,VirtIOBalloon *dev =VIRTIO_BALLOON (vdev); f |= dev->host_features;virtio_add_feature (&f,VIRTIO_BALLOON_F_STATS_VQ ); -if (virtio_has_feature (f,VIRTIO_BALLOON_F_FREE_PAGE_HINT )) { +if (virtio_has_feature (f,VIRTIO_BALLOON_F_FREE_PAGE_HINT ) || +virtio_has_feature (f,VIRTIO_BALLOON_F_REPORTING )) {virtio_add_feature (&f,VIRTIO_BALLOON_F_PAGE_POISON ); }
@@ -805,6 +841,10 @@ static void virtio_balloon_device_realize(DeviceState *dev, Error **errp) s->dvq =virtio_add_queue (vdev,128 , virtio_balloon_handle_output); s->svq =virtio_add_queue (vdev,128 , virtio_balloon_receive_stats); +if (virtio_has_feature (s->host_features,VIRTIO_BALLOON_F_REPORTING )) { + s->rvq =virtio_add_queue (vdev,32 , virtio_balloon_handle_report); + } +if (virtio_has_feature (s->host_features,VIRTIO_BALLOON_F_FREE_PAGE_HINT )) { s->free_page_vq = virtio_add_queue(vdev, VIRTQUEUE_MAX_SIZE,
@@ -931,6 +971,8 @@ static Property virtio_balloon_properties[] = {*/ DEFINE_PROP_BOOL ("qemu-4-0-config-size" , VirtIOBalloon, qemu_4_0_config_size, false), +DEFINE_PROP_BIT ("unused-page-reporting" , VirtIOBalloon, host_features, +VIRTIO_BALLOON_F_REPORTING , true),DEFINE_PROP_LINK ("iothread" , VirtIOBalloon, iothread,TYPE_IOTHREAD , IOThread *), DEFINE_PROP_END_OF_LIST(),
include/hw/virtio/virtio-balloon.h +1 -1
@@ -42,7 +42,7 @@ enum virtio_balloon_free_page_report_status { typedef struct VirtIOBalloon { VirtIODevice parent_obj; - VirtQueue *ivq, *dvq, *svq, *free_page_vq; + VirtQueue *ivq, *dvq, *svq, *free_page_vq, *rvq; uint32_t free_page_report_status; uint32_t num_pages; uint32_t actual;
---------------------------------------------------------------------
To unsubscribe, e-mail: [email protected] For additional commands, e-mail: [email protected]