1 // SPDX-License-Identifier: MIT
3 * Copyright (C) 2012-2014 Canonical Ltd (Maarten Lankhorst)
5 * Based on bo.c which bears the following copyright notice,
6 * but is dual licensed:
8 * Copyright (c) 2006-2009 VMware, Inc., Palo Alto, CA., USA
11 * Permission is hereby granted, free of charge, to any person obtaining a
12 * copy of this software and associated documentation files (the
13 * "Software"), to deal in the Software without restriction, including
14 * without limitation the rights to use, copy, modify, merge, publish,
15 * distribute, sub license, and/or sell copies of the Software, and to
16 * permit persons to whom the Software is furnished to do so, subject to
17 * the following conditions:
19 * The above copyright notice and this permission notice (including the
20 * next paragraph) shall be included in all copies or substantial portions
23 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
24 * IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY,
25 * FITNESS FOR A PARTICULAR PURPOSE AND NON-INFRINGEMENT. IN NO EVENT SHALL
26 * THE COPYRIGHT HOLDERS, AUTHORS AND/OR ITS SUPPLIERS BE LIABLE FOR ANY CLAIM,
27 * DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, TORT OR
28 * OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE SOFTWARE OR THE
29 * USE OR OTHER DEALINGS IN THE SOFTWARE.
31 **************************************************************************/
33 * Authors: Thomas Hellstrom <thellstrom-at-vmware-dot-com>
36 #include <linux/dma-resv.h>
37 #include <linux/export.h>
39 #include <linux/sched/mm.h>
40 #include <linux/mmu_notifier.h>
43 * DOC: Reservation Object Overview
45 * The reservation object provides a mechanism to manage shared and
46 * exclusive fences associated with a buffer. A reservation object
47 * can have attached one exclusive fence (normally associated with
48 * write operations) or N shared fences (read operations). The RCU
49 * mechanism is used to protect read access to fences from locked
52 * See struct dma_resv for more details.
55 DEFINE_WD_CLASS(reservation_ww_class);
56 EXPORT_SYMBOL(reservation_ww_class);
59 * dma_resv_list_alloc - allocate fence list
60 * @shared_max: number of fences we need space for
62 * Allocate a new dma_resv_list and make sure to correctly initialize
65 static struct dma_resv_list *dma_resv_list_alloc(unsigned int shared_max)
67 struct dma_resv_list *list;
69 list = kmalloc(struct_size(list, shared, shared_max), GFP_KERNEL);
73 list->shared_max = (ksize(list) - offsetof(typeof(*list), shared)) /
74 sizeof(*list->shared);
80 * dma_resv_list_free - free fence list
83 * Free a dma_resv_list and make sure to drop all references.
85 static void dma_resv_list_free(struct dma_resv_list *list)
92 for (i = 0; i < list->shared_count; ++i)
93 dma_fence_put(rcu_dereference_protected(list->shared[i], true));
99 * dma_resv_init - initialize a reservation object
100 * @obj: the reservation object
102 void dma_resv_init(struct dma_resv *obj)
104 ww_mutex_init(&obj->lock, &reservation_ww_class);
105 seqcount_ww_mutex_init(&obj->seq, &obj->lock);
107 RCU_INIT_POINTER(obj->fence, NULL);
108 RCU_INIT_POINTER(obj->fence_excl, NULL);
110 EXPORT_SYMBOL(dma_resv_init);
113 * dma_resv_fini - destroys a reservation object
114 * @obj: the reservation object
116 void dma_resv_fini(struct dma_resv *obj)
118 struct dma_resv_list *fobj;
119 struct dma_fence *excl;
122 * This object should be dead and all references must have
123 * been released to it, so no need to be protected with rcu.
125 excl = rcu_dereference_protected(obj->fence_excl, 1);
129 fobj = rcu_dereference_protected(obj->fence, 1);
130 dma_resv_list_free(fobj);
131 ww_mutex_destroy(&obj->lock);
133 EXPORT_SYMBOL(dma_resv_fini);
136 * dma_resv_reserve_shared - Reserve space to add shared fences to
138 * @obj: reservation object
139 * @num_fences: number of fences we want to add
141 * Should be called before dma_resv_add_shared_fence(). Must
142 * be called with @obj locked through dma_resv_lock().
144 * Note that the preallocated slots need to be re-reserved if @obj is unlocked
145 * at any time before calling dma_resv_add_shared_fence(). This is validated
146 * when CONFIG_DEBUG_MUTEXES is enabled.
149 * Zero for success, or -errno
151 int dma_resv_reserve_shared(struct dma_resv *obj, unsigned int num_fences)
153 struct dma_resv_list *old, *new;
154 unsigned int i, j, k, max;
156 dma_resv_assert_held(obj);
158 old = dma_resv_shared_list(obj);
159 if (old && old->shared_max) {
160 if ((old->shared_count + num_fences) <= old->shared_max)
162 max = max(old->shared_count + num_fences, old->shared_max * 2);
164 max = max(4ul, roundup_pow_of_two(num_fences));
167 new = dma_resv_list_alloc(max);
172 * no need to bump fence refcounts, rcu_read access
173 * requires the use of kref_get_unless_zero, and the
174 * references from the old struct are carried over to
177 for (i = 0, j = 0, k = max; i < (old ? old->shared_count : 0); ++i) {
178 struct dma_fence *fence;
180 fence = rcu_dereference_protected(old->shared[i],
182 if (dma_fence_is_signaled(fence))
183 RCU_INIT_POINTER(new->shared[--k], fence);
185 RCU_INIT_POINTER(new->shared[j++], fence);
187 new->shared_count = j;
190 * We are not changing the effective set of fences here so can
191 * merely update the pointer to the new array; both existing
192 * readers and new readers will see exactly the same set of
193 * active (unsignaled) shared fences. Individual fences and the
194 * old array are protected by RCU and so will not vanish under
195 * the gaze of the rcu_read_lock() readers.
197 rcu_assign_pointer(obj->fence, new);
202 /* Drop the references to the signaled fences */
203 for (i = k; i < max; ++i) {
204 struct dma_fence *fence;
206 fence = rcu_dereference_protected(new->shared[i],
208 dma_fence_put(fence);
214 EXPORT_SYMBOL(dma_resv_reserve_shared);
216 #ifdef CONFIG_DEBUG_MUTEXES
218 * dma_resv_reset_shared_max - reset shared fences for debugging
219 * @obj: the dma_resv object to reset
221 * Reset the number of pre-reserved shared slots to test that drivers do
222 * correct slot allocation using dma_resv_reserve_shared(). See also
223 * &dma_resv_list.shared_max.
225 void dma_resv_reset_shared_max(struct dma_resv *obj)
227 struct dma_resv_list *fences = dma_resv_shared_list(obj);
229 dma_resv_assert_held(obj);
231 /* Test shared fence slot reservation */
233 fences->shared_max = fences->shared_count;
235 EXPORT_SYMBOL(dma_resv_reset_shared_max);
239 * dma_resv_add_shared_fence - Add a fence to a shared slot
240 * @obj: the reservation object
241 * @fence: the shared fence to add
243 * Add a fence to a shared slot, @obj must be locked with dma_resv_lock(), and
244 * dma_resv_reserve_shared() has been called.
246 * See also &dma_resv.fence for a discussion of the semantics.
248 void dma_resv_add_shared_fence(struct dma_resv *obj, struct dma_fence *fence)
250 struct dma_resv_list *fobj;
251 struct dma_fence *old;
252 unsigned int i, count;
254 dma_fence_get(fence);
256 dma_resv_assert_held(obj);
258 fobj = dma_resv_shared_list(obj);
259 count = fobj->shared_count;
261 write_seqcount_begin(&obj->seq);
263 for (i = 0; i < count; ++i) {
265 old = rcu_dereference_protected(fobj->shared[i],
267 if (old->context == fence->context ||
268 dma_fence_is_signaled(old))
272 BUG_ON(fobj->shared_count >= fobj->shared_max);
277 RCU_INIT_POINTER(fobj->shared[i], fence);
278 /* pointer update must be visible before we extend the shared_count */
279 smp_store_mb(fobj->shared_count, count);
281 write_seqcount_end(&obj->seq);
284 EXPORT_SYMBOL(dma_resv_add_shared_fence);
287 * dma_resv_add_excl_fence - Add an exclusive fence.
288 * @obj: the reservation object
289 * @fence: the exclusive fence to add
291 * Add a fence to the exclusive slot. @obj must be locked with dma_resv_lock().
292 * Note that this function replaces all fences attached to @obj, see also
293 * &dma_resv.fence_excl for a discussion of the semantics.
295 void dma_resv_add_excl_fence(struct dma_resv *obj, struct dma_fence *fence)
297 struct dma_fence *old_fence = dma_resv_excl_fence(obj);
298 struct dma_resv_list *old;
301 dma_resv_assert_held(obj);
303 old = dma_resv_shared_list(obj);
305 i = old->shared_count;
308 dma_fence_get(fence);
310 write_seqcount_begin(&obj->seq);
311 /* write_seqcount_begin provides the necessary memory barrier */
312 RCU_INIT_POINTER(obj->fence_excl, fence);
314 old->shared_count = 0;
315 write_seqcount_end(&obj->seq);
317 /* inplace update, no shared fences */
319 dma_fence_put(rcu_dereference_protected(old->shared[i],
320 dma_resv_held(obj)));
322 dma_fence_put(old_fence);
324 EXPORT_SYMBOL(dma_resv_add_excl_fence);
327 * dma_resv_iter_restart_unlocked - restart the unlocked iterator
328 * @cursor: The dma_resv_iter object to restart
330 * Restart the unlocked iteration by initializing the cursor object.
332 static void dma_resv_iter_restart_unlocked(struct dma_resv_iter *cursor)
334 cursor->seq = read_seqcount_begin(&cursor->obj->seq);
336 cursor->shared_count = 0;
337 if (cursor->all_fences) {
338 cursor->fences = dma_resv_shared_list(cursor->obj);
340 cursor->shared_count = cursor->fences->shared_count;
342 cursor->fences = NULL;
344 cursor->is_restarted = true;
348 * dma_resv_iter_walk_unlocked - walk over fences in a dma_resv obj
349 * @cursor: cursor to record the current position
351 * Return all the fences in the dma_resv object which are not yet signaled.
352 * The returned fence has an extra local reference so will stay alive.
353 * If a concurrent modify is detected the whole iteration is started over again.
355 static void dma_resv_iter_walk_unlocked(struct dma_resv_iter *cursor)
357 struct dma_resv *obj = cursor->obj;
360 /* Drop the reference from the previous round */
361 dma_fence_put(cursor->fence);
363 if (cursor->index == -1) {
364 cursor->fence = dma_resv_excl_fence(obj);
369 } else if (!cursor->fences ||
370 cursor->index >= cursor->shared_count) {
371 cursor->fence = NULL;
375 struct dma_resv_list *fences = cursor->fences;
376 unsigned int idx = cursor->index++;
378 cursor->fence = rcu_dereference(fences->shared[idx]);
380 cursor->fence = dma_fence_get_rcu(cursor->fence);
381 if (!cursor->fence || !dma_fence_is_signaled(cursor->fence))
387 * dma_resv_iter_first_unlocked - first fence in an unlocked dma_resv obj.
388 * @cursor: the cursor with the current position
390 * Returns the first fence from an unlocked dma_resv obj.
392 struct dma_fence *dma_resv_iter_first_unlocked(struct dma_resv_iter *cursor)
396 dma_resv_iter_restart_unlocked(cursor);
397 dma_resv_iter_walk_unlocked(cursor);
398 } while (read_seqcount_retry(&cursor->obj->seq, cursor->seq));
401 return cursor->fence;
403 EXPORT_SYMBOL(dma_resv_iter_first_unlocked);
406 * dma_resv_iter_next_unlocked - next fence in an unlocked dma_resv obj.
407 * @cursor: the cursor with the current position
409 * Returns the next fence from an unlocked dma_resv obj.
411 struct dma_fence *dma_resv_iter_next_unlocked(struct dma_resv_iter *cursor)
416 cursor->is_restarted = false;
417 restart = read_seqcount_retry(&cursor->obj->seq, cursor->seq);
420 dma_resv_iter_restart_unlocked(cursor);
421 dma_resv_iter_walk_unlocked(cursor);
423 } while (read_seqcount_retry(&cursor->obj->seq, cursor->seq));
426 return cursor->fence;
428 EXPORT_SYMBOL(dma_resv_iter_next_unlocked);
431 * dma_resv_iter_first - first fence from a locked dma_resv object
432 * @cursor: cursor to record the current position
434 * Return the first fence in the dma_resv object while holding the
437 struct dma_fence *dma_resv_iter_first(struct dma_resv_iter *cursor)
439 struct dma_fence *fence;
441 dma_resv_assert_held(cursor->obj);
444 if (cursor->all_fences)
445 cursor->fences = dma_resv_shared_list(cursor->obj);
447 cursor->fences = NULL;
449 fence = dma_resv_excl_fence(cursor->obj);
451 fence = dma_resv_iter_next(cursor);
453 cursor->is_restarted = true;
456 EXPORT_SYMBOL_GPL(dma_resv_iter_first);
459 * dma_resv_iter_next - next fence from a locked dma_resv object
460 * @cursor: cursor to record the current position
462 * Return the next fences from the dma_resv object while holding the
465 struct dma_fence *dma_resv_iter_next(struct dma_resv_iter *cursor)
469 dma_resv_assert_held(cursor->obj);
471 cursor->is_restarted = false;
472 if (!cursor->fences || cursor->index >= cursor->fences->shared_count)
475 idx = cursor->index++;
476 return rcu_dereference_protected(cursor->fences->shared[idx],
477 dma_resv_held(cursor->obj));
479 EXPORT_SYMBOL_GPL(dma_resv_iter_next);
482 * dma_resv_copy_fences - Copy all fences from src to dst.
483 * @dst: the destination reservation object
484 * @src: the source reservation object
486 * Copy all fences from src to dst. dst-lock must be held.
488 int dma_resv_copy_fences(struct dma_resv *dst, struct dma_resv *src)
490 struct dma_resv_iter cursor;
491 struct dma_resv_list *list;
492 struct dma_fence *f, *excl;
494 dma_resv_assert_held(dst);
499 dma_resv_iter_begin(&cursor, src, true);
500 dma_resv_for_each_fence_unlocked(&cursor, f) {
502 if (dma_resv_iter_is_restarted(&cursor)) {
503 dma_resv_list_free(list);
506 if (cursor.shared_count) {
507 list = dma_resv_list_alloc(cursor.shared_count);
509 dma_resv_iter_end(&cursor);
513 list->shared_count = 0;
522 if (dma_resv_iter_is_exclusive(&cursor))
525 RCU_INIT_POINTER(list->shared[list->shared_count++], f);
527 dma_resv_iter_end(&cursor);
529 write_seqcount_begin(&dst->seq);
530 excl = rcu_replace_pointer(dst->fence_excl, excl, dma_resv_held(dst));
531 list = rcu_replace_pointer(dst->fence, list, dma_resv_held(dst));
532 write_seqcount_end(&dst->seq);
534 dma_resv_list_free(list);
539 EXPORT_SYMBOL(dma_resv_copy_fences);
542 * dma_resv_get_fences - Get an object's shared and exclusive
543 * fences without update side lock held
544 * @obj: the reservation object
545 * @fence_excl: the returned exclusive fence (or NULL)
546 * @shared_count: the number of shared fences returned
547 * @shared: the array of shared fence ptrs returned (array is krealloc'd to
548 * the required size, and must be freed by caller)
550 * Retrieve all fences from the reservation object. If the pointer for the
551 * exclusive fence is not specified the fence is put into the array of the
552 * shared fences as well. Returns either zero or -ENOMEM.
554 int dma_resv_get_fences(struct dma_resv *obj, struct dma_fence **fence_excl,
555 unsigned int *shared_count, struct dma_fence ***shared)
557 struct dma_resv_iter cursor;
558 struct dma_fence *fence;
566 dma_resv_iter_begin(&cursor, obj, true);
567 dma_resv_for_each_fence_unlocked(&cursor, fence) {
569 if (dma_resv_iter_is_restarted(&cursor)) {
572 while (*shared_count)
573 dma_fence_put((*shared)[--(*shared_count)]);
576 dma_fence_put(*fence_excl);
578 count = cursor.shared_count;
579 count += fence_excl ? 0 : 1;
581 /* Eventually re-allocate the array */
582 *shared = krealloc_array(*shared, count,
585 if (count && !*shared) {
586 dma_resv_iter_end(&cursor);
591 dma_fence_get(fence);
592 if (dma_resv_iter_is_exclusive(&cursor) && fence_excl)
595 (*shared)[(*shared_count)++] = fence;
597 dma_resv_iter_end(&cursor);
601 EXPORT_SYMBOL_GPL(dma_resv_get_fences);
604 * dma_resv_wait_timeout - Wait on reservation's objects
605 * shared and/or exclusive fences.
606 * @obj: the reservation object
607 * @wait_all: if true, wait on all fences, else wait on just exclusive fence
608 * @intr: if true, do interruptible wait
609 * @timeout: timeout value in jiffies or zero to return immediately
611 * Callers are not required to hold specific locks, but maybe hold
612 * dma_resv_lock() already
614 * Returns -ERESTARTSYS if interrupted, 0 if the wait timed out, or
615 * greater than zer on success.
617 long dma_resv_wait_timeout(struct dma_resv *obj, bool wait_all, bool intr,
618 unsigned long timeout)
620 long ret = timeout ? timeout : 1;
621 struct dma_resv_iter cursor;
622 struct dma_fence *fence;
624 dma_resv_iter_begin(&cursor, obj, wait_all);
625 dma_resv_for_each_fence_unlocked(&cursor, fence) {
627 ret = dma_fence_wait_timeout(fence, intr, ret);
629 dma_resv_iter_end(&cursor);
633 dma_resv_iter_end(&cursor);
637 EXPORT_SYMBOL_GPL(dma_resv_wait_timeout);
641 * dma_resv_test_signaled - Test if a reservation object's fences have been
643 * @obj: the reservation object
644 * @test_all: if true, test all fences, otherwise only test the exclusive
647 * Callers are not required to hold specific locks, but maybe hold
648 * dma_resv_lock() already.
652 * True if all fences signaled, else false.
654 bool dma_resv_test_signaled(struct dma_resv *obj, bool test_all)
656 struct dma_resv_iter cursor;
657 struct dma_fence *fence;
659 dma_resv_iter_begin(&cursor, obj, test_all);
660 dma_resv_for_each_fence_unlocked(&cursor, fence) {
661 dma_resv_iter_end(&cursor);
664 dma_resv_iter_end(&cursor);
667 EXPORT_SYMBOL_GPL(dma_resv_test_signaled);
669 #if IS_ENABLED(CONFIG_LOCKDEP)
670 static int __init dma_resv_lockdep(void)
672 struct mm_struct *mm = mm_alloc();
673 struct ww_acquire_ctx ctx;
675 struct address_space mapping;
682 address_space_init_once(&mapping);
685 ww_acquire_init(&ctx, &reservation_ww_class);
686 ret = dma_resv_lock(&obj, &ctx);
688 dma_resv_lock_slow(&obj, &ctx);
689 fs_reclaim_acquire(GFP_KERNEL);
690 /* for unmap_mapping_range on trylocked buffer objects in shrinkers */
691 i_mmap_lock_write(&mapping);
692 i_mmap_unlock_write(&mapping);
693 #ifdef CONFIG_MMU_NOTIFIER
694 lock_map_acquire(&__mmu_notifier_invalidate_range_start_map);
695 __dma_fence_might_wait();
696 lock_map_release(&__mmu_notifier_invalidate_range_start_map);
698 __dma_fence_might_wait();
700 fs_reclaim_release(GFP_KERNEL);
701 ww_mutex_unlock(&obj.lock);
702 ww_acquire_fini(&ctx);
703 mmap_read_unlock(mm);
709 subsys_initcall(dma_resv_lockdep);