io_uring中IORING_REGISTER_FILES_SKIP标志的用途及测试疑问

1. 在liburing库中，使用io_uring_register_files完成文件描述符初始注册后，可通过io_uring_register_files_update更新文件描述符，其中可将文件描述符设置为特殊值IORING_REGISTER_FILES_SKIP，该标志的具体使用场景是什么？
2. 以下是liburing的file_register.c测试用例代码：

// Note: Taken from liburing file_register.c test

io_uring_register_files(ring, files, 100);
files[90] = IORING_REGISTER_FILES_SKIP;
io_uring_register_files_update(ring, 90, &files[90], 1);

test_fixed_read_write(ring, 90); // This will use file index 90 with sqe flag IOSQE_FIXED_FILE

请问这段代码中的test_fixed_read_write()调用能否成功？若成功，IORING_REGISTER_FILES_SKIP标志的作用是什么？

回答 #

代码调用结果 #

test_fixed_read_write()调用会失败。当索引90被设置为IORING_REGISTER_FILES_SKIP后，该索引会被标记为无效状态，后续使用IOSQE_FIXED_FILE标志引用此索引发起IO操作时，io_uring会返回EBADF（无效文件描述符）错误。

IORING_REGISTER_FILES_SKIP的作用与使用场景 #

• 核心作用：在更新已注册的文件描述符数组时，快速将指定索引位标记为无效，无需调整数组整体长度或移动其他元素。
• 典型使用场景：
  • 当某个已注册的文件描述符不再使用，但希望保留数组原有索引布局（避免依赖该索引的代码出错）时，用此标志将对应索引置为无效，防止误操作。
  • 动态管理文件描述符数组时，可先将预留的索引位设为IORING_REGISTER_FILES_SKIP，后续需要绑定真实文件描述符时再通过io_uring_register_files_update更新为有效fd。
  • 批量更新文件描述符数组时，跳过特定索引位的修改（或直接标记无效），减少不必要的数组调整操作。

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