LIO_LISTIO(3) Library Functions Manual LIO_LISTIO(3)

lio_listio — list directed I/O

#include <aio.h>

int lio_listio(int mode, struct aiocb *restrict const list[restrict],
       int nent, struct sigevent *restrict sig);

The lio_listio () function shall initiate a list of I/O requests with a single function call.

The mode argument takes one of the values LIO_WAIT or LIO_NOWAIT declared in <aio.h> and determines whether the function returns when the I/O operations have been completed, or as soon as the operations have been queued. If the mode argument is LIO_WAIT, the function shall wait until all I/O is complete and the sig argument shall be ignored.

If the mode argument is LIO_NOWAIT, the function shall return immediately, and asynchronous notification shall occur, according to the sig argument, when all the I/O operations complete. If sig is NULL, then no asynchronous notification shall occur. If sig is not NULL, asynchronous notification occurs as specified in V2_chap02(3) when all the requests in list have completed.

The I/O requests enumerated by list are submitted in an unspecified order.

The list argument is an array of pointers to aiocb structures. The array contains nent elements. The array may contain NULL elements, which shall be ignored.

If the buffer pointed to by list or the aiocb structures pointed to by the elements of the array list become illegal addresses before all asynchronous I/O completed and, if necessary, the notification is sent, then the behavior is undefined. If the buffers pointed to by the aio_buf member of the aiocb structure pointed to by the elements of the array list become illegal addresses prior to the asynchronous I/O associated with that aiocb structure being completed, the behavior is undefined.

The aio_lio_opcode field of each aiocb structure specifies the operation to be performed. The supported operations are LIO_READ, LIO_WRITE, and LIO_NOP; these symbols are defined in <aio.h>. The LIO_NOP operation causes the list entry to be ignored. If the aio_lio_opcode element is equal to LIO_READ, then an I/O operation is submitted as if by a call to aio_read(3) with the aiocbp equal to the address of the aiocb structure. If the aio_lio_opcode element is equal to LIO_WRITE, then an I/O operation is submitted as if by a call to aio_write(3) with the aiocbp equal to the address of the aiocb structure.

The aio_fildes member specifies the file descriptor on which the operation is to be performed.

The aio_buf member specifies the address of the buffer to or from which the data is transferred.

The member specifies the number of bytes of data to be transferred.

The members of the aiocb structure further describe the I/O operation to be performed, in a manner identical to that of the corresponding aiocb structure when used by the aio_read(3) and aio_write(3) functions.

The nent argument specifies how many elements are members of the list; that is, the length of the array.

The behavior of this function is altered according to the definitions of synchronized I/O data integrity completion and synchronized I/O file integrity completion if synchronized I/O is enabled on the file associated with aio_fildes.

For regular files, no data transfer shall occur past the offset maximum established in the open file description associated with aiocbp -> aio_fildes.

If sig -> is SIGEV_THREAD and sig -> sigev_notify_attributes is a non-null pointer and the block pointed to by this pointer becomes an illegal address prior to all asynchronous I/O being completed, then the behavior is undefined.

If the mode argument has the value LIO_NOWAIT, the lio_listio () function shall return the value zero if the I/O operations are successfully queued; otherwise, the function shall return the value -1 and set errno to indicate the error.

If the mode argument has the value LIO_WAIT, the lio_listio () function shall return the value zero when all the indicated I/O has completed successfully. Otherwise, lio_listio () shall return a value of -1 and set errno to indicate the error.

In either case, the return value only indicates the success or failure of the lio_listio () call itself, not the status of the individual I/O requests. In some cases one or more of the I/O requests contained in the list may fail. Failure of an individual request does not prevent completion of any other individual request. To determine the outcome of each I/O request, the application shall examine the error status associated with each aiocb control block. The error statuses so returned are identical to those returned as the result of an aio_read(3) or aio_write(3) function.

The lio_listio () function shall fail if:

The resources necessary to queue all the I/O requests were not available. The application may check the error status for each aiocb to determine the individual request(s) that failed.
The number of entries indicated by nent would cause the system-wide limit {AIO_MAX} to be exceeded.
The mode argument is not a proper value, or the value of nent was greater than {AIO_LISTIO_MAX}.
A signal was delivered while waiting for all I/O requests to complete during an LIO_WAIT operation. Note that, since each I/O operation invoked by lio_listio () may possibly provoke a signal when it completes, this error return may be caused by the completion of one (or more) of the very I/O operations being awaited. Outstanding I/O requests are not canceled, and the application shall examine each list element to determine whether the request was initiated, canceled, or completed.
One or more of the individual I/O operations failed. The application may check the error status for each aiocb structure to determine the individual request(s) that failed.

If the lio_listio () function succeeds or fails with errors of [EAGAIN], [EINTR], or [EIO], then some of the I/O specified by the list may have been initiated. If the lio_listio () function fails with an error code other than [EAGAIN], [EINTR], or [EIO], no operations from the list shall have been initiated. The I/O operation indicated by each list element can encounter errors specific to the individual read or write function being performed. In this event, the error status for each aiocb control block contains the associated error code. The error codes that can be set are the same as would be set if the I/O operation had been initiated by an aio_read(3) or aio_write(3) function, with the following additional error codes possible:

The requested I/O operation was not queued due to resource limitations.
The requested I/O is in progress.

None.

None.

Although it may appear that there are inconsistencies in the specified circumstances for error codes, the [EIO] error condition applies when any circumstance relating to an individual operation makes that operation fail. This might be due to a badly formulated request (for example, the aio_lio_opcode field is invalid, and aio_error(3) returns [EINVAL]) or might arise from application behavior (for example, the file descriptor is closed before the operation is initiated, and aio_error(3) returns [EBADF]).

The limitation on the set of error codes returned when operations from the list shall have been initiated enables applications to know when operations have been started and whether aio_error(3) is valid for a specific operation.

None.

aio_read(3), aio_write(3), aio_error(3), aio_return(3), aio_cancel(3), close(3), exec(3), exit(3), fork(3), lseek(3), read(3)

XBD <aio.h>

First released in Issue 5. Included for alignment with the POSIX Realtime Extension.

Large File Summit extensions are added.

Issue 6

The [ENOSYS] error condition has been removed as stubs need not be provided if an implementation does not support the Asynchronous Input and Output option.

The lio_listio () function is marked as part of the Asynchronous Input and Output option.

The following new requirements on POSIX implementations derive from alignment with the Single UNIX Specification:

  • In the DESCRIPTION, text is added to indicate that for regular files no data transfer occurs past the offset maximum established in the open file description associated with aiocbp -> aio_fildes. This change is to support large files.
  • The [EBIG] and [EOVERFLOW] error conditions are defined. This change is to support large files.

The normative text is updated to avoid use of the term "must" for application requirements.

The keyword is added to the lio_listio () prototype for alignment with the ISO/IEC 9899:1999 (“ISO C99”) standard.

Issue 6

IEEE Std 1003.1-2001 (“POSIX.1”)/Cor 2-2004, item XSH/TC2/D6/53 is applied, adding new text for symmetry with the aio_read(3) and aio_write(3) functions to the DESCRIPTION.

IEEE Std 1003.1-2001 (“POSIX.1”)/Cor 2-2004, item XSH/TC2/D6/54 is applied, adding text to the DESCRIPTION making it explicit that the user is required to keep the structure pointed to by sig -> sigev_notify_attributes valid until the last asynchronous operation finished and the notification has been sent.

The lio_listio () function is moved from the Asynchronous Input and Output option to the Base.

Austin Group Defect 308 is applied, clarifying the handling of [EFBIG] errors.

June 14, 2024 posix.fail