Skip to content

Commit

Permalink
engines/io_uring: add support for async TRIM
Browse files Browse the repository at this point in the history
6.12 kernels and newer support async trim, which means the non-cmd path
no longer needs to quiesce the queue and issue a sync trim for a workload
that includes trim/discard requests.

The engine will assume the support is there, and if it gets -EINVAL when
trying an async trim, then it'll punt back to the using the sync trim
again.

Signed-off-by: Jens Axboe <axboe@kernel.dk>
  • Loading branch information
axboe committed Sep 30, 2024
1 parent b46877e commit 980fb7f
Show file tree
Hide file tree
Showing 2 changed files with 35 additions and 7 deletions.
37 changes: 31 additions & 6 deletions engines/io_uring.c
Original file line number Diff line number Diff line change
Expand Up @@ -84,6 +84,7 @@ struct ioring_data {
struct io_cq_ring cq_ring;
unsigned cq_ring_mask;

int async_trim_fail;
int queued;
int cq_ring_off;
unsigned iodepth;
Expand Down Expand Up @@ -373,6 +374,10 @@ static int io_uring_enter(struct ioring_data *ld, unsigned int to_submit,
#endif
}

#ifndef BLOCK_URING_CMD_DISCARD
#define BLOCK_URING_CMD_DISCARD _IO(0x12, 0)
#endif

static int fio_ioring_prep(struct thread_data *td, struct io_u *io_u)
{
struct ioring_data *ld = td->io_ops_data;
Expand Down Expand Up @@ -448,6 +453,16 @@ static int fio_ioring_prep(struct thread_data *td, struct io_u *io_u)
sqe->fsync_flags |= IORING_FSYNC_DATASYNC;
sqe->opcode = IORING_OP_FSYNC;
}
} else if (io_u->ddir == DDIR_TRIM) {
sqe->opcode = IORING_OP_URING_CMD;
sqe->addr = io_u->offset;
sqe->addr3 = io_u->xfer_buflen;
sqe->rw_flags = 0;
sqe->len = sqe->off = 0;
sqe->ioprio = 0;
sqe->cmd_op = BLOCK_URING_CMD_DISCARD;
sqe->__pad1 = 0;
sqe->file_index = 0;
}

if (o->force_async && ++ld->prepped == o->force_async) {
Expand Down Expand Up @@ -539,13 +554,23 @@ static struct io_u *fio_ioring_event(struct thread_data *td, int event)
cqe = &ld->cq_ring.cqes[index];
io_u = (struct io_u *) (uintptr_t) cqe->user_data;

/* trim returns 0 on success */
if (cqe->res == io_u->xfer_buflen ||
(io_u->ddir == DDIR_TRIM && !cqe->res)) {
io_u->error = 0;
return io_u;
}

if (cqe->res != io_u->xfer_buflen) {
if (io_u->ddir == DDIR_TRIM) {
ld->async_trim_fail = 1;
cqe->res = 0;
}
if (cqe->res > io_u->xfer_buflen)
io_u->error = -cqe->res;
else
io_u->resid = io_u->xfer_buflen - cqe->res;
} else
io_u->error = 0;
}

return io_u;
}
Expand Down Expand Up @@ -737,7 +762,8 @@ static enum fio_q_status fio_ioring_queue(struct thread_data *td,
if (ld->queued == ld->iodepth)
return FIO_Q_BUSY;

if (io_u->ddir == DDIR_TRIM && td->io_ops->flags & FIO_ASYNCIO_SYNC_TRIM) {
/* if async trim has been tried and failed, punt to sync */
if (io_u->ddir == DDIR_TRIM && ld->async_trim_fail) {
if (ld->queued)
return FIO_Q_BUSY;

Expand Down Expand Up @@ -1632,9 +1658,8 @@ static int fio_ioring_cmd_fetch_ruhs(struct thread_data *td, struct fio_file *f,
static struct ioengine_ops ioengine_uring = {
.name = "io_uring",
.version = FIO_IOOPS_VERSION,
.flags = FIO_ASYNCIO_SYNC_TRIM | FIO_NO_OFFLOAD |
FIO_ASYNCIO_SETS_ISSUE_TIME |
FIO_ATOMICWRITES,
.flags = FIO_NO_OFFLOAD | FIO_ASYNCIO_SETS_ISSUE_TIME |
FIO_ATOMICWRITES,
.init = fio_ioring_init,
.post_init = fio_ioring_post_init,
.io_u_init = fio_ioring_io_u_init,
Expand Down
5 changes: 4 additions & 1 deletion os/linux/io_uring.h
Original file line number Diff line number Diff line change
Expand Up @@ -22,7 +22,10 @@ struct io_uring_sqe {
union {
__u64 off; /* offset into file */
__u64 addr2;
__u32 cmd_op;
struct {
__u32 cmd_op;
__u32 __pad1;
};
};
union {
__u64 addr; /* pointer to buffer or iovecs */
Expand Down

0 comments on commit 980fb7f

Please sign in to comment.