io_uring/msg_ring.c

   1 // SPDX-License-Identifier: GPL-2.0
   2 #include <linux/kernel.h>
   3 #include <linux/errno.h>
   4 #include <linux/file.h>
   5 #include <linux/slab.h>
   6 #include <linux/nospec.h>
   7 #include <linux/io_uring.h>
   8
   9 #include <uapi/linux/io_uring.h>
  10
  11 #include "io_uring.h"
  12 #include "rsrc.h"
  13 #include "filetable.h"
  14 #include "msg_ring.h"
  15
  16 struct io_msg {
  17         struct file                     *file;
  18         u64 user_data;
  19         u32 len;
  20         u32 cmd;
  21         u32 src_fd;
  22         u32 dst_fd;
  23         u32 flags;
  24 };
  25
  26 static int io_msg_ring_data(struct io_kiocb *req)
  27 {
  28         struct io_ring_ctx *target_ctx = req->file->private_data;
  29         struct io_msg *msg = io_kiocb_to_cmd(req, struct io_msg);
  30
  31         if (msg->src_fd || msg->dst_fd || msg->flags)
  32                 return -EINVAL;
  33         if (target_ctx->flags & IORING_SETUP_R_DISABLED)
  34                 return -EBADFD;
  35
  36         if (io_post_aux_cqe(target_ctx, msg->user_data, msg->len, 0, true))
  37                 return 0;
  38
  39         return -EOVERFLOW;
  40 }
  41
  42 static void io_double_unlock_ctx(struct io_ring_ctx *ctx,
  43                                  struct io_ring_ctx *octx,
  44                                  unsigned int issue_flags)
  45 {
  46         if (issue_flags & IO_URING_F_UNLOCKED)
  47                 mutex_unlock(&ctx->uring_lock);
  48         mutex_unlock(&octx->uring_lock);
  49 }
  50
  51 static int io_double_lock_ctx(struct io_ring_ctx *ctx,
  52                               struct io_ring_ctx *octx,
  53                               unsigned int issue_flags)
  54 {
  55         /*
  56          * To ensure proper ordering between the two ctxs, we can only
  57          * attempt a trylock on the target. If that fails and we already have
  58          * the source ctx lock, punt to io-wq.
  59          */
  60         if (!(issue_flags & IO_URING_F_UNLOCKED)) {
  61                 if (!mutex_trylock(&octx->uring_lock))
  62                         return -EAGAIN;
  63                 return 0;
  64         }
  65
  66         /* Always grab smallest value ctx first. We know ctx != octx. */
  67         if (ctx < octx) {
  68                 mutex_lock(&ctx->uring_lock);
  69                 mutex_lock(&octx->uring_lock);
  70         } else {
  71                 mutex_lock(&octx->uring_lock);
  72                 mutex_lock(&ctx->uring_lock);
  73         }
  74
  75         return 0;
  76 }
  77
  78 static int io_msg_send_fd(struct io_kiocb *req, unsigned int issue_flags)
  79 {
  80         struct io_ring_ctx *target_ctx = req->file->private_data;
  81         struct io_msg *msg = io_kiocb_to_cmd(req, struct io_msg);
  82         struct io_ring_ctx *ctx = req->ctx;
  83         unsigned long file_ptr;
  84         struct file *src_file;
  85         int ret;
  86
  87         if (msg->len)
  88                 return -EINVAL;
  89         if (target_ctx == ctx)
  90                 return -EINVAL;
  91         if (target_ctx->flags & IORING_SETUP_R_DISABLED)
  92                 return -EBADFD;
  93
  94         ret = io_double_lock_ctx(ctx, target_ctx, issue_flags);
  95         if (unlikely(ret))
  96                 return ret;
  97
  98         ret = -EBADF;
  99         if (unlikely(msg->src_fd >= ctx->nr_user_files))
 100                 goto out_unlock;
 101
 102         msg->src_fd = array_index_nospec(msg->src_fd, ctx->nr_user_files);
 103         file_ptr = io_fixed_file_slot(&ctx->file_table, msg->src_fd)->file_ptr;
 104         if (!file_ptr)
 105                 goto out_unlock;
 106
 107         src_file = (struct file *) (file_ptr & FFS_MASK);
 108         get_file(src_file);
 109
 110         ret = __io_fixed_fd_install(target_ctx, src_file, msg->dst_fd);
 111         if (ret < 0) {
 112                 fput(src_file);
 113                 goto out_unlock;
 114         }
 115
 116         if (msg->flags & IORING_MSG_RING_CQE_SKIP)
 117                 goto out_unlock;
 118
 119         /*
 120          * If this fails, the target still received the file descriptor but
 121          * wasn't notified of the fact. This means that if this request
 122          * completes with -EOVERFLOW, then the sender must ensure that a
 123          * later IORING_OP_MSG_RING delivers the message.
 124          */
 125         if (!io_post_aux_cqe(target_ctx, msg->user_data, ret, 0, true))
 126                 ret = -EOVERFLOW;
 127 out_unlock:
 128         io_double_unlock_ctx(ctx, target_ctx, issue_flags);
 129         return ret;
 130 }
 131
 132 int io_msg_ring_prep(struct io_kiocb *req, const struct io_uring_sqe *sqe)
 133 {
 134         struct io_msg *msg = io_kiocb_to_cmd(req, struct io_msg);
 135
 136         if (unlikely(sqe->buf_index || sqe->personality))
 137                 return -EINVAL;
 138
 139         msg->user_data = READ_ONCE(sqe->off);
 140         msg->len = READ_ONCE(sqe->len);
 141         msg->cmd = READ_ONCE(sqe->addr);
 142         msg->src_fd = READ_ONCE(sqe->addr3);
 143         msg->dst_fd = READ_ONCE(sqe->file_index);
 144         msg->flags = READ_ONCE(sqe->msg_ring_flags);
 145         if (msg->flags & ~IORING_MSG_RING_CQE_SKIP)
 146                 return -EINVAL;
 147
 148         return 0;
 149 }
 150
 151 int io_msg_ring(struct io_kiocb *req, unsigned int issue_flags)
 152 {
 153         struct io_msg *msg = io_kiocb_to_cmd(req, struct io_msg);
 154         int ret;
 155
 156         ret = -EBADFD;
 157         if (!io_is_uring_fops(req->file))
 158                 goto done;
 159
 160         switch (msg->cmd) {
 161         case IORING_MSG_DATA:
 162                 ret = io_msg_ring_data(req);
 163                 break;
 164         case IORING_MSG_SEND_FD:
 165                 ret = io_msg_send_fd(req, issue_flags);
 166                 break;
 167         default:
 168                 ret = -EINVAL;
 169                 break;
 170         }
 171
 172 done:
 173         if (ret == -EAGAIN)
 174                 return -EAGAIN;
 175         if (ret < 0)
 176                 req_set_fail(req);
 177         io_req_set_res(req, ret, 0);
 178         return IOU_OK;
 179 }