blob: 08810f549f70924db82022b2b6c9513325d10bc2 [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
Ralph Campbell50aab9b2020-09-02 15:52:47 -07007Page migration allows moving the physical location of pages between
8nodes in a NUMA system while the process is running. This means that the
Christoph Lametera48d07a2006-02-01 03:05:38 -08009virtual addresses that the process sees do not change. However, the
10system rearranges the physical location of those pages.
11
Ralph Campbell50aab9b2020-09-02 15:52:47 -070012Also see :ref:`Heterogeneous Memory Management (HMM) <hmm>`
13for migrating pages to or from device private memory.
14
15The main intent of page migration is to reduce the latency of memory accesses
Christoph Lametera48d07a2006-02-01 03:05:38 -080016by moving pages near to the processor where the process accessing that memory
17is running.
18
19Page migration allows a process to manually relocate the node on which its
20pages are located through the MF_MOVE and MF_MOVE_ALL options while setting
Ralph Campbell50aab9b2020-09-02 15:52:47 -070021a new memory policy via mbind(). The pages of a process can also be relocated
Christoph Lametera48d07a2006-02-01 03:05:38 -080022from another process using the sys_migrate_pages() function call. The
Ralph Campbell50aab9b2020-09-02 15:52:47 -070023migrate_pages() function call takes two sets of nodes and moves pages of a
Christoph Lametera48d07a2006-02-01 03:05:38 -080024process that are located on the from nodes to the destination nodes.
Christoph Lameterb4fb3762006-03-14 19:50:20 -080025Page migration functions are provided by the numactl package by Andi Kleen
26(a version later than 0.9.3 is required. Get it from
Ralph Campbell50aab9b2020-09-02 15:52:47 -070027https://github.com/numactl/numactl.git). numactl provides libnuma
28which provides an interface similar to other NUMA functionality for page
Mike Rapoport1b7599b2018-03-21 21:22:34 +020029migration. cat ``/proc/<pid>/numa_maps`` allows an easy review of where the
Michael Kerrisk6acb2ec2008-08-15 00:40:18 -070030pages of a process are located. See also the numa_maps documentation in the
31proc(5) man page.
Christoph Lametera48d07a2006-02-01 03:05:38 -080032
Christoph Lameterb4fb3762006-03-14 19:50:20 -080033Manual migration is useful if for example the scheduler has relocated
Christoph Lametera48d07a2006-02-01 03:05:38 -080034a process to a processor on a distant node. A batch scheduler or an
35administrator may detect the situation and move the pages of the process
Ralph Campbell50aab9b2020-09-02 15:52:47 -070036nearer to the new processor. The kernel itself only provides
Christoph Lameter742755a2006-06-23 02:03:55 -070037manual page migration support. Automatic page migration may be implemented
38through user space processes that move pages. A special function call
39"move_pages" allows the moving of individual pages within a process.
Ralph Campbell50aab9b2020-09-02 15:52:47 -070040For example, A NUMA profiler may obtain a log showing frequent off-node
Christoph Lameter742755a2006-06-23 02:03:55 -070041accesses and may use the result to move pages to more advantageous
42locations.
Christoph Lametera48d07a2006-02-01 03:05:38 -080043
44Larger installations usually partition the system using cpusets into
45sections of nodes. Paul Jackson has equipped cpusets with the ability to
Thadeu Lima de Souza Cascardo21acb9c2009-02-04 10:12:08 +010046move pages when a task is moved to another cpuset (See
Ralph Campbell50aab9b2020-09-02 15:52:47 -070047:ref:`CPUSETS <cpusets>`).
48Cpusets allow the automation of process locality. If a task is moved to
Christoph Lameterb4fb3762006-03-14 19:50:20 -080049a new cpuset then also all its pages are moved with it so that the
50performance of the process does not sink dramatically. Also the pages
51of processes in a cpuset are moved if the allowed memory nodes of a
52cpuset are changed.
Christoph Lametera48d07a2006-02-01 03:05:38 -080053
54Page migration allows the preservation of the relative location of pages
55within a group of nodes for all migration techniques which will preserve a
56particular memory allocation pattern generated even after migrating a
57process. This is necessary in order to preserve the memory latencies.
58Processes will run with similar performance after migration.
59
60Page migration occurs in several steps. First a high level
Christoph Lameterb4fb3762006-03-14 19:50:20 -080061description for those trying to use migrate_pages() from the kernel
62(for userspace usage see the Andi Kleen's numactl package mentioned above)
63and then a low level description of how the low level details work.
Christoph Lametera48d07a2006-02-01 03:05:38 -080064
Mike Rapoport1b7599b2018-03-21 21:22:34 +020065In kernel use of migrate_pages()
66================================
Christoph Lametera48d07a2006-02-01 03:05:38 -080067
681. Remove pages from the LRU.
69
70 Lists of pages to be migrated are generated by scanning over
71 pages and moving them into lists. This is done by
Christoph Lameterb4fb3762006-03-14 19:50:20 -080072 calling isolate_lru_page().
Ralph Campbell50aab9b2020-09-02 15:52:47 -070073 Calling isolate_lru_page() increases the references to the page
Christoph Lameterb4fb3762006-03-14 19:50:20 -080074 so that it cannot vanish while the page migration occurs.
Ralph Campbell50aab9b2020-09-02 15:52:47 -070075 It also prevents the swapper or other scans from encountering
Christoph Lameterb4fb3762006-03-14 19:50:20 -080076 the page.
Christoph Lametera48d07a2006-02-01 03:05:38 -080077
Christoph Lameter742755a2006-06-23 02:03:55 -0700782. We need to have a function of type new_page_t that can be
79 passed to migrate_pages(). This function should figure out
80 how to allocate the correct new page given the old page.
Christoph Lametera48d07a2006-02-01 03:05:38 -080081
823. The migrate_pages() function is called which attempts
Christoph Lameter742755a2006-06-23 02:03:55 -070083 to do the migration. It will call the function to allocate
84 the new page for each page that is considered for
85 moving.
Christoph Lametera48d07a2006-02-01 03:05:38 -080086
Mike Rapoport1b7599b2018-03-21 21:22:34 +020087How migrate_pages() works
88=========================
Christoph Lametera48d07a2006-02-01 03:05:38 -080089
Christoph Lameterb4fb3762006-03-14 19:50:20 -080090migrate_pages() does several passes over its list of pages. A page is moved
91if all references to a page are removable at the time. The page has
92already been removed from the LRU via isolate_lru_page() and the refcount
93is increased so that the page cannot be freed while page migration occurs.
Christoph Lametera48d07a2006-02-01 03:05:38 -080094
95Steps:
96
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700971. Lock the page to be migrated.
Christoph Lametera48d07a2006-02-01 03:05:38 -080098
Matthew Wilcoxb93b0162018-04-10 16:36:56 -0700992. Ensure that writeback is complete.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800100
Hugh Dickinscf4b7692015-11-05 18:50:02 -08001013. Lock the new page that we want to move to. It is locked so that accesses to
Colin Ian King94ebdd22020-10-22 15:26:53 +0100102 this (not yet up-to-date) page immediately block while the move is in progress.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800103
Hugh Dickinscf4b7692015-11-05 18:50:02 -08001044. All the page table references to the page are converted to migration
Hugh Dickins7a142392015-11-05 18:49:30 -0800105 entries. This decreases the mapcount of a page. If the resulting
106 mapcount is not zero then we do not migrate the page. All user space
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700107 processes that attempt to access the page will now wait on the page lock
108 or wait for the migration page table entry to be removed.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800109
Matthew Wilcoxb93b0162018-04-10 16:36:56 -07001105. The i_pages lock is taken. This will cause all processes trying
111 to access the page via the mapping to block on the spinlock.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800112
Ralph Campbell50aab9b2020-09-02 15:52:47 -07001136. The refcount of the page is examined and we back out if references remain.
114 Otherwise, we know that we are the only one referencing this page.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800115
Hugh Dickinscf4b7692015-11-05 18:50:02 -08001167. The radix tree is checked and if it does not contain the pointer to this
Christoph Lameter8d3c1382006-06-23 02:03:39 -0700117 page then we back out because someone else modified the radix tree.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800118
Hugh Dickinscf4b7692015-11-05 18:50:02 -08001198. The new page is prepped with some settings from the old page so that
120 accesses to the new page will discover a page with the correct settings.
121
Christoph Lameter8d3c1382006-06-23 02:03:39 -07001229. The radix tree is changed to point to the new page.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800123
Matthew Wilcoxb93b0162018-04-10 16:36:56 -070012410. The reference count of the old page is dropped because the address space
Christoph Lameter8d3c1382006-06-23 02:03:39 -0700125 reference is gone. A reference to the new page is established because
Matthew Wilcoxb93b0162018-04-10 16:36:56 -0700126 the new page is referenced by the address space.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800127
Matthew Wilcoxb93b0162018-04-10 16:36:56 -070012811. The i_pages lock is dropped. With that lookups in the mapping
129 become possible again. Processes will move from spinning on the lock
Christoph Lameter8d3c1382006-06-23 02:03:39 -0700130 to sleeping on the locked new page.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800131
Christoph Lameter8d3c1382006-06-23 02:03:39 -070013212. The page contents are copied to the new page.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800133
Christoph Lameter8d3c1382006-06-23 02:03:39 -070013413. The remaining page flags are copied to the new page.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800135
Christoph Lameter8d3c1382006-06-23 02:03:39 -070013614. The old page flags are cleared to indicate that the page does
137 not provide any information anymore.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800138
Christoph Lameter8d3c1382006-06-23 02:03:39 -070013915. Queued up writeback on the new page is triggered.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800140
Ralph Campbell50aab9b2020-09-02 15:52:47 -070014116. If migration entries were inserted into the page table, then replace them
142 with real ptes. Doing so will enable access for user space processes not
143 already waiting for the page lock.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800144
Ralph Campbell50aab9b2020-09-02 15:52:47 -070014517. The page locks are dropped from the old and new page.
Christoph Lameter8d3c1382006-06-23 02:03:39 -0700146 Processes waiting on the page lock will redo their page faults
147 and will reach the new page.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800148
Ralph Campbell50aab9b2020-09-02 15:52:47 -070014918. The new page is moved to the LRU and can be scanned by the swapper,
150 etc. again.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800151
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200152Non-LRU page migration
153======================
Christoph Lametera48d07a2006-02-01 03:05:38 -0800154
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700155Although migration originally aimed for reducing the latency of memory accesses
156for NUMA, compaction also uses migration to create high-order pages.
Minchan Kimbda807d2016-07-26 15:23:05 -0700157
158Current problem of the implementation is that it is designed to migrate only
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700159*LRU* pages. However, there are potential non-LRU pages which can be migrated
Minchan Kimbda807d2016-07-26 15:23:05 -0700160in drivers, for example, zsmalloc, virtio-balloon pages.
161
162For virtio-balloon pages, some parts of migration code path have been hooked
163up and added virtio-balloon specific functions to intercept migration logics.
164It's too specific to a driver so other drivers who want to make their pages
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700165movable would have to add their own specific hooks in the migration path.
Minchan Kimbda807d2016-07-26 15:23:05 -0700166
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700167To overcome the problem, VM supports non-LRU page migration which provides
Minchan Kimbda807d2016-07-26 15:23:05 -0700168generic functions for non-LRU movable pages without driver specific hooks
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700169in the migration path.
Minchan Kimbda807d2016-07-26 15:23:05 -0700170
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700171If a driver wants to make its pages movable, it should define three functions
Minchan Kimbda807d2016-07-26 15:23:05 -0700172which are function pointers of struct address_space_operations.
173
Mike Rapoport1b7599b2018-03-21 21:22:34 +02001741. ``bool (*isolate_page) (struct page *page, isolate_mode_t mode);``
Minchan Kimbda807d2016-07-26 15:23:05 -0700175
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700176 What VM expects from isolate_page() function of driver is to return *true*
177 if driver isolates the page successfully. On returning true, VM marks the page
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200178 as PG_isolated so concurrent isolation in several CPUs skip the page
179 for isolation. If a driver cannot isolate the page, it should return *false*.
Minchan Kimbda807d2016-07-26 15:23:05 -0700180
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200181 Once page is successfully isolated, VM uses page.lru fields so driver
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700182 shouldn't expect to preserve values in those fields.
Minchan Kimbda807d2016-07-26 15:23:05 -0700183
Mike Rapoport1b7599b2018-03-21 21:22:34 +02001842. ``int (*migratepage) (struct address_space *mapping,``
185| ``struct page *newpage, struct page *oldpage, enum migrate_mode);``
Minchan Kimbda807d2016-07-26 15:23:05 -0700186
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700187 After isolation, VM calls migratepage() of driver with the isolated page.
188 The function of migratepage() is to move the contents of the old page to the
189 new page
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200190 and set up fields of struct page newpage. Keep in mind that you should
191 indicate to the VM the oldpage is no longer movable via __ClearPageMovable()
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700192 under page_lock if you migrated the oldpage successfully and returned
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200193 MIGRATEPAGE_SUCCESS. If driver cannot migrate the page at the moment, driver
194 can return -EAGAIN. On -EAGAIN, VM will retry page migration in a short time
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700195 because VM interprets -EAGAIN as "temporary migration failure". On returning
196 any error except -EAGAIN, VM will give up the page migration without
197 retrying.
Minchan Kimbda807d2016-07-26 15:23:05 -0700198
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700199 Driver shouldn't touch the page.lru field while in the migratepage() function.
Minchan Kimbda807d2016-07-26 15:23:05 -0700200
Mike Rapoport1b7599b2018-03-21 21:22:34 +02002013. ``void (*putback_page)(struct page *);``
Minchan Kimbda807d2016-07-26 15:23:05 -0700202
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700203 If migration fails on the isolated page, VM should return the isolated page
204 to the driver so VM calls the driver's putback_page() with the isolated page.
205 In this function, the driver should put the isolated page back into its own data
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200206 structure.
Minchan Kimbda807d2016-07-26 15:23:05 -0700207
Li Xinhaid7482c02021-09-08 22:52:15 +0800208Non-LRU movable page flags
Minchan Kimbda807d2016-07-26 15:23:05 -0700209
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700210 There are two page flags for supporting non-LRU movable page.
Minchan Kimbda807d2016-07-26 15:23:05 -0700211
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200212 * PG_movable
Minchan Kimbda807d2016-07-26 15:23:05 -0700213
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700214 Driver should use the function below to make page movable under page_lock::
Minchan Kimbda807d2016-07-26 15:23:05 -0700215
216 void __SetPageMovable(struct page *page, struct address_space *mapping)
217
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200218 It needs argument of address_space for registering migration
219 family functions which will be called by VM. Exactly speaking,
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700220 PG_movable is not a real flag of struct page. Rather, VM
221 reuses the page->mapping's lower bits to represent it::
Minchan Kimbda807d2016-07-26 15:23:05 -0700222
223 #define PAGE_MAPPING_MOVABLE 0x2
224 page->mapping = page->mapping | PAGE_MAPPING_MOVABLE;
225
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200226 so driver shouldn't access page->mapping directly. Instead, driver should
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700227 use page_mapping() which masks off the low two bits of page->mapping under
228 page lock so it can get the right struct address_space.
Minchan Kimbda807d2016-07-26 15:23:05 -0700229
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700230 For testing of non-LRU movable pages, VM supports __PageMovable() function.
231 However, it doesn't guarantee to identify non-LRU movable pages because
232 the page->mapping field is unified with other variables in struct page.
233 If the driver releases the page after isolation by VM, page->mapping
234 doesn't have a stable value although it has PAGE_MAPPING_MOVABLE set
235 (look at __ClearPageMovable). But __PageMovable() is cheap to call whether
236 page is LRU or non-LRU movable once the page has been isolated because LRU
237 pages can never have PAGE_MAPPING_MOVABLE set in page->mapping. It is also
238 good for just peeking to test non-LRU movable pages before more expensive
239 checking with lock_page() in pfn scanning to select a victim.
Minchan Kimbda807d2016-07-26 15:23:05 -0700240
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700241 For guaranteeing non-LRU movable page, VM provides PageMovable() function.
242 Unlike __PageMovable(), PageMovable() validates page->mapping and
243 mapping->a_ops->isolate_page under lock_page(). The lock_page() prevents
244 sudden destroying of page->mapping.
Minchan Kimbda807d2016-07-26 15:23:05 -0700245
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700246 Drivers using __SetPageMovable() should clear the flag via
247 __ClearMovablePage() under page_lock() before the releasing the page.
Minchan Kimbda807d2016-07-26 15:23:05 -0700248
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200249 * PG_isolated
Minchan Kimbda807d2016-07-26 15:23:05 -0700250
Mike Rapoport1b7599b2018-03-21 21:22:34 +0200251 To prevent concurrent isolation among several CPUs, VM marks isolated page
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700252 as PG_isolated under lock_page(). So if a CPU encounters PG_isolated
253 non-LRU movable page, it can skip it. Driver doesn't need to manipulate the
254 flag because VM will set/clear it automatically. Keep in mind that if the
255 driver sees a PG_isolated page, it means the page has been isolated by the
256 VM so it shouldn't touch the page.lru field.
257 The PG_isolated flag is aliased with the PG_reclaim flag so drivers
258 shouldn't use PG_isolated for its own purposes.
Minchan Kimbda807d2016-07-26 15:23:05 -0700259
Anshuman Khandual1a5bae22020-08-11 18:31:51 -0700260Monitoring Migration
261=====================
262
263The following events (counters) can be used to monitor page migration.
264
2651. PGMIGRATE_SUCCESS: Normal page migration success. Each count means that a
266 page was migrated. If the page was a non-THP page, then this counter is
267 increased by one. If the page was a THP, then this counter is increased by
268 the number of THP subpages. For example, migration of a single 2MB THP that
269 has 4KB-size base pages (subpages) will cause this counter to increase by
270 512.
271
2722. PGMIGRATE_FAIL: Normal page migration failure. Same counting rules as for
Ralph Campbell50aab9b2020-09-02 15:52:47 -0700273 PGMIGRATE_SUCCESS, above: this will be increased by the number of subpages,
274 if it was a THP.
Anshuman Khandual1a5bae22020-08-11 18:31:51 -0700275
2763. THP_MIGRATION_SUCCESS: A THP was migrated without being split.
277
2784. THP_MIGRATION_FAIL: A THP could not be migrated nor it could be split.
279
2805. THP_MIGRATION_SPLIT: A THP was migrated, but not as such: first, the THP had
281 to be split. After splitting, a migration retry was used for it's sub-pages.
282
283THP_MIGRATION_* events also update the appropriate PGMIGRATE_SUCCESS or
284PGMIGRATE_FAIL events. For example, a THP migration failure will cause both
285THP_MIGRATION_FAIL and PGMIGRATE_FAIL to increase.
286
Minchan Kimbda807d2016-07-26 15:23:05 -0700287Christoph Lameter, May 8, 2006.
288Minchan Kim, Mar 28, 2016.