基准测试程序读取1GB大二进制文件时read()调用无限挂起求助

这问题我太熟了——十有八九是踩了O_DIRECT的严格对齐要求的坑！这个标志对缓冲区、读取大小、文件偏移量的规则卡得特别死，一旦违反，轻则返回错误，重则就像你这样直接挂起，完全没响应。

我给你拆解下核心问题和具体修复步骤：

一、O_DIRECT的三个硬性对齐要求 #

用O_DIRECT绕开内核缓存时，必须同时满足以下三个条件，缺一不可：

• 缓冲区的起始地址必须对齐到存储设备逻辑块大小的整数倍（常见的是4KB、8KB，不同设备可能不一样）
• 每次读取的字节数必须是块大小的整数倍
• 文件的当前偏移量（不管是默认开头还是用lseek设置的）必须是块大小的整数倍

你用std::vector<char>直接取&vec[0]，默认的vector内存分配根本不保证这种严格对齐，这就是导致挂起的核心原因。

二、具体修复方案 #

1. 先获取目标设备的块大小 #

首先得确定文件所在设备的逻辑块大小，用statvfs就能拿到：

#include <sys/statvfs.h>

struct statvfs fs_info;
if (statvfs(fpath.c_str(), &fs_info) == -1) {
    perror("statvfs failed");
    exit(EXIT_FAILURE);
}
size_t block_size = fs_info.f_bsize;

2. 分配满足对齐要求的缓冲区 #

不能用默认的vector内存分配，得手动申请对齐后的内存，这里给两种靠谱的方式：

• 用posix_memalign分配（兼容大部分POSIX系统）：

char* buf_ptr = nullptr;
// 第二个参数是对齐值，必须是2的幂且不小于sizeof(void*)
if (posix_memalign((void**)&buf_ptr, block_size, buffer_size) != 0) {
    perror("posix_memalign failed");
    exit(EXIT_FAILURE);
}
// 把对齐后的内存交给vector管理，记得加自定义删除器用free释放
std::vector<char, decltype([](char* p){ free(p); })> vec(buf_ptr, buf_ptr + buffer_size);

• C++17及以上用std::aligned_alloc：

char* buf_ptr = static_cast<char*>(std::aligned_alloc(block_size, buffer_size));
if (!buf_ptr) {
    perror("aligned_alloc failed");
    exit(EXIT_FAILURE);
}
// 同样要注意，aligned_alloc分配的内存要用free释放，所以最好给vector加自定义删除器
std::vector<char, decltype([](char* p){ free(p); })> vec(buf_ptr, buf_ptr + buffer_size);

3. 确保读取大小和偏移量对齐 #

• 你的缓冲区大小（1MB/10MB/100MB）必须是block_size的整数倍，比如块大小是4KB的话，1MB=256*4KB，完全没问题；如果遇到特殊块大小，就得调整缓冲区大小
• 如果不是从文件开头读取，用lseek设置偏移量时，必须是block_size的整数倍：

off_t offset = 0; // 或者其他block_size的倍数，比如block_size * 10
if (lseek(fd, offset, SEEK_SET) == -1) {
    perror("lseek failed");
    exit(EXIT_FAILURE);
}

4. 务必检查read()的返回值 #

哪怕满足了所有对齐要求，也得检查read()的返回值，避免因为其他问题（比如文件读完、权限不足）导致误判：

ssize_t bytes_read = read(fd, &vec[0], buffer_size);
if (bytes_read == -1) {
    perror("read failed");
    exit(EXIT_FAILURE);
} else if (bytes_read == 0) {
    // 文件读取完毕，退出循环
    break;
}

三、为什么会无限挂起？ #

当对齐要求不满足时，内核或者存储驱动可能会陷入异常等待状态——比如它期待一个符合对齐规则的IO请求，但收到的是非法请求，就卡住了没法返回，最终表现为程序挂起。这比直接返回EINVAL错误更隐蔽，但本质都是违反了O_DIRECT的规则。

内容的提问来源于stack exchange，提问作者J. Boley