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