为什么在没有作者的命名管道上选择会无限期地阻塞？

Question

我在 read_fds 中使用单个命名管道 fd 调用 select。此命名管道没有写入器，仅在非阻塞、只读模式下打开。我希望选择返回的命名管道 fd 标记为准备好读取，并且尝试从管道中读取返回 0：

从手册页上阅读：

尝试从空管道或 FIFO 中读取时：

• 如果没有进程打开管道进行写入，read() 应返回 0 以 > 指示文件结束。

但是，无限期地只选择块。为什么会这样？

#include <fcntl.h>
#include <sys/stat.h>
#include <sys/types.h>
#include <unistd.h>
#include <string.h>

#include <stdexcept>
#include <thread>
#include <iostream>

int main()
{
    char buf[4096];

    // Create a named pipe
    auto err = mkfifo("/tmp/whatever",0666);
    if(err) {
        throw std::runtime_error(
                    std::string("Failed to create fifo ")+
                    strerror(errno));
    }

    std::thread reader_thread(
                [&](){
        auto fd = open("/tmp/whatever",O_RDONLY|O_NONBLOCK);
        if(fd < 0) {
            throw std::runtime_error("Failed to open fifo");
        }

        fd_set fds;
        while(1) {
            FD_ZERO(&fds);
            FD_SET(fd,&fds);
            std::cerr << "calling select" << std::endl;
            auto retval = select(fd+1,&fds,nullptr,nullptr,nullptr);
            if(retval < 0) {
                std::runtime_error("Failed to call select");
            }

            if(FD_ISSET(fd,&fds)) {
                auto read_bytes = read(fd,buf,4096);
                std::cerr << "read " << read_bytes << std::endl;
                if(read_bytes==0) {
                    break;
                }
            }
        }

        close(fd);
    });

    reader_thread.join();

    return 0;
}

Answer 1

来自select 的 POSIX 文档：

当对带有 O_NONBLOCK 清除的输入函数的调用不会阻塞时，无论该函数是否会成功传输数据，都应认为描述符已准备好读取。 （该函数可能返回数据、文件结束指示或指示它被阻塞的错误以外的错误，并且在这些情况下，描述符应被视为已准备好读取。

...

如果选定的描述符都没有为请求的操作准备好，则 pselect() 或 select() 函数应阻塞，直到至少有一个请求的操作准备好，直到超时发生，或直到被信号打断。

来自pipe(7) 联机帮助页（这是 FIFO 的底层对象）：

如果引用管道写入端的所有文件描述符都已关闭，则尝试从管道读取（2）将看到文件结束（读取（2）将返回 0)。

注意现在完成时的用法！这意味着 FIFO 必须在两侧打开首先，在写入端（对于您的应用程序）关闭以生成EOF 条件。

那么，除非fifo最终被作者关闭，否则select为什么要返回呢？ （fifo-）文件本身的设置是无关紧要的：当使用最有效的方法一次读取多个字节时，它会在两边打开之间引入竞争条件。这是例如的正常方式命令管道：启动读取器进程，然后启动写入器（使用命名管道时通常是完全不相关的程序）。

如果您希望 select 提前返回，请使用 timeout 参数。但通常情况下，使用可以由信号终止的单独线程（有关更多信息，请参阅select 手册页）。

附带说明：Linux/POSIX 的一个优点是，使用 FIFO、文件或麦克风驱动程序并不重要。