blob: 2cd7db82d9fe06215d891723ca2759ea566032ec [file] [log] [blame]
Daniel Vetter868c97a2016-12-09 19:53:05 +01001Buffer Sharing and Synchronization
2==================================
3
4The dma-buf subsystem provides the framework for sharing buffers for
5hardware (DMA) access across multiple device drivers and subsystems, and
6for synchronizing asynchronous hardware access.
7
8This is used, for example, by drm "prime" multi-GPU support, but is of
9course not limited to GPU use cases.
10
11The three main components of this are: (1) dma-buf, representing a
12sg_table and exposed to userspace as a file descriptor to allow passing
13between devices, (2) fence, which provides a mechanism to signal when
Gal Pressman776d5882020-04-20 10:41:15 +030014one device has finished access, and (3) reservation, which manages the
Daniel Vetter868c97a2016-12-09 19:53:05 +010015shared or exclusive fence(s) associated with the buffer.
16
17Shared DMA Buffers
18------------------
19
Daniel Vetter2904a8c2016-12-09 19:53:07 +010020This document serves as a guide to device-driver writers on what is the dma-buf
21buffer sharing API, how to use it for exporting and using shared buffers.
22
23Any device driver which wishes to be a part of DMA buffer sharing, can do so as
24either the 'exporter' of buffers, or the 'user' or 'importer' of buffers.
25
26Say a driver A wants to use buffers created by driver B, then we call B as the
27exporter, and A as buffer-user/importer.
28
29The 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 Pressman776d5882020-04-20 10:41:15 +030034 - manages the details of buffer allocation, wrapped in a :c:type:`struct
Daniel Vetter2904a8c2016-12-09 19:53:07 +010035 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
40The 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 Vettere7e21c72016-12-09 22:50:55 +010049Any exporters or users of the dma-buf buffer sharing framework must have a
50'select DMA_SHARED_BUFFER' in their respective Kconfigs.
51
52Userspace Interface Notes
53~~~~~~~~~~~~~~~~~~~~~~~~~
54
55Mostly a DMA buffer file descriptor is simply an opaque object for userspace,
56and hence the generic interface exposed is very minimal. There's a few things to
57consider 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 Chehabb8993532020-09-09 16:10:51 +020088- The DMA buffer FD is also pollable, see `Implicit Fence Poll Support`_ below for
Daniel Vettere7e21c72016-12-09 22:50:55 +010089 details.
90
Jason Ekstrand51f52542021-06-17 14:42:58 -050091- The DMA buffer FD also supports a few dma-buf-specific ioctls, see
92 `DMA Buffer ioctls`_ below for details.
93
Daniel Vetter2904a8c2016-12-09 19:53:07 +010094Basic Operation and Device DMA Access
95~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
96
97.. kernel-doc:: drivers/dma-buf/dma-buf.c
98 :doc: dma buf device access
99
Daniel Vetter0959a162016-12-09 19:53:08 +0100100CPU Access to DMA Buffer Objects
101~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
102
103.. kernel-doc:: drivers/dma-buf/dma-buf.c
104 :doc: cpu access
105
Daniel Vetter102514e2020-06-12 09:05:35 +0200106Implicit Fence Poll Support
107~~~~~~~~~~~~~~~~~~~~~~~~~~~
Daniel Vettere7e21c72016-12-09 22:50:55 +0100108
109.. kernel-doc:: drivers/dma-buf/dma-buf.c
Daniel Vetter102514e2020-06-12 09:05:35 +0200110 :doc: implicit fence polling
Daniel Vettere7e21c72016-12-09 22:50:55 +0100111
Hridya Valsarajubdb8d062021-06-03 14:47:51 -0700112DMA-BUF statistics
113~~~~~~~~~~~~~~~~~~
114.. kernel-doc:: drivers/dma-buf/dma-buf-sysfs-stats.c
115 :doc: overview
116
Jason Ekstrand51f52542021-06-17 14:42:58 -0500117DMA Buffer ioctls
118~~~~~~~~~~~~~~~~~
119
120.. kernel-doc:: include/uapi/linux/dma-buf.h
121
Daniel Vetter2904a8c2016-12-09 19:53:07 +0100122Kernel Functions and Structures Reference
123~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
124
Daniel Vetter868c97a2016-12-09 19:53:05 +0100125.. kernel-doc:: drivers/dma-buf/dma-buf.c
126 :export:
127
128.. kernel-doc:: include/linux/dma-buf.h
129 :internal:
130
Thomas Zimmermannccc22d42020-09-25 13:56:01 +0200131Buffer 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 Vetter868c97a2016-12-09 19:53:05 +0100140Reservation Objects
141-------------------
142
Anna Karas0f546212019-09-27 14:15:04 +0300143.. kernel-doc:: drivers/dma-buf/dma-resv.c
Daniel Vetter868c97a2016-12-09 19:53:05 +0100144 :doc: Reservation Object Overview
145
Anna Karas0f546212019-09-27 14:15:04 +0300146.. kernel-doc:: drivers/dma-buf/dma-resv.c
Daniel Vetter868c97a2016-12-09 19:53:05 +0100147 :export:
148
Anna Karas0f546212019-09-27 14:15:04 +0300149.. kernel-doc:: include/linux/dma-resv.h
Daniel Vetter868c97a2016-12-09 19:53:05 +0100150 :internal:
151
152DMA Fences
153----------
154
155.. kernel-doc:: drivers/dma-buf/dma-fence.c
Daniel Vetter4dd3cdb2018-07-04 11:29:09 +0200156 :doc: DMA fences overview
157
Daniel Vetterd0b9a9a2020-07-07 22:12:06 +0200158DMA Fence Cross-Driver Contract
159~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
160
161.. kernel-doc:: drivers/dma-buf/dma-fence.c
162 :doc: fence cross-driver contract
163
Daniel Vetter5fbff812020-07-07 22:12:05 +0200164DMA Fence Signalling Annotations
165~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
166
167.. kernel-doc:: drivers/dma-buf/dma-fence.c
168 :doc: fence signalling annotation
169
Daniel Vetter4dd3cdb2018-07-04 11:29:09 +0200170DMA Fences Functions Reference
171~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
172
173.. kernel-doc:: drivers/dma-buf/dma-fence.c
Daniel Vetter868c97a2016-12-09 19:53:05 +0100174 :export:
175
176.. kernel-doc:: include/linux/dma-fence.h
177 :internal:
178
Daniel Vetter868c97a2016-12-09 19:53:05 +0100179DMA 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 Vetterb970b8e2021-05-21 10:24:57 +0200188DMA 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 Vetter868c97a2016-12-09 19:53:05 +0100197DMA 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 Vetter72b6ede2020-07-09 14:33:38 +0200206Indefinite DMA Fences
Randy Dunlap6546d282020-08-23 16:41:59 -0700207~~~~~~~~~~~~~~~~~~~~~
Daniel Vetter72b6ede2020-07-09 14:33:38 +0200208
Daniel Vetter26e08a62020-12-04 21:02:42 +0100209At various times struct dma_fence with an indefinite time until dma_fence_wait()
Daniel Vetter72b6ede2020-07-09 14:33:38 +0200210finishes 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
228Common to all these schemes is that userspace controls the dependencies of these
229fences and controls when they fire. Mixing indefinite fences with normal
230in-kernel DMA fences does not work, even when a fallback timeout is included to
231protect 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
239Furthermore the kernel has to be able to hold up userspace command submission
240for memory management needs, which means we must support indefinite fences being
241dependent upon DMA fences. If the kernel also support indefinite fences in the
242kernel like a DMA fence, like any of the above proposal would, there is the
243potential 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
259This means that the kernel might accidentally create deadlocks
260through memory management dependencies which userspace is unaware of, which
261randomly hangs workloads until the timeout kicks in. Workloads, which from
262userspace's perspective, do not contain a deadlock. In such a mixed fencing
263architecture there is no single entity with knowledge of all dependencies.
264Thefore preventing such deadlocks from within the kernel is not possible.
265
266The only solution to avoid dependencies loops is by not allowing indefinite
267fences 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 Vetter86133852021-02-03 16:29:21 +0100276
277Recoverable Hardware Page Faults Implications
278~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
279
280Modern hardware supports recoverable page faults, which has a lot of
281implications for DMA fences.
282
283First, a pending page fault obviously holds up the work that's running on the
284accelerator and a memory allocation is usually required to resolve the fault.
285But memory allocations are not allowed to gate completion of DMA fences, which
286means any workload using recoverable page faults cannot use DMA fences for
287synchronization. Synchronization fences controlled by userspace must be used
288instead.
289
290On GPUs this poses a problem, because current desktop compositor protocols on
291Linux rely on DMA fences, which means without an entirely new userspace stack
292built on top of userspace fences, they cannot benefit from recoverable page
293faults. Specifically this means implicit synchronization will not be possible.
294The exception is when page faults are only used as migration hints and never to
295on-demand fill a memory request. For now this means recoverable page
296faults on GPUs are limited to pure compute workloads.
297
298Furthermore GPUs usually have shared resources between the 3D rendering and
299compute side, like compute units or command submission engines. If both a 3D
300job with a DMA fence and a compute workload using recoverable page faults are
301pending 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
309There are a few options to prevent this problem, one of which drivers need to
310ensure:
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
341Note that workloads that run on independent hardware like copy engines or other
342GPUs do not have any impact. This allows us to keep using DMA fences internally
343in the kernel even for resolving hardware page faults, e.g. by using copy
344engines to clear or copy memory needed to resolve the page fault.
345
346In some ways this page fault problem is a special case of the `Infinite DMA
347Fences` discussions: Infinite fences from compute workloads are allowed to
348depend on DMA fences, but not the other way around. And not even the page fault
349problem is new, because some other CPU thread in userspace might
350hit a page fault which holds up a userspace fence - supporting page faults on
351GPUs doesn't anything fundamentally new.