2 * Copyright (c) 2016, Mellanox Technologies inc. All rights reserved.
4 * This software is available to you under a choice of one of two
5 * licenses. You may choose to be licensed under the terms of the GNU
6 * General Public License (GPL) Version 2, available from the file
7 * COPYING in the main directory of this source tree, or the
8 * OpenIB.org BSD license below:
10 * Redistribution and use in source and binary forms, with or
11 * without modification, are permitted provided that the following
14 * - Redistributions of source code must retain the above
15 * copyright notice, this list of conditions and the following
18 * - Redistributions in binary form must reproduce the above
19 * copyright notice, this list of conditions and the following
20 * disclaimer in the documentation and/or other materials
21 * provided with the distribution.
23 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
24 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
25 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
26 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
27 * BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
28 * ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
29 * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
33 #include <linux/file.h>
34 #include <linux/anon_inodes.h>
35 #include <linux/sched/mm.h>
36 #include <rdma/ib_verbs.h>
37 #include <rdma/uverbs_types.h>
38 #include <linux/rcupdate.h>
39 #include <rdma/uverbs_ioctl.h>
40 #include <rdma/rdma_user_ioctl.h>
42 #include "core_priv.h"
43 #include "rdma_core.h"
45 static void uverbs_uobject_free(struct kref
*ref
)
47 kfree_rcu(container_of(ref
, struct ib_uobject
, ref
), rcu
);
51 * In order to indicate we no longer needs this uobject, uverbs_uobject_put
52 * is called. When the reference count is decreased, the uobject is freed.
53 * For example, this is used when attaching a completion channel to a CQ.
55 void uverbs_uobject_put(struct ib_uobject
*uobject
)
57 kref_put(&uobject
->ref
, uverbs_uobject_free
);
59 EXPORT_SYMBOL(uverbs_uobject_put
);
61 int uverbs_try_lock_object(struct ib_uobject
*uobj
,
62 enum rdma_lookup_mode mode
)
65 * When a shared access is required, we use a positive counter. Each
66 * shared access request checks that the value != -1 and increment it.
67 * Exclusive access is required for operations like write or destroy.
68 * In exclusive access mode, we check that the counter is zero (nobody
69 * claimed this object) and we set it to -1. Releasing a shared access
70 * lock is done simply by decreasing the counter. As for exclusive
71 * access locks, since only a single one of them is allowed
72 * concurrently, setting the counter to zero is enough for releasing
76 case UVERBS_LOOKUP_READ
:
77 return atomic_fetch_add_unless(&uobj
->usecnt
, 1, -1) == -1 ?
79 case UVERBS_LOOKUP_WRITE
:
80 /* lock is exclusive */
81 return atomic_cmpxchg(&uobj
->usecnt
, 0, -1) == 0 ? 0 : -EBUSY
;
82 case UVERBS_LOOKUP_DESTROY
:
87 EXPORT_SYMBOL(uverbs_try_lock_object
);
89 static void assert_uverbs_usecnt(struct ib_uobject
*uobj
,
90 enum rdma_lookup_mode mode
)
94 case UVERBS_LOOKUP_READ
:
95 WARN_ON(atomic_read(&uobj
->usecnt
) <= 0);
97 case UVERBS_LOOKUP_WRITE
:
98 WARN_ON(atomic_read(&uobj
->usecnt
) != -1);
100 case UVERBS_LOOKUP_DESTROY
:
107 * This must be called with the hw_destroy_rwsem locked for read or write,
108 * also the uobject itself must be locked for write.
110 * Upon return the HW object is guaranteed to be destroyed.
112 * For RDMA_REMOVE_ABORT, the hw_destroy_rwsem is not required to be held,
113 * however the type's allocat_commit function cannot have been called and the
114 * uobject cannot be on the uobjects_lists
116 * For RDMA_REMOVE_DESTROY the caller should be holding a kref (eg via
117 * rdma_lookup_get_uobject) and the object is left in a state where the caller
118 * needs to call rdma_lookup_put_uobject.
120 * For all other destroy modes this function internally unlocks the uobject
121 * and consumes the kref on the uobj.
123 static int uverbs_destroy_uobject(struct ib_uobject
*uobj
,
124 enum rdma_remove_reason reason
,
125 struct uverbs_attr_bundle
*attrs
)
127 struct ib_uverbs_file
*ufile
= attrs
->ufile
;
131 lockdep_assert_held(&ufile
->hw_destroy_rwsem
);
132 assert_uverbs_usecnt(uobj
, UVERBS_LOOKUP_WRITE
);
134 if (reason
== RDMA_REMOVE_ABORT
) {
135 WARN_ON(!list_empty(&uobj
->list
));
136 WARN_ON(!uobj
->context
);
137 uobj
->uapi_object
->type_class
->alloc_abort(uobj
);
138 } else if (uobj
->object
) {
139 ret
= uobj
->uapi_object
->type_class
->destroy_hw(uobj
, reason
,
142 /* Nothing to be done, wait till ucontext will clean it */
148 uobj
->context
= NULL
;
151 * For DESTROY the usecnt is not changed, the caller is expected to
152 * manage it via uobj_put_destroy(). Only DESTROY can remove the IDR
155 if (reason
!= RDMA_REMOVE_DESTROY
)
156 atomic_set(&uobj
->usecnt
, 0);
158 uobj
->uapi_object
->type_class
->remove_handle(uobj
);
160 if (!list_empty(&uobj
->list
)) {
161 spin_lock_irqsave(&ufile
->uobjects_lock
, flags
);
162 list_del_init(&uobj
->list
);
163 spin_unlock_irqrestore(&ufile
->uobjects_lock
, flags
);
166 * Pairs with the get in rdma_alloc_commit_uobject(), could
169 uverbs_uobject_put(uobj
);
173 * When aborting the stack kref remains owned by the core code, and is
174 * not transferred into the type. Pairs with the get in alloc_uobj
176 if (reason
== RDMA_REMOVE_ABORT
)
177 uverbs_uobject_put(uobj
);
183 * This calls uverbs_destroy_uobject() using the RDMA_REMOVE_DESTROY
184 * sequence. It should only be used from command callbacks. On success the
185 * caller must pair this with uobj_put_destroy(). This
186 * version requires the caller to have already obtained an
187 * LOOKUP_DESTROY uobject kref.
189 int uobj_destroy(struct ib_uobject
*uobj
, struct uverbs_attr_bundle
*attrs
)
191 struct ib_uverbs_file
*ufile
= attrs
->ufile
;
194 down_read(&ufile
->hw_destroy_rwsem
);
197 * Once the uobject is destroyed by RDMA_REMOVE_DESTROY then it is left
198 * write locked as the callers put it back with UVERBS_LOOKUP_DESTROY.
199 * This is because any other concurrent thread can still see the object
200 * in the xarray due to RCU. Leaving it locked ensures nothing else will
203 ret
= uverbs_try_lock_object(uobj
, UVERBS_LOOKUP_WRITE
);
207 ret
= uverbs_destroy_uobject(uobj
, RDMA_REMOVE_DESTROY
, attrs
);
209 atomic_set(&uobj
->usecnt
, 0);
214 up_read(&ufile
->hw_destroy_rwsem
);
219 * uobj_get_destroy destroys the HW object and returns a handle to the uobj
220 * with a NULL object pointer. The caller must pair this with
221 * uobj_put_destroy().
223 struct ib_uobject
*__uobj_get_destroy(const struct uverbs_api_object
*obj
,
224 u32 id
, struct uverbs_attr_bundle
*attrs
)
226 struct ib_uobject
*uobj
;
229 uobj
= rdma_lookup_get_uobject(obj
, attrs
->ufile
, id
,
230 UVERBS_LOOKUP_DESTROY
, attrs
);
234 ret
= uobj_destroy(uobj
, attrs
);
236 rdma_lookup_put_uobject(uobj
, UVERBS_LOOKUP_DESTROY
);
244 * Does both uobj_get_destroy() and uobj_put_destroy(). Returns 0 on success
245 * (negative errno on failure). For use by callers that do not need the uobj.
247 int __uobj_perform_destroy(const struct uverbs_api_object
*obj
, u32 id
,
248 struct uverbs_attr_bundle
*attrs
)
250 struct ib_uobject
*uobj
;
252 uobj
= __uobj_get_destroy(obj
, id
, attrs
);
254 return PTR_ERR(uobj
);
255 uobj_put_destroy(uobj
);
259 /* alloc_uobj must be undone by uverbs_destroy_uobject() */
260 static struct ib_uobject
*alloc_uobj(struct uverbs_attr_bundle
*attrs
,
261 const struct uverbs_api_object
*obj
)
263 struct ib_uverbs_file
*ufile
= attrs
->ufile
;
264 struct ib_uobject
*uobj
;
266 if (!attrs
->context
) {
267 struct ib_ucontext
*ucontext
=
268 ib_uverbs_get_ucontext_file(ufile
);
270 if (IS_ERR(ucontext
))
271 return ERR_CAST(ucontext
);
272 attrs
->context
= ucontext
;
275 uobj
= kzalloc(obj
->type_attrs
->obj_size
, GFP_KERNEL
);
277 return ERR_PTR(-ENOMEM
);
279 * user_handle should be filled by the handler,
280 * The object is added to the list in the commit stage.
283 uobj
->context
= attrs
->context
;
284 INIT_LIST_HEAD(&uobj
->list
);
285 uobj
->uapi_object
= obj
;
287 * Allocated objects start out as write locked to deny any other
288 * syscalls from accessing them until they are committed. See
289 * rdma_alloc_commit_uobject
291 atomic_set(&uobj
->usecnt
, -1);
292 kref_init(&uobj
->ref
);
297 static int idr_add_uobj(struct ib_uobject
*uobj
)
300 * We start with allocating an idr pointing to NULL. This represents an
301 * object which isn't initialized yet. We'll replace it later on with
302 * the real object once we commit.
304 return xa_alloc(&uobj
->ufile
->idr
, &uobj
->id
, NULL
, xa_limit_32b
,
308 /* Returns the ib_uobject or an error. The caller should check for IS_ERR. */
309 static struct ib_uobject
*
310 lookup_get_idr_uobject(const struct uverbs_api_object
*obj
,
311 struct ib_uverbs_file
*ufile
, s64 id
,
312 enum rdma_lookup_mode mode
)
314 struct ib_uobject
*uobj
;
316 if (id
< 0 || id
> ULONG_MAX
)
317 return ERR_PTR(-EINVAL
);
321 * The idr_find is guaranteed to return a pointer to something that
322 * isn't freed yet, or NULL, as the free after idr_remove goes through
323 * kfree_rcu(). However the object may still have been released and
324 * kfree() could be called at any time.
326 uobj
= xa_load(&ufile
->idr
, id
);
327 if (!uobj
|| !kref_get_unless_zero(&uobj
->ref
))
328 uobj
= ERR_PTR(-ENOENT
);
333 static struct ib_uobject
*
334 lookup_get_fd_uobject(const struct uverbs_api_object
*obj
,
335 struct ib_uverbs_file
*ufile
, s64 id
,
336 enum rdma_lookup_mode mode
)
338 const struct uverbs_obj_fd_type
*fd_type
;
340 struct ib_uobject
*uobject
;
344 return ERR_PTR(-EINVAL
);
346 if (mode
!= UVERBS_LOOKUP_READ
)
347 return ERR_PTR(-EOPNOTSUPP
);
349 if (!obj
->type_attrs
)
350 return ERR_PTR(-EIO
);
352 container_of(obj
->type_attrs
, struct uverbs_obj_fd_type
, type
);
356 return ERR_PTR(-EBADF
);
358 uobject
= f
->private_data
;
360 * fget(id) ensures we are not currently running
361 * uverbs_uobject_fd_release(), and the caller is expected to ensure
362 * that release is never done while a call to lookup is possible.
364 if (f
->f_op
!= fd_type
->fops
|| uobject
->ufile
!= ufile
) {
366 return ERR_PTR(-EBADF
);
369 uverbs_uobject_get(uobject
);
373 struct ib_uobject
*rdma_lookup_get_uobject(const struct uverbs_api_object
*obj
,
374 struct ib_uverbs_file
*ufile
, s64 id
,
375 enum rdma_lookup_mode mode
,
376 struct uverbs_attr_bundle
*attrs
)
378 struct ib_uobject
*uobj
;
381 if (obj
== ERR_PTR(-ENOMSG
)) {
382 /* must be UVERBS_IDR_ANY_OBJECT, see uapi_get_object() */
383 uobj
= lookup_get_idr_uobject(NULL
, ufile
, id
, mode
);
388 return ERR_PTR(-EINVAL
);
390 uobj
= obj
->type_class
->lookup_get(obj
, ufile
, id
, mode
);
394 if (uobj
->uapi_object
!= obj
) {
401 * If we have been disassociated block every command except for
402 * DESTROY based commands.
404 if (mode
!= UVERBS_LOOKUP_DESTROY
&&
405 !srcu_dereference(ufile
->device
->ib_dev
,
406 &ufile
->device
->disassociate_srcu
)) {
411 ret
= uverbs_try_lock_object(uobj
, mode
);
415 attrs
->context
= uobj
->context
;
419 uobj
->uapi_object
->type_class
->lookup_put(uobj
, mode
);
420 uverbs_uobject_put(uobj
);
424 static struct ib_uobject
*
425 alloc_begin_idr_uobject(const struct uverbs_api_object
*obj
,
426 struct uverbs_attr_bundle
*attrs
)
429 struct ib_uobject
*uobj
;
431 uobj
= alloc_uobj(attrs
, obj
);
435 ret
= idr_add_uobj(uobj
);
439 ret
= ib_rdmacg_try_charge(&uobj
->cg_obj
, uobj
->context
->device
,
440 RDMACG_RESOURCE_HCA_OBJECT
);
447 xa_erase(&attrs
->ufile
->idr
, uobj
->id
);
449 uverbs_uobject_put(uobj
);
453 static struct ib_uobject
*
454 alloc_begin_fd_uobject(const struct uverbs_api_object
*obj
,
455 struct uverbs_attr_bundle
*attrs
)
457 const struct uverbs_obj_fd_type
*fd_type
;
459 struct ib_uobject
*uobj
, *ret
;
462 uobj
= alloc_uobj(attrs
, obj
);
467 container_of(obj
->type_attrs
, struct uverbs_obj_fd_type
, type
);
468 if (WARN_ON(fd_type
->fops
->release
!= &uverbs_uobject_fd_release
&&
469 fd_type
->fops
->release
!= &uverbs_async_event_release
)) {
470 ret
= ERR_PTR(-EINVAL
);
474 new_fd
= get_unused_fd_flags(O_CLOEXEC
);
476 ret
= ERR_PTR(new_fd
);
480 /* Note that uverbs_uobject_fd_release() is called during abort */
481 filp
= anon_inode_getfile(fd_type
->name
, fd_type
->fops
, NULL
,
484 ret
= ERR_CAST(filp
);
493 put_unused_fd(new_fd
);
495 uverbs_uobject_put(uobj
);
499 struct ib_uobject
*rdma_alloc_begin_uobject(const struct uverbs_api_object
*obj
,
500 struct uverbs_attr_bundle
*attrs
)
502 struct ib_uverbs_file
*ufile
= attrs
->ufile
;
503 struct ib_uobject
*ret
;
506 return ERR_PTR(-EINVAL
);
509 * The hw_destroy_rwsem is held across the entire object creation and
510 * released during rdma_alloc_commit_uobject or
511 * rdma_alloc_abort_uobject
513 if (!down_read_trylock(&ufile
->hw_destroy_rwsem
))
514 return ERR_PTR(-EIO
);
516 ret
= obj
->type_class
->alloc_begin(obj
, attrs
);
518 up_read(&ufile
->hw_destroy_rwsem
);
524 static void alloc_abort_idr_uobject(struct ib_uobject
*uobj
)
526 ib_rdmacg_uncharge(&uobj
->cg_obj
, uobj
->context
->device
,
527 RDMACG_RESOURCE_HCA_OBJECT
);
529 xa_erase(&uobj
->ufile
->idr
, uobj
->id
);
532 static int __must_check
destroy_hw_idr_uobject(struct ib_uobject
*uobj
,
533 enum rdma_remove_reason why
,
534 struct uverbs_attr_bundle
*attrs
)
536 const struct uverbs_obj_idr_type
*idr_type
=
537 container_of(uobj
->uapi_object
->type_attrs
,
538 struct uverbs_obj_idr_type
, type
);
539 int ret
= idr_type
->destroy_object(uobj
, why
, attrs
);
544 if (why
== RDMA_REMOVE_ABORT
)
547 ib_rdmacg_uncharge(&uobj
->cg_obj
, uobj
->context
->device
,
548 RDMACG_RESOURCE_HCA_OBJECT
);
553 static void remove_handle_idr_uobject(struct ib_uobject
*uobj
)
555 xa_erase(&uobj
->ufile
->idr
, uobj
->id
);
556 /* Matches the kref in alloc_commit_idr_uobject */
557 uverbs_uobject_put(uobj
);
560 static void alloc_abort_fd_uobject(struct ib_uobject
*uobj
)
562 struct file
*filp
= uobj
->object
;
565 put_unused_fd(uobj
->id
);
568 static int __must_check
destroy_hw_fd_uobject(struct ib_uobject
*uobj
,
569 enum rdma_remove_reason why
,
570 struct uverbs_attr_bundle
*attrs
)
572 const struct uverbs_obj_fd_type
*fd_type
= container_of(
573 uobj
->uapi_object
->type_attrs
, struct uverbs_obj_fd_type
, type
);
575 fd_type
->destroy_object(uobj
, why
);
579 static void remove_handle_fd_uobject(struct ib_uobject
*uobj
)
583 static void alloc_commit_idr_uobject(struct ib_uobject
*uobj
)
585 struct ib_uverbs_file
*ufile
= uobj
->ufile
;
589 * We already allocated this IDR with a NULL object, so
590 * this shouldn't fail.
592 * NOTE: Storing the uobj transfers our kref on uobj to the XArray.
593 * It will be put by remove_commit_idr_uobject()
595 old
= xa_store(&ufile
->idr
, uobj
->id
, uobj
, GFP_KERNEL
);
596 WARN_ON(old
!= NULL
);
599 static void swap_idr_uobjects(struct ib_uobject
*obj_old
,
600 struct ib_uobject
*obj_new
)
602 struct ib_uverbs_file
*ufile
= obj_old
->ufile
;
606 * New must be an object that been allocated but not yet committed, this
607 * moves the pre-committed state to obj_old, new still must be comitted.
609 old
= xa_cmpxchg(&ufile
->idr
, obj_old
->id
, obj_old
, XA_ZERO_ENTRY
,
611 if (WARN_ON(old
!= obj_old
))
614 swap(obj_old
->id
, obj_new
->id
);
616 old
= xa_cmpxchg(&ufile
->idr
, obj_old
->id
, NULL
, obj_old
, GFP_KERNEL
);
617 WARN_ON(old
!= NULL
);
620 static void alloc_commit_fd_uobject(struct ib_uobject
*uobj
)
623 struct file
*filp
= uobj
->object
;
625 /* Matching put will be done in uverbs_uobject_fd_release() */
626 kref_get(&uobj
->ufile
->ref
);
628 /* This shouldn't be used anymore. Use the file object instead */
632 * NOTE: Once we install the file we loose ownership of our kref on
633 * uobj. It will be put by uverbs_uobject_fd_release()
635 filp
->private_data
= uobj
;
636 fd_install(fd
, filp
);
640 * In all cases rdma_alloc_commit_uobject() consumes the kref to uobj and the
641 * caller can no longer assume uobj is valid. If this function fails it
642 * destroys the uboject, including the attached HW object.
644 void rdma_alloc_commit_uobject(struct ib_uobject
*uobj
,
645 struct uverbs_attr_bundle
*attrs
)
647 struct ib_uverbs_file
*ufile
= attrs
->ufile
;
649 /* kref is held so long as the uobj is on the uobj list. */
650 uverbs_uobject_get(uobj
);
651 spin_lock_irq(&ufile
->uobjects_lock
);
652 list_add(&uobj
->list
, &ufile
->uobjects
);
653 spin_unlock_irq(&ufile
->uobjects_lock
);
655 /* matches atomic_set(-1) in alloc_uobj */
656 atomic_set(&uobj
->usecnt
, 0);
658 /* alloc_commit consumes the uobj kref */
659 uobj
->uapi_object
->type_class
->alloc_commit(uobj
);
661 /* Matches the down_read in rdma_alloc_begin_uobject */
662 up_read(&ufile
->hw_destroy_rwsem
);
666 * new_uobj will be assigned to the handle currently used by to_uobj, and
667 * to_uobj will be destroyed.
669 * Upon return the caller must do:
670 * rdma_alloc_commit_uobject(new_uobj)
671 * uobj_put_destroy(to_uobj)
673 * to_uobj must have a write get but the put mode switches to destroy once
676 void rdma_assign_uobject(struct ib_uobject
*to_uobj
, struct ib_uobject
*new_uobj
,
677 struct uverbs_attr_bundle
*attrs
)
679 assert_uverbs_usecnt(new_uobj
, UVERBS_LOOKUP_WRITE
);
681 if (WARN_ON(to_uobj
->uapi_object
!= new_uobj
->uapi_object
||
682 !to_uobj
->uapi_object
->type_class
->swap_uobjects
))
685 to_uobj
->uapi_object
->type_class
->swap_uobjects(to_uobj
, new_uobj
);
688 * If this fails then the uobject is still completely valid (though with
689 * a new ID) and we leak it until context close.
691 uverbs_destroy_uobject(to_uobj
, RDMA_REMOVE_DESTROY
, attrs
);
695 * This consumes the kref for uobj. It is up to the caller to unwind the HW
696 * object and anything else connected to uobj before calling this.
698 void rdma_alloc_abort_uobject(struct ib_uobject
*uobj
,
699 struct uverbs_attr_bundle
*attrs
,
702 struct ib_uverbs_file
*ufile
= uobj
->ufile
;
706 ret
= uobj
->uapi_object
->type_class
->destroy_hw(
707 uobj
, RDMA_REMOVE_ABORT
, attrs
);
709 * If the driver couldn't destroy the object then go ahead and
710 * commit it. Leaking objects that can't be destroyed is only
711 * done during FD close after the driver has a few more tries to
715 return rdma_alloc_commit_uobject(uobj
, attrs
);
718 uverbs_destroy_uobject(uobj
, RDMA_REMOVE_ABORT
, attrs
);
720 /* Matches the down_read in rdma_alloc_begin_uobject */
721 up_read(&ufile
->hw_destroy_rwsem
);
724 static void lookup_put_idr_uobject(struct ib_uobject
*uobj
,
725 enum rdma_lookup_mode mode
)
729 static void lookup_put_fd_uobject(struct ib_uobject
*uobj
,
730 enum rdma_lookup_mode mode
)
732 struct file
*filp
= uobj
->object
;
734 WARN_ON(mode
!= UVERBS_LOOKUP_READ
);
736 * This indirectly calls uverbs_uobject_fd_release() and free the
742 void rdma_lookup_put_uobject(struct ib_uobject
*uobj
,
743 enum rdma_lookup_mode mode
)
745 assert_uverbs_usecnt(uobj
, mode
);
747 * In order to unlock an object, either decrease its usecnt for
748 * read access or zero it in case of exclusive access. See
749 * uverbs_try_lock_object for locking schema information.
752 case UVERBS_LOOKUP_READ
:
753 atomic_dec(&uobj
->usecnt
);
755 case UVERBS_LOOKUP_WRITE
:
756 atomic_set(&uobj
->usecnt
, 0);
758 case UVERBS_LOOKUP_DESTROY
:
762 uobj
->uapi_object
->type_class
->lookup_put(uobj
, mode
);
763 /* Pairs with the kref obtained by type->lookup_get */
764 uverbs_uobject_put(uobj
);
767 void setup_ufile_idr_uobject(struct ib_uverbs_file
*ufile
)
769 xa_init_flags(&ufile
->idr
, XA_FLAGS_ALLOC
);
772 void release_ufile_idr_uobject(struct ib_uverbs_file
*ufile
)
774 struct ib_uobject
*entry
;
778 * At this point uverbs_cleanup_ufile() is guaranteed to have run, and
779 * there are no HW objects left, however the xarray is still populated
780 * with anything that has not been cleaned up by userspace. Since the
781 * kref on ufile is 0, nothing is allowed to call lookup_get.
783 * This is an optimized equivalent to remove_handle_idr_uobject
785 xa_for_each(&ufile
->idr
, id
, entry
) {
786 WARN_ON(entry
->object
);
787 uverbs_uobject_put(entry
);
790 xa_destroy(&ufile
->idr
);
793 const struct uverbs_obj_type_class uverbs_idr_class
= {
794 .alloc_begin
= alloc_begin_idr_uobject
,
795 .lookup_get
= lookup_get_idr_uobject
,
796 .alloc_commit
= alloc_commit_idr_uobject
,
797 .alloc_abort
= alloc_abort_idr_uobject
,
798 .lookup_put
= lookup_put_idr_uobject
,
799 .destroy_hw
= destroy_hw_idr_uobject
,
800 .remove_handle
= remove_handle_idr_uobject
,
801 .swap_uobjects
= swap_idr_uobjects
,
803 EXPORT_SYMBOL(uverbs_idr_class
);
806 * Users of UVERBS_TYPE_ALLOC_FD should set this function as the struct
807 * file_operations release method.
809 int uverbs_uobject_fd_release(struct inode
*inode
, struct file
*filp
)
811 struct ib_uverbs_file
*ufile
;
812 struct ib_uobject
*uobj
;
815 * This can only happen if the fput came from alloc_abort_fd_uobject()
817 if (!filp
->private_data
)
819 uobj
= filp
->private_data
;
822 if (down_read_trylock(&ufile
->hw_destroy_rwsem
)) {
823 struct uverbs_attr_bundle attrs
= {
824 .context
= uobj
->context
,
829 * lookup_get_fd_uobject holds the kref on the struct file any
830 * time a FD uobj is locked, which prevents this release
831 * method from being invoked. Meaning we can always get the
832 * write lock here, or we have a kernel bug.
834 WARN_ON(uverbs_try_lock_object(uobj
, UVERBS_LOOKUP_WRITE
));
835 uverbs_destroy_uobject(uobj
, RDMA_REMOVE_CLOSE
, &attrs
);
836 up_read(&ufile
->hw_destroy_rwsem
);
839 /* Matches the get in alloc_commit_fd_uobject() */
840 kref_put(&ufile
->ref
, ib_uverbs_release_file
);
842 /* Pairs with filp->private_data in alloc_begin_fd_uobject */
843 uverbs_uobject_put(uobj
);
846 EXPORT_SYMBOL(uverbs_uobject_fd_release
);
849 * Drop the ucontext off the ufile and completely disconnect it from the
852 static void ufile_destroy_ucontext(struct ib_uverbs_file
*ufile
,
853 enum rdma_remove_reason reason
)
855 struct ib_ucontext
*ucontext
= ufile
->ucontext
;
856 struct ib_device
*ib_dev
= ucontext
->device
;
859 * If we are closing the FD then the user mmap VMAs must have
860 * already been destroyed as they hold on to the filep, otherwise
861 * they need to be zap'd.
863 if (reason
== RDMA_REMOVE_DRIVER_REMOVE
) {
864 uverbs_user_mmap_disassociate(ufile
);
865 if (ib_dev
->ops
.disassociate_ucontext
)
866 ib_dev
->ops
.disassociate_ucontext(ucontext
);
869 ib_rdmacg_uncharge(&ucontext
->cg_obj
, ib_dev
,
870 RDMACG_RESOURCE_HCA_HANDLE
);
872 rdma_restrack_del(&ucontext
->res
);
874 ib_dev
->ops
.dealloc_ucontext(ucontext
);
875 WARN_ON(!xa_empty(&ucontext
->mmap_xa
));
878 ufile
->ucontext
= NULL
;
881 static int __uverbs_cleanup_ufile(struct ib_uverbs_file
*ufile
,
882 enum rdma_remove_reason reason
)
884 struct uverbs_attr_bundle attrs
= { .ufile
= ufile
};
885 struct ib_ucontext
*ucontext
= ufile
->ucontext
;
886 struct ib_device
*ib_dev
= ucontext
->device
;
887 struct ib_uobject
*obj
, *next_obj
;
890 if (ib_dev
->ops
.ufile_hw_cleanup
)
891 ib_dev
->ops
.ufile_hw_cleanup(ufile
);
894 * This shouldn't run while executing other commands on this
895 * context. Thus, the only thing we should take care of is
896 * releasing a FD while traversing this list. The FD could be
897 * closed and released from the _release fop of this FD.
898 * In order to mitigate this, we add a lock.
899 * We take and release the lock per traversal in order to let
900 * other threads (which might still use the FDs) chance to run.
902 list_for_each_entry_safe(obj
, next_obj
, &ufile
->uobjects
, list
) {
903 attrs
.context
= obj
->context
;
905 * if we hit this WARN_ON, that means we are
906 * racing with a lookup_get.
908 WARN_ON(uverbs_try_lock_object(obj
, UVERBS_LOOKUP_WRITE
));
909 if (reason
== RDMA_REMOVE_DRIVER_FAILURE
)
911 if (!uverbs_destroy_uobject(obj
, reason
, &attrs
))
914 atomic_set(&obj
->usecnt
, 0);
917 if (reason
== RDMA_REMOVE_DRIVER_FAILURE
) {
918 WARN_ON(!list_empty(&ufile
->uobjects
));
925 * Destroy the ucontext and every uobject associated with it.
927 * This is internally locked and can be called in parallel from multiple
930 void uverbs_destroy_ufile_hw(struct ib_uverbs_file
*ufile
,
931 enum rdma_remove_reason reason
)
933 down_write(&ufile
->hw_destroy_rwsem
);
936 * If a ucontext was never created then we can't have any uobjects to
937 * cleanup, nothing to do.
939 if (!ufile
->ucontext
)
942 while (!list_empty(&ufile
->uobjects
) &&
943 !__uverbs_cleanup_ufile(ufile
, reason
)) {
946 if (WARN_ON(!list_empty(&ufile
->uobjects
)))
947 __uverbs_cleanup_ufile(ufile
, RDMA_REMOVE_DRIVER_FAILURE
);
948 ufile_destroy_ucontext(ufile
, reason
);
951 up_write(&ufile
->hw_destroy_rwsem
);
954 const struct uverbs_obj_type_class uverbs_fd_class
= {
955 .alloc_begin
= alloc_begin_fd_uobject
,
956 .lookup_get
= lookup_get_fd_uobject
,
957 .alloc_commit
= alloc_commit_fd_uobject
,
958 .alloc_abort
= alloc_abort_fd_uobject
,
959 .lookup_put
= lookup_put_fd_uobject
,
960 .destroy_hw
= destroy_hw_fd_uobject
,
961 .remove_handle
= remove_handle_fd_uobject
,
963 EXPORT_SYMBOL(uverbs_fd_class
);
966 uverbs_get_uobject_from_file(u16 object_id
, enum uverbs_obj_access access
,
967 s64 id
, struct uverbs_attr_bundle
*attrs
)
969 const struct uverbs_api_object
*obj
=
970 uapi_get_object(attrs
->ufile
->device
->uapi
, object_id
);
973 case UVERBS_ACCESS_READ
:
974 return rdma_lookup_get_uobject(obj
, attrs
->ufile
, id
,
975 UVERBS_LOOKUP_READ
, attrs
);
976 case UVERBS_ACCESS_DESTROY
:
977 /* Actual destruction is done inside uverbs_handle_method */
978 return rdma_lookup_get_uobject(obj
, attrs
->ufile
, id
,
979 UVERBS_LOOKUP_DESTROY
, attrs
);
980 case UVERBS_ACCESS_WRITE
:
981 return rdma_lookup_get_uobject(obj
, attrs
->ufile
, id
,
982 UVERBS_LOOKUP_WRITE
, attrs
);
983 case UVERBS_ACCESS_NEW
:
984 return rdma_alloc_begin_uobject(obj
, attrs
);
987 return ERR_PTR(-EOPNOTSUPP
);
991 void uverbs_finalize_object(struct ib_uobject
*uobj
,
992 enum uverbs_obj_access access
, bool hw_obj_valid
,
993 bool commit
, struct uverbs_attr_bundle
*attrs
)
996 * refcounts should be handled at the object level and not at the
997 * uobject level. Refcounts of the objects themselves are done in
1002 case UVERBS_ACCESS_READ
:
1003 rdma_lookup_put_uobject(uobj
, UVERBS_LOOKUP_READ
);
1005 case UVERBS_ACCESS_WRITE
:
1006 rdma_lookup_put_uobject(uobj
, UVERBS_LOOKUP_WRITE
);
1008 case UVERBS_ACCESS_DESTROY
:
1010 rdma_lookup_put_uobject(uobj
, UVERBS_LOOKUP_DESTROY
);
1012 case UVERBS_ACCESS_NEW
:
1014 rdma_alloc_commit_uobject(uobj
, attrs
);
1016 rdma_alloc_abort_uobject(uobj
, attrs
, hw_obj_valid
);