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
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
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
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
|
.\" Copyright (C) 2019 Jens Axboe <axboe@kernel.dk>
.\" Copyright (C) 2019 Red Hat, Inc.
.\"
.\" %%%LICENSE_START(LGPL_V2.1)
.\" This file is distributed according to the GNU Lesser General Public License.
.\" %%%LICENSE_END
.\"
.TH IO_URING_ENTER 2 2019-01-22 "Linux" "Linux Programmer's Manual"
.SH NAME
io_uring_enter \- initiate and/or complete asynchronous I/O
.SH SYNOPSIS
.nf
.BR "#include <linux/io_uring.h>"
.PP
.BI "int io_uring_enter(unsigned int " fd ", unsigned int " to_submit ,
.BI " unsigned int " min_complete ", unsigned int " flags ,
.BI " sigset_t *" sig);
.fi
.PP
.SH DESCRIPTION
.PP
.BR io_uring_enter ()
is used to initiate and complete I/O using the shared submission and
completion queues setup by a call to
.BR io_uring_setup(2).
A single call can both submit new I/O and wait for completions of I/O
initiated by this call or previous calls to
.BR io_uring_enter ().
.I fd
is the file descriptor returned by
.BR io_uring_setup(2).
.I to_submit
specifies the number of I/Os to submit from the submission queue. If
the
.B IORING_ENTER_GETEVENTS
bit is set in
.I flags,
then the system call will attempt to wait for
.I min_complete
event completions before returning. If the io_uring instance was
configured for polling, by specifying
.B IORING_SETUP_IOPOLL
in the call to
.BR io_uring_setup (2),
then min_complete has a slightly different meaning. Passing a value
of 0 instructs the kernel to return any events which are already complete,
without blocking. If
.I min_complete
is a non-zero value, the kernel will still return immediately if any
completion events are available. If no event completions are
available, then the call will poll either until one or more
completions become available, or until the process has exceeded its
scheduler time slice.
Note that, for interrupt driven I/O (where
.B IORING_SETUP_IOPOLL
was not specified in the call to
.BR io_uring_setup (2)),
an application may check the completion queue for event completions
without entering the kernel at all.
.PP
When the system call returns that a certain amount of SQEs have been
consumed and submitted, it's safe to reuse SQE entries in the ring. This is
true even if the actual IO submission had to be punted to async context,
which means that the SQE may in fact not have been submitted yet. If the
kernel requires later use of a particular SQE entry, it will have made a
private copy of it.
.I sig
is a pointer to a signal mask (see
.BR sigprocmask (2)); if
.I sig
is not NULL,
.BR io_uring_enter ()
first replaces the current signal mask by the one pointed to by
.I sig,
then waits for events to become available in the completion queue, and
then restores the original signal mask. The following
.BI io_uring_enter ()
call:
.PP
.in +4n
.EX
ret = io_uring_enter(fd, 0, 1, IORING_ENTER_GETEVENTS, &sig);
.EE
.in
.PP
is equivalent to
.I atomically
executing the following calls:
.PP
.in +4n
.EX
pthread_sigmask(SIG_SETMASK, &sig, &orig);
ret = io_uring_enter(fd, 0, 1, IORING_ENTER_GETEVENTS, NULL);
pthread_sigmask(SIG_SETMASK, &orig, NULL);
.EE
.in
.PP
See the description of
.BR pselect (2)
for an explanation of why the
.I sig
parameter is necessary.
Submission queue entries are represented using the following data
structure:
.PP
.in +4n
.EX
/*
* IO submission data structure (Submission Queue Entry)
*/
struct io_uring_sqe {
__u8 opcode; /* type of operation for this sqe */
__u8 flags; /* IOSQE_ flags */
__u16 ioprio; /* ioprio for the request */
__s32 fd; /* file descriptor to do IO on */
__u64 off; /* offset into file */
__u64 addr; /* pointer to buffer or iovecs */
__u32 len; /* buffer size or number of iovecs */
union {
__kernel_rwf_t rw_flags;
__u32 fsync_flags;
__u16 poll_events;
};
__u64 user_data; /* data passed back at completion time */
union {
__u16 buf_index; /* index into fixed buffers, if used */
__u64 __pad2[3];
};
};
.EE
.in
.PP
The
.I opcode
describes the operation to be performed. It can be one of:
.TP
.BR IORING_OP_NOP
Do not perform any I/O. This is useful for testing the performance of
the io_uring implementation itself.
.TP
.BR IORING_OP_READV
.TP
.BR IORING_OP_WRITEV
Vectored read and write operations, similar to
.BR preadv2(2)
and
.BR pwritev2(2).
.TP
.BR IORING_OP_READ_FIXED
.TP
.BR IORING_OP_WRITE_FIXED
Read from or write to pre-mapped buffers. See
.BR io_uring_register(2)
for details on how to setup a context for fixed reads and writes.
.TP
.BR IORING_OP_FSYNC
File sync. See also
.BR fsync(2).
Note that, while I/O is initiated in the order in which it appears in
the submission queue, completions are unordered. For example, an
application which places a write I/O followed by an fsync in the
submission queue cannot expect the fsync to apply to the write. The
two operations execute in parallel, so the fsync may complete before
the write is issued to the storage. The same is also true for
previously issued writes that have not completed prior to the fsync.
.TP
.BR IORING_OP_POLL_ADD
Poll the
.I fd
specified in the submission queue entry for the events
specified in the
.I poll_events
field. Unlike poll or epoll without
.B EPOLLONESHOT,
this interface always works in one shot mode. That is, once the poll
operation is completed, it will have to be resubmitted.
.TP
.BR IORING_OP_POLL_REMOVE
Remove an existing poll request. If found, the
.I res
field of the
.I struct io_uring_cqe
will contain 0. If not found,
.I res
will contain
.B -ENOENT.
.PP
The
.I flags
field is a bit mask. Currently, the only supported flag is
.B IOSQE_FIXED_FILE.
When this flag is specified,
.I fd
is an index into the files array registered with the io_uring instance (see the
.B IORING_REGISTER_FILES
section of the
.BR io_uring_register(2)
man page).
.I ioprio
specifies the I/O priority. See
.BR ioprio_get(2)
for a description of Linux I/O priorities.
.I fd
specifies the file descriptor against which the operation will be
performed, with the exception noted above.
If the operation is one of
.B IORING_OP_READ_FIXED
or
.B IORING_OP_WRITE_FIXED,
.I addr
and
.I len
must fall within the buffer located at
.I buf_index
in the fixed buffer array. If the operation is either
.B IORING_OP_READV
or
.B IORING_OP_WRITEV,
then
.I addr
points to an iovec array of
.I len
entries.
.I rw_flags,
specified for read and write operations, contains a bitwise OR of
per-I/O flags, as described in the
.BR preadv2(2)
man page.
The
.I fsync_flags
bit mask may contain either 0, for a normal file integrity sync, or
.B IORING_FSYNC_DATASYNC
to provide data sync only semantics. See the descriptions of
.B O_SYNC
and
.B O_DSYNC
in the
.BR open(2)
manual page for more information.
The bits that may be set in
.I poll_events
are defined in \fI<poll.h>\fP, and documented in
.BR poll(2).
.I user_data
is an application-supplied value that will be copied into
the completion queue entry (see below).
.I buf_index
is an index into an array of fixed buffers, and is only valid if fixed
buffers were registered
.PP
Once the submission queue entry is initialized, I/O is submitted by
placing the index of the submission queue entry into the tail of the
submission queue. After one or more indexes are added to the queue,
and the queue tail is advanced, the io_uring_enter(2) system call can
be invoked to initiate the I/O.
Completions use the following data structure:
.PP
.in +4n
.EX
/*
* IO completion data structure (Completion Queue Entry)
*/
struct io_uring_cqe {
__u64 user_data; /* sqe->data submission passed back */
__s32 res; /* result code for this event */
__u32 flags;
};
.EE
.in
.PP
.I user_data
is copied from the field of the same name in the submission queue
entry. The primary use case is to store data that the application
will need to access upon completion of this particular I/O. The
.I flags
is reserved for future use.
.I res
is the operation-specific result.
.PP
For read and write opcodes, the
return values match those documented in the
.BR preadv2(2)
and
.BR pwritev2(2)
man pages.
Return codes for the io_uring-specific opcodes are documented in the
description of the opcodes above.
.PP
.SH RETURN VALUE
.BR io_uring_enter ()
returns the number of I/Os successfully consumed. This can be zero
if
.I to_submit
was zero or if the submission queue was empty. The errors below that refer to
an error in a submission queue entry will be returned though a completion queue
entry, rather than through the system call itself.
Errors that occur not on behalf of a submission queue entry are returned via the
system call directly. On such an error, -1 is returned and
.I errno
is set appropriately.
.PP
.SH ERRORS
.TP
.BR EAGAIN
The kernel was unable to allocate memory for the request.
.TP
.BR EBADF
The
.I fd
field in the submission queue entry is invalid, or the
.B IOSQE_FIXED_FILE
flag was set in the submission queue entry, but no files were registered
with the io_uring instance
.TP
.BR EFAULT
buffer is outside of the process' accessible address space
.TP
.BR EFAULT
.B IORING_OP_READ_FIXED
or
.B IORING_OP_WRITE_FIXED
was specified in the
.I opcode
field of the submission queue entry, but either buffers were not
registered for this io_uring instance, or the address range described
by
.I addr
and
.I len
does not fit within the buffer registered at
.I buf_index
.TP
.BR EINVAL
The
.I index
member of the submission queue entry is invalid.
.TP
.BR EINVAL
the
.I flags
field or
.I opcode
in a submission queue entry is invalid
.TP
.BR EINVAL
.B IORING_OP_NOP
was specified in the submission queue entry, but the io_uring context
was setup for polling (
.B IORING_SETUP_IOPOLL
was specified in the call to io_uring_setup)
.TP
.BR EINVAL
.B IORING_OP_READV
or
.B IORING_OP_WRITEV
was specified in the submission queue entry, but the io_uring instance
has fixed buffers registered.
.TP
.BR EINVAL
.B IORING_OP_READ_FIXED
or
.B IORING_OP_WRITE_FIXED
was specified in the submission queue entry, and the
.I buf_index
is invalid
.TP
.BR EINVAL
.B IORING_OP_READV, IORING_OP_WRITEV, IORING_OP_READ_FIXED,
.B IORING_OP_WRITE_FIXED
or
.B IORING_OP_FSYNC
was specified in the submission queue entry, but the io_uring instance
was configured for IOPOLLing, or any of
.I addr, ioprio, off, len,
or
.I buf_index
was set in the submission queue entry.
.TP
.BR EINVAL
.B IORING_OP_POLL_ADD
or
.B IORING_OP_POLL_REMOVE
was specified in the
.I opcode
field of the submission queue entry, but the io_uring instance was
configured for busy-wait polling
.B (IORING_SETUP_IOPOLL),
or any of
.I ioprio, off, len
or
.I buf_index
was non-zero in the submission queue entry.
.TP
.BR EINVAL
.B IORING_OP_POLL_ADD
was specified in the
.I opcode
field of the submission queue entry, and the
.I addr
field was non-zero.
.TP
.BR ENXIO
the io_uring instance is in the process of being torn down
.TP
.BR EOPNOTSUPP
.I fd
does not refer to an io_uring instance
.TP
.BR EOPNOTSUPP
.I opcode
is valid, but not supported by this kernel.
|