blob: 0a5d5fb18854200ebfb0704473293dc28ba6925e [file] [log] [blame]
Christoph Lametera48d07a2006-02-01 03:05:38 -08001Page migration
2--------------
3
4Page migration allows the moving of the physical location of pages between
5nodes in a numa system while the process is running. This means that the
6virtual addresses that the process sees do not change. However, the
7system rearranges the physical location of those pages.
8
9The main intend of page migration is to reduce the latency of memory access
10by moving pages near to the processor where the process accessing that memory
11is running.
12
13Page migration allows a process to manually relocate the node on which its
14pages are located through the MF_MOVE and MF_MOVE_ALL options while setting
Christoph Lameterb4fb3762006-03-14 19:50:20 -080015a new memory policy via mbind(). The pages of process can also be relocated
Christoph Lametera48d07a2006-02-01 03:05:38 -080016from another process using the sys_migrate_pages() function call. The
17migrate_pages function call takes two sets of nodes and moves pages of a
18process that are located on the from nodes to the destination nodes.
Christoph Lameterb4fb3762006-03-14 19:50:20 -080019Page migration functions are provided by the numactl package by Andi Kleen
20(a version later than 0.9.3 is required. Get it from
21ftp://ftp.suse.com/pub/people/ak). numactl provided libnuma which
22provides an interface similar to other numa functionality for page migration.
23cat /proc/<pid>/numa_maps allows an easy review of where the pages of
24a process are located. See also the numa_maps manpage in the numactl package.
Christoph Lametera48d07a2006-02-01 03:05:38 -080025
Christoph Lameterb4fb3762006-03-14 19:50:20 -080026Manual migration is useful if for example the scheduler has relocated
Christoph Lametera48d07a2006-02-01 03:05:38 -080027a process to a processor on a distant node. A batch scheduler or an
28administrator may detect the situation and move the pages of the process
29nearer to the new processor. At some point in the future we may have
30some mechanism in the scheduler that will automatically move the pages.
31
32Larger installations usually partition the system using cpusets into
33sections of nodes. Paul Jackson has equipped cpusets with the ability to
Christoph Lameterb4fb3762006-03-14 19:50:20 -080034move pages when a task is moved to another cpuset (See ../cpusets.txt).
35Cpusets allows the automation of process locality. If a task is moved to
36a new cpuset then also all its pages are moved with it so that the
37performance of the process does not sink dramatically. Also the pages
38of processes in a cpuset are moved if the allowed memory nodes of a
39cpuset are changed.
Christoph Lametera48d07a2006-02-01 03:05:38 -080040
41Page migration allows the preservation of the relative location of pages
42within a group of nodes for all migration techniques which will preserve a
43particular memory allocation pattern generated even after migrating a
44process. This is necessary in order to preserve the memory latencies.
45Processes will run with similar performance after migration.
46
47Page migration occurs in several steps. First a high level
Christoph Lameterb4fb3762006-03-14 19:50:20 -080048description for those trying to use migrate_pages() from the kernel
49(for userspace usage see the Andi Kleen's numactl package mentioned above)
50and then a low level description of how the low level details work.
Christoph Lametera48d07a2006-02-01 03:05:38 -080051
Christoph Lameterb4fb3762006-03-14 19:50:20 -080052A. In kernel use of migrate_pages()
53-----------------------------------
Christoph Lametera48d07a2006-02-01 03:05:38 -080054
551. Remove pages from the LRU.
56
57 Lists of pages to be migrated are generated by scanning over
58 pages and moving them into lists. This is done by
Christoph Lameterb4fb3762006-03-14 19:50:20 -080059 calling isolate_lru_page().
Christoph Lametera48d07a2006-02-01 03:05:38 -080060 Calling isolate_lru_page increases the references to the page
Christoph Lameterb4fb3762006-03-14 19:50:20 -080061 so that it cannot vanish while the page migration occurs.
62 It also prevents the swapper or other scans to encounter
63 the page.
Christoph Lametera48d07a2006-02-01 03:05:38 -080064
Christoph Lameter8d3c1382006-06-23 02:03:39 -0700652. Generate a list of newly allocates pages. These pages will contain the
Christoph Lameterb4fb3762006-03-14 19:50:20 -080066 contents of the pages from the first list after page migration is
67 complete.
Christoph Lametera48d07a2006-02-01 03:05:38 -080068
693. The migrate_pages() function is called which attempts
70 to do the migration. It returns the moved pages in the
71 list specified as the third parameter and the failed
Christoph Lameter8d3c1382006-06-23 02:03:39 -070072 migrations in the fourth parameter. When the function
73 returns the first list will contain the pages that could still be retried.
Christoph Lametera48d07a2006-02-01 03:05:38 -080074
754. The leftover pages of various types are returned
76 to the LRU using putback_to_lru_pages() or otherwise
77 disposed of. The pages will still have the refcount as
Christoph Lameterb4fb3762006-03-14 19:50:20 -080078 increased by isolate_lru_pages() if putback_to_lru_pages() is not
79 used! The kernel may want to handle the various cases of failures in
80 different ways.
Christoph Lametera48d07a2006-02-01 03:05:38 -080081
Christoph Lameterb4fb3762006-03-14 19:50:20 -080082B. How migrate_pages() works
83----------------------------
Christoph Lametera48d07a2006-02-01 03:05:38 -080084
Christoph Lameterb4fb3762006-03-14 19:50:20 -080085migrate_pages() does several passes over its list of pages. A page is moved
86if all references to a page are removable at the time. The page has
87already been removed from the LRU via isolate_lru_page() and the refcount
88is increased so that the page cannot be freed while page migration occurs.
Christoph Lametera48d07a2006-02-01 03:05:38 -080089
90Steps:
91
921. Lock the page to be migrated
93
942. Insure that writeback is complete.
95
Christoph Lameter8d3c1382006-06-23 02:03:39 -0700963. Prep the new page that we want to move to. It is locked
Christoph Lametera48d07a2006-02-01 03:05:38 -080097 and set to not being uptodate so that all accesses to the new
Christoph Lameterb4fb3762006-03-14 19:50:20 -080098 page immediately lock while the move is in progress.
Christoph Lametera48d07a2006-02-01 03:05:38 -080099
Christoph Lameter8d3c1382006-06-23 02:03:39 -07001004. The new page is prepped with some settings from the old page so that
101 accesses to the new page will discover a page with the correct settings.
102
1035. All the page table references to the page are converted
104 to migration entries or dropped (nonlinear vmas).
105 This decrease the mapcount of a page. If the resulting
106 mapcount is not zero then we do not migrate the page.
107 All user space processes that attempt to access the page
108 will now wait on the page lock.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800109
Christoph Lameterb4fb3762006-03-14 19:50:20 -08001106. The radix tree lock is taken. This will cause all processes trying
Christoph Lameter8d3c1382006-06-23 02:03:39 -0700111 to access the page via the mapping to block on the radix tree spinlock.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800112
1137. 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.
115
1168. 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
Christoph Lameter8d3c1382006-06-23 02:03:39 -07001199. The radix tree is changed to point to the new page.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800120
Christoph Lameter8d3c1382006-06-23 02:03:39 -070012110. The reference count of the old page is dropped because the radix tree
122 reference is gone. A reference to the new page is established because
123 the new page is referenced to by the radix tree.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800124
Christoph Lameter8d3c1382006-06-23 02:03:39 -070012511. The radix tree lock is dropped. With that lookups in the mapping
126 become possible again. Processes will move from spinning on the tree_lock
127 to sleeping on the locked new page.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800128
Christoph Lameter8d3c1382006-06-23 02:03:39 -070012912. The page contents are copied to the new page.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800130
Christoph Lameter8d3c1382006-06-23 02:03:39 -070013113. The remaining page flags are copied to the new page.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800132
Christoph Lameter8d3c1382006-06-23 02:03:39 -070013314. The old page flags are cleared to indicate that the page does
134 not provide any information anymore.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800135
Christoph Lameter8d3c1382006-06-23 02:03:39 -070013615. Queued up writeback on the new page is triggered.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800137
Christoph Lameter8d3c1382006-06-23 02:03:39 -070013816. If migration entries were page then replace them with real ptes. Doing
139 so will enable access for user space processes not already waiting for
140 the page lock.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800141
Christoph Lameterb4fb3762006-03-14 19:50:20 -080014219. The page locks are dropped from the old and new page.
Christoph Lameter8d3c1382006-06-23 02:03:39 -0700143 Processes waiting on the page lock will redo their page faults
144 and will reach the new page.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800145
Christoph Lameterb4fb3762006-03-14 19:50:20 -080014620. The new page is moved to the LRU and can be scanned by the swapper
147 etc again.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800148
Christoph Lameter8d3c1382006-06-23 02:03:39 -0700149Christoph Lameter, May 8, 2006.
Christoph Lametera48d07a2006-02-01 03:05:38 -0800150