Daniel Vetter | 868c97a | 2016-12-09 19:53:05 +0100 | [diff] [blame] | 1 | Buffer Sharing and Synchronization |
| 2 | ================================== |
| 3 | |
| 4 | The dma-buf subsystem provides the framework for sharing buffers for |
| 5 | hardware (DMA) access across multiple device drivers and subsystems, and |
| 6 | for synchronizing asynchronous hardware access. |
| 7 | |
| 8 | This is used, for example, by drm "prime" multi-GPU support, but is of |
| 9 | course not limited to GPU use cases. |
| 10 | |
| 11 | The three main components of this are: (1) dma-buf, representing a |
| 12 | sg_table and exposed to userspace as a file descriptor to allow passing |
| 13 | between devices, (2) fence, which provides a mechanism to signal when |
Gal Pressman | 776d588 | 2020-04-20 10:41:15 +0300 | [diff] [blame] | 14 | one device has finished access, and (3) reservation, which manages the |
Daniel Vetter | 868c97a | 2016-12-09 19:53:05 +0100 | [diff] [blame] | 15 | shared or exclusive fence(s) associated with the buffer. |
| 16 | |
| 17 | Shared DMA Buffers |
| 18 | ------------------ |
| 19 | |
Daniel Vetter | 2904a8c | 2016-12-09 19:53:07 +0100 | [diff] [blame] | 20 | This document serves as a guide to device-driver writers on what is the dma-buf |
| 21 | buffer sharing API, how to use it for exporting and using shared buffers. |
| 22 | |
| 23 | Any device driver which wishes to be a part of DMA buffer sharing, can do so as |
| 24 | either the 'exporter' of buffers, or the 'user' or 'importer' of buffers. |
| 25 | |
| 26 | Say a driver A wants to use buffers created by driver B, then we call B as the |
| 27 | exporter, and A as buffer-user/importer. |
| 28 | |
| 29 | The exporter |
| 30 | |
| 31 | - implements and manages operations in :c:type:`struct dma_buf_ops |
| 32 | <dma_buf_ops>` for the buffer, |
| 33 | - allows other users to share the buffer by using dma_buf sharing APIs, |
Gal Pressman | 776d588 | 2020-04-20 10:41:15 +0300 | [diff] [blame] | 34 | - manages the details of buffer allocation, wrapped in a :c:type:`struct |
Daniel Vetter | 2904a8c | 2016-12-09 19:53:07 +0100 | [diff] [blame] | 35 | dma_buf <dma_buf>`, |
| 36 | - decides about the actual backing storage where this allocation happens, |
| 37 | - and takes care of any migration of scatterlist - for all (shared) users of |
| 38 | this buffer. |
| 39 | |
| 40 | The buffer-user |
| 41 | |
| 42 | - is one of (many) sharing users of the buffer. |
| 43 | - doesn't need to worry about how the buffer is allocated, or where. |
| 44 | - and needs a mechanism to get access to the scatterlist that makes up this |
| 45 | buffer in memory, mapped into its own address space, so it can access the |
| 46 | same area of memory. This interface is provided by :c:type:`struct |
| 47 | dma_buf_attachment <dma_buf_attachment>`. |
| 48 | |
Daniel Vetter | e7e21c7 | 2016-12-09 22:50:55 +0100 | [diff] [blame] | 49 | Any exporters or users of the dma-buf buffer sharing framework must have a |
| 50 | 'select DMA_SHARED_BUFFER' in their respective Kconfigs. |
| 51 | |
| 52 | Userspace Interface Notes |
| 53 | ~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 54 | |
| 55 | Mostly a DMA buffer file descriptor is simply an opaque object for userspace, |
| 56 | and hence the generic interface exposed is very minimal. There's a few things to |
| 57 | consider though: |
| 58 | |
| 59 | - Since kernel 3.12 the dma-buf FD supports the llseek system call, but only |
| 60 | with offset=0 and whence=SEEK_END|SEEK_SET. SEEK_SET is supported to allow |
| 61 | the usual size discover pattern size = SEEK_END(0); SEEK_SET(0). Every other |
| 62 | llseek operation will report -EINVAL. |
| 63 | |
| 64 | If llseek on dma-buf FDs isn't support the kernel will report -ESPIPE for all |
| 65 | cases. Userspace can use this to detect support for discovering the dma-buf |
| 66 | size using llseek. |
| 67 | |
| 68 | - In order to avoid fd leaks on exec, the FD_CLOEXEC flag must be set |
| 69 | on the file descriptor. This is not just a resource leak, but a |
| 70 | potential security hole. It could give the newly exec'd application |
| 71 | access to buffers, via the leaked fd, to which it should otherwise |
| 72 | not be permitted access. |
| 73 | |
| 74 | The problem with doing this via a separate fcntl() call, versus doing it |
| 75 | atomically when the fd is created, is that this is inherently racy in a |
| 76 | multi-threaded app[3]. The issue is made worse when it is library code |
| 77 | opening/creating the file descriptor, as the application may not even be |
| 78 | aware of the fd's. |
| 79 | |
| 80 | To avoid this problem, userspace must have a way to request O_CLOEXEC |
| 81 | flag be set when the dma-buf fd is created. So any API provided by |
| 82 | the exporting driver to create a dmabuf fd must provide a way to let |
| 83 | userspace control setting of O_CLOEXEC flag passed in to dma_buf_fd(). |
| 84 | |
| 85 | - Memory mapping the contents of the DMA buffer is also supported. See the |
| 86 | discussion below on `CPU Access to DMA Buffer Objects`_ for the full details. |
| 87 | |
Mauro Carvalho Chehab | b899353 | 2020-09-09 16:10:51 +0200 | [diff] [blame] | 88 | - The DMA buffer FD is also pollable, see `Implicit Fence Poll Support`_ below for |
Daniel Vetter | e7e21c7 | 2016-12-09 22:50:55 +0100 | [diff] [blame] | 89 | details. |
| 90 | |
Jason Ekstrand | 51f5254 | 2021-06-17 14:42:58 -0500 | [diff] [blame] | 91 | - The DMA buffer FD also supports a few dma-buf-specific ioctls, see |
| 92 | `DMA Buffer ioctls`_ below for details. |
| 93 | |
Daniel Vetter | 2904a8c | 2016-12-09 19:53:07 +0100 | [diff] [blame] | 94 | Basic Operation and Device DMA Access |
| 95 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 96 | |
| 97 | .. kernel-doc:: drivers/dma-buf/dma-buf.c |
| 98 | :doc: dma buf device access |
| 99 | |
Daniel Vetter | 0959a16 | 2016-12-09 19:53:08 +0100 | [diff] [blame] | 100 | CPU Access to DMA Buffer Objects |
| 101 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 102 | |
| 103 | .. kernel-doc:: drivers/dma-buf/dma-buf.c |
| 104 | :doc: cpu access |
| 105 | |
Daniel Vetter | 102514e | 2020-06-12 09:05:35 +0200 | [diff] [blame] | 106 | Implicit Fence Poll Support |
| 107 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
Daniel Vetter | e7e21c7 | 2016-12-09 22:50:55 +0100 | [diff] [blame] | 108 | |
| 109 | .. kernel-doc:: drivers/dma-buf/dma-buf.c |
Daniel Vetter | 102514e | 2020-06-12 09:05:35 +0200 | [diff] [blame] | 110 | :doc: implicit fence polling |
Daniel Vetter | e7e21c7 | 2016-12-09 22:50:55 +0100 | [diff] [blame] | 111 | |
Hridya Valsaraju | bdb8d06 | 2021-06-03 14:47:51 -0700 | [diff] [blame] | 112 | DMA-BUF statistics |
| 113 | ~~~~~~~~~~~~~~~~~~ |
| 114 | .. kernel-doc:: drivers/dma-buf/dma-buf-sysfs-stats.c |
| 115 | :doc: overview |
| 116 | |
Jason Ekstrand | 51f5254 | 2021-06-17 14:42:58 -0500 | [diff] [blame] | 117 | DMA Buffer ioctls |
| 118 | ~~~~~~~~~~~~~~~~~ |
| 119 | |
| 120 | .. kernel-doc:: include/uapi/linux/dma-buf.h |
| 121 | |
Daniel Vetter | 2904a8c | 2016-12-09 19:53:07 +0100 | [diff] [blame] | 122 | Kernel Functions and Structures Reference |
| 123 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 124 | |
Daniel Vetter | 868c97a | 2016-12-09 19:53:05 +0100 | [diff] [blame] | 125 | .. kernel-doc:: drivers/dma-buf/dma-buf.c |
| 126 | :export: |
| 127 | |
| 128 | .. kernel-doc:: include/linux/dma-buf.h |
| 129 | :internal: |
| 130 | |
Thomas Zimmermann | ccc22d4 | 2020-09-25 13:56:01 +0200 | [diff] [blame] | 131 | Buffer Mapping Helpers |
| 132 | ~~~~~~~~~~~~~~~~~~~~~~ |
| 133 | |
| 134 | .. kernel-doc:: include/linux/dma-buf-map.h |
| 135 | :doc: overview |
| 136 | |
| 137 | .. kernel-doc:: include/linux/dma-buf-map.h |
| 138 | :internal: |
| 139 | |
Daniel Vetter | 868c97a | 2016-12-09 19:53:05 +0100 | [diff] [blame] | 140 | Reservation Objects |
| 141 | ------------------- |
| 142 | |
Anna Karas | 0f54621 | 2019-09-27 14:15:04 +0300 | [diff] [blame] | 143 | .. kernel-doc:: drivers/dma-buf/dma-resv.c |
Daniel Vetter | 868c97a | 2016-12-09 19:53:05 +0100 | [diff] [blame] | 144 | :doc: Reservation Object Overview |
| 145 | |
Anna Karas | 0f54621 | 2019-09-27 14:15:04 +0300 | [diff] [blame] | 146 | .. kernel-doc:: drivers/dma-buf/dma-resv.c |
Daniel Vetter | 868c97a | 2016-12-09 19:53:05 +0100 | [diff] [blame] | 147 | :export: |
| 148 | |
Anna Karas | 0f54621 | 2019-09-27 14:15:04 +0300 | [diff] [blame] | 149 | .. kernel-doc:: include/linux/dma-resv.h |
Daniel Vetter | 868c97a | 2016-12-09 19:53:05 +0100 | [diff] [blame] | 150 | :internal: |
| 151 | |
| 152 | DMA Fences |
| 153 | ---------- |
| 154 | |
| 155 | .. kernel-doc:: drivers/dma-buf/dma-fence.c |
Daniel Vetter | 4dd3cdb | 2018-07-04 11:29:09 +0200 | [diff] [blame] | 156 | :doc: DMA fences overview |
| 157 | |
Daniel Vetter | d0b9a9a | 2020-07-07 22:12:06 +0200 | [diff] [blame] | 158 | DMA Fence Cross-Driver Contract |
| 159 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 160 | |
| 161 | .. kernel-doc:: drivers/dma-buf/dma-fence.c |
| 162 | :doc: fence cross-driver contract |
| 163 | |
Daniel Vetter | 5fbff81 | 2020-07-07 22:12:05 +0200 | [diff] [blame] | 164 | DMA Fence Signalling Annotations |
| 165 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 166 | |
| 167 | .. kernel-doc:: drivers/dma-buf/dma-fence.c |
| 168 | :doc: fence signalling annotation |
| 169 | |
Daniel Vetter | 4dd3cdb | 2018-07-04 11:29:09 +0200 | [diff] [blame] | 170 | DMA Fences Functions Reference |
| 171 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 172 | |
| 173 | .. kernel-doc:: drivers/dma-buf/dma-fence.c |
Daniel Vetter | 868c97a | 2016-12-09 19:53:05 +0100 | [diff] [blame] | 174 | :export: |
| 175 | |
| 176 | .. kernel-doc:: include/linux/dma-fence.h |
| 177 | :internal: |
| 178 | |
Daniel Vetter | 868c97a | 2016-12-09 19:53:05 +0100 | [diff] [blame] | 179 | DMA Fence Array |
| 180 | ~~~~~~~~~~~~~~~ |
| 181 | |
| 182 | .. kernel-doc:: drivers/dma-buf/dma-fence-array.c |
| 183 | :export: |
| 184 | |
| 185 | .. kernel-doc:: include/linux/dma-fence-array.h |
| 186 | :internal: |
| 187 | |
Daniel Vetter | b970b8e | 2021-05-21 10:24:57 +0200 | [diff] [blame] | 188 | DMA Fence Chain |
| 189 | ~~~~~~~~~~~~~~~ |
| 190 | |
| 191 | .. kernel-doc:: drivers/dma-buf/dma-fence-chain.c |
| 192 | :export: |
| 193 | |
| 194 | .. kernel-doc:: include/linux/dma-fence-chain.h |
| 195 | :internal: |
| 196 | |
Daniel Vetter | 868c97a | 2016-12-09 19:53:05 +0100 | [diff] [blame] | 197 | DMA Fence uABI/Sync File |
| 198 | ~~~~~~~~~~~~~~~~~~~~~~~~ |
| 199 | |
| 200 | .. kernel-doc:: drivers/dma-buf/sync_file.c |
| 201 | :export: |
| 202 | |
| 203 | .. kernel-doc:: include/linux/sync_file.h |
| 204 | :internal: |
| 205 | |
Daniel Vetter | 72b6ede | 2020-07-09 14:33:38 +0200 | [diff] [blame] | 206 | Indefinite DMA Fences |
Randy Dunlap | 6546d28 | 2020-08-23 16:41:59 -0700 | [diff] [blame] | 207 | ~~~~~~~~~~~~~~~~~~~~~ |
Daniel Vetter | 72b6ede | 2020-07-09 14:33:38 +0200 | [diff] [blame] | 208 | |
Daniel Vetter | 26e08a6 | 2020-12-04 21:02:42 +0100 | [diff] [blame] | 209 | At various times struct dma_fence with an indefinite time until dma_fence_wait() |
Daniel Vetter | 72b6ede | 2020-07-09 14:33:38 +0200 | [diff] [blame] | 210 | finishes have been proposed. Examples include: |
| 211 | |
| 212 | * Future fences, used in HWC1 to signal when a buffer isn't used by the display |
| 213 | any longer, and created with the screen update that makes the buffer visible. |
| 214 | The time this fence completes is entirely under userspace's control. |
| 215 | |
| 216 | * Proxy fences, proposed to handle &drm_syncobj for which the fence has not yet |
| 217 | been set. Used to asynchronously delay command submission. |
| 218 | |
| 219 | * Userspace fences or gpu futexes, fine-grained locking within a command buffer |
| 220 | that userspace uses for synchronization across engines or with the CPU, which |
| 221 | are then imported as a DMA fence for integration into existing winsys |
| 222 | protocols. |
| 223 | |
| 224 | * Long-running compute command buffers, while still using traditional end of |
| 225 | batch DMA fences for memory management instead of context preemption DMA |
| 226 | fences which get reattached when the compute job is rescheduled. |
| 227 | |
| 228 | Common to all these schemes is that userspace controls the dependencies of these |
| 229 | fences and controls when they fire. Mixing indefinite fences with normal |
| 230 | in-kernel DMA fences does not work, even when a fallback timeout is included to |
| 231 | protect against malicious userspace: |
| 232 | |
| 233 | * Only the kernel knows about all DMA fence dependencies, userspace is not aware |
| 234 | of dependencies injected due to memory management or scheduler decisions. |
| 235 | |
| 236 | * Only userspace knows about all dependencies in indefinite fences and when |
| 237 | exactly they will complete, the kernel has no visibility. |
| 238 | |
| 239 | Furthermore the kernel has to be able to hold up userspace command submission |
| 240 | for memory management needs, which means we must support indefinite fences being |
| 241 | dependent upon DMA fences. If the kernel also support indefinite fences in the |
| 242 | kernel like a DMA fence, like any of the above proposal would, there is the |
| 243 | potential for deadlocks. |
| 244 | |
| 245 | .. kernel-render:: DOT |
| 246 | :alt: Indefinite Fencing Dependency Cycle |
| 247 | :caption: Indefinite Fencing Dependency Cycle |
| 248 | |
| 249 | digraph "Fencing Cycle" { |
| 250 | node [shape=box bgcolor=grey style=filled] |
| 251 | kernel [label="Kernel DMA Fences"] |
| 252 | userspace [label="userspace controlled fences"] |
| 253 | kernel -> userspace [label="memory management"] |
| 254 | userspace -> kernel [label="Future fence, fence proxy, ..."] |
| 255 | |
| 256 | { rank=same; kernel userspace } |
| 257 | } |
| 258 | |
| 259 | This means that the kernel might accidentally create deadlocks |
| 260 | through memory management dependencies which userspace is unaware of, which |
| 261 | randomly hangs workloads until the timeout kicks in. Workloads, which from |
| 262 | userspace's perspective, do not contain a deadlock. In such a mixed fencing |
| 263 | architecture there is no single entity with knowledge of all dependencies. |
| 264 | Thefore preventing such deadlocks from within the kernel is not possible. |
| 265 | |
| 266 | The only solution to avoid dependencies loops is by not allowing indefinite |
| 267 | fences in the kernel. This means: |
| 268 | |
| 269 | * No future fences, proxy fences or userspace fences imported as DMA fences, |
| 270 | with or without a timeout. |
| 271 | |
| 272 | * No DMA fences that signal end of batchbuffer for command submission where |
| 273 | userspace is allowed to use userspace fencing or long running compute |
| 274 | workloads. This also means no implicit fencing for shared buffers in these |
| 275 | cases. |
Daniel Vetter | 8613385 | 2021-02-03 16:29:21 +0100 | [diff] [blame] | 276 | |
| 277 | Recoverable Hardware Page Faults Implications |
| 278 | ~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ |
| 279 | |
| 280 | Modern hardware supports recoverable page faults, which has a lot of |
| 281 | implications for DMA fences. |
| 282 | |
| 283 | First, a pending page fault obviously holds up the work that's running on the |
| 284 | accelerator and a memory allocation is usually required to resolve the fault. |
| 285 | But memory allocations are not allowed to gate completion of DMA fences, which |
| 286 | means any workload using recoverable page faults cannot use DMA fences for |
| 287 | synchronization. Synchronization fences controlled by userspace must be used |
| 288 | instead. |
| 289 | |
| 290 | On GPUs this poses a problem, because current desktop compositor protocols on |
| 291 | Linux rely on DMA fences, which means without an entirely new userspace stack |
| 292 | built on top of userspace fences, they cannot benefit from recoverable page |
| 293 | faults. Specifically this means implicit synchronization will not be possible. |
| 294 | The exception is when page faults are only used as migration hints and never to |
| 295 | on-demand fill a memory request. For now this means recoverable page |
| 296 | faults on GPUs are limited to pure compute workloads. |
| 297 | |
| 298 | Furthermore GPUs usually have shared resources between the 3D rendering and |
| 299 | compute side, like compute units or command submission engines. If both a 3D |
| 300 | job with a DMA fence and a compute workload using recoverable page faults are |
| 301 | pending they could deadlock: |
| 302 | |
| 303 | - The 3D workload might need to wait for the compute job to finish and release |
| 304 | hardware resources first. |
| 305 | |
| 306 | - The compute workload might be stuck in a page fault, because the memory |
| 307 | allocation is waiting for the DMA fence of the 3D workload to complete. |
| 308 | |
| 309 | There are a few options to prevent this problem, one of which drivers need to |
| 310 | ensure: |
| 311 | |
| 312 | - Compute workloads can always be preempted, even when a page fault is pending |
| 313 | and not yet repaired. Not all hardware supports this. |
| 314 | |
| 315 | - DMA fence workloads and workloads which need page fault handling have |
| 316 | independent hardware resources to guarantee forward progress. This could be |
| 317 | achieved through e.g. through dedicated engines and minimal compute unit |
| 318 | reservations for DMA fence workloads. |
| 319 | |
| 320 | - The reservation approach could be further refined by only reserving the |
| 321 | hardware resources for DMA fence workloads when they are in-flight. This must |
| 322 | cover the time from when the DMA fence is visible to other threads up to |
| 323 | moment when fence is completed through dma_fence_signal(). |
| 324 | |
| 325 | - As a last resort, if the hardware provides no useful reservation mechanics, |
| 326 | all workloads must be flushed from the GPU when switching between jobs |
| 327 | requiring DMA fences or jobs requiring page fault handling: This means all DMA |
| 328 | fences must complete before a compute job with page fault handling can be |
| 329 | inserted into the scheduler queue. And vice versa, before a DMA fence can be |
| 330 | made visible anywhere in the system, all compute workloads must be preempted |
| 331 | to guarantee all pending GPU page faults are flushed. |
| 332 | |
| 333 | - Only a fairly theoretical option would be to untangle these dependencies when |
| 334 | allocating memory to repair hardware page faults, either through separate |
| 335 | memory blocks or runtime tracking of the full dependency graph of all DMA |
| 336 | fences. This results very wide impact on the kernel, since resolving the page |
| 337 | on the CPU side can itself involve a page fault. It is much more feasible and |
| 338 | robust to limit the impact of handling hardware page faults to the specific |
| 339 | driver. |
| 340 | |
| 341 | Note that workloads that run on independent hardware like copy engines or other |
| 342 | GPUs do not have any impact. This allows us to keep using DMA fences internally |
| 343 | in the kernel even for resolving hardware page faults, e.g. by using copy |
| 344 | engines to clear or copy memory needed to resolve the page fault. |
| 345 | |
| 346 | In some ways this page fault problem is a special case of the `Infinite DMA |
| 347 | Fences` discussions: Infinite fences from compute workloads are allowed to |
| 348 | depend on DMA fences, but not the other way around. And not even the page fault |
| 349 | problem is new, because some other CPU thread in userspace might |
| 350 | hit a page fault which holds up a userspace fence - supporting page faults on |
| 351 | GPUs doesn't anything fundamentally new. |