blob: 35bba27d5fff4ff73841d80e5877ca2fe0fbb974 [file] [log] [blame]
Mike Rapoport1b7599b2018-03-21 21:22:34 +02001.. _page_migration:
2
3==============
Christoph Lametera48d07a2006-02-01 03:05:38 -08004Page migration
Mike Rapoport1b7599b2018-03-21 21:22:34 +02005==============
Christoph Lametera48d07a2006-02-01 03:05:38 -08006
7Page migration allows the moving of the physical location of pages between
8nodes in a numa system while the process is running. This means that the
9virtual addresses that the process sees do not change. However, the
10system rearranges the physical location of those pages.
11
12The main intend of page migration is to reduce the latency of memory access
13by moving pages near to the processor where the process accessing that memory
14is running.
15
16Page migration allows a process to manually relocate the node on which its
17pages are located through the MF_MOVE and MF_MOVE_ALL options while setting
Christoph Lameterb4fb3762006-03-14 19:50:20 -080018a new memory policy via mbind(). The pages of process can also be relocated
Christoph Lametera48d07a2006-02-01 03:05:38 -080019from another process using the sys_migrate_pages() function call. The
20migrate_pages function call takes two sets of nodes and moves pages of a
21process that are located on the from nodes to the destination nodes.
Christoph Lameterb4fb3762006-03-14 19:50:20 -080022Page migration functions are provided by the numactl package by Andi Kleen
23(a version later than 0.9.3 is required. Get it from
Michael Kerrisk6acb2ec2008-08-15 00:40:18 -070024ftp://oss.sgi.com/www/projects/libnuma/download/). numactl provides libnuma
25which provides an interface similar to other numa functionality for page
Mike Rapoport1b7599b2018-03-21 21:22:34 +020026migration. cat ``/proc/<pid>/numa_maps`` allows an easy review of where the
Michael Kerrisk6acb2ec2008-08-15 00:40:18 -070027pages of a process are located. See also the numa_maps documentation in the
28proc(5) man page.
Christoph Lametera48d07a2006-02-01 03:05:38 -080029
Christoph Lameterb4fb3762006-03-14 19:50:20 -080030Manual migration is useful if for example the scheduler has relocated
Christoph Lametera48d07a2006-02-01 03:05:38 -080031a process to a processor on a distant node. A batch scheduler or an
32administrator may detect the situation and move the pages of the process
Christoph Lameter742755a2006-06-23 02:03:55 -070033nearer to the new processor. The kernel itself does only provide
34manual page migration support. Automatic page migration may be implemented
35through user space processes that move pages. A special function call
36"move_pages" allows the moving of individual pages within a process.
37A NUMA profiler may f.e. obtain a log showing frequent off node
38accesses and may use the result to move pages to more advantageous
39locations.
Christoph Lametera48d07a2006-02-01 03:05:38 -080040
41Larger installations usually partition the system using cpusets into
42sections of nodes. Paul Jackson has equipped cpusets with the ability to
Thadeu Lima de Souza Cascardo21acb9c2009-02-04 10:12:08 +010043move pages when a task is moved to another cpuset (See
Mauro Carvalho Chehab99c8b232019-06-12 14:52:41 -030044Documentation/cgroup-v1/cpusets.rst).
Christoph Lameterb4fb3762006-03-14 19:50:20 -080045Cpusets allows the automation of process locality. If a task is moved to
46a new cpuset then also all its pages are moved with it so that the
47performance of the process does not sink dramatically. Also the pages
48of processes in a cpuset are moved if the allowed memory nodes of a
49cpuset are changed.
Christoph Lametera48d07a2006-02-01 03:05:38 -080050
51Page migration allows the preservation of the relative location of pages
52within a group of nodes for all migration techniques which will preserve a
53particular memory allocation pattern generated even after migrating a
54process. This is necessary in order to preserve the memory latencies.
55Processes will run with similar performance after migration.
56
57Page migration occurs in several steps. First a high level
Christoph Lameterb4fb3762006-03-14 19:50:20 -080058description for those trying to use migrate_pages() from the kernel
59(for userspace usage see the Andi Kleen's numactl package mentioned above)
60and then a low level description of how the low level details work.
Christoph Lametera48d07a2006-02-01 03:05:38 -080061
Mike Rapoport1b7599b2018-03-21 21:22:34 +020062In kernel use of migrate_pages()
63================================
Christoph Lametera48d07a2006-02-01 03:05:38 -080064
651. Remove pages from the LRU.
66
67 Lists of pages to be migrated are generated by scanning over
68 pages and moving them into lists. This is done by
Christoph Lameterb4fb3762006-03-14 19:50:20 -080069 calling isolate_lru_page().
Christoph Lametera48d07a2006-02-01 03:05:38 -080070 Calling isolate_lru_page increases the references to the page
Christoph Lameterb4fb3762006-03-14 19:50:20 -080071 so that it cannot vanish while the page migration occurs.
72 It also prevents the swapper or other scans to encounter
73 the page.
Christoph Lametera48d07a2006-02-01 03:05:38 -080074
Christoph Lameter742755a2006-06-23 02:03:55 -0700752. We need to have a function of type new_page_t that can be
76 passed to migrate_pages(). This function should figure out
77 how to allocate the correct new page given the old page.
Christoph Lametera48d07a2006-02-01 03:05:38 -080078
793. The migrate_pages() function is called which attempts
Christoph Lameter742755a2006-06-23 02:03:55 -070080 to do the migration. It will call the function to allocate
81 the new page for each page that is considered for
82 moving.
Christoph Lametera48d07a2006-02-01 03:05:38 -080083
Mike Rapoport1b7599b2018-03-21 21:22:34 +020084How migrate_pages() works
85=========================
Christoph Lametera48d07a2006-02-01 03:05:38 -080086
Christoph Lameterb4fb3762006-03-14 19:50:20 -080087migrate_pages() does several passes over its list of pages. A page is moved
88if all references to a page are removable at the time. The page has
89already been removed from the LRU via isolate_lru_page() and the refcount
90is increased so that the page cannot be freed while page migration occurs.
Christoph Lametera48d07a2006-02-01 03:05:38 -080091
92Steps:
93
941. Lock the page to be migrated
95
Matthew Wilcoxb93b0162018-04-10 16:36:56 -0700962. Ensure that writeback is complete.
Christoph Lametera48d07a2006-02-01 03:05:38 -080097
Hugh Dickinscf4b7692015-11-05 18:50:02 -0800983. Lock the new page that we want to move to. It is locked so that accesses to
99 this (not yet uptodate) page immediately lock while the move is in progress.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800100
Hugh Dickinscf4b7692015-11-05 18:50:02 -08001014. All the page table references to the page are converted to migration
Hugh Dickins7a142392015-11-05 18:49:30 -0800102 entries. This decreases the mapcount of a page. If the resulting
103 mapcount is not zero then we do not migrate the page. All user space
104 processes that attempt to access the page will now wait on the page lock.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800105
Matthew Wilcoxb93b0162018-04-10 16:36:56 -07001065. The i_pages lock is taken. This will cause all processes trying
107 to access the page via the mapping to block on the spinlock.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800108
Hugh Dickinscf4b7692015-11-05 18:50:02 -08001096. The refcount of the page is examined and we back out if references remain
Christoph Lametera48d07a2006-02-01 03:05:38 -0800110 otherwise we know that we are the only one referencing this page.
111
Hugh Dickinscf4b7692015-11-05 18:50:02 -08001127. The radix tree is checked and if it does not contain the pointer to this
Christoph Lameter8d3c1382006-06-23 02:03:39 -0700113 page then we back out because someone else modified the radix tree.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800114
Hugh Dickinscf4b7692015-11-05 18:50:02 -08001158. The new page is prepped with some settings from the old page so that
116 accesses to the new page will discover a page with the correct settings.
117
Christoph Lameter8d3c1382006-06-23 02:03:39 -07001189. The radix tree is changed to point to the new page.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800119
Matthew Wilcoxb93b0162018-04-10 16:36:56 -070012010. The reference count of the old page is dropped because the address space
Christoph Lameter8d3c1382006-06-23 02:03:39 -0700121 reference is gone. A reference to the new page is established because
Matthew Wilcoxb93b0162018-04-10 16:36:56 -0700122 the new page is referenced by the address space.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800123
Matthew Wilcoxb93b0162018-04-10 16:36:56 -070012411. The i_pages lock is dropped. With that lookups in the mapping
125 become possible again. Processes will move from spinning on the lock
Christoph Lameter8d3c1382006-06-23 02:03:39 -0700126 to sleeping on the locked new page.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800127
Christoph Lameter8d3c1382006-06-23 02:03:39 -070012812. The page contents are copied to the new page.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800129
Christoph Lameter8d3c1382006-06-23 02:03:39 -070013013. The remaining page flags are copied to the new page.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800131
Christoph Lameter8d3c1382006-06-23 02:03:39 -070013214. The old page flags are cleared to indicate that the page does
133 not provide any information anymore.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800134
Christoph Lameter8d3c1382006-06-23 02:03:39 -070013515. Queued up writeback on the new page is triggered.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800136
Christoph Lameter8d3c1382006-06-23 02:03:39 -070013716. If migration entries were page then replace them with real ptes. Doing
138 so will enable access for user space processes not already waiting for
139 the page lock.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800140
Christoph Lameterb4fb3762006-03-14 19:50:20 -080014119. The page locks are dropped from the old and new page.
Christoph Lameter8d3c1382006-06-23 02:03:39 -0700142 Processes waiting on the page lock will redo their page faults
143 and will reach the new page.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800144
Christoph Lameterb4fb3762006-03-14 19:50:20 -080014520. The new page is moved to the LRU and can be scanned by the swapper
146 etc again.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800147
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200148Non-LRU page migration
149======================
Christoph Lametera48d07a2006-02-01 03:05:38 -0800150
Minchan Kimbda807d2016-07-26 15:23:05 -0700151Although original migration aimed for reducing the latency of memory access
152for NUMA, compaction who want to create high-order page is also main customer.
153
154Current problem of the implementation is that it is designed to migrate only
155*LRU* pages. However, there are potential non-lru pages which can be migrated
156in drivers, for example, zsmalloc, virtio-balloon pages.
157
158For virtio-balloon pages, some parts of migration code path have been hooked
159up and added virtio-balloon specific functions to intercept migration logics.
160It's too specific to a driver so other drivers who want to make their pages
161movable would have to add own specific hooks in migration path.
162
163To overclome the problem, VM supports non-LRU page migration which provides
164generic functions for non-LRU movable pages without driver specific hooks
165migration path.
166
167If a driver want to make own pages movable, it should define three functions
168which are function pointers of struct address_space_operations.
169
Mike Rapoport1b7599b2018-03-21 21:22:34 +02001701. ``bool (*isolate_page) (struct page *page, isolate_mode_t mode);``
Minchan Kimbda807d2016-07-26 15:23:05 -0700171
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200172 What VM expects on isolate_page function of driver is to return *true*
173 if driver isolates page successfully. On returing true, VM marks the page
174 as PG_isolated so concurrent isolation in several CPUs skip the page
175 for isolation. If a driver cannot isolate the page, it should return *false*.
Minchan Kimbda807d2016-07-26 15:23:05 -0700176
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200177 Once page is successfully isolated, VM uses page.lru fields so driver
178 shouldn't expect to preserve values in that fields.
Minchan Kimbda807d2016-07-26 15:23:05 -0700179
Mike Rapoport1b7599b2018-03-21 21:22:34 +02001802. ``int (*migratepage) (struct address_space *mapping,``
181| ``struct page *newpage, struct page *oldpage, enum migrate_mode);``
Minchan Kimbda807d2016-07-26 15:23:05 -0700182
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200183 After isolation, VM calls migratepage of driver with isolated page.
184 The function of migratepage is to move content of the old page to new page
185 and set up fields of struct page newpage. Keep in mind that you should
186 indicate to the VM the oldpage is no longer movable via __ClearPageMovable()
187 under page_lock if you migrated the oldpage successfully and returns
188 MIGRATEPAGE_SUCCESS. If driver cannot migrate the page at the moment, driver
189 can return -EAGAIN. On -EAGAIN, VM will retry page migration in a short time
190 because VM interprets -EAGAIN as "temporal migration failure". On returning
191 any error except -EAGAIN, VM will give up the page migration without retrying
192 in this time.
Minchan Kimbda807d2016-07-26 15:23:05 -0700193
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200194 Driver shouldn't touch page.lru field VM using in the functions.
Minchan Kimbda807d2016-07-26 15:23:05 -0700195
Mike Rapoport1b7599b2018-03-21 21:22:34 +02001963. ``void (*putback_page)(struct page *);``
Minchan Kimbda807d2016-07-26 15:23:05 -0700197
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200198 If migration fails on isolated page, VM should return the isolated page
199 to the driver so VM calls driver's putback_page with migration failed page.
200 In this function, driver should put the isolated page back to the own data
201 structure.
Minchan Kimbda807d2016-07-26 15:23:05 -0700202
2034. non-lru movable page flags
204
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200205 There are two page flags for supporting non-lru movable page.
Minchan Kimbda807d2016-07-26 15:23:05 -0700206
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200207 * PG_movable
Minchan Kimbda807d2016-07-26 15:23:05 -0700208
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200209 Driver should use the below function to make page movable under page_lock::
Minchan Kimbda807d2016-07-26 15:23:05 -0700210
211 void __SetPageMovable(struct page *page, struct address_space *mapping)
212
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200213 It needs argument of address_space for registering migration
214 family functions which will be called by VM. Exactly speaking,
215 PG_movable is not a real flag of struct page. Rather than, VM
216 reuses page->mapping's lower bits to represent it.
Minchan Kimbda807d2016-07-26 15:23:05 -0700217
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200218::
Minchan Kimbda807d2016-07-26 15:23:05 -0700219 #define PAGE_MAPPING_MOVABLE 0x2
220 page->mapping = page->mapping | PAGE_MAPPING_MOVABLE;
221
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200222 so driver shouldn't access page->mapping directly. Instead, driver should
223 use page_mapping which mask off the low two bits of page->mapping under
224 page lock so it can get right struct address_space.
Minchan Kimbda807d2016-07-26 15:23:05 -0700225
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200226 For testing of non-lru movable page, VM supports __PageMovable function.
227 However, it doesn't guarantee to identify non-lru movable page because
228 page->mapping field is unified with other variables in struct page.
229 As well, if driver releases the page after isolation by VM, page->mapping
230 doesn't have stable value although it has PAGE_MAPPING_MOVABLE
231 (Look at __ClearPageMovable). But __PageMovable is cheap to catch whether
232 page is LRU or non-lru movable once the page has been isolated. Because
233 LRU pages never can have PAGE_MAPPING_MOVABLE in page->mapping. It is also
234 good for just peeking to test non-lru movable pages before more expensive
235 checking with lock_page in pfn scanning to select victim.
Minchan Kimbda807d2016-07-26 15:23:05 -0700236
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200237 For guaranteeing non-lru movable page, VM provides PageMovable function.
238 Unlike __PageMovable, PageMovable functions validates page->mapping and
239 mapping->a_ops->isolate_page under lock_page. The lock_page prevents sudden
240 destroying of page->mapping.
Minchan Kimbda807d2016-07-26 15:23:05 -0700241
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200242 Driver using __SetPageMovable should clear the flag via __ClearMovablePage
243 under page_lock before the releasing the page.
Minchan Kimbda807d2016-07-26 15:23:05 -0700244
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200245 * PG_isolated
Minchan Kimbda807d2016-07-26 15:23:05 -0700246
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200247 To prevent concurrent isolation among several CPUs, VM marks isolated page
248 as PG_isolated under lock_page. So if a CPU encounters PG_isolated non-lru
249 movable page, it can skip it. Driver doesn't need to manipulate the flag
250 because VM will set/clear it automatically. Keep in mind that if driver
251 sees PG_isolated page, it means the page have been isolated by VM so it
252 shouldn't touch page.lru field.
253 PG_isolated is alias with PG_reclaim flag so driver shouldn't use the flag
254 for own purpose.
Minchan Kimbda807d2016-07-26 15:23:05 -0700255
256Christoph Lameter, May 8, 2006.
257Minchan Kim, Mar 28, 2016.