Linux io_uring(liburing)异步编程中的对象生命周期问题

我对Linux的io_uring（liburing）特性存在疑问，已了解它包含请求队列和完成队列，代码可向请求队列提交异步请求，待内核处理后通过完成队列获取结果。

已知情况 #

• 使用io_uring_prep_read(...)时，第三个参数是内存指针，直觉认为该内存需保持分配直到完成队列返回响应；io_uring_prep_write(...)同理，但对应的内存可在完成队列返回结果后立即释放。

疑问点 #

对io_uring_prep_readv(...)和io_uring_prep_writev(...)的情况不太清楚：它们的第三个参数是struct iovec数组指针，每个元素包含内存指针。想确认应用是否需要保证该iovec数组及指向的内存，在异步操作的结果从完成队列返回前保持分配且未被修改。

伪代码有效性验证 #

请问如下伪代码是否有效？

void demo_lifetime(struct io_uring *ring, io_uring_sqe *sqe, int fd, char *ptra, size_t lena, char *ptrb, size_t lenb) {
    // iov是短生命周期的本地数组
    struct iovec iov[2] = { {ptra, lena}, {ptrb, lenb} };
    io_uring_prep_readv(sqe, fd, iov, 2, -1);
    if(io_uring_submit(ring) < 0) handle_failure_sensibly();
    // iov在此处超出作用域
}

还是说必须保证iov数组在完成队列返回对应响应前保持分配且未被修改？

补充文档内容（后续发现遗漏） #

对于任何传入结构体数据的请求，该数据必须保持有效直到请求成功提交，无需保持到完成。请求提交后，内核内部状态即稳定。极早期内核（5.4及更早版本）要求状态保持稳定直到完成。应用可通过检查io_uring_queue_init_params(3)返回的IORING_FEAT_SUBMIT_STABLE标志来判断该行为。

结论 #

根据上述文档内容：

• 当io_uring_queue_init_params()返回IORING_FEAT_SUBMIT_STABLE标志时，上述伪代码有效，iovec数组无需保持到请求完成，提交后即可释放。
• 若内核版本为5.4及更早，不支持该特性，则必须保证iovec数组及指向的内存在请求完成前保持分配且未被修改。

现代Linux内核通常均支持IORING_FEAT_SUBMIT_STABLE标志，因此新环境下该伪代码可行。

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