O_NONBLOCK устанавливает свойство дескриптора файла или базового файла? - PullRequest
Новая
       53

O_NONBLOCK устанавливает свойство дескриптора файла или базового файла?

18 голосов
/ 23 мая 2010

Из того, что я читал на сайте Open Group: fcntl, open, read и write, у меня складывается впечатление, что значение O_NONBLOCK, заданное для дескриптора файла, и, следовательно, использование неблокирующего ввода-вывода с дескриптором, должно быть свойством этого дескриптора файла, а не базового файла. , Наличие свойства дескриптора файла означает, например, что если я дублирую дескриптор файла или открою другой дескриптор для того же файла, то я могу использовать блокирующий ввод-вывод с одним и неблокирующий ввод-вывод с другим.

Однако, экспериментируя с FIFO, кажется, что невозможно иметь блокирующий дескриптор ввода-вывода и неблокирующий дескриптор ввода-вывода для FIFO одновременно (поэтому, установлен ли O_NONBLOCK, это свойство свойства базовый файл [FIFO]): 

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

int main(int argc, char **argv)
{
    int fds[2];
    if (pipe(fds) == -1) {
        fprintf(stderr, "`pipe` failed.\n");
        return EXIT_FAILURE;
    }

    int fd0_dup = dup(fds[0]);
    if (fd0_dup <= STDERR_FILENO) {
        fprintf(stderr, "Failed to duplicate the read end\n");
        return EXIT_FAILURE;
    }

    if (fds[0] == fd0_dup) {
        fprintf(stderr, "`fds[0]` should not equal `fd0_dup`.\n");
        return EXIT_FAILURE;
    }

    if ((fcntl(fds[0], F_GETFL) & O_NONBLOCK)) {
        fprintf(stderr, "`fds[0]` should not have `O_NONBLOCK` set.\n");
        return EXIT_FAILURE;
    }

    if (fcntl(fd0_dup, F_SETFL, fcntl(fd0_dup, F_GETFL) | O_NONBLOCK) == -1) {
        fprintf(stderr, "Failed to set `O_NONBLOCK` on `fd0_dup`\n");
        return EXIT_FAILURE;
    }

    if ((fcntl(fds[0], F_GETFL) & O_NONBLOCK)) {
        fprintf(stderr, "`fds[0]` should still have `O_NONBLOCK` unset.\n");
        return EXIT_FAILURE; // RETURNS HERE
    }

    char buf[1];
    if (read(fd0_dup, buf, 1) != -1) {
        fprintf(stderr, "Expected `read` on `fd0_dup` to fail immediately\n");
        return EXIT_FAILURE;
    }
    else if (errno != EAGAIN) {
        fprintf(stderr, "Expected `errno` to be `EAGAIN`\n");
        return EXIT_FAILURE;
    }

    return EXIT_SUCCESS;
}

Это заставляет меня задуматься: возможно ли когда-либо иметь неблокирующий дескриптор ввода-вывода и блокирующий дескриптор ввода-вывода для одного и того же файла, и если да, зависит ли это от типа файла (обычный файл, FIFO, блокировать специальный файл, символьный специальный файл, сокет и т. д.)?

1 Ответ

27 голосов
/ 23 мая 2010

O_NONBLOCK является свойством описания открытого файла, а не дескриптора файла или базового файла.

Да, для одного и того же файла могут быть открыты отдельные файловые дескрипторы, один из которых является блокирующим, а другой - неблокирующим.

Необходимо различать FIFO (созданный с использованием mkfifo()) и канал (созданный с использованием pipe()).

Обратите внимание, что статус блокировки является свойством «описания открытого файла», но в простейших случаях существует взаимно-однозначное соответствие между дескрипторами файлов и описаниями открытых файлов. Вызов функции open() создает новое описание открытого файла и новый дескриптор файла, который ссылается на описание открытого файла.

Когда вы используете dup(), у вас есть два дескриптора файла, совместно использующих одно описание открытого файла, и свойства принадлежат описанию открытого файла. Описание fcntl() говорит о том, что F_SETFL влияет на описание открытого файла, связанное с дескриптором файла. Обратите внимание, что lseek() регулирует положение файла описания открытого файла, связанного с дескриптором файла - таким образом, это влияет на другие дескрипторы файлов, дублированные от исходного.

Удаляя обработку ошибок из вашего кода, чтобы уменьшить ее, вы получаете: 

int fds[2];
pipe(fds);
int fd0_dup = dup(fds[0]);
fcntl(fd0_dup, F_SETFL, fcntl(fd0_dup, F_GETFL) | O_NONBLOCK);

Теперь и fd0_dup, и fds [0] ссылаются на одно и то же описание открытого файла (из-за dup()), поэтому операция fcntl() затронула оба дескриптора файла. 

if ((fcntl(fds[0], F_GETFL) & O_NONBLOCK)) { ... }

Следовательно, наблюдаемое поведение здесь требуется для POSIX.

...