1 /*
2 * Copyright (c) 2016, Mellanox Technologies inc. All rights reserved.
3 *
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:
9 *
10 * Redistribution and use in source and binary forms, with or
11 * without modification, are permitted provided that the following
12 * conditions are met:
13 *
14 * - Redistributions of source code must retain the above
15 * copyright notice, this list of conditions and the following
16 * disclaimer.
17 *
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.
22 *
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
30 * SOFTWARE.
31 */
32
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>
41 #include "uverbs.h"
42 #include "core_priv.h"
43 #include "rdma_core.h"
44
uverbs_uobject_get(struct ib_uobject * uobject)45 void uverbs_uobject_get(struct ib_uobject *uobject)
46 {
47 kref_get(&uobject->ref);
48 }
49
uverbs_uobject_free(struct kref * ref)50 static void uverbs_uobject_free(struct kref *ref)
51 {
52 struct ib_uobject *uobj =
53 container_of(ref, struct ib_uobject, ref);
54
55 if (uobj->uapi_object->type_class->needs_kfree_rcu)
56 kfree_rcu(uobj, rcu);
57 else
58 kfree(uobj);
59 }
60
uverbs_uobject_put(struct ib_uobject * uobject)61 void uverbs_uobject_put(struct ib_uobject *uobject)
62 {
63 kref_put(&uobject->ref, uverbs_uobject_free);
64 }
65
uverbs_try_lock_object(struct ib_uobject * uobj,enum rdma_lookup_mode mode)66 static int uverbs_try_lock_object(struct ib_uobject *uobj,
67 enum rdma_lookup_mode mode)
68 {
69 /*
70 * When a shared access is required, we use a positive counter. Each
71 * shared access request checks that the value != -1 and increment it.
72 * Exclusive access is required for operations like write or destroy.
73 * In exclusive access mode, we check that the counter is zero (nobody
74 * claimed this object) and we set it to -1. Releasing a shared access
75 * lock is done simply by decreasing the counter. As for exclusive
76 * access locks, since only a single one of them is is allowed
77 * concurrently, setting the counter to zero is enough for releasing
78 * this lock.
79 */
80 switch (mode) {
81 case UVERBS_LOOKUP_READ:
82 return atomic_fetch_add_unless(&uobj->usecnt, 1, -1) == -1 ?
83 -EBUSY : 0;
84 case UVERBS_LOOKUP_WRITE:
85 /* lock is exclusive */
86 return atomic_cmpxchg(&uobj->usecnt, 0, -1) == 0 ? 0 : -EBUSY;
87 case UVERBS_LOOKUP_DESTROY:
88 return 0;
89 }
90 return 0;
91 }
92
assert_uverbs_usecnt(struct ib_uobject * uobj,enum rdma_lookup_mode mode)93 static void assert_uverbs_usecnt(struct ib_uobject *uobj,
94 enum rdma_lookup_mode mode)
95 {
96 #ifdef CONFIG_LOCKDEP
97 switch (mode) {
98 case UVERBS_LOOKUP_READ:
99 WARN_ON(atomic_read(&uobj->usecnt) <= 0);
100 break;
101 case UVERBS_LOOKUP_WRITE:
102 WARN_ON(atomic_read(&uobj->usecnt) != -1);
103 break;
104 case UVERBS_LOOKUP_DESTROY:
105 break;
106 }
107 #endif
108 }
109
110 /*
111 * This must be called with the hw_destroy_rwsem locked for read or write,
112 * also the uobject itself must be locked for write.
113 *
114 * Upon return the HW object is guaranteed to be destroyed.
115 *
116 * For RDMA_REMOVE_ABORT, the hw_destroy_rwsem is not required to be held,
117 * however the type's allocat_commit function cannot have been called and the
118 * uobject cannot be on the uobjects_lists
119 *
120 * For RDMA_REMOVE_DESTROY the caller shold be holding a kref (eg via
121 * rdma_lookup_get_uobject) and the object is left in a state where the caller
122 * needs to call rdma_lookup_put_uobject.
123 *
124 * For all other destroy modes this function internally unlocks the uobject
125 * and consumes the kref on the uobj.
126 */
uverbs_destroy_uobject(struct ib_uobject * uobj,enum rdma_remove_reason reason)127 static int uverbs_destroy_uobject(struct ib_uobject *uobj,
128 enum rdma_remove_reason reason)
129 {
130 struct ib_uverbs_file *ufile = uobj->ufile;
131 unsigned long flags;
132 int ret;
133
134 lockdep_assert_held(&ufile->hw_destroy_rwsem);
135 assert_uverbs_usecnt(uobj, UVERBS_LOOKUP_WRITE);
136
137 if (uobj->object) {
138 ret = uobj->uapi_object->type_class->destroy_hw(uobj, reason);
139 if (ret) {
140 if (ib_is_destroy_retryable(ret, reason, uobj))
141 return ret;
142
143 /* Nothing to be done, dangle the memory and move on */
144 WARN(true,
145 "ib_uverbs: failed to remove uobject id %d, driver err=%d",
146 uobj->id, ret);
147 }
148
149 uobj->object = NULL;
150 }
151
152 if (reason == RDMA_REMOVE_ABORT) {
153 WARN_ON(!list_empty(&uobj->list));
154 WARN_ON(!uobj->context);
155 uobj->uapi_object->type_class->alloc_abort(uobj);
156 }
157
158 uobj->context = NULL;
159
160 /*
161 * For DESTROY the usecnt is not changed, the caller is expected to
162 * manage it via uobj_put_destroy(). Only DESTROY can remove the IDR
163 * handle.
164 */
165 if (reason != RDMA_REMOVE_DESTROY)
166 atomic_set(&uobj->usecnt, 0);
167 else
168 uobj->uapi_object->type_class->remove_handle(uobj);
169
170 if (!list_empty(&uobj->list)) {
171 spin_lock_irqsave(&ufile->uobjects_lock, flags);
172 list_del_init(&uobj->list);
173 spin_unlock_irqrestore(&ufile->uobjects_lock, flags);
174
175 /*
176 * Pairs with the get in rdma_alloc_commit_uobject(), could
177 * destroy uobj.
178 */
179 uverbs_uobject_put(uobj);
180 }
181
182 /*
183 * When aborting the stack kref remains owned by the core code, and is
184 * not transferred into the type. Pairs with the get in alloc_uobj
185 */
186 if (reason == RDMA_REMOVE_ABORT)
187 uverbs_uobject_put(uobj);
188
189 return 0;
190 }
191
192 /*
193 * This calls uverbs_destroy_uobject() using the RDMA_REMOVE_DESTROY
194 * sequence. It should only be used from command callbacks. On success the
195 * caller must pair this with uobj_put_destroy(). This
196 * version requires the caller to have already obtained an
197 * LOOKUP_DESTROY uobject kref.
198 */
uobj_destroy(struct ib_uobject * uobj)199 int uobj_destroy(struct ib_uobject *uobj)
200 {
201 struct ib_uverbs_file *ufile = uobj->ufile;
202 int ret;
203
204 down_read(&ufile->hw_destroy_rwsem);
205
206 /*
207 * Once the uobject is destroyed by RDMA_REMOVE_DESTROY then it is left
208 * write locked as the callers put it back with UVERBS_LOOKUP_DESTROY.
209 * This is because any other concurrent thread can still see the object
210 * in the xarray due to RCU. Leaving it locked ensures nothing else will
211 * touch it.
212 */
213 ret = uverbs_try_lock_object(uobj, UVERBS_LOOKUP_WRITE);
214 if (ret)
215 goto out_unlock;
216
217 ret = uverbs_destroy_uobject(uobj, RDMA_REMOVE_DESTROY);
218 if (ret) {
219 atomic_set(&uobj->usecnt, 0);
220 goto out_unlock;
221 }
222
223 out_unlock:
224 up_read(&ufile->hw_destroy_rwsem);
225 return ret;
226 }
227
228 /*
229 * uobj_get_destroy destroys the HW object and returns a handle to the uobj
230 * with a NULL object pointer. The caller must pair this with
231 * uobj_put_destroy().
232 */
__uobj_get_destroy(const struct uverbs_api_object * obj,u32 id,struct ib_uverbs_file * ufile)233 struct ib_uobject *__uobj_get_destroy(const struct uverbs_api_object *obj,
234 u32 id, struct ib_uverbs_file *ufile)
235 {
236 struct ib_uobject *uobj;
237 int ret;
238
239 uobj = rdma_lookup_get_uobject(obj, ufile, id, UVERBS_LOOKUP_DESTROY);
240 if (IS_ERR(uobj))
241 return uobj;
242
243 ret = uobj_destroy(uobj);
244 if (ret) {
245 rdma_lookup_put_uobject(uobj, UVERBS_LOOKUP_DESTROY);
246 return ERR_PTR(ret);
247 }
248
249 return uobj;
250 }
251
252 /*
253 * Does both uobj_get_destroy() and uobj_put_destroy(). Returns success_res
254 * on success (negative errno on failure). For use by callers that do not need
255 * the uobj.
256 */
__uobj_perform_destroy(const struct uverbs_api_object * obj,u32 id,struct ib_uverbs_file * ufile,int success_res)257 int __uobj_perform_destroy(const struct uverbs_api_object *obj, u32 id,
258 struct ib_uverbs_file *ufile, int success_res)
259 {
260 struct ib_uobject *uobj;
261
262 uobj = __uobj_get_destroy(obj, id, ufile);
263 if (IS_ERR(uobj))
264 return PTR_ERR(uobj);
265
266 uobj_put_destroy(uobj);
267 return success_res;
268 }
269
270 /* alloc_uobj must be undone by uverbs_destroy_uobject() */
alloc_uobj(struct ib_uverbs_file * ufile,const struct uverbs_api_object * obj)271 static struct ib_uobject *alloc_uobj(struct ib_uverbs_file *ufile,
272 const struct uverbs_api_object *obj)
273 {
274 struct ib_uobject *uobj;
275 struct ib_ucontext *ucontext;
276
277 ucontext = ib_uverbs_get_ucontext(ufile);
278 if (IS_ERR(ucontext))
279 return ERR_CAST(ucontext);
280
281 uobj = kzalloc(obj->type_attrs->obj_size, GFP_KERNEL);
282 if (!uobj)
283 return ERR_PTR(-ENOMEM);
284 /*
285 * user_handle should be filled by the handler,
286 * The object is added to the list in the commit stage.
287 */
288 uobj->ufile = ufile;
289 uobj->context = ucontext;
290 INIT_LIST_HEAD(&uobj->list);
291 uobj->uapi_object = obj;
292 /*
293 * Allocated objects start out as write locked to deny any other
294 * syscalls from accessing them until they are committed. See
295 * rdma_alloc_commit_uobject
296 */
297 atomic_set(&uobj->usecnt, -1);
298 kref_init(&uobj->ref);
299
300 return uobj;
301 }
302
idr_add_uobj(struct ib_uobject * uobj)303 static int idr_add_uobj(struct ib_uobject *uobj)
304 {
305 int ret;
306
307 idr_preload(GFP_KERNEL);
308 spin_lock(&uobj->ufile->idr_lock);
309
310 /*
311 * We start with allocating an idr pointing to NULL. This represents an
312 * object which isn't initialized yet. We'll replace it later on with
313 * the real object once we commit.
314 */
315 ret = idr_alloc(&uobj->ufile->idr, NULL, 0,
316 min_t(unsigned long, U32_MAX - 1, INT_MAX), GFP_NOWAIT);
317 if (ret >= 0)
318 uobj->id = ret;
319
320 spin_unlock(&uobj->ufile->idr_lock);
321 idr_preload_end();
322
323 return ret < 0 ? ret : 0;
324 }
325
326 /* Returns the ib_uobject or an error. The caller should check for IS_ERR. */
327 static struct ib_uobject *
lookup_get_idr_uobject(const struct uverbs_api_object * obj,struct ib_uverbs_file * ufile,s64 id,enum rdma_lookup_mode mode)328 lookup_get_idr_uobject(const struct uverbs_api_object *obj,
329 struct ib_uverbs_file *ufile, s64 id,
330 enum rdma_lookup_mode mode)
331 {
332 struct ib_uobject *uobj;
333 unsigned long idrno = id;
334
335 if (id < 0 || id > ULONG_MAX)
336 return ERR_PTR(-EINVAL);
337
338 rcu_read_lock();
339 /* object won't be released as we're protected in rcu */
340 uobj = idr_find(&ufile->idr, idrno);
341 if (!uobj) {
342 uobj = ERR_PTR(-ENOENT);
343 goto free;
344 }
345
346 /*
347 * The idr_find is guaranteed to return a pointer to something that
348 * isn't freed yet, or NULL, as the free after idr_remove goes through
349 * kfree_rcu(). However the object may still have been released and
350 * kfree() could be called at any time.
351 */
352 if (!kref_get_unless_zero(&uobj->ref))
353 uobj = ERR_PTR(-ENOENT);
354
355 free:
356 rcu_read_unlock();
357 return uobj;
358 }
359
360 static struct ib_uobject *
lookup_get_fd_uobject(const struct uverbs_api_object * obj,struct ib_uverbs_file * ufile,s64 id,enum rdma_lookup_mode mode)361 lookup_get_fd_uobject(const struct uverbs_api_object *obj,
362 struct ib_uverbs_file *ufile, s64 id,
363 enum rdma_lookup_mode mode)
364 {
365 const struct uverbs_obj_fd_type *fd_type;
366 struct file *f;
367 struct ib_uobject *uobject;
368 int fdno = id;
369
370 if (fdno != id)
371 return ERR_PTR(-EINVAL);
372
373 if (mode != UVERBS_LOOKUP_READ)
374 return ERR_PTR(-EOPNOTSUPP);
375
376 if (!obj->type_attrs)
377 return ERR_PTR(-EIO);
378 fd_type =
379 container_of(obj->type_attrs, struct uverbs_obj_fd_type, type);
380
381 f = fget(fdno);
382 if (!f)
383 return ERR_PTR(-EBADF);
384
385 uobject = f->private_data;
386 /*
387 * fget(id) ensures we are not currently running uverbs_close_fd,
388 * and the caller is expected to ensure that uverbs_close_fd is never
389 * done while a call top lookup is possible.
390 */
391 if (f->f_op != fd_type->fops || uobject->ufile != ufile) {
392 fput(f);
393 return ERR_PTR(-EBADF);
394 }
395
396 uverbs_uobject_get(uobject);
397 return uobject;
398 }
399
rdma_lookup_get_uobject(const struct uverbs_api_object * obj,struct ib_uverbs_file * ufile,s64 id,enum rdma_lookup_mode mode)400 struct ib_uobject *rdma_lookup_get_uobject(const struct uverbs_api_object *obj,
401 struct ib_uverbs_file *ufile, s64 id,
402 enum rdma_lookup_mode mode)
403 {
404 struct ib_uobject *uobj;
405 int ret;
406
407 if (!obj)
408 return ERR_PTR(-EINVAL);
409
410 uobj = obj->type_class->lookup_get(obj, ufile, id, mode);
411 if (IS_ERR(uobj))
412 return uobj;
413
414 if (uobj->uapi_object != obj) {
415 ret = -EINVAL;
416 goto free;
417 }
418
419 /*
420 * If we have been disassociated block every command except for
421 * DESTROY based commands.
422 */
423 if (mode != UVERBS_LOOKUP_DESTROY &&
424 !srcu_dereference(ufile->device->ib_dev,
425 &ufile->device->disassociate_srcu)) {
426 ret = -EIO;
427 goto free;
428 }
429
430 ret = uverbs_try_lock_object(uobj, mode);
431 if (ret)
432 goto free;
433
434 return uobj;
435 free:
436 obj->type_class->lookup_put(uobj, mode);
437 uverbs_uobject_put(uobj);
438 return ERR_PTR(ret);
439 }
440
441 static struct ib_uobject *
alloc_begin_idr_uobject(const struct uverbs_api_object * obj,struct ib_uverbs_file * ufile)442 alloc_begin_idr_uobject(const struct uverbs_api_object *obj,
443 struct ib_uverbs_file *ufile)
444 {
445 int ret;
446 struct ib_uobject *uobj;
447
448 uobj = alloc_uobj(ufile, obj);
449 if (IS_ERR(uobj))
450 return uobj;
451
452 ret = idr_add_uobj(uobj);
453 if (ret)
454 goto uobj_put;
455
456 ret = ib_rdmacg_try_charge(&uobj->cg_obj, uobj->context->device,
457 RDMACG_RESOURCE_HCA_OBJECT);
458 if (ret)
459 goto idr_remove;
460
461 return uobj;
462
463 idr_remove:
464 spin_lock(&ufile->idr_lock);
465 idr_remove(&ufile->idr, uobj->id);
466 spin_unlock(&ufile->idr_lock);
467 uobj_put:
468 uverbs_uobject_put(uobj);
469 return ERR_PTR(ret);
470 }
471
472 static struct ib_uobject *
alloc_begin_fd_uobject(const struct uverbs_api_object * obj,struct ib_uverbs_file * ufile)473 alloc_begin_fd_uobject(const struct uverbs_api_object *obj,
474 struct ib_uverbs_file *ufile)
475 {
476 int new_fd;
477 struct ib_uobject *uobj;
478
479 new_fd = get_unused_fd_flags(O_CLOEXEC);
480 if (new_fd < 0)
481 return ERR_PTR(new_fd);
482
483 uobj = alloc_uobj(ufile, obj);
484 if (IS_ERR(uobj)) {
485 put_unused_fd(new_fd);
486 return uobj;
487 }
488
489 uobj->id = new_fd;
490 uobj->ufile = ufile;
491
492 return uobj;
493 }
494
rdma_alloc_begin_uobject(const struct uverbs_api_object * obj,struct ib_uverbs_file * ufile)495 struct ib_uobject *rdma_alloc_begin_uobject(const struct uverbs_api_object *obj,
496 struct ib_uverbs_file *ufile)
497 {
498 struct ib_uobject *ret;
499
500 if (!obj)
501 return ERR_PTR(-EINVAL);
502
503 /*
504 * The hw_destroy_rwsem is held across the entire object creation and
505 * released during rdma_alloc_commit_uobject or
506 * rdma_alloc_abort_uobject
507 */
508 if (!down_read_trylock(&ufile->hw_destroy_rwsem))
509 return ERR_PTR(-EIO);
510
511 ret = obj->type_class->alloc_begin(obj, ufile);
512 if (IS_ERR(ret)) {
513 up_read(&ufile->hw_destroy_rwsem);
514 return ret;
515 }
516 return ret;
517 }
518
alloc_abort_idr_uobject(struct ib_uobject * uobj)519 static void alloc_abort_idr_uobject(struct ib_uobject *uobj)
520 {
521 ib_rdmacg_uncharge(&uobj->cg_obj, uobj->context->device,
522 RDMACG_RESOURCE_HCA_OBJECT);
523
524 spin_lock(&uobj->ufile->idr_lock);
525 idr_remove(&uobj->ufile->idr, uobj->id);
526 spin_unlock(&uobj->ufile->idr_lock);
527 }
528
destroy_hw_idr_uobject(struct ib_uobject * uobj,enum rdma_remove_reason why)529 static int __must_check destroy_hw_idr_uobject(struct ib_uobject *uobj,
530 enum rdma_remove_reason why)
531 {
532 const struct uverbs_obj_idr_type *idr_type =
533 container_of(uobj->uapi_object->type_attrs,
534 struct uverbs_obj_idr_type, type);
535 int ret = idr_type->destroy_object(uobj, why);
536
537 /*
538 * We can only fail gracefully if the user requested to destroy the
539 * object or when a retry may be called upon an error.
540 * In the rest of the cases, just remove whatever you can.
541 */
542 if (ib_is_destroy_retryable(ret, why, uobj))
543 return ret;
544
545 if (why == RDMA_REMOVE_ABORT)
546 return 0;
547
548 ib_rdmacg_uncharge(&uobj->cg_obj, uobj->context->device,
549 RDMACG_RESOURCE_HCA_OBJECT);
550
551 return 0;
552 }
553
remove_handle_idr_uobject(struct ib_uobject * uobj)554 static void remove_handle_idr_uobject(struct ib_uobject *uobj)
555 {
556 spin_lock(&uobj->ufile->idr_lock);
557 idr_remove(&uobj->ufile->idr, uobj->id);
558 spin_unlock(&uobj->ufile->idr_lock);
559 /* Matches the kref in alloc_commit_idr_uobject */
560 uverbs_uobject_put(uobj);
561 }
562
alloc_abort_fd_uobject(struct ib_uobject * uobj)563 static void alloc_abort_fd_uobject(struct ib_uobject *uobj)
564 {
565 put_unused_fd(uobj->id);
566 }
567
destroy_hw_fd_uobject(struct ib_uobject * uobj,enum rdma_remove_reason why)568 static int __must_check destroy_hw_fd_uobject(struct ib_uobject *uobj,
569 enum rdma_remove_reason why)
570 {
571 const struct uverbs_obj_fd_type *fd_type = container_of(
572 uobj->uapi_object->type_attrs, struct uverbs_obj_fd_type, type);
573 int ret = fd_type->context_closed(uobj, why);
574
575 if (ib_is_destroy_retryable(ret, why, uobj))
576 return ret;
577
578 return 0;
579 }
580
remove_handle_fd_uobject(struct ib_uobject * uobj)581 static void remove_handle_fd_uobject(struct ib_uobject *uobj)
582 {
583 }
584
alloc_commit_idr_uobject(struct ib_uobject * uobj)585 static int alloc_commit_idr_uobject(struct ib_uobject *uobj)
586 {
587 struct ib_uverbs_file *ufile = uobj->ufile;
588
589 spin_lock(&ufile->idr_lock);
590 /*
591 * We already allocated this IDR with a NULL object, so
592 * this shouldn't fail.
593 *
594 * NOTE: Once we set the IDR we loose ownership of our kref on uobj.
595 * It will be put by remove_commit_idr_uobject()
596 */
597 WARN_ON(idr_replace(&ufile->idr, uobj, uobj->id));
598 spin_unlock(&ufile->idr_lock);
599
600 return 0;
601 }
602
alloc_commit_fd_uobject(struct ib_uobject * uobj)603 static int alloc_commit_fd_uobject(struct ib_uobject *uobj)
604 {
605 const struct uverbs_obj_fd_type *fd_type = container_of(
606 uobj->uapi_object->type_attrs, struct uverbs_obj_fd_type, type);
607 int fd = uobj->id;
608 struct file *filp;
609
610 /*
611 * The kref for uobj is moved into filp->private data and put in
612 * uverbs_close_fd(). Once alloc_commit() succeeds uverbs_close_fd()
613 * must be guaranteed to be called from the provided fops release
614 * callback.
615 */
616 filp = anon_inode_getfile(fd_type->name,
617 fd_type->fops,
618 uobj,
619 fd_type->flags);
620 if (IS_ERR(filp))
621 return PTR_ERR(filp);
622
623 uobj->object = filp;
624
625 /* Matching put will be done in uverbs_close_fd() */
626 kref_get(&uobj->ufile->ref);
627
628 /* This shouldn't be used anymore. Use the file object instead */
629 uobj->id = 0;
630
631 /*
632 * NOTE: Once we install the file we loose ownership of our kref on
633 * uobj. It will be put by uverbs_close_fd()
634 */
635 fd_install(fd, filp);
636
637 return 0;
638 }
639
640 /*
641 * In all cases rdma_alloc_commit_uobject() consumes the kref to uobj and the
642 * caller can no longer assume uobj is valid. If this function fails it
643 * destroys the uboject, including the attached HW object.
644 */
rdma_alloc_commit_uobject(struct ib_uobject * uobj)645 int __must_check rdma_alloc_commit_uobject(struct ib_uobject *uobj)
646 {
647 struct ib_uverbs_file *ufile = uobj->ufile;
648 int ret;
649
650 /* alloc_commit consumes the uobj kref */
651 ret = uobj->uapi_object->type_class->alloc_commit(uobj);
652 if (ret) {
653 uverbs_destroy_uobject(uobj, RDMA_REMOVE_ABORT);
654 up_read(&ufile->hw_destroy_rwsem);
655 return ret;
656 }
657
658 /* kref is held so long as the uobj is on the uobj list. */
659 uverbs_uobject_get(uobj);
660 spin_lock_irq(&ufile->uobjects_lock);
661 list_add(&uobj->list, &ufile->uobjects);
662 spin_unlock_irq(&ufile->uobjects_lock);
663
664 /* matches atomic_set(-1) in alloc_uobj */
665 atomic_set(&uobj->usecnt, 0);
666
667 /* Matches the down_read in rdma_alloc_begin_uobject */
668 up_read(&ufile->hw_destroy_rwsem);
669
670 return 0;
671 }
672
673 /*
674 * This consumes the kref for uobj. It is up to the caller to unwind the HW
675 * object and anything else connected to uobj before calling this.
676 */
rdma_alloc_abort_uobject(struct ib_uobject * uobj)677 void rdma_alloc_abort_uobject(struct ib_uobject *uobj)
678 {
679 struct ib_uverbs_file *ufile = uobj->ufile;
680
681 uobj->object = NULL;
682 uverbs_destroy_uobject(uobj, RDMA_REMOVE_ABORT);
683
684 /* Matches the down_read in rdma_alloc_begin_uobject */
685 up_read(&ufile->hw_destroy_rwsem);
686 }
687
lookup_put_idr_uobject(struct ib_uobject * uobj,enum rdma_lookup_mode mode)688 static void lookup_put_idr_uobject(struct ib_uobject *uobj,
689 enum rdma_lookup_mode mode)
690 {
691 }
692
lookup_put_fd_uobject(struct ib_uobject * uobj,enum rdma_lookup_mode mode)693 static void lookup_put_fd_uobject(struct ib_uobject *uobj,
694 enum rdma_lookup_mode mode)
695 {
696 struct file *filp = uobj->object;
697
698 WARN_ON(mode != UVERBS_LOOKUP_READ);
699 /* This indirectly calls uverbs_close_fd and free the object */
700 fput(filp);
701 }
702
rdma_lookup_put_uobject(struct ib_uobject * uobj,enum rdma_lookup_mode mode)703 void rdma_lookup_put_uobject(struct ib_uobject *uobj,
704 enum rdma_lookup_mode mode)
705 {
706 assert_uverbs_usecnt(uobj, mode);
707 /*
708 * In order to unlock an object, either decrease its usecnt for
709 * read access or zero it in case of exclusive access. See
710 * uverbs_try_lock_object for locking schema information.
711 */
712 switch (mode) {
713 case UVERBS_LOOKUP_READ:
714 atomic_dec(&uobj->usecnt);
715 break;
716 case UVERBS_LOOKUP_WRITE:
717 atomic_set(&uobj->usecnt, 0);
718 break;
719 case UVERBS_LOOKUP_DESTROY:
720 break;
721 }
722
723 uobj->uapi_object->type_class->lookup_put(uobj, mode);
724 /* Pairs with the kref obtained by type->lookup_get */
725 uverbs_uobject_put(uobj);
726 }
727
setup_ufile_idr_uobject(struct ib_uverbs_file * ufile)728 void setup_ufile_idr_uobject(struct ib_uverbs_file *ufile)
729 {
730 spin_lock_init(&ufile->idr_lock);
731 idr_init(&ufile->idr);
732 }
733
release_ufile_idr_uobject(struct ib_uverbs_file * ufile)734 void release_ufile_idr_uobject(struct ib_uverbs_file *ufile)
735 {
736 struct ib_uobject *entry;
737 int id;
738
739 /*
740 * At this point uverbs_cleanup_ufile() is guaranteed to have run, and
741 * there are no HW objects left, however the IDR is still populated
742 * with anything that has not been cleaned up by userspace. Since the
743 * kref on ufile is 0, nothing is allowed to call lookup_get.
744 *
745 * This is an optimized equivalent to remove_handle_idr_uobject
746 */
747 idr_for_each_entry(&ufile->idr, entry, id) {
748 WARN_ON(entry->object);
749 uverbs_uobject_put(entry);
750 }
751
752 idr_destroy(&ufile->idr);
753 }
754
755 const struct uverbs_obj_type_class uverbs_idr_class = {
756 .alloc_begin = alloc_begin_idr_uobject,
757 .lookup_get = lookup_get_idr_uobject,
758 .alloc_commit = alloc_commit_idr_uobject,
759 .alloc_abort = alloc_abort_idr_uobject,
760 .lookup_put = lookup_put_idr_uobject,
761 .destroy_hw = destroy_hw_idr_uobject,
762 .remove_handle = remove_handle_idr_uobject,
763 /*
764 * When we destroy an object, we first just lock it for WRITE and
765 * actually DESTROY it in the finalize stage. So, the problematic
766 * scenario is when we just started the finalize stage of the
767 * destruction (nothing was executed yet). Now, the other thread
768 * fetched the object for READ access, but it didn't lock it yet.
769 * The DESTROY thread continues and starts destroying the object.
770 * When the other thread continue - without the RCU, it would
771 * access freed memory. However, the rcu_read_lock delays the free
772 * until the rcu_read_lock of the READ operation quits. Since the
773 * exclusive lock of the object is still taken by the DESTROY flow, the
774 * READ operation will get -EBUSY and it'll just bail out.
775 */
776 .needs_kfree_rcu = true,
777 };
778 EXPORT_SYMBOL(uverbs_idr_class);
779
uverbs_close_fd(struct file * f)780 void uverbs_close_fd(struct file *f)
781 {
782 struct ib_uobject *uobj = f->private_data;
783 struct ib_uverbs_file *ufile = uobj->ufile;
784
785 if (down_read_trylock(&ufile->hw_destroy_rwsem)) {
786 /*
787 * lookup_get_fd_uobject holds the kref on the struct file any
788 * time a FD uobj is locked, which prevents this release
789 * method from being invoked. Meaning we can always get the
790 * write lock here, or we have a kernel bug.
791 */
792 WARN_ON(uverbs_try_lock_object(uobj, UVERBS_LOOKUP_WRITE));
793 uverbs_destroy_uobject(uobj, RDMA_REMOVE_CLOSE);
794 up_read(&ufile->hw_destroy_rwsem);
795 }
796
797 /* Matches the get in alloc_begin_fd_uobject */
798 kref_put(&ufile->ref, ib_uverbs_release_file);
799
800 /* Pairs with filp->private_data in alloc_begin_fd_uobject */
801 uverbs_uobject_put(uobj);
802 }
803
ufile_disassociate_ucontext(struct ib_ucontext * ibcontext)804 static void ufile_disassociate_ucontext(struct ib_ucontext *ibcontext)
805 {
806 struct ib_device *ib_dev = ibcontext->device;
807 struct task_struct *owning_process = NULL;
808 struct mm_struct *owning_mm = NULL;
809
810 owning_process = get_pid_task(ibcontext->tgid, PIDTYPE_PID);
811 if (!owning_process)
812 return;
813
814 owning_mm = get_task_mm(owning_process);
815 if (!owning_mm) {
816 pr_info("no mm, disassociate ucontext is pending task termination\n");
817 while (1) {
818 put_task_struct(owning_process);
819 usleep_range(1000, 2000);
820 owning_process = get_pid_task(ibcontext->tgid,
821 PIDTYPE_PID);
822 if (!owning_process ||
823 owning_process->state == TASK_DEAD) {
824 pr_info("disassociate ucontext done, task was terminated\n");
825 /* in case task was dead need to release the
826 * task struct.
827 */
828 if (owning_process)
829 put_task_struct(owning_process);
830 return;
831 }
832 }
833 }
834
835 down_write(&owning_mm->mmap_sem);
836 ib_dev->disassociate_ucontext(ibcontext);
837 up_write(&owning_mm->mmap_sem);
838 mmput(owning_mm);
839 put_task_struct(owning_process);
840 }
841
842 /*
843 * Drop the ucontext off the ufile and completely disconnect it from the
844 * ib_device
845 */
ufile_destroy_ucontext(struct ib_uverbs_file * ufile,enum rdma_remove_reason reason)846 static void ufile_destroy_ucontext(struct ib_uverbs_file *ufile,
847 enum rdma_remove_reason reason)
848 {
849 struct ib_ucontext *ucontext = ufile->ucontext;
850 int ret;
851
852 if (reason == RDMA_REMOVE_DRIVER_REMOVE)
853 ufile_disassociate_ucontext(ucontext);
854
855 put_pid(ucontext->tgid);
856 ib_rdmacg_uncharge(&ucontext->cg_obj, ucontext->device,
857 RDMACG_RESOURCE_HCA_HANDLE);
858
859 /*
860 * FIXME: Drivers are not permitted to fail dealloc_ucontext, remove
861 * the error return.
862 */
863 ret = ucontext->device->dealloc_ucontext(ucontext);
864 WARN_ON(ret);
865
866 ufile->ucontext = NULL;
867 }
868
__uverbs_cleanup_ufile(struct ib_uverbs_file * ufile,enum rdma_remove_reason reason)869 static int __uverbs_cleanup_ufile(struct ib_uverbs_file *ufile,
870 enum rdma_remove_reason reason)
871 {
872 struct ib_uobject *obj, *next_obj;
873 int ret = -EINVAL;
874
875 /*
876 * This shouldn't run while executing other commands on this
877 * context. Thus, the only thing we should take care of is
878 * releasing a FD while traversing this list. The FD could be
879 * closed and released from the _release fop of this FD.
880 * In order to mitigate this, we add a lock.
881 * We take and release the lock per traversal in order to let
882 * other threads (which might still use the FDs) chance to run.
883 */
884 list_for_each_entry_safe(obj, next_obj, &ufile->uobjects, list) {
885 /*
886 * if we hit this WARN_ON, that means we are
887 * racing with a lookup_get.
888 */
889 WARN_ON(uverbs_try_lock_object(obj, UVERBS_LOOKUP_WRITE));
890 if (!uverbs_destroy_uobject(obj, reason))
891 ret = 0;
892 else
893 atomic_set(&obj->usecnt, 0);
894 }
895 return ret;
896 }
897
898 /*
899 * Destroy the uncontext and every uobject associated with it. If called with
900 * reason != RDMA_REMOVE_CLOSE this will not return until the destruction has
901 * been completed and ufile->ucontext is NULL.
902 *
903 * This is internally locked and can be called in parallel from multiple
904 * contexts.
905 */
uverbs_destroy_ufile_hw(struct ib_uverbs_file * ufile,enum rdma_remove_reason reason)906 void uverbs_destroy_ufile_hw(struct ib_uverbs_file *ufile,
907 enum rdma_remove_reason reason)
908 {
909 if (reason == RDMA_REMOVE_CLOSE) {
910 /*
911 * During destruction we might trigger something that
912 * synchronously calls release on any file descriptor. For
913 * this reason all paths that come from file_operations
914 * release must use try_lock. They can progress knowing that
915 * there is an ongoing uverbs_destroy_ufile_hw that will clean
916 * up the driver resources.
917 */
918 if (!mutex_trylock(&ufile->ucontext_lock))
919 return;
920
921 } else {
922 mutex_lock(&ufile->ucontext_lock);
923 }
924
925 down_write(&ufile->hw_destroy_rwsem);
926
927 /*
928 * If a ucontext was never created then we can't have any uobjects to
929 * cleanup, nothing to do.
930 */
931 if (!ufile->ucontext)
932 goto done;
933
934 ufile->ucontext->closing = true;
935 ufile->ucontext->cleanup_retryable = true;
936 while (!list_empty(&ufile->uobjects))
937 if (__uverbs_cleanup_ufile(ufile, reason)) {
938 /*
939 * No entry was cleaned-up successfully during this
940 * iteration
941 */
942 break;
943 }
944
945 ufile->ucontext->cleanup_retryable = false;
946 if (!list_empty(&ufile->uobjects))
947 __uverbs_cleanup_ufile(ufile, reason);
948
949 ufile_destroy_ucontext(ufile, reason);
950
951 done:
952 up_write(&ufile->hw_destroy_rwsem);
953 mutex_unlock(&ufile->ucontext_lock);
954 }
955
956 const struct uverbs_obj_type_class uverbs_fd_class = {
957 .alloc_begin = alloc_begin_fd_uobject,
958 .lookup_get = lookup_get_fd_uobject,
959 .alloc_commit = alloc_commit_fd_uobject,
960 .alloc_abort = alloc_abort_fd_uobject,
961 .lookup_put = lookup_put_fd_uobject,
962 .destroy_hw = destroy_hw_fd_uobject,
963 .remove_handle = remove_handle_fd_uobject,
964 .needs_kfree_rcu = false,
965 };
966 EXPORT_SYMBOL(uverbs_fd_class);
967
968 struct ib_uobject *
uverbs_get_uobject_from_file(u16 object_id,struct ib_uverbs_file * ufile,enum uverbs_obj_access access,s64 id)969 uverbs_get_uobject_from_file(u16 object_id,
970 struct ib_uverbs_file *ufile,
971 enum uverbs_obj_access access, s64 id)
972 {
973 const struct uverbs_api_object *obj =
974 uapi_get_object(ufile->device->uapi, object_id);
975
976 switch (access) {
977 case UVERBS_ACCESS_READ:
978 return rdma_lookup_get_uobject(obj, ufile, id,
979 UVERBS_LOOKUP_READ);
980 case UVERBS_ACCESS_DESTROY:
981 /* Actual destruction is done inside uverbs_handle_method */
982 return rdma_lookup_get_uobject(obj, ufile, id,
983 UVERBS_LOOKUP_DESTROY);
984 case UVERBS_ACCESS_WRITE:
985 return rdma_lookup_get_uobject(obj, ufile, id,
986 UVERBS_LOOKUP_WRITE);
987 case UVERBS_ACCESS_NEW:
988 return rdma_alloc_begin_uobject(obj, ufile);
989 default:
990 WARN_ON(true);
991 return ERR_PTR(-EOPNOTSUPP);
992 }
993 }
994
uverbs_finalize_object(struct ib_uobject * uobj,enum uverbs_obj_access access,bool commit)995 int uverbs_finalize_object(struct ib_uobject *uobj,
996 enum uverbs_obj_access access,
997 bool commit)
998 {
999 int ret = 0;
1000
1001 /*
1002 * refcounts should be handled at the object level and not at the
1003 * uobject level. Refcounts of the objects themselves are done in
1004 * handlers.
1005 */
1006
1007 switch (access) {
1008 case UVERBS_ACCESS_READ:
1009 rdma_lookup_put_uobject(uobj, UVERBS_LOOKUP_READ);
1010 break;
1011 case UVERBS_ACCESS_WRITE:
1012 rdma_lookup_put_uobject(uobj, UVERBS_LOOKUP_WRITE);
1013 break;
1014 case UVERBS_ACCESS_DESTROY:
1015 if (uobj)
1016 rdma_lookup_put_uobject(uobj, UVERBS_LOOKUP_DESTROY);
1017 break;
1018 case UVERBS_ACCESS_NEW:
1019 if (commit)
1020 ret = rdma_alloc_commit_uobject(uobj);
1021 else
1022 rdma_alloc_abort_uobject(uobj);
1023 break;
1024 default:
1025 WARN_ON(true);
1026 ret = -EOPNOTSUPP;
1027 }
1028
1029 return ret;
1030 }
1031