Mike Rapoport | aa9f34e | 2018-03-21 21:22:22 +0200 | [diff] [blame] | 1 | .. hmm: |
| 2 | |
| 3 | ===================================== |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 4 | Heterogeneous Memory Management (HMM) |
Mike Rapoport | aa9f34e | 2018-03-21 21:22:22 +0200 | [diff] [blame] | 5 | ===================================== |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 6 | |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 7 | Provide infrastructure and helpers to integrate non-conventional memory (device |
| 8 | memory like GPU on board memory) into regular kernel path, with the cornerstone |
| 9 | of this being specialized struct page for such memory (see sections 5 to 7 of |
| 10 | this document). |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 11 | |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 12 | HMM also provides optional helpers for SVM (Share Virtual Memory), i.e., |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 13 | allowing a device to transparently access program addresses coherently with |
Jonathan Corbet | 24844fd | 2018-04-16 14:25:08 -0600 | [diff] [blame] | 14 | the CPU meaning that any valid pointer on the CPU is also a valid pointer |
| 15 | for the device. This is becoming mandatory to simplify the use of advanced |
| 16 | heterogeneous computing where GPU, DSP, or FPGA are used to perform various |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 17 | computations on behalf of a process. |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 18 | |
| 19 | This document is divided as follows: in the first section I expose the problems |
| 20 | related to using device specific memory allocators. In the second section, I |
| 21 | expose the hardware limitations that are inherent to many platforms. The third |
| 22 | section gives an overview of the HMM design. The fourth section explains how |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 23 | CPU page-table mirroring works and the purpose of HMM in this context. The |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 24 | fifth section deals with how device memory is represented inside the kernel. |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 25 | Finally, the last section presents a new migration helper that allows |
| 26 | leveraging the device DMA engine. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 27 | |
Mike Rapoport | aa9f34e | 2018-03-21 21:22:22 +0200 | [diff] [blame] | 28 | .. contents:: :local: |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 29 | |
Jonathan Corbet | 24844fd | 2018-04-16 14:25:08 -0600 | [diff] [blame] | 30 | Problems of using a device specific memory allocator |
| 31 | ==================================================== |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 32 | |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 33 | Devices with a large amount of on board memory (several gigabytes) like GPUs |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 34 | have historically managed their memory through dedicated driver specific APIs. |
| 35 | This creates a disconnect between memory allocated and managed by a device |
| 36 | driver and regular application memory (private anonymous, shared memory, or |
| 37 | regular file backed memory). From here on I will refer to this aspect as split |
| 38 | address space. I use shared address space to refer to the opposite situation: |
| 39 | i.e., one in which any application memory region can be used by a device |
| 40 | transparently. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 41 | |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 42 | Split address space happens because devices can only access memory allocated |
| 43 | through a device specific API. This implies that all memory objects in a program |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 44 | are not equal from the device point of view which complicates large programs |
| 45 | that rely on a wide set of libraries. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 46 | |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 47 | Concretely, this means that code that wants to leverage devices like GPUs needs |
| 48 | to copy objects between generically allocated memory (malloc, mmap private, mmap |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 49 | share) and memory allocated through the device driver API (this still ends up |
| 50 | with an mmap but of the device file). |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 51 | |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 52 | For flat data sets (array, grid, image, ...) this isn't too hard to achieve but |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 53 | for complex data sets (list, tree, ...) it's hard to get right. Duplicating a |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 54 | complex data set needs to re-map all the pointer relations between each of its |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 55 | elements. This is error prone and programs get harder to debug because of the |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 56 | duplicate data set and addresses. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 57 | |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 58 | Split address space also means that libraries cannot transparently use data |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 59 | they are getting from the core program or another library and thus each library |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 60 | might have to duplicate its input data set using the device specific memory |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 61 | allocator. Large projects suffer from this and waste resources because of the |
| 62 | various memory copies. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 63 | |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 64 | Duplicating each library API to accept as input or output memory allocated by |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 65 | each device specific allocator is not a viable option. It would lead to a |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 66 | combinatorial explosion in the library entry points. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 67 | |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 68 | Finally, with the advance of high level language constructs (in C++ but in |
| 69 | other languages too) it is now possible for the compiler to leverage GPUs and |
| 70 | other devices without programmer knowledge. Some compiler identified patterns |
| 71 | are only do-able with a shared address space. It is also more reasonable to use |
| 72 | a shared address space for all other patterns. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 73 | |
| 74 | |
Jonathan Corbet | 24844fd | 2018-04-16 14:25:08 -0600 | [diff] [blame] | 75 | I/O bus, device memory characteristics |
| 76 | ====================================== |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 77 | |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 78 | I/O buses cripple shared address spaces due to a few limitations. Most I/O |
| 79 | buses only allow basic memory access from device to main memory; even cache |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 80 | coherency is often optional. Access to device memory from a CPU is even more |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 81 | limited. More often than not, it is not cache coherent. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 82 | |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 83 | If we only consider the PCIE bus, then a device can access main memory (often |
| 84 | through an IOMMU) and be cache coherent with the CPUs. However, it only allows |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 85 | a limited set of atomic operations from the device on main memory. This is worse |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 86 | in the other direction: the CPU can only access a limited range of the device |
| 87 | memory and cannot perform atomic operations on it. Thus device memory cannot |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 88 | be considered the same as regular memory from the kernel point of view. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 89 | |
| 90 | Another crippling factor is the limited bandwidth (~32GBytes/s with PCIE 4.0 |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 91 | and 16 lanes). This is 33 times less than the fastest GPU memory (1 TBytes/s). |
| 92 | The final limitation is latency. Access to main memory from the device has an |
| 93 | order of magnitude higher latency than when the device accesses its own memory. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 94 | |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 95 | Some platforms are developing new I/O buses or additions/modifications to PCIE |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 96 | to address some of these limitations (OpenCAPI, CCIX). They mainly allow |
| 97 | two-way cache coherency between CPU and device and allow all atomic operations the |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 98 | architecture supports. Sadly, not all platforms are following this trend and |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 99 | some major architectures are left without hardware solutions to these problems. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 100 | |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 101 | So for shared address space to make sense, not only must we allow devices to |
| 102 | access any memory but we must also permit any memory to be migrated to device |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 103 | memory while the device is using it (blocking CPU access while it happens). |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 104 | |
| 105 | |
Jonathan Corbet | 24844fd | 2018-04-16 14:25:08 -0600 | [diff] [blame] | 106 | Shared address space and migration |
| 107 | ================================== |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 108 | |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 109 | HMM intends to provide two main features. The first one is to share the address |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 110 | space by duplicating the CPU page table in the device page table so the same |
| 111 | address points to the same physical memory for any valid main memory address in |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 112 | the process address space. |
| 113 | |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 114 | To achieve this, HMM offers a set of helpers to populate the device page table |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 115 | while keeping track of CPU page table updates. Device page table updates are |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 116 | not as easy as CPU page table updates. To update the device page table, you must |
| 117 | allocate a buffer (or use a pool of pre-allocated buffers) and write GPU |
| 118 | specific commands in it to perform the update (unmap, cache invalidations, and |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 119 | flush, ...). This cannot be done through common code for all devices. Hence |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 120 | why HMM provides helpers to factor out everything that can be while leaving the |
| 121 | hardware specific details to the device driver. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 122 | |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 123 | The second mechanism HMM provides is a new kind of ZONE_DEVICE memory that |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 124 | allows allocating a struct page for each page of device memory. Those pages |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 125 | are special because the CPU cannot map them. However, they allow migrating |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 126 | main memory to device memory using existing migration mechanisms and everything |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 127 | looks like a page that is swapped out to disk from the CPU point of view. Using a |
| 128 | struct page gives the easiest and cleanest integration with existing mm |
| 129 | mechanisms. Here again, HMM only provides helpers, first to hotplug new ZONE_DEVICE |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 130 | memory for the device memory and second to perform migration. Policy decisions |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 131 | of what and when to migrate is left to the device driver. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 132 | |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 133 | Note that any CPU access to a device page triggers a page fault and a migration |
| 134 | back to main memory. For example, when a page backing a given CPU address A is |
| 135 | migrated from a main memory page to a device page, then any CPU access to |
| 136 | address A triggers a page fault and initiates a migration back to main memory. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 137 | |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 138 | With these two features, HMM not only allows a device to mirror process address |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 139 | space and keeps both CPU and device page tables synchronized, but also |
| 140 | leverages device memory by migrating the part of the data set that is actively being |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 141 | used by the device. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 142 | |
| 143 | |
Mike Rapoport | aa9f34e | 2018-03-21 21:22:22 +0200 | [diff] [blame] | 144 | Address space mirroring implementation and API |
| 145 | ============================================== |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 146 | |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 147 | Address space mirroring's main objective is to allow duplication of a range of |
| 148 | CPU page table into a device page table; HMM helps keep both synchronized. A |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 149 | device driver that wants to mirror a process address space must start with the |
Jason Gunthorpe | a22dd50 | 2019-11-12 16:22:30 -0400 | [diff] [blame] | 150 | registration of a mmu_interval_notifier:: |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 151 | |
Jason Gunthorpe | 5292e24 | 2020-01-14 11:29:52 -0400 | [diff] [blame] | 152 | int mmu_interval_notifier_insert(struct mmu_interval_notifier *interval_sub, |
| 153 | struct mm_struct *mm, unsigned long start, |
| 154 | unsigned long length, |
| 155 | const struct mmu_interval_notifier_ops *ops); |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 156 | |
Jason Gunthorpe | 5292e24 | 2020-01-14 11:29:52 -0400 | [diff] [blame] | 157 | During the ops->invalidate() callback the device driver must perform the |
| 158 | update action to the range (mark range read only, or fully unmap, etc.). The |
| 159 | device must complete the update before the driver callback returns. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 160 | |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 161 | When the device driver wants to populate a range of virtual addresses, it can |
Christoph Hellwig | d45d464 | 2019-07-25 17:56:47 -0700 | [diff] [blame] | 162 | use:: |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 163 | |
Jason Gunthorpe | 6bfef2f | 2020-03-27 17:00:16 -0300 | [diff] [blame^] | 164 | long hmm_range_fault(struct hmm_range *range); |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 165 | |
Jason Gunthorpe | 6bfef2f | 2020-03-27 17:00:16 -0300 | [diff] [blame^] | 166 | It will trigger a page fault on missing or read-only entries if write access is |
| 167 | requested (see below). Page faults use the generic mm page fault code path just |
| 168 | like a CPU page fault. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 169 | |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 170 | Both functions copy CPU page table entries into their pfns array argument. Each |
| 171 | entry in that array corresponds to an address in the virtual range. HMM |
| 172 | provides a set of flags to help the driver identify special CPU page table |
| 173 | entries. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 174 | |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 175 | Locking within the sync_cpu_device_pagetables() callback is the most important |
| 176 | aspect the driver must respect in order to keep things properly synchronized. |
| 177 | The usage pattern is:: |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 178 | |
| 179 | int driver_populate_range(...) |
| 180 | { |
| 181 | struct hmm_range range; |
| 182 | ... |
Jérôme Glisse | 25f23a0 | 2019-05-13 17:19:55 -0700 | [diff] [blame] | 183 | |
Jason Gunthorpe | 5292e24 | 2020-01-14 11:29:52 -0400 | [diff] [blame] | 184 | range.notifier = &interval_sub; |
Jérôme Glisse | 25f23a0 | 2019-05-13 17:19:55 -0700 | [diff] [blame] | 185 | range.start = ...; |
| 186 | range.end = ...; |
| 187 | range.pfns = ...; |
| 188 | range.flags = ...; |
| 189 | range.values = ...; |
| 190 | range.pfn_shift = ...; |
Jérôme Glisse | a3e0d41 | 2019-05-13 17:20:01 -0700 | [diff] [blame] | 191 | |
Jason Gunthorpe | 5292e24 | 2020-01-14 11:29:52 -0400 | [diff] [blame] | 192 | if (!mmget_not_zero(interval_sub->notifier.mm)) |
Jason Gunthorpe | a22dd50 | 2019-11-12 16:22:30 -0400 | [diff] [blame] | 193 | return -EFAULT; |
Jérôme Glisse | 25f23a0 | 2019-05-13 17:19:55 -0700 | [diff] [blame] | 194 | |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 195 | again: |
Jason Gunthorpe | 5292e24 | 2020-01-14 11:29:52 -0400 | [diff] [blame] | 196 | range.notifier_seq = mmu_interval_read_begin(&interval_sub); |
Jérôme Glisse | 25f23a0 | 2019-05-13 17:19:55 -0700 | [diff] [blame] | 197 | down_read(&mm->mmap_sem); |
Jason Gunthorpe | 6bfef2f | 2020-03-27 17:00:16 -0300 | [diff] [blame^] | 198 | ret = hmm_range_fault(&range); |
Jérôme Glisse | 25f23a0 | 2019-05-13 17:19:55 -0700 | [diff] [blame] | 199 | if (ret) { |
| 200 | up_read(&mm->mmap_sem); |
Jason Gunthorpe | a22dd50 | 2019-11-12 16:22:30 -0400 | [diff] [blame] | 201 | if (ret == -EBUSY) |
| 202 | goto again; |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 203 | return ret; |
Jérôme Glisse | 25f23a0 | 2019-05-13 17:19:55 -0700 | [diff] [blame] | 204 | } |
Jason Gunthorpe | a22dd50 | 2019-11-12 16:22:30 -0400 | [diff] [blame] | 205 | up_read(&mm->mmap_sem); |
| 206 | |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 207 | take_lock(driver->update); |
Jason Gunthorpe | a22dd50 | 2019-11-12 16:22:30 -0400 | [diff] [blame] | 208 | if (mmu_interval_read_retry(&ni, range.notifier_seq) { |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 209 | release_lock(driver->update); |
| 210 | goto again; |
| 211 | } |
| 212 | |
Jason Gunthorpe | a22dd50 | 2019-11-12 16:22:30 -0400 | [diff] [blame] | 213 | /* Use pfns array content to update device page table, |
| 214 | * under the update lock */ |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 215 | |
| 216 | release_lock(driver->update); |
| 217 | return 0; |
| 218 | } |
| 219 | |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 220 | The driver->update lock is the same lock that the driver takes inside its |
Jason Gunthorpe | a22dd50 | 2019-11-12 16:22:30 -0400 | [diff] [blame] | 221 | invalidate() callback. That lock must be held before calling |
| 222 | mmu_interval_read_retry() to avoid any race with a concurrent CPU page table |
| 223 | update. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 224 | |
Jérôme Glisse | 023a019 | 2019-05-13 17:20:05 -0700 | [diff] [blame] | 225 | Leverage default_flags and pfn_flags_mask |
| 226 | ========================================= |
| 227 | |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 228 | The hmm_range struct has 2 fields, default_flags and pfn_flags_mask, that specify |
| 229 | fault or snapshot policy for the whole range instead of having to set them |
| 230 | for each entry in the pfns array. |
Jérôme Glisse | 023a019 | 2019-05-13 17:20:05 -0700 | [diff] [blame] | 231 | |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 232 | For instance, if the device flags for range.flags are:: |
Jérôme Glisse | 023a019 | 2019-05-13 17:20:05 -0700 | [diff] [blame] | 233 | |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 234 | range.flags[HMM_PFN_VALID] = (1 << 63); |
| 235 | range.flags[HMM_PFN_WRITE] = (1 << 62); |
| 236 | |
| 237 | and the device driver wants pages for a range with at least read permission, |
| 238 | it sets:: |
Randy Dunlap | 91173c6 | 2019-05-31 22:29:57 -0700 | [diff] [blame] | 239 | |
| 240 | range->default_flags = (1 << 63); |
Jérôme Glisse | 023a019 | 2019-05-13 17:20:05 -0700 | [diff] [blame] | 241 | range->pfn_flags_mask = 0; |
| 242 | |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 243 | and calls hmm_range_fault() as described above. This will fill fault all pages |
Jérôme Glisse | 023a019 | 2019-05-13 17:20:05 -0700 | [diff] [blame] | 244 | in the range with at least read permission. |
| 245 | |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 246 | Now let's say the driver wants to do the same except for one page in the range for |
| 247 | which it wants to have write permission. Now driver set:: |
Randy Dunlap | 91173c6 | 2019-05-31 22:29:57 -0700 | [diff] [blame] | 248 | |
Jérôme Glisse | 023a019 | 2019-05-13 17:20:05 -0700 | [diff] [blame] | 249 | range->default_flags = (1 << 63); |
| 250 | range->pfn_flags_mask = (1 << 62); |
| 251 | range->pfns[index_of_write] = (1 << 62); |
| 252 | |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 253 | With this, HMM will fault in all pages with at least read (i.e., valid) and for the |
Jérôme Glisse | 023a019 | 2019-05-13 17:20:05 -0700 | [diff] [blame] | 254 | address == range->start + (index_of_write << PAGE_SHIFT) it will fault with |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 255 | write permission i.e., if the CPU pte does not have write permission set then HMM |
Jérôme Glisse | 023a019 | 2019-05-13 17:20:05 -0700 | [diff] [blame] | 256 | will call handle_mm_fault(). |
| 257 | |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 258 | Note that HMM will populate the pfns array with write permission for any page |
| 259 | that is mapped with CPU write permission no matter what values are set |
Jérôme Glisse | 023a019 | 2019-05-13 17:20:05 -0700 | [diff] [blame] | 260 | in default_flags or pfn_flags_mask. |
| 261 | |
| 262 | |
Mike Rapoport | aa9f34e | 2018-03-21 21:22:22 +0200 | [diff] [blame] | 263 | Represent and manage device memory from core kernel point of view |
| 264 | ================================================================= |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 265 | |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 266 | Several different designs were tried to support device memory. The first one |
| 267 | used a device specific data structure to keep information about migrated memory |
| 268 | and HMM hooked itself in various places of mm code to handle any access to |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 269 | addresses that were backed by device memory. It turns out that this ended up |
| 270 | replicating most of the fields of struct page and also needed many kernel code |
| 271 | paths to be updated to understand this new kind of memory. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 272 | |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 273 | Most kernel code paths never try to access the memory behind a page |
| 274 | but only care about struct page contents. Because of this, HMM switched to |
| 275 | directly using struct page for device memory which left most kernel code paths |
| 276 | unaware of the difference. We only need to make sure that no one ever tries to |
| 277 | map those pages from the CPU side. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 278 | |
Jonathan Corbet | 24844fd | 2018-04-16 14:25:08 -0600 | [diff] [blame] | 279 | Migration to and from device memory |
| 280 | =================================== |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 281 | |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 282 | Because the CPU cannot access device memory, migration must use the device DMA |
Christoph Hellwig | a7d1f22 | 2019-08-14 09:59:19 +0200 | [diff] [blame] | 283 | engine to perform copy from and to device memory. For this we need to use |
| 284 | migrate_vma_setup(), migrate_vma_pages(), and migrate_vma_finalize() helpers. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 285 | |
| 286 | |
Mike Rapoport | aa9f34e | 2018-03-21 21:22:22 +0200 | [diff] [blame] | 287 | Memory cgroup (memcg) and rss accounting |
| 288 | ======================================== |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 289 | |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 290 | For now, device memory is accounted as any regular page in rss counters (either |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 291 | anonymous if device page is used for anonymous, file if device page is used for |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 292 | file backed page, or shmem if device page is used for shared memory). This is a |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 293 | deliberate choice to keep existing applications, that might start using device |
| 294 | memory without knowing about it, running unimpacted. |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 295 | |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 296 | A drawback is that the OOM killer might kill an application using a lot of |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 297 | device memory and not a lot of regular system memory and thus not freeing much |
| 298 | system memory. We want to gather more real world experience on how applications |
| 299 | and system react under memory pressure in the presence of device memory before |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 300 | deciding to account device memory differently. |
| 301 | |
| 302 | |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 303 | Same decision was made for memory cgroup. Device memory pages are accounted |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 304 | against same memory cgroup a regular page would be accounted to. This does |
| 305 | simplify migration to and from device memory. This also means that migration |
Jérôme Glisse | e8eddfd | 2018-04-10 16:29:16 -0700 | [diff] [blame] | 306 | back from device memory to regular memory cannot fail because it would |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 307 | go above memory cgroup limit. We might revisit this choice latter on once we |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 308 | get more experience in how device memory is used and its impact on memory |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 309 | resource control. |
| 310 | |
| 311 | |
Ralph Campbell | 2076e5c | 2019-05-06 16:29:38 -0700 | [diff] [blame] | 312 | Note that device memory can never be pinned by a device driver nor through GUP |
Jérôme Glisse | bffc33e | 2017-09-08 16:11:19 -0700 | [diff] [blame] | 313 | and thus such memory is always free upon process exit. Or when last reference |
Ralph Campbell | 76ea470 | 2018-04-10 16:28:11 -0700 | [diff] [blame] | 314 | is dropped in case of shared memory or file backed memory. |