关于Linux原生AIO中iocb请求内核处理顺序的疑问

两种描述都没有错误，核心差异在于适用的IO场景不同：

为什么Cloudflare博客说请求会按顺序执行？ #

Cloudflare的描述针对的是同一个常规文件的连续偏移顺序IO场景。Linux内核对这类场景做了优化——当你提交的多个iocb请求指向同一个文件的连续读写偏移时，内核会将这些请求合并为顺序IO队列，按提交顺序执行，以此减少磁盘寻道开销，提升性能。但这是内核针对特定场景的优化，并非全局的强制顺序保证。

为什么libaio文档说无顺序保证？ #

libaio的描述是通用场景下的规则：当你通过io_submit一次性提交的多个iocb满足以下任一条件时，内核不会保证执行顺序：

• 请求指向不同的文件/设备
• 请求指向同一个文件的非连续偏移
• 请求包含不同的IO优先级设置

这类场景下，内核会根据磁盘调度算法、IO队列状态等因素调度请求，完成顺序完全不确定。

测试代码片段 #

以下是用libaio测试请求顺序的代码，我们会向两个不同文件提交写请求，观察完成顺序：

#include <stdio.h>
#include <stdlib.h>
#include <libaio.h>
#include <fcntl.h>
#include <unistd.h>
#include <errno.h>

#define MAX_EVENTS 2

int main() {
    io_context_t ctx = 0;
    struct iocb iocbs[MAX_EVENTS];
    struct io_event events[MAX_EVENTS];
    int fds[2];
    char buf[2][10] = {"file1 data", "file2 data"};

    // 初始化AIO上下文
    if (io_setup(MAX_EVENTS, &ctx) != 0) {
        perror("io_setup failed");
        exit(1);
    }

    // 打开两个测试文件
    fds[0] = open("test1.txt", O_WRONLY | O_CREAT | O_TRUNC, 0644);
    fds[1] = open("test2.txt", O_WRONLY | O_CREAT | O_TRUNC, 0644);
    if (fds[0] < 0 || fds[1] < 0) {
        perror("open failed");
        exit(1);
    }

    // 初始化两个写请求iocb
    io_prep_pwrite(&iocbs[0], fds[0], buf[0], 10, 0);
    iocbs[0].data = (void*)"Request 0 (test1.txt)"; // 标记请求ID

    io_prep_pwrite(&iocbs[1], fds[1], buf[1], 10, 0);
    iocbs[1].data = (void*)"Request 1 (test2.txt)";

    // 提交请求
    if (io_submit(ctx, MAX_EVENTS, iocbs) != MAX_EVENTS) {
        perror("io_submit failed");
        exit(1);
    }

    // 等待请求完成
    int n = io_getevents(ctx, MAX_EVENTS, MAX_EVENTS, events, NULL);
    for (int i = 0; i < n; i++) {
        printf("Completed: %s\n", (char*)events[i].data);
    }

    // 清理资源
    io_destroy(ctx);
    close(fds[0]);
    close(fds[1]);
    return 0;
}

编译与运行 #

用gcc编译：gcc aio_test.c -o aio_test -laio
多次运行程序，你会发现输出的完成顺序可能交替出现（有时先完成Request 0，有时先完成Request 1），验证了通用场景下无顺序保证。

如果修改代码，让两个请求指向同一个文件的不同偏移，重复测试，同样会看到完成顺序不确定；但如果改成同一个文件的连续偏移，大概率会按提交顺序完成（内核优化的结果）。

内容的提问来源于stack exchange，提问作者Rick