rdma_core.c 26.5 KB
Newer Older
M
Matan Barak 已提交
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34
/*
 * Copyright (c) 2016, Mellanox Technologies inc.  All rights reserved.
 *
 * This software is available to you under a choice of one of two
 * licenses.  You may choose to be licensed under the terms of the GNU
 * General Public License (GPL) Version 2, available from the file
 * COPYING in the main directory of this source tree, or the
 * OpenIB.org BSD license below:
 *
 *     Redistribution and use in source and binary forms, with or
 *     without modification, are permitted provided that the following
 *     conditions are met:
 *
 *      - Redistributions of source code must retain the above
 *        copyright notice, this list of conditions and the following
 *        disclaimer.
 *
 *      - Redistributions in binary form must reproduce the above
 *        copyright notice, this list of conditions and the following
 *        disclaimer in the documentation and/or other materials
 *        provided with the distribution.
 *
 * THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND,
 * EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF
 * MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND
 * NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS
 * BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN
 * ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
 * CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE
 * SOFTWARE.
 */

#include <linux/file.h>
#include <linux/anon_inodes.h>
35
#include <linux/sched/mm.h>
M
Matan Barak 已提交
36 37 38
#include <rdma/ib_verbs.h>
#include <rdma/uverbs_types.h>
#include <linux/rcupdate.h>
39
#include <rdma/uverbs_ioctl.h>
M
Matan Barak 已提交
40
#include <rdma/rdma_user_ioctl.h>
M
Matan Barak 已提交
41 42 43 44 45 46 47 48 49
#include "uverbs.h"
#include "core_priv.h"
#include "rdma_core.h"

void uverbs_uobject_get(struct ib_uobject *uobject)
{
	kref_get(&uobject->ref);
}

50
static void uverbs_uobject_free(struct kref *ref)
M
Matan Barak 已提交
51 52 53 54
{
	struct ib_uobject *uobj =
		container_of(ref, struct ib_uobject, ref);

55
	if (uobj->uapi_object->type_class->needs_kfree_rcu)
M
Matan Barak 已提交
56 57 58 59 60 61 62
		kfree_rcu(uobj, rcu);
	else
		kfree(uobj);
}

void uverbs_uobject_put(struct ib_uobject *uobject)
{
63
	kref_put(&uobject->ref, uverbs_uobject_free);
M
Matan Barak 已提交
64 65
}

66 67
static int uverbs_try_lock_object(struct ib_uobject *uobj,
				  enum rdma_lookup_mode mode)
M
Matan Barak 已提交
68 69
{
	/*
70 71 72 73 74 75 76 77 78
	 * When a shared access is required, we use a positive counter. Each
	 * shared access request checks that the value != -1 and increment it.
	 * Exclusive access is required for operations like write or destroy.
	 * In exclusive access mode, we check that the counter is zero (nobody
	 * claimed this object) and we set it to -1. Releasing a shared access
	 * lock is done simply by decreasing the counter. As for exclusive
	 * access locks, since only a single one of them is is allowed
	 * concurrently, setting the counter to zero is enough for releasing
	 * this lock.
M
Matan Barak 已提交
79
	 */
80 81
	switch (mode) {
	case UVERBS_LOOKUP_READ:
82
		return atomic_fetch_add_unless(&uobj->usecnt, 1, -1) == -1 ?
M
Matan Barak 已提交
83
			-EBUSY : 0;
84
	case UVERBS_LOOKUP_WRITE:
85
		/* lock is exclusive */
86
		return atomic_cmpxchg(&uobj->usecnt, 0, -1) == 0 ? 0 : -EBUSY;
87 88
	case UVERBS_LOOKUP_DESTROY:
		return 0;
89 90
	}
	return 0;
M
Matan Barak 已提交
91 92
}

93 94
static void assert_uverbs_usecnt(struct ib_uobject *uobj,
				 enum rdma_lookup_mode mode)
95 96
{
#ifdef CONFIG_LOCKDEP
97 98
	switch (mode) {
	case UVERBS_LOOKUP_READ:
99
		WARN_ON(atomic_read(&uobj->usecnt) <= 0);
100 101 102 103
		break;
	case UVERBS_LOOKUP_WRITE:
		WARN_ON(atomic_read(&uobj->usecnt) != -1);
		break;
104 105
	case UVERBS_LOOKUP_DESTROY:
		break;
106
	}
107 108 109 110
#endif
}

/*
111 112
 * This must be called with the hw_destroy_rwsem locked for read or write,
 * also the uobject itself must be locked for write.
113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133
 *
 * Upon return the HW object is guaranteed to be destroyed.
 *
 * For RDMA_REMOVE_ABORT, the hw_destroy_rwsem is not required to be held,
 * however the type's allocat_commit function cannot have been called and the
 * uobject cannot be on the uobjects_lists
 *
 * For RDMA_REMOVE_DESTROY the caller shold be holding a kref (eg via
 * rdma_lookup_get_uobject) and the object is left in a state where the caller
 * needs to call rdma_lookup_put_uobject.
 *
 * For all other destroy modes this function internally unlocks the uobject
 * and consumes the kref on the uobj.
 */
static int uverbs_destroy_uobject(struct ib_uobject *uobj,
				  enum rdma_remove_reason reason)
{
	struct ib_uverbs_file *ufile = uobj->ufile;
	unsigned long flags;
	int ret;

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 140 141 142 143 144 145 146 147 148 149 150 151 152 153 154
		if (ret) {
			if (ib_is_destroy_retryable(ret, reason, uobj))
				return ret;

			/* Nothing to be done, dangle the memory and move on */
			WARN(true,
			     "ib_uverbs: failed to remove uobject id %d, driver err=%d",
			     uobj->id, ret);
		}

		uobj->object = NULL;
	}

	if (reason == RDMA_REMOVE_ABORT) {
		WARN_ON(!list_empty(&uobj->list));
		WARN_ON(!uobj->context);
155
		uobj->uapi_object->type_class->alloc_abort(uobj);
156 157 158 159 160 161
	}

	uobj->context = NULL;

	/*
	 * For DESTROY the usecnt is held write locked, the caller is expected
162 163
	 * to put it unlock and put the object when done with it. Only DESTROY
	 * can remove the IDR handle.
164 165 166
	 */
	if (reason != RDMA_REMOVE_DESTROY)
		atomic_set(&uobj->usecnt, 0);
167
	else
168
		uobj->uapi_object->type_class->remove_handle(uobj);
169 170 171 172 173 174 175 176 177 178 179 180 181 182 183 184 185 186 187 188 189 190 191

	if (!list_empty(&uobj->list)) {
		spin_lock_irqsave(&ufile->uobjects_lock, flags);
		list_del_init(&uobj->list);
		spin_unlock_irqrestore(&ufile->uobjects_lock, flags);

		/*
		 * Pairs with the get in rdma_alloc_commit_uobject(), could
		 * destroy uobj.
		 */
		uverbs_uobject_put(uobj);
	}

	/*
	 * When aborting the stack kref remains owned by the core code, and is
	 * not transferred into the type. Pairs with the get in alloc_uobj
	 */
	if (reason == RDMA_REMOVE_ABORT)
		uverbs_uobject_put(uobj);

	return 0;
}

192 193 194 195 196 197 198 199 200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220
/*
 * This calls uverbs_destroy_uobject() using the RDMA_REMOVE_DESTROY
 * sequence. It should only be used from command callbacks. On success the
 * caller must pair this with rdma_lookup_put_uobject(LOOKUP_WRITE). This
 * version requires the caller to have already obtained an
 * LOOKUP_DESTROY uobject kref.
 */
int uobj_destroy(struct ib_uobject *uobj)
{
	struct ib_uverbs_file *ufile = uobj->ufile;
	int ret;

	down_read(&ufile->hw_destroy_rwsem);

	ret = uverbs_try_lock_object(uobj, UVERBS_LOOKUP_WRITE);
	if (ret)
		goto out_unlock;

	ret = uverbs_destroy_uobject(uobj, RDMA_REMOVE_DESTROY);
	if (ret) {
		atomic_set(&uobj->usecnt, 0);
		goto out_unlock;
	}

out_unlock:
	up_read(&ufile->hw_destroy_rwsem);
	return ret;
}

221
/*
222 223 224
 * uobj_get_destroy destroys the HW object and returns a handle to the uobj
 * with a NULL object pointer. The caller must pair this with
 * uverbs_put_destroy.
225
 */
226
struct ib_uobject *__uobj_get_destroy(const struct uverbs_api_object *obj,
227 228
				      u32 id,
				      const struct uverbs_attr_bundle *attrs)
229 230 231 232
{
	struct ib_uobject *uobj;
	int ret;

233 234
	uobj = rdma_lookup_get_uobject(obj, attrs->ufile, id,
				       UVERBS_LOOKUP_DESTROY);
235
	if (IS_ERR(uobj))
236
		return uobj;
237

238
	ret = uobj_destroy(uobj);
239
	if (ret) {
240
		rdma_lookup_put_uobject(uobj, UVERBS_LOOKUP_DESTROY);
241 242
		return ERR_PTR(ret);
	}
243

244 245 246 247
	return uobj;
}

/*
248 249
 * Does both uobj_get_destroy() and uobj_put_destroy().  Returns 0 on success
 * (negative errno on failure). For use by callers that do not need the uobj.
250
 */
251
int __uobj_perform_destroy(const struct uverbs_api_object *obj, u32 id,
252
			   const struct uverbs_attr_bundle *attrs)
253 254 255
{
	struct ib_uobject *uobj;

256
	uobj = __uobj_get_destroy(obj, id, attrs);
257 258 259
	if (IS_ERR(uobj))
		return PTR_ERR(uobj);

260
	rdma_lookup_put_uobject(uobj, UVERBS_LOOKUP_WRITE);
261
	return 0;
262 263
}

264
/* alloc_uobj must be undone by uverbs_destroy_uobject() */
265
static struct ib_uobject *alloc_uobj(struct ib_uverbs_file *ufile,
266
				     const struct uverbs_api_object *obj)
M
Matan Barak 已提交
267
{
268 269 270
	struct ib_uobject *uobj;
	struct ib_ucontext *ucontext;

271
	ucontext = ib_uverbs_get_ucontext_file(ufile);
272 273
	if (IS_ERR(ucontext))
		return ERR_CAST(ucontext);
M
Matan Barak 已提交
274

275
	uobj = kzalloc(obj->type_attrs->obj_size, GFP_KERNEL);
M
Matan Barak 已提交
276 277 278 279 280 281
	if (!uobj)
		return ERR_PTR(-ENOMEM);
	/*
	 * user_handle should be filled by the handler,
	 * The object is added to the list in the commit stage.
	 */
282
	uobj->ufile = ufile;
283
	uobj->context = ucontext;
284
	INIT_LIST_HEAD(&uobj->list);
285
	uobj->uapi_object = obj;
286 287 288 289 290 291
	/*
	 * Allocated objects start out as write locked to deny any other
	 * syscalls from accessing them until they are committed. See
	 * rdma_alloc_commit_uobject
	 */
	atomic_set(&uobj->usecnt, -1);
M
Matan Barak 已提交
292 293 294 295 296 297 298 299 300 301
	kref_init(&uobj->ref);

	return uobj;
}

static int idr_add_uobj(struct ib_uobject *uobj)
{
	int ret;

	idr_preload(GFP_KERNEL);
302
	spin_lock(&uobj->ufile->idr_lock);
M
Matan Barak 已提交
303 304 305 306 307 308

	/*
	 * We start with allocating an idr pointing to NULL. This represents an
	 * object which isn't initialized yet. We'll replace it later on with
	 * the real object once we commit.
	 */
309
	ret = idr_alloc(&uobj->ufile->idr, NULL, 0,
M
Matan Barak 已提交
310 311 312 313
			min_t(unsigned long, U32_MAX - 1, INT_MAX), GFP_NOWAIT);
	if (ret >= 0)
		uobj->id = ret;

314
	spin_unlock(&uobj->ufile->idr_lock);
M
Matan Barak 已提交
315 316 317 318 319 320
	idr_preload_end();

	return ret < 0 ? ret : 0;
}

/* Returns the ib_uobject or an error. The caller should check for IS_ERR. */
321
static struct ib_uobject *
322
lookup_get_idr_uobject(const struct uverbs_api_object *obj,
323 324
		       struct ib_uverbs_file *ufile, s64 id,
		       enum rdma_lookup_mode mode)
M
Matan Barak 已提交
325 326
{
	struct ib_uobject *uobj;
327 328 329 330
	unsigned long idrno = id;

	if (id < 0 || id > ULONG_MAX)
		return ERR_PTR(-EINVAL);
M
Matan Barak 已提交
331 332 333

	rcu_read_lock();
	/* object won't be released as we're protected in rcu */
334
	uobj = idr_find(&ufile->idr, idrno);
M
Matan Barak 已提交
335 336 337 338 339
	if (!uobj) {
		uobj = ERR_PTR(-ENOENT);
		goto free;
	}

340 341 342 343 344 345 346 347 348
	/*
	 * The idr_find is guaranteed to return a pointer to something that
	 * isn't freed yet, or NULL, as the free after idr_remove goes through
	 * kfree_rcu(). However the object may still have been released and
	 * kfree() could be called at any time.
	 */
	if (!kref_get_unless_zero(&uobj->ref))
		uobj = ERR_PTR(-ENOENT);

M
Matan Barak 已提交
349 350 351 352 353
free:
	rcu_read_unlock();
	return uobj;
}

354
static struct ib_uobject *
355
lookup_get_fd_uobject(const struct uverbs_api_object *obj,
356 357
		      struct ib_uverbs_file *ufile, s64 id,
		      enum rdma_lookup_mode mode)
358
{
359
	const struct uverbs_obj_fd_type *fd_type;
360 361
	struct file *f;
	struct ib_uobject *uobject;
362
	int fdno = id;
363

364 365 366
	if (fdno != id)
		return ERR_PTR(-EINVAL);

367
	if (mode != UVERBS_LOOKUP_READ)
368 369
		return ERR_PTR(-EOPNOTSUPP);

370 371 372 373 374
	if (!obj->type_attrs)
		return ERR_PTR(-EIO);
	fd_type =
		container_of(obj->type_attrs, struct uverbs_obj_fd_type, type);

375
	f = fget(fdno);
376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393
	if (!f)
		return ERR_PTR(-EBADF);

	uobject = f->private_data;
	/*
	 * fget(id) ensures we are not currently running uverbs_close_fd,
	 * and the caller is expected to ensure that uverbs_close_fd is never
	 * done while a call top lookup is possible.
	 */
	if (f->f_op != fd_type->fops) {
		fput(f);
		return ERR_PTR(-EBADF);
	}

	uverbs_uobject_get(uobject);
	return uobject;
}

394
struct ib_uobject *rdma_lookup_get_uobject(const struct uverbs_api_object *obj,
395
					   struct ib_uverbs_file *ufile, s64 id,
396
					   enum rdma_lookup_mode mode)
M
Matan Barak 已提交
397 398 399 400
{
	struct ib_uobject *uobj;
	int ret;

401 402 403 404 405 406 407 408 409 410 411 412 413 414 415 416 417
	if (IS_ERR(obj) && PTR_ERR(obj) == -ENOMSG) {
		/* must be UVERBS_IDR_ANY_OBJECT, see uapi_get_object() */
		uobj = lookup_get_idr_uobject(NULL, ufile, id, mode);
		if (IS_ERR(uobj))
			return uobj;
	} else {
		if (IS_ERR(obj))
			return ERR_PTR(-EINVAL);

		uobj = obj->type_class->lookup_get(obj, ufile, id, mode);
		if (IS_ERR(uobj))
			return uobj;

		if (uobj->uapi_object != obj) {
			ret = -EINVAL;
			goto free;
		}
M
Matan Barak 已提交
418 419
	}

420 421 422 423 424 425 426 427 428 429 430
	/*
	 * If we have been disassociated block every command except for
	 * DESTROY based commands.
	 */
	if (mode != UVERBS_LOOKUP_DESTROY &&
	    !srcu_dereference(ufile->device->ib_dev,
			      &ufile->device->disassociate_srcu)) {
		ret = -EIO;
		goto free;
	}

431
	ret = uverbs_try_lock_object(uobj, mode);
432
	if (ret)
M
Matan Barak 已提交
433 434 435 436
		goto free;

	return uobj;
free:
437
	uobj->uapi_object->type_class->lookup_put(uobj, mode);
M
Matan Barak 已提交
438 439 440 441
	uverbs_uobject_put(uobj);
	return ERR_PTR(ret);
}

442 443 444
static struct ib_uobject *
alloc_begin_idr_uobject(const struct uverbs_api_object *obj,
			struct ib_uverbs_file *ufile)
M
Matan Barak 已提交
445 446 447 448
{
	int ret;
	struct ib_uobject *uobj;

449
	uobj = alloc_uobj(ufile, obj);
M
Matan Barak 已提交
450 451 452 453 454 455 456
	if (IS_ERR(uobj))
		return uobj;

	ret = idr_add_uobj(uobj);
	if (ret)
		goto uobj_put;

457
	ret = ib_rdmacg_try_charge(&uobj->cg_obj, uobj->context->device,
M
Matan Barak 已提交
458 459 460 461 462 463 464
				   RDMACG_RESOURCE_HCA_OBJECT);
	if (ret)
		goto idr_remove;

	return uobj;

idr_remove:
465 466 467
	spin_lock(&ufile->idr_lock);
	idr_remove(&ufile->idr, uobj->id);
	spin_unlock(&ufile->idr_lock);
M
Matan Barak 已提交
468 469 470 471 472
uobj_put:
	uverbs_uobject_put(uobj);
	return ERR_PTR(ret);
}

473 474 475
static struct ib_uobject *
alloc_begin_fd_uobject(const struct uverbs_api_object *obj,
		       struct ib_uverbs_file *ufile)
476 477 478 479 480 481 482 483
{
	int new_fd;
	struct ib_uobject *uobj;

	new_fd = get_unused_fd_flags(O_CLOEXEC);
	if (new_fd < 0)
		return ERR_PTR(new_fd);

484
	uobj = alloc_uobj(ufile, obj);
485 486 487 488 489
	if (IS_ERR(uobj)) {
		put_unused_fd(new_fd);
		return uobj;
	}

490 491
	uobj->id = new_fd;
	uobj->ufile = ufile;
492 493 494 495

	return uobj;
}

496
struct ib_uobject *rdma_alloc_begin_uobject(const struct uverbs_api_object *obj,
497
					    struct ib_uverbs_file *ufile)
M
Matan Barak 已提交
498
{
499 500
	struct ib_uobject *ret;

501
	if (IS_ERR(obj))
502 503
		return ERR_PTR(-EINVAL);

504 505 506 507 508 509 510 511
	/*
	 * The hw_destroy_rwsem is held across the entire object creation and
	 * released during rdma_alloc_commit_uobject or
	 * rdma_alloc_abort_uobject
	 */
	if (!down_read_trylock(&ufile->hw_destroy_rwsem))
		return ERR_PTR(-EIO);

512
	ret = obj->type_class->alloc_begin(obj, ufile);
513 514 515 516 517
	if (IS_ERR(ret)) {
		up_read(&ufile->hw_destroy_rwsem);
		return ret;
	}
	return ret;
M
Matan Barak 已提交
518 519
}

520 521 522 523 524 525 526 527 528 529
static void alloc_abort_idr_uobject(struct ib_uobject *uobj)
{
	ib_rdmacg_uncharge(&uobj->cg_obj, uobj->context->device,
			   RDMACG_RESOURCE_HCA_OBJECT);

	spin_lock(&uobj->ufile->idr_lock);
	idr_remove(&uobj->ufile->idr, uobj->id);
	spin_unlock(&uobj->ufile->idr_lock);
}

530 531
static int __must_check destroy_hw_idr_uobject(struct ib_uobject *uobj,
					       enum rdma_remove_reason why)
M
Matan Barak 已提交
532 533
{
	const struct uverbs_obj_idr_type *idr_type =
534 535
		container_of(uobj->uapi_object->type_attrs,
			     struct uverbs_obj_idr_type, type);
M
Matan Barak 已提交
536 537 538 539
	int ret = idr_type->destroy_object(uobj, why);

	/*
	 * We can only fail gracefully if the user requested to destroy the
540 541
	 * object or when a retry may be called upon an error.
	 * In the rest of the cases, just remove whatever you can.
M
Matan Barak 已提交
542
	 */
543
	if (ib_is_destroy_retryable(ret, why, uobj))
M
Matan Barak 已提交
544 545
		return ret;

546 547
	if (why == RDMA_REMOVE_ABORT)
		return 0;
548

549 550
	ib_rdmacg_uncharge(&uobj->cg_obj, uobj->context->device,
			   RDMACG_RESOURCE_HCA_OBJECT);
M
Matan Barak 已提交
551

552
	return 0;
M
Matan Barak 已提交
553 554
}

555 556 557 558 559 560 561 562 563
static void remove_handle_idr_uobject(struct ib_uobject *uobj)
{
	spin_lock(&uobj->ufile->idr_lock);
	idr_remove(&uobj->ufile->idr, uobj->id);
	spin_unlock(&uobj->ufile->idr_lock);
	/* Matches the kref in alloc_commit_idr_uobject */
	uverbs_uobject_put(uobj);
}

564 565
static void alloc_abort_fd_uobject(struct ib_uobject *uobj)
{
566
	put_unused_fd(uobj->id);
567 568
}

569 570
static int __must_check destroy_hw_fd_uobject(struct ib_uobject *uobj,
					      enum rdma_remove_reason why)
571
{
572 573
	const struct uverbs_obj_fd_type *fd_type = container_of(
		uobj->uapi_object->type_attrs, struct uverbs_obj_fd_type, type);
574
	int ret = fd_type->context_closed(uobj, why);
575

576
	if (ib_is_destroy_retryable(ret, why, uobj))
577 578
		return ret;

579
	return 0;
M
Matan Barak 已提交
580 581
}

582 583 584 585
static void remove_handle_fd_uobject(struct ib_uobject *uobj)
{
}

586
static int alloc_commit_idr_uobject(struct ib_uobject *uobj)
M
Matan Barak 已提交
587
{
588 589 590
	struct ib_uverbs_file *ufile = uobj->ufile;

	spin_lock(&ufile->idr_lock);
M
Matan Barak 已提交
591 592 593
	/*
	 * We already allocated this IDR with a NULL object, so
	 * this shouldn't fail.
594 595 596
	 *
	 * NOTE: Once we set the IDR we loose ownership of our kref on uobj.
	 * It will be put by remove_commit_idr_uobject()
M
Matan Barak 已提交
597
	 */
598 599
	WARN_ON(idr_replace(&ufile->idr, uobj, uobj->id));
	spin_unlock(&ufile->idr_lock);
600 601

	return 0;
M
Matan Barak 已提交
602 603
}

604
static int alloc_commit_fd_uobject(struct ib_uobject *uobj)
605
{
606 607
	const struct uverbs_obj_fd_type *fd_type = container_of(
		uobj->uapi_object->type_attrs, struct uverbs_obj_fd_type, type);
608
	int fd = uobj->id;
609 610 611 612 613 614 615 616 617 618 619 620 621 622 623 624 625 626 627
	struct file *filp;

	/*
	 * The kref for uobj is moved into filp->private data and put in
	 * uverbs_close_fd(). Once alloc_commit() succeeds uverbs_close_fd()
	 * must be guaranteed to be called from the provided fops release
	 * callback.
	 */
	filp = anon_inode_getfile(fd_type->name,
				  fd_type->fops,
				  uobj,
				  fd_type->flags);
	if (IS_ERR(filp))
		return PTR_ERR(filp);

	uobj->object = filp;

	/* Matching put will be done in uverbs_close_fd() */
	kref_get(&uobj->ufile->ref);
628

629
	/* This shouldn't be used anymore. Use the file object instead */
630
	uobj->id = 0;
631 632 633 634 635

	/*
	 * NOTE: Once we install the file we loose ownership of our kref on
	 * uobj. It will be put by uverbs_close_fd()
	 */
636 637 638
	fd_install(fd, filp);

	return 0;
639 640
}

641 642
/*
 * In all cases rdma_alloc_commit_uobject() consumes the kref to uobj and the
643 644
 * caller can no longer assume uobj is valid. If this function fails it
 * destroys the uboject, including the attached HW object.
645
 */
646
int __must_check rdma_alloc_commit_uobject(struct ib_uobject *uobj)
M
Matan Barak 已提交
647
{
648
	struct ib_uverbs_file *ufile = uobj->ufile;
649
	int ret;
650

651
	/* alloc_commit consumes the uobj kref */
652
	ret = uobj->uapi_object->type_class->alloc_commit(uobj);
653
	if (ret) {
654
		uverbs_destroy_uobject(uobj, RDMA_REMOVE_ABORT);
655
		up_read(&ufile->hw_destroy_rwsem);
656 657
		return ret;
	}
658

659 660
	/* kref is held so long as the uobj is on the uobj list. */
	uverbs_uobject_get(uobj);
661
	spin_lock_irq(&ufile->uobjects_lock);
662
	list_add(&uobj->list, &ufile->uobjects);
663
	spin_unlock_irq(&ufile->uobjects_lock);
664

665 666 667
	/* matches atomic_set(-1) in alloc_uobj */
	atomic_set(&uobj->usecnt, 0);

668
	/* Matches the down_read in rdma_alloc_begin_uobject */
669
	up_read(&ufile->hw_destroy_rwsem);
M
Matan Barak 已提交
670 671 672 673

	return 0;
}

674 675 676 677
/*
 * This consumes the kref for uobj. It is up to the caller to unwind the HW
 * object and anything else connected to uobj before calling this.
 */
M
Matan Barak 已提交
678 679
void rdma_alloc_abort_uobject(struct ib_uobject *uobj)
{
680 681
	struct ib_uverbs_file *ufile = uobj->ufile;

682 683
	uobj->object = NULL;
	uverbs_destroy_uobject(uobj, RDMA_REMOVE_ABORT);
684 685 686

	/* Matches the down_read in rdma_alloc_begin_uobject */
	up_read(&ufile->hw_destroy_rwsem);
M
Matan Barak 已提交
687 688
}

689 690
static void lookup_put_idr_uobject(struct ib_uobject *uobj,
				   enum rdma_lookup_mode mode)
M
Matan Barak 已提交
691 692 693
{
}

694 695
static void lookup_put_fd_uobject(struct ib_uobject *uobj,
				  enum rdma_lookup_mode mode)
696 697 698
{
	struct file *filp = uobj->object;

699
	WARN_ON(mode != UVERBS_LOOKUP_READ);
700 701 702 703
	/* This indirectly calls uverbs_close_fd and free the object */
	fput(filp);
}

704 705
void rdma_lookup_put_uobject(struct ib_uobject *uobj,
			     enum rdma_lookup_mode mode)
M
Matan Barak 已提交
706
{
707
	assert_uverbs_usecnt(uobj, mode);
708
	uobj->uapi_object->type_class->lookup_put(uobj, mode);
M
Matan Barak 已提交
709 710
	/*
	 * In order to unlock an object, either decrease its usecnt for
711
	 * read access or zero it in case of exclusive access. See
M
Matan Barak 已提交
712 713
	 * uverbs_try_lock_object for locking schema information.
	 */
714 715
	switch (mode) {
	case UVERBS_LOOKUP_READ:
M
Matan Barak 已提交
716
		atomic_dec(&uobj->usecnt);
717 718
		break;
	case UVERBS_LOOKUP_WRITE:
M
Matan Barak 已提交
719
		atomic_set(&uobj->usecnt, 0);
720
		break;
721 722
	case UVERBS_LOOKUP_DESTROY:
		break;
723
	}
M
Matan Barak 已提交
724

725
	/* Pairs with the kref obtained by type->lookup_get */
M
Matan Barak 已提交
726 727 728
	uverbs_uobject_put(uobj);
}

729 730 731 732 733 734 735 736 737 738 739 740 741 742 743 744 745 746 747 748 749 750 751 752 753 754 755
void setup_ufile_idr_uobject(struct ib_uverbs_file *ufile)
{
	spin_lock_init(&ufile->idr_lock);
	idr_init(&ufile->idr);
}

void release_ufile_idr_uobject(struct ib_uverbs_file *ufile)
{
	struct ib_uobject *entry;
	int id;

	/*
	 * At this point uverbs_cleanup_ufile() is guaranteed to have run, and
	 * there are no HW objects left, however the IDR is still populated
	 * with anything that has not been cleaned up by userspace. Since the
	 * kref on ufile is 0, nothing is allowed to call lookup_get.
	 *
	 * This is an optimized equivalent to remove_handle_idr_uobject
	 */
	idr_for_each_entry(&ufile->idr, entry, id) {
		WARN_ON(entry->object);
		uverbs_uobject_put(entry);
	}

	idr_destroy(&ufile->idr);
}

M
Matan Barak 已提交
756 757 758 759 760 761
const struct uverbs_obj_type_class uverbs_idr_class = {
	.alloc_begin = alloc_begin_idr_uobject,
	.lookup_get = lookup_get_idr_uobject,
	.alloc_commit = alloc_commit_idr_uobject,
	.alloc_abort = alloc_abort_idr_uobject,
	.lookup_put = lookup_put_idr_uobject,
762 763
	.destroy_hw = destroy_hw_idr_uobject,
	.remove_handle = remove_handle_idr_uobject,
M
Matan Barak 已提交
764 765 766 767 768 769 770 771 772 773
	/*
	 * When we destroy an object, we first just lock it for WRITE and
	 * actually DESTROY it in the finalize stage. So, the problematic
	 * scenario is when we just started the finalize stage of the
	 * destruction (nothing was executed yet). Now, the other thread
	 * fetched the object for READ access, but it didn't lock it yet.
	 * The DESTROY thread continues and starts destroying the object.
	 * When the other thread continue - without the RCU, it would
	 * access freed memory. However, the rcu_read_lock delays the free
	 * until the rcu_read_lock of the READ operation quits. Since the
774
	 * exclusive lock of the object is still taken by the DESTROY flow, the
M
Matan Barak 已提交
775 776 777 778
	 * READ operation will get -EBUSY and it'll just bail out.
	 */
	.needs_kfree_rcu = true,
};
779
EXPORT_SYMBOL(uverbs_idr_class);
M
Matan Barak 已提交
780

781 782
void uverbs_close_fd(struct file *f)
{
783
	struct ib_uobject *uobj = f->private_data;
784 785
	struct ib_uverbs_file *ufile = uobj->ufile;

786
	if (down_read_trylock(&ufile->hw_destroy_rwsem)) {
787 788 789 790 791 792
		/*
		 * lookup_get_fd_uobject holds the kref on the struct file any
		 * time a FD uobj is locked, which prevents this release
		 * method from being invoked. Meaning we can always get the
		 * write lock here, or we have a kernel bug.
		 */
793
		WARN_ON(uverbs_try_lock_object(uobj, UVERBS_LOOKUP_WRITE));
794
		uverbs_destroy_uobject(uobj, RDMA_REMOVE_CLOSE);
795
		up_read(&ufile->hw_destroy_rwsem);
796 797 798 799
	}

	/* Matches the get in alloc_begin_fd_uobject */
	kref_put(&ufile->ref, ib_uverbs_release_file);
800

801
	/* Pairs with filp->private_data in alloc_begin_fd_uobject */
802
	uverbs_uobject_put(uobj);
803 804
}

805 806 807 808 809 810 811 812
/*
 * Drop the ucontext off the ufile and completely disconnect it from the
 * ib_device
 */
static void ufile_destroy_ucontext(struct ib_uverbs_file *ufile,
				   enum rdma_remove_reason reason)
{
	struct ib_ucontext *ucontext = ufile->ucontext;
813
	struct ib_device *ib_dev = ucontext->device;
814 815
	int ret;

816 817 818 819 820
	/*
	 * If we are closing the FD then the user mmap VMAs must have
	 * already been destroyed as they hold on to the filep, otherwise
	 * they need to be zap'd.
	 */
821 822
	if (reason == RDMA_REMOVE_DRIVER_REMOVE) {
		uverbs_user_mmap_disassociate(ufile);
823 824
		if (ib_dev->disassociate_ucontext)
			ib_dev->disassociate_ucontext(ucontext);
825
	}
826

827
	ib_rdmacg_uncharge(&ucontext->cg_obj, ib_dev,
828 829
			   RDMACG_RESOURCE_HCA_HANDLE);

830 831
	rdma_restrack_del(&ucontext->res);

832 833 834 835
	/*
	 * FIXME: Drivers are not permitted to fail dealloc_ucontext, remove
	 * the error return.
	 */
836
	ret = ib_dev->dealloc_ucontext(ucontext);
837 838 839 840 841
	WARN_ON(ret);

	ufile->ucontext = NULL;
}

842 843
static int __uverbs_cleanup_ufile(struct ib_uverbs_file *ufile,
				  enum rdma_remove_reason reason)
M
Matan Barak 已提交
844
{
845 846
	struct ib_uobject *obj, *next_obj;
	int ret = -EINVAL;
M
Matan Barak 已提交
847

848 849 850 851 852 853 854 855 856
	/*
	 * This shouldn't run while executing other commands on this
	 * context. Thus, the only thing we should take care of is
	 * releasing a FD while traversing this list. The FD could be
	 * closed and released from the _release fop of this FD.
	 * In order to mitigate this, we add a lock.
	 * We take and release the lock per traversal in order to let
	 * other threads (which might still use the FDs) chance to run.
	 */
857
	list_for_each_entry_safe(obj, next_obj, &ufile->uobjects, list) {
858 859 860 861
		/*
		 * if we hit this WARN_ON, that means we are
		 * racing with a lookup_get.
		 */
862
		WARN_ON(uverbs_try_lock_object(obj, UVERBS_LOOKUP_WRITE));
863 864
		if (!uverbs_destroy_uobject(obj, reason))
			ret = 0;
865 866
		else
			atomic_set(&obj->usecnt, 0);
867 868 869 870
	}
	return ret;
}

871 872 873 874 875 876 877 878 879 880
/*
 * Destroy the uncontext and every uobject associated with it. If called with
 * reason != RDMA_REMOVE_CLOSE this will not return until the destruction has
 * been completed and ufile->ucontext is NULL.
 *
 * This is internally locked and can be called in parallel from multiple
 * contexts.
 */
void uverbs_destroy_ufile_hw(struct ib_uverbs_file *ufile,
			     enum rdma_remove_reason reason)
881
{
882 883 884 885 886 887 888 889 890 891 892 893 894 895 896 897 898
	if (reason == RDMA_REMOVE_CLOSE) {
		/*
		 * During destruction we might trigger something that
		 * synchronously calls release on any file descriptor. For
		 * this reason all paths that come from file_operations
		 * release must use try_lock. They can progress knowing that
		 * there is an ongoing uverbs_destroy_ufile_hw that will clean
		 * up the driver resources.
		 */
		if (!mutex_trylock(&ufile->ucontext_lock))
			return;

	} else {
		mutex_lock(&ufile->ucontext_lock);
	}

	down_write(&ufile->hw_destroy_rwsem);
899

M
Matan Barak 已提交
900
	/*
901 902
	 * If a ucontext was never created then we can't have any uobjects to
	 * cleanup, nothing to do.
M
Matan Barak 已提交
903
	 */
904 905 906 907
	if (!ufile->ucontext)
		goto done;

	ufile->ucontext->closing = true;
908 909
	ufile->ucontext->cleanup_retryable = true;
	while (!list_empty(&ufile->uobjects))
910
		if (__uverbs_cleanup_ufile(ufile, reason)) {
911 912 913 914 915 916
			/*
			 * No entry was cleaned-up successfully during this
			 * iteration
			 */
			break;
		}
M
Matan Barak 已提交
917

918 919
	ufile->ucontext->cleanup_retryable = false;
	if (!list_empty(&ufile->uobjects))
920
		__uverbs_cleanup_ufile(ufile, reason);
M
Matan Barak 已提交
921

922 923 924
	ufile_destroy_ucontext(ufile, reason);

done:
925
	up_write(&ufile->hw_destroy_rwsem);
926
	mutex_unlock(&ufile->ucontext_lock);
M
Matan Barak 已提交
927 928
}

929 930 931 932 933 934
const struct uverbs_obj_type_class uverbs_fd_class = {
	.alloc_begin = alloc_begin_fd_uobject,
	.lookup_get = lookup_get_fd_uobject,
	.alloc_commit = alloc_commit_fd_uobject,
	.alloc_abort = alloc_abort_fd_uobject,
	.lookup_put = lookup_put_fd_uobject,
935 936
	.destroy_hw = destroy_hw_fd_uobject,
	.remove_handle = remove_handle_fd_uobject,
937 938
	.needs_kfree_rcu = false,
};
939
EXPORT_SYMBOL(uverbs_fd_class);
940

941
struct ib_uobject *
942
uverbs_get_uobject_from_file(u16 object_id,
943
			     struct ib_uverbs_file *ufile,
944
			     enum uverbs_obj_access access, s64 id)
945
{
946 947 948
	const struct uverbs_api_object *obj =
		uapi_get_object(ufile->device->uapi, object_id);

949 950
	switch (access) {
	case UVERBS_ACCESS_READ:
951
		return rdma_lookup_get_uobject(obj, ufile, id,
952
					       UVERBS_LOOKUP_READ);
953
	case UVERBS_ACCESS_DESTROY:
954
		/* Actual destruction is done inside uverbs_handle_method */
955
		return rdma_lookup_get_uobject(obj, ufile, id,
956
					       UVERBS_LOOKUP_DESTROY);
957
	case UVERBS_ACCESS_WRITE:
958
		return rdma_lookup_get_uobject(obj, ufile, id,
959
					       UVERBS_LOOKUP_WRITE);
960
	case UVERBS_ACCESS_NEW:
961
		return rdma_alloc_begin_uobject(obj, ufile);
962 963 964 965 966 967 968 969 970 971 972 973 974 975 976 977 978 979 980 981
	default:
		WARN_ON(true);
		return ERR_PTR(-EOPNOTSUPP);
	}
}

int uverbs_finalize_object(struct ib_uobject *uobj,
			   enum uverbs_obj_access access,
			   bool commit)
{
	int ret = 0;

	/*
	 * refcounts should be handled at the object level and not at the
	 * uobject level. Refcounts of the objects themselves are done in
	 * handlers.
	 */

	switch (access) {
	case UVERBS_ACCESS_READ:
982
		rdma_lookup_put_uobject(uobj, UVERBS_LOOKUP_READ);
983 984
		break;
	case UVERBS_ACCESS_WRITE:
985
		rdma_lookup_put_uobject(uobj, UVERBS_LOOKUP_WRITE);
986 987
		break;
	case UVERBS_ACCESS_DESTROY:
988 989
		if (uobj)
			rdma_lookup_put_uobject(uobj, UVERBS_LOOKUP_DESTROY);
990 991 992 993 994 995 996 997 998 999 1000 1001 1002 1003
		break;
	case UVERBS_ACCESS_NEW:
		if (commit)
			ret = rdma_alloc_commit_uobject(uobj);
		else
			rdma_alloc_abort_uobject(uobj);
		break;
	default:
		WARN_ON(true);
		ret = -EOPNOTSUPP;
	}

	return ret;
}