1b2441318SGreg Kroah-Hartman /* SPDX-License-Identifier: GPL-2.0 */
218468d93SRafael Aquini /*
318468d93SRafael Aquini  * include/linux/balloon_compaction.h
418468d93SRafael Aquini  *
518468d93SRafael Aquini  * Common interface definitions for making balloon pages movable by compaction.
618468d93SRafael Aquini  *
74d3467e1SDavid Hildenbrand  * Balloon page migration makes use of the general non-lru movable page
84d3467e1SDavid Hildenbrand  * feature.
94d3467e1SDavid Hildenbrand  *
104d3467e1SDavid Hildenbrand  * page->private is used to reference the responsible balloon device.
114d3467e1SDavid Hildenbrand  * page->mapping is used in context of non-lru page migration to reference
124d3467e1SDavid Hildenbrand  * the address space operations for page isolation/migration/compaction.
1318468d93SRafael Aquini  *
1418468d93SRafael Aquini  * As the page isolation scanning step a compaction thread does is a lockless
1518468d93SRafael Aquini  * procedure (from a page standpoint), it might bring some racy situations while
1618468d93SRafael Aquini  * performing balloon page compaction. In order to sort out these racy scenarios
1718468d93SRafael Aquini  * and safely perform balloon's page compaction and migration we must, always,
184d3467e1SDavid Hildenbrand  * ensure following these simple rules:
1918468d93SRafael Aquini  *
2018468d93SRafael Aquini  *   i. when updating a balloon's page ->mapping element, strictly do it under
2118468d93SRafael Aquini  *      the following lock order, independently of the far superior
2218468d93SRafael Aquini  *      locking scheme (lru_lock, balloon_lock):
2318468d93SRafael Aquini  *	    +-page_lock(page);
2418468d93SRafael Aquini  *	      +--spin_lock_irq(&b_dev_info->pages_lock);
2518468d93SRafael Aquini  *	            ... page->mapping updates here ...
2618468d93SRafael Aquini  *
274d3467e1SDavid Hildenbrand  *  ii. isolation or dequeueing procedure must remove the page from balloon
284d3467e1SDavid Hildenbrand  *      device page list under b_dev_info->pages_lock.
29d6d86c0aSKonstantin Khlebnikov  *
3018468d93SRafael Aquini  * The functions provided by this interface are placed to help on coping with
3118468d93SRafael Aquini  * the aforementioned balloon page corner case, as well as to ensure the simple
3218468d93SRafael Aquini  * set of exposed rules are satisfied while we are dealing with balloon pages
3318468d93SRafael Aquini  * compaction / migration.
3418468d93SRafael Aquini  *
3518468d93SRafael Aquini  * Copyright (C) 2012, Red Hat, Inc.  Rafael Aquini <[email protected]>
3618468d93SRafael Aquini  */
3718468d93SRafael Aquini #ifndef _LINUX_BALLOON_COMPACTION_H
3818468d93SRafael Aquini #define _LINUX_BALLOON_COMPACTION_H
3918468d93SRafael Aquini #include <linux/pagemap.h>
4018468d93SRafael Aquini #include <linux/page-flags.h>
41dd4123f3SMinchan Kim #include <linux/migrate.h>
4218468d93SRafael Aquini #include <linux/gfp.h>
4318468d93SRafael Aquini #include <linux/err.h>
44b1123ea6SMinchan Kim #include <linux/fs.h>
45c7cdff0eSMichael S. Tsirkin #include <linux/list.h>
4618468d93SRafael Aquini 
4718468d93SRafael Aquini /*
4818468d93SRafael Aquini  * Balloon device information descriptor.
4918468d93SRafael Aquini  * This struct is used to allow the common balloon compaction interface
5018468d93SRafael Aquini  * procedures to find the proper balloon device holding memory pages they'll
5118468d93SRafael Aquini  * have to cope for page compaction / migration, as well as it serves the
5218468d93SRafael Aquini  * balloon driver as a page book-keeper for its registered balloon devices.
5318468d93SRafael Aquini  */
5418468d93SRafael Aquini struct balloon_dev_info {
5518468d93SRafael Aquini 	unsigned long isolated_pages;	/* # of isolated pages for migration */
5618468d93SRafael Aquini 	spinlock_t pages_lock;		/* Protection to pages list */
5718468d93SRafael Aquini 	struct list_head pages;		/* Pages enqueued & handled to Host */
589d1ba805SKonstantin Khlebnikov 	int (*migratepage)(struct balloon_dev_info *, struct page *newpage,
599d1ba805SKonstantin Khlebnikov 			struct page *page, enum migrate_mode mode);
6018468d93SRafael Aquini };
6118468d93SRafael Aquini 
62c7cdff0eSMichael S. Tsirkin extern struct page *balloon_page_alloc(void);
63c7cdff0eSMichael S. Tsirkin extern void balloon_page_enqueue(struct balloon_dev_info *b_dev_info,
64c7cdff0eSMichael S. Tsirkin 				 struct page *page);
6518468d93SRafael Aquini extern struct page *balloon_page_dequeue(struct balloon_dev_info *b_dev_info);
66418a3ab1SNadav Amit extern size_t balloon_page_list_enqueue(struct balloon_dev_info *b_dev_info,
67418a3ab1SNadav Amit 				      struct list_head *pages);
68418a3ab1SNadav Amit extern size_t balloon_page_list_dequeue(struct balloon_dev_info *b_dev_info,
69418a3ab1SNadav Amit 				     struct list_head *pages, size_t n_req_pages);
7018468d93SRafael Aquini 
balloon_devinfo_init(struct balloon_dev_info * balloon)719d1ba805SKonstantin Khlebnikov static inline void balloon_devinfo_init(struct balloon_dev_info *balloon)
7218468d93SRafael Aquini {
739d1ba805SKonstantin Khlebnikov 	balloon->isolated_pages = 0;
749d1ba805SKonstantin Khlebnikov 	spin_lock_init(&balloon->pages_lock);
759d1ba805SKonstantin Khlebnikov 	INIT_LIST_HEAD(&balloon->pages);
769d1ba805SKonstantin Khlebnikov 	balloon->migratepage = NULL;
7718468d93SRafael Aquini }
7818468d93SRafael Aquini 
7918468d93SRafael Aquini #ifdef CONFIG_BALLOON_COMPACTION
80*68f2736aSMatthew Wilcox (Oracle) extern const struct movable_operations balloon_mops;
8118468d93SRafael Aquini 
8218468d93SRafael Aquini /*
8318468d93SRafael Aquini  * balloon_page_insert - insert a page into the balloon's page list and make
849d1ba805SKonstantin Khlebnikov  *			 the page->private assignment accordingly.
859d1ba805SKonstantin Khlebnikov  * @balloon : pointer to balloon device
8618468d93SRafael Aquini  * @page    : page to be assigned as a 'balloon page'
8718468d93SRafael Aquini  *
8818468d93SRafael Aquini  * Caller must ensure the page is locked and the spin_lock protecting balloon
8918468d93SRafael Aquini  * pages list is held before inserting a page into the balloon device.
9018468d93SRafael Aquini  */
balloon_page_insert(struct balloon_dev_info * balloon,struct page * page)919d1ba805SKonstantin Khlebnikov static inline void balloon_page_insert(struct balloon_dev_info *balloon,
929d1ba805SKonstantin Khlebnikov 				       struct page *page)
9318468d93SRafael Aquini {
94ca215086SDavid Hildenbrand 	__SetPageOffline(page);
95*68f2736aSMatthew Wilcox (Oracle) 	__SetPageMovable(page, &balloon_mops);
969d1ba805SKonstantin Khlebnikov 	set_page_private(page, (unsigned long)balloon);
979d1ba805SKonstantin Khlebnikov 	list_add(&page->lru, &balloon->pages);
9818468d93SRafael Aquini }
9918468d93SRafael Aquini 
10018468d93SRafael Aquini /*
10118468d93SRafael Aquini  * balloon_page_delete - delete a page from balloon's page list and clear
1029d1ba805SKonstantin Khlebnikov  *			 the page->private assignement accordingly.
10318468d93SRafael Aquini  * @page    : page to be released from balloon's page list
10418468d93SRafael Aquini  *
10518468d93SRafael Aquini  * Caller must ensure the page is locked and the spin_lock protecting balloon
10618468d93SRafael Aquini  * pages list is held before deleting a page from the balloon device.
10718468d93SRafael Aquini  */
balloon_page_delete(struct page * page)10818468d93SRafael Aquini static inline void balloon_page_delete(struct page *page)
10918468d93SRafael Aquini {
110ca215086SDavid Hildenbrand 	__ClearPageOffline(page);
111b1123ea6SMinchan Kim 	__ClearPageMovable(page);
1129d1ba805SKonstantin Khlebnikov 	set_page_private(page, 0);
113b1123ea6SMinchan Kim 	/*
114b1123ea6SMinchan Kim 	 * No touch page.lru field once @page has been isolated
115b1123ea6SMinchan Kim 	 * because VM is using the field.
116b1123ea6SMinchan Kim 	 */
117b1123ea6SMinchan Kim 	if (!PageIsolated(page))
11818468d93SRafael Aquini 		list_del(&page->lru);
11918468d93SRafael Aquini }
12018468d93SRafael Aquini 
12118468d93SRafael Aquini /*
12218468d93SRafael Aquini  * balloon_page_device - get the b_dev_info descriptor for the balloon device
12318468d93SRafael Aquini  *			 that enqueues the given page.
12418468d93SRafael Aquini  */
balloon_page_device(struct page * page)12518468d93SRafael Aquini static inline struct balloon_dev_info *balloon_page_device(struct page *page)
12618468d93SRafael Aquini {
1279d1ba805SKonstantin Khlebnikov 	return (struct balloon_dev_info *)page_private(page);
12818468d93SRafael Aquini }
12918468d93SRafael Aquini 
balloon_mapping_gfp_mask(void)13018468d93SRafael Aquini static inline gfp_t balloon_mapping_gfp_mask(void)
13118468d93SRafael Aquini {
13218468d93SRafael Aquini 	return GFP_HIGHUSER_MOVABLE;
13318468d93SRafael Aquini }
13418468d93SRafael Aquini 
13518468d93SRafael Aquini #else /* !CONFIG_BALLOON_COMPACTION */
13618468d93SRafael Aquini 
balloon_page_insert(struct balloon_dev_info * balloon,struct page * page)1379d1ba805SKonstantin Khlebnikov static inline void balloon_page_insert(struct balloon_dev_info *balloon,
1389d1ba805SKonstantin Khlebnikov 				       struct page *page)
13918468d93SRafael Aquini {
140ca215086SDavid Hildenbrand 	__SetPageOffline(page);
1419d1ba805SKonstantin Khlebnikov 	list_add(&page->lru, &balloon->pages);
14218468d93SRafael Aquini }
14318468d93SRafael Aquini 
balloon_page_delete(struct page * page)14418468d93SRafael Aquini static inline void balloon_page_delete(struct page *page)
14518468d93SRafael Aquini {
146ca215086SDavid Hildenbrand 	__ClearPageOffline(page);
14718468d93SRafael Aquini 	list_del(&page->lru);
14818468d93SRafael Aquini }
14918468d93SRafael Aquini 
balloon_mapping_gfp_mask(void)15018468d93SRafael Aquini static inline gfp_t balloon_mapping_gfp_mask(void)
15118468d93SRafael Aquini {
15218468d93SRafael Aquini 	return GFP_HIGHUSER;
15318468d93SRafael Aquini }
15418468d93SRafael Aquini 
15518468d93SRafael Aquini #endif /* CONFIG_BALLOON_COMPACTION */
156c7cdff0eSMichael S. Tsirkin 
157c7cdff0eSMichael S. Tsirkin /*
158c7cdff0eSMichael S. Tsirkin  * balloon_page_push - insert a page into a page list.
159c7cdff0eSMichael S. Tsirkin  * @head : pointer to list
160c7cdff0eSMichael S. Tsirkin  * @page : page to be added
161c7cdff0eSMichael S. Tsirkin  *
162c7cdff0eSMichael S. Tsirkin  * Caller must ensure the page is private and protect the list.
163c7cdff0eSMichael S. Tsirkin  */
balloon_page_push(struct list_head * pages,struct page * page)164c7cdff0eSMichael S. Tsirkin static inline void balloon_page_push(struct list_head *pages, struct page *page)
165c7cdff0eSMichael S. Tsirkin {
166c7cdff0eSMichael S. Tsirkin 	list_add(&page->lru, pages);
167c7cdff0eSMichael S. Tsirkin }
168c7cdff0eSMichael S. Tsirkin 
169c7cdff0eSMichael S. Tsirkin /*
170c7cdff0eSMichael S. Tsirkin  * balloon_page_pop - remove a page from a page list.
171c7cdff0eSMichael S. Tsirkin  * @head : pointer to list
172c7cdff0eSMichael S. Tsirkin  * @page : page to be added
173c7cdff0eSMichael S. Tsirkin  *
174c7cdff0eSMichael S. Tsirkin  * Caller must ensure the page is private and protect the list.
175c7cdff0eSMichael S. Tsirkin  */
balloon_page_pop(struct list_head * pages)176c7cdff0eSMichael S. Tsirkin static inline struct page *balloon_page_pop(struct list_head *pages)
177c7cdff0eSMichael S. Tsirkin {
178c7cdff0eSMichael S. Tsirkin 	struct page *page = list_first_entry_or_null(pages, struct page, lru);
179c7cdff0eSMichael S. Tsirkin 
180c7cdff0eSMichael S. Tsirkin 	if (!page)
181c7cdff0eSMichael S. Tsirkin 		return NULL;
182c7cdff0eSMichael S. Tsirkin 
183c7cdff0eSMichael S. Tsirkin 	list_del(&page->lru);
184c7cdff0eSMichael S. Tsirkin 	return page;
185c7cdff0eSMichael S. Tsirkin }
18618468d93SRafael Aquini #endif /* _LINUX_BALLOON_COMPACTION_H */
187