1beec0239SBob Pearson // SPDX-License-Identifier: GPL-2.0 OR Linux-OpenIB 2beec0239SBob Pearson /* 3beec0239SBob Pearson * Copyright (c) 2020 Hewlett Packard Enterprise, Inc. All rights reserved. 4beec0239SBob Pearson */ 5beec0239SBob Pearson 69227b6ceSBob Pearson /* 79227b6ceSBob Pearson * The rdma_rxe driver supports type 1 or type 2B memory windows. 89227b6ceSBob Pearson * Type 1 MWs are created by ibv_alloc_mw() verbs calls and bound by 99227b6ceSBob Pearson * ibv_bind_mw() calls. Type 2 MWs are also created by ibv_alloc_mw() 109227b6ceSBob Pearson * but bound by bind_mw work requests. The ibv_bind_mw() call is converted 119227b6ceSBob Pearson * by libibverbs to a bind_mw work request. 129227b6ceSBob Pearson */ 139227b6ceSBob Pearson 14beec0239SBob Pearson #include "rxe.h" 15beec0239SBob Pearson 16beec0239SBob Pearson int rxe_alloc_mw(struct ib_mw *ibmw, struct ib_udata *udata) 17beec0239SBob Pearson { 18beec0239SBob Pearson struct rxe_mw *mw = to_rmw(ibmw); 19beec0239SBob Pearson struct rxe_pd *pd = to_rpd(ibmw->pd); 20beec0239SBob Pearson struct rxe_dev *rxe = to_rdev(ibmw->device); 21beec0239SBob Pearson int ret; 22beec0239SBob Pearson 233197706aSBob Pearson rxe_get(pd); 24beec0239SBob Pearson 25beec0239SBob Pearson ret = rxe_add_to_pool(&rxe->mw_pool, mw); 26beec0239SBob Pearson if (ret) { 273197706aSBob Pearson rxe_put(pd); 28beec0239SBob Pearson return ret; 29beec0239SBob Pearson } 30beec0239SBob Pearson 3102827b67SBob Pearson mw->rkey = ibmw->rkey = (mw->elem.index << 8) | rxe_get_next_key(-1); 32beec0239SBob Pearson mw->state = (mw->ibmw.type == IB_MW_TYPE_2) ? 33beec0239SBob Pearson RXE_MW_STATE_FREE : RXE_MW_STATE_VALID; 34beec0239SBob Pearson spin_lock_init(&mw->lock); 35beec0239SBob Pearson 36215d0a75SBob Pearson rxe_finalize(mw); 37215d0a75SBob Pearson 38beec0239SBob Pearson return 0; 39beec0239SBob Pearson } 40beec0239SBob Pearson 41beec0239SBob Pearson int rxe_dealloc_mw(struct ib_mw *ibmw) 42beec0239SBob Pearson { 43beec0239SBob Pearson struct rxe_mw *mw = to_rmw(ibmw); 44beec0239SBob Pearson 45215d0a75SBob Pearson rxe_cleanup(mw); 46beec0239SBob Pearson 47beec0239SBob Pearson return 0; 48beec0239SBob Pearson } 49beec0239SBob Pearson 5032a577b4SBob Pearson static int rxe_check_bind_mw(struct rxe_qp *qp, struct rxe_send_wqe *wqe, 5132a577b4SBob Pearson struct rxe_mw *mw, struct rxe_mr *mr) 5232a577b4SBob Pearson { 5332a577b4SBob Pearson if (mw->ibmw.type == IB_MW_TYPE_1) { 5432a577b4SBob Pearson if (unlikely(mw->state != RXE_MW_STATE_VALID)) { 55*e8a87efdSBob Pearson rxe_dbg_mw(mw, 5632a577b4SBob Pearson "attempt to bind a type 1 MW not in the valid state\n"); 5732a577b4SBob Pearson return -EINVAL; 5832a577b4SBob Pearson } 5932a577b4SBob Pearson 6032a577b4SBob Pearson /* o10-36.2.2 */ 6132a577b4SBob Pearson if (unlikely((mw->access & IB_ZERO_BASED))) { 62*e8a87efdSBob Pearson rxe_dbg_mw(mw, "attempt to bind a zero based type 1 MW\n"); 6332a577b4SBob Pearson return -EINVAL; 6432a577b4SBob Pearson } 6532a577b4SBob Pearson } 6632a577b4SBob Pearson 6732a577b4SBob Pearson if (mw->ibmw.type == IB_MW_TYPE_2) { 6832a577b4SBob Pearson /* o10-37.2.30 */ 6932a577b4SBob Pearson if (unlikely(mw->state != RXE_MW_STATE_FREE)) { 70*e8a87efdSBob Pearson rxe_dbg_mw(mw, 7132a577b4SBob Pearson "attempt to bind a type 2 MW not in the free state\n"); 7232a577b4SBob Pearson return -EINVAL; 7332a577b4SBob Pearson } 7432a577b4SBob Pearson 7532a577b4SBob Pearson /* C10-72 */ 7632a577b4SBob Pearson if (unlikely(qp->pd != to_rpd(mw->ibmw.pd))) { 77*e8a87efdSBob Pearson rxe_dbg_mw(mw, 7832a577b4SBob Pearson "attempt to bind type 2 MW with qp with different PD\n"); 7932a577b4SBob Pearson return -EINVAL; 8032a577b4SBob Pearson } 8132a577b4SBob Pearson 8232a577b4SBob Pearson /* o10-37.2.40 */ 8332a577b4SBob Pearson if (unlikely(!mr || wqe->wr.wr.mw.length == 0)) { 84*e8a87efdSBob Pearson rxe_dbg_mw(mw, 8532a577b4SBob Pearson "attempt to invalidate type 2 MW by binding with NULL or zero length MR\n"); 8632a577b4SBob Pearson return -EINVAL; 8732a577b4SBob Pearson } 8832a577b4SBob Pearson } 8932a577b4SBob Pearson 9032a577b4SBob Pearson /* remaining checks only apply to a nonzero MR */ 9132a577b4SBob Pearson if (!mr) 9232a577b4SBob Pearson return 0; 9332a577b4SBob Pearson 9432a577b4SBob Pearson if (unlikely(mr->access & IB_ZERO_BASED)) { 95*e8a87efdSBob Pearson rxe_dbg_mw(mw, "attempt to bind MW to zero based MR\n"); 9632a577b4SBob Pearson return -EINVAL; 9732a577b4SBob Pearson } 9832a577b4SBob Pearson 9932a577b4SBob Pearson /* C10-73 */ 10032a577b4SBob Pearson if (unlikely(!(mr->access & IB_ACCESS_MW_BIND))) { 101*e8a87efdSBob Pearson rxe_dbg_mw(mw, 10232a577b4SBob Pearson "attempt to bind an MW to an MR without bind access\n"); 10332a577b4SBob Pearson return -EINVAL; 10432a577b4SBob Pearson } 10532a577b4SBob Pearson 10632a577b4SBob Pearson /* C10-74 */ 10732a577b4SBob Pearson if (unlikely((mw->access & 10832a577b4SBob Pearson (IB_ACCESS_REMOTE_WRITE | IB_ACCESS_REMOTE_ATOMIC)) && 10932a577b4SBob Pearson !(mr->access & IB_ACCESS_LOCAL_WRITE))) { 110*e8a87efdSBob Pearson rxe_dbg_mw(mw, 1115abb71b4SZhang Jiaming "attempt to bind an Writable MW to an MR without local write access\n"); 11232a577b4SBob Pearson return -EINVAL; 11332a577b4SBob Pearson } 11432a577b4SBob Pearson 11532a577b4SBob Pearson /* C10-75 */ 11632a577b4SBob Pearson if (mw->access & IB_ZERO_BASED) { 117954afc5aSDaisuke Matsuda if (unlikely(wqe->wr.wr.mw.length > mr->ibmr.length)) { 118*e8a87efdSBob Pearson rxe_dbg_mw(mw, 11932a577b4SBob Pearson "attempt to bind a ZB MW outside of the MR\n"); 12032a577b4SBob Pearson return -EINVAL; 12132a577b4SBob Pearson } 12232a577b4SBob Pearson } else { 123954afc5aSDaisuke Matsuda if (unlikely((wqe->wr.wr.mw.addr < mr->ibmr.iova) || 12432a577b4SBob Pearson ((wqe->wr.wr.mw.addr + wqe->wr.wr.mw.length) > 125954afc5aSDaisuke Matsuda (mr->ibmr.iova + mr->ibmr.length)))) { 126*e8a87efdSBob Pearson rxe_dbg_mw(mw, 12732a577b4SBob Pearson "attempt to bind a VA MW outside of the MR\n"); 12832a577b4SBob Pearson return -EINVAL; 12932a577b4SBob Pearson } 13032a577b4SBob Pearson } 13132a577b4SBob Pearson 13232a577b4SBob Pearson return 0; 13332a577b4SBob Pearson } 13432a577b4SBob Pearson 13532a577b4SBob Pearson static void rxe_do_bind_mw(struct rxe_qp *qp, struct rxe_send_wqe *wqe, 13632a577b4SBob Pearson struct rxe_mw *mw, struct rxe_mr *mr) 13732a577b4SBob Pearson { 13800134533SBob Pearson u32 key = wqe->wr.wr.mw.rkey & 0xff; 13932a577b4SBob Pearson 14000134533SBob Pearson mw->rkey = (mw->rkey & ~0xff) | key; 14132a577b4SBob Pearson mw->access = wqe->wr.wr.mw.access; 14232a577b4SBob Pearson mw->state = RXE_MW_STATE_VALID; 14332a577b4SBob Pearson mw->addr = wqe->wr.wr.mw.addr; 14432a577b4SBob Pearson mw->length = wqe->wr.wr.mw.length; 14532a577b4SBob Pearson 14632a577b4SBob Pearson if (mw->mr) { 1473197706aSBob Pearson rxe_put(mw->mr); 14832a577b4SBob Pearson atomic_dec(&mw->mr->num_mw); 14932a577b4SBob Pearson mw->mr = NULL; 15032a577b4SBob Pearson } 15132a577b4SBob Pearson 15232a577b4SBob Pearson if (mw->length) { 15332a577b4SBob Pearson mw->mr = mr; 15432a577b4SBob Pearson atomic_inc(&mr->num_mw); 1553197706aSBob Pearson rxe_get(mr); 15632a577b4SBob Pearson } 15732a577b4SBob Pearson 15832a577b4SBob Pearson if (mw->ibmw.type == IB_MW_TYPE_2) { 1593197706aSBob Pearson rxe_get(qp); 16032a577b4SBob Pearson mw->qp = qp; 16132a577b4SBob Pearson } 16232a577b4SBob Pearson } 16332a577b4SBob Pearson 16432a577b4SBob Pearson int rxe_bind_mw(struct rxe_qp *qp, struct rxe_send_wqe *wqe) 16532a577b4SBob Pearson { 16632a577b4SBob Pearson int ret; 16732a577b4SBob Pearson struct rxe_mw *mw; 16832a577b4SBob Pearson struct rxe_mr *mr; 16932a577b4SBob Pearson struct rxe_dev *rxe = to_rdev(qp->ibqp.device); 17000134533SBob Pearson u32 mw_rkey = wqe->wr.wr.mw.mw_rkey; 17100134533SBob Pearson u32 mr_lkey = wqe->wr.wr.mw.mr_lkey; 17232a577b4SBob Pearson 17300134533SBob Pearson mw = rxe_pool_get_index(&rxe->mw_pool, mw_rkey >> 8); 17432a577b4SBob Pearson if (unlikely(!mw)) { 17532a577b4SBob Pearson ret = -EINVAL; 17632a577b4SBob Pearson goto err; 17732a577b4SBob Pearson } 17832a577b4SBob Pearson 17900134533SBob Pearson if (unlikely(mw->rkey != mw_rkey)) { 18032a577b4SBob Pearson ret = -EINVAL; 18132a577b4SBob Pearson goto err_drop_mw; 18232a577b4SBob Pearson } 18332a577b4SBob Pearson 18432a577b4SBob Pearson if (likely(wqe->wr.wr.mw.length)) { 18500134533SBob Pearson mr = rxe_pool_get_index(&rxe->mr_pool, mr_lkey >> 8); 18632a577b4SBob Pearson if (unlikely(!mr)) { 18732a577b4SBob Pearson ret = -EINVAL; 18832a577b4SBob Pearson goto err_drop_mw; 18932a577b4SBob Pearson } 19032a577b4SBob Pearson 19100134533SBob Pearson if (unlikely(mr->lkey != mr_lkey)) { 19232a577b4SBob Pearson ret = -EINVAL; 19332a577b4SBob Pearson goto err_drop_mr; 19432a577b4SBob Pearson } 19532a577b4SBob Pearson } else { 19632a577b4SBob Pearson mr = NULL; 19732a577b4SBob Pearson } 19832a577b4SBob Pearson 19921adfa7aSBob Pearson spin_lock_bh(&mw->lock); 20032a577b4SBob Pearson 20132a577b4SBob Pearson ret = rxe_check_bind_mw(qp, wqe, mw, mr); 20232a577b4SBob Pearson if (ret) 20332a577b4SBob Pearson goto err_unlock; 20432a577b4SBob Pearson 20532a577b4SBob Pearson rxe_do_bind_mw(qp, wqe, mw, mr); 20632a577b4SBob Pearson err_unlock: 20721adfa7aSBob Pearson spin_unlock_bh(&mw->lock); 20832a577b4SBob Pearson err_drop_mr: 20932a577b4SBob Pearson if (mr) 2103197706aSBob Pearson rxe_put(mr); 21132a577b4SBob Pearson err_drop_mw: 2123197706aSBob Pearson rxe_put(mw); 21332a577b4SBob Pearson err: 21432a577b4SBob Pearson return ret; 21532a577b4SBob Pearson } 21632a577b4SBob Pearson 2173902b429SBob Pearson static int rxe_check_invalidate_mw(struct rxe_qp *qp, struct rxe_mw *mw) 2183902b429SBob Pearson { 2193902b429SBob Pearson if (unlikely(mw->state == RXE_MW_STATE_INVALID)) 2203902b429SBob Pearson return -EINVAL; 2213902b429SBob Pearson 2223902b429SBob Pearson /* o10-37.2.26 */ 2233902b429SBob Pearson if (unlikely(mw->ibmw.type == IB_MW_TYPE_1)) 2243902b429SBob Pearson return -EINVAL; 2253902b429SBob Pearson 2263902b429SBob Pearson return 0; 2273902b429SBob Pearson } 2283902b429SBob Pearson 2293902b429SBob Pearson static void rxe_do_invalidate_mw(struct rxe_mw *mw) 2303902b429SBob Pearson { 2313902b429SBob Pearson struct rxe_qp *qp; 2323902b429SBob Pearson struct rxe_mr *mr; 2333902b429SBob Pearson 2343902b429SBob Pearson /* valid type 2 MW will always have a QP pointer */ 2353902b429SBob Pearson qp = mw->qp; 2363902b429SBob Pearson mw->qp = NULL; 2373197706aSBob Pearson rxe_put(qp); 2383902b429SBob Pearson 2393902b429SBob Pearson /* valid type 2 MW will always have an MR pointer */ 2403902b429SBob Pearson mr = mw->mr; 2413902b429SBob Pearson mw->mr = NULL; 2423902b429SBob Pearson atomic_dec(&mr->num_mw); 2433197706aSBob Pearson rxe_put(mr); 2443902b429SBob Pearson 2453902b429SBob Pearson mw->access = 0; 2463902b429SBob Pearson mw->addr = 0; 2473902b429SBob Pearson mw->length = 0; 2483902b429SBob Pearson mw->state = RXE_MW_STATE_FREE; 2493902b429SBob Pearson } 2503902b429SBob Pearson 2513902b429SBob Pearson int rxe_invalidate_mw(struct rxe_qp *qp, u32 rkey) 2523902b429SBob Pearson { 2533902b429SBob Pearson struct rxe_dev *rxe = to_rdev(qp->ibqp.device); 2543902b429SBob Pearson struct rxe_mw *mw; 2553902b429SBob Pearson int ret; 2563902b429SBob Pearson 2573902b429SBob Pearson mw = rxe_pool_get_index(&rxe->mw_pool, rkey >> 8); 2583902b429SBob Pearson if (!mw) { 2593902b429SBob Pearson ret = -EINVAL; 2603902b429SBob Pearson goto err; 2613902b429SBob Pearson } 2623902b429SBob Pearson 26300134533SBob Pearson if (rkey != mw->rkey) { 2643902b429SBob Pearson ret = -EINVAL; 2653902b429SBob Pearson goto err_drop_ref; 2663902b429SBob Pearson } 2673902b429SBob Pearson 26821adfa7aSBob Pearson spin_lock_bh(&mw->lock); 2693902b429SBob Pearson 2703902b429SBob Pearson ret = rxe_check_invalidate_mw(qp, mw); 2713902b429SBob Pearson if (ret) 2723902b429SBob Pearson goto err_unlock; 2733902b429SBob Pearson 2743902b429SBob Pearson rxe_do_invalidate_mw(mw); 2753902b429SBob Pearson err_unlock: 27621adfa7aSBob Pearson spin_unlock_bh(&mw->lock); 2773902b429SBob Pearson err_drop_ref: 2783197706aSBob Pearson rxe_put(mw); 2793902b429SBob Pearson err: 2803902b429SBob Pearson return ret; 2813902b429SBob Pearson } 2823902b429SBob Pearson 283cdd0b856SBob Pearson struct rxe_mw *rxe_lookup_mw(struct rxe_qp *qp, int access, u32 rkey) 284cdd0b856SBob Pearson { 285cdd0b856SBob Pearson struct rxe_dev *rxe = to_rdev(qp->ibqp.device); 286cdd0b856SBob Pearson struct rxe_pd *pd = to_rpd(qp->ibqp.pd); 287cdd0b856SBob Pearson struct rxe_mw *mw; 288cdd0b856SBob Pearson int index = rkey >> 8; 289cdd0b856SBob Pearson 290cdd0b856SBob Pearson mw = rxe_pool_get_index(&rxe->mw_pool, index); 291cdd0b856SBob Pearson if (!mw) 292cdd0b856SBob Pearson return NULL; 293cdd0b856SBob Pearson 29400134533SBob Pearson if (unlikely((mw->rkey != rkey) || rxe_mw_pd(mw) != pd || 295cdd0b856SBob Pearson (mw->ibmw.type == IB_MW_TYPE_2 && mw->qp != qp) || 296875ab4a8SLi Zhijian (mw->length == 0) || ((access & mw->access) != access) || 297cdd0b856SBob Pearson mw->state != RXE_MW_STATE_VALID)) { 2983197706aSBob Pearson rxe_put(mw); 299cdd0b856SBob Pearson return NULL; 300cdd0b856SBob Pearson } 301cdd0b856SBob Pearson 302cdd0b856SBob Pearson return mw; 303cdd0b856SBob Pearson } 304cde3f5d6SBob Pearson 305cde3f5d6SBob Pearson void rxe_mw_cleanup(struct rxe_pool_elem *elem) 306cde3f5d6SBob Pearson { 307cde3f5d6SBob Pearson struct rxe_mw *mw = container_of(elem, typeof(*mw), elem); 308cde3f5d6SBob Pearson struct rxe_pd *pd = to_rpd(mw->ibmw.pd); 309cde3f5d6SBob Pearson 310cde3f5d6SBob Pearson rxe_put(pd); 311cde3f5d6SBob Pearson 312cde3f5d6SBob Pearson if (mw->mr) { 313cde3f5d6SBob Pearson struct rxe_mr *mr = mw->mr; 314cde3f5d6SBob Pearson 315cde3f5d6SBob Pearson mw->mr = NULL; 316cde3f5d6SBob Pearson atomic_dec(&mr->num_mw); 317cde3f5d6SBob Pearson rxe_put(mr); 318cde3f5d6SBob Pearson } 319cde3f5d6SBob Pearson 320cde3f5d6SBob Pearson if (mw->qp) { 321cde3f5d6SBob Pearson struct rxe_qp *qp = mw->qp; 322cde3f5d6SBob Pearson 323cde3f5d6SBob Pearson mw->qp = NULL; 324cde3f5d6SBob Pearson rxe_put(qp); 325cde3f5d6SBob Pearson } 326cde3f5d6SBob Pearson 327cde3f5d6SBob Pearson mw->access = 0; 328cde3f5d6SBob Pearson mw->addr = 0; 329cde3f5d6SBob Pearson mw->length = 0; 330cde3f5d6SBob Pearson mw->state = RXE_MW_STATE_INVALID; 331cde3f5d6SBob Pearson } 332