让我们首先回顾一下所涉及的一些关键概念:
-
文件说明
在操作系统内核中,每个文件、管道端点、套接字端点、开放设备节点等等,都有一个文件描述。内核使用这些来跟踪文件中的位置、标志(读、写、追加、关闭执行)、记录锁等等。
文件描述是内核内部的,不属于任何特定的进程(在典型的实现中)。
-
文件描述符
从进程的角度来看,文件描述符是标识打开文件、管道、套接字、FIFO 或设备的整数。
操作系统内核为每个进程保存一个描述符表。进程使用的文件描述符只是该表的索引。
文件描述符表中的条目引用内核文件描述。
当一个进程使用dup() or dup2()复制一个文件描述符时,内核只复制该进程的文件描述符表中的条目;它不会复制它自己保留的文件描述。
当一个进程分叉时,子进程得到它自己的文件描述符表,但条目仍然指向完全相同的内核文件描述。 (这本质上是一个shallow copy,所有文件描述符表条目都将是对文件描述的引用。引用被复制;引用的目标保持不变。)
当一个进程通过 Unix Domain 套接字辅助消息向另一个进程发送文件描述符时,内核实际上在接收者上分配了一个新的描述符,并复制了传输的描述符所引用的文件描述。
这一切都很好,虽然 “文件描述符” 和 “文件描述” 如此相似有点令人困惑。
所有这些与 OP 所看到的效果有什么关系?
每当创建新进程时,通常会打开目标设备、管道或套接字,以及dup2() 标准输入、标准输出和标准错误的描述符。这导致所有三个标准描述符都引用相同的文件描述,因此任何使用一个文件描述符有效的操作,也适用于其他文件描述符。
这在控制台上运行程序时最常见,因为这三个描述符肯定都引用相同的文件描述;并且该文件描述描述了伪终端字符设备的从端。
考虑以下程序,run.c:
#define _POSIX_C_SOURCE 200809L
#include <stdlib.h>
#include <unistd.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>
#include <string.h>
#include <errno.h>
static void wrerrp(const char *p, const char *q)
{
while (p < q) {
ssize_t n = write(STDERR_FILENO, p, (size_t)(q - p));
if (n > 0)
p += n;
else
return;
}
}
static inline void wrerr(const char *s)
{
if (s)
wrerrp(s, s + strlen(s));
}
int main(int argc, char *argv[])
{
int fd;
if (argc < 3) {
wrerr("\nUsage: ");
wrerr(argv[0]);
wrerr(" FILE-OR-DEVICE COMMAND [ ARGS ... ]\n\n");
return 127;
}
fd = open(argv[1], O_RDWR | O_CREAT, 0666);
if (fd == -1) {
const char *msg = strerror(errno);
wrerr(argv[1]);
wrerr(": Cannot open file: ");
wrerr(msg);
wrerr(".\n");
return 127;
}
if (dup2(fd, STDIN_FILENO) != STDIN_FILENO ||
dup2(fd, STDOUT_FILENO) != STDOUT_FILENO) {
const char *msg = strerror(errno);
wrerr("Cannot duplicate file descriptors: ");
wrerr(msg);
wrerr(".\n");
return 126;
}
if (dup2(fd, STDERR_FILENO) != STDERR_FILENO) {
/* We might not have standard error anymore.. */
return 126;
}
/* Close fd, since it is no longer needed. */
if (fd != STDIN_FILENO && fd != STDOUT_FILENO && fd != STDERR_FILENO)
close(fd);
/* Execute the command. */
if (strchr(argv[2], '/'))
execv(argv[2], argv + 2); /* Command has /, so it is a path */
else
execvp(argv[2], argv + 2); /* command has no /, so it is a filename */
/* Whoops; failed. But we have no stderr left.. */
return 125;
}
它需要两个或多个参数。第一个参数是文件或设备,第二个参数是命令,其余参数提供给命令。运行该命令,所有三个标准描述符都重定向到第一个参数中指定的文件或设备。您可以使用 gcc 编译上述内容,例如
gcc -Wall -O2 run.c -o run
让我们编写一个小型测试工具,report.c:
#define _POSIX_C_SOURCE 200809L
#include <stdlib.h>
#include <unistd.h>
#include <sys/types.h>
#include <sys/stat.h>
#include <fcntl.h>
#include <string.h>
#include <stdio.h>
#include <errno.h>
int main(int argc, char *argv[])
{
char buffer[16] = { "\n" };
ssize_t result;
FILE *out;
if (argc != 2) {
fprintf(stderr, "\nUsage: %s FILENAME\n\n", argv[0]);
return EXIT_FAILURE;
}
out = fopen(argv[1], "w");
if (!out)
return EXIT_FAILURE;
result = write(STDIN_FILENO, buffer, 1);
if (result == -1) {
const int err = errno;
fprintf(out, "write(STDIN_FILENO, buffer, 1) = -1, errno = %d (%s).\n", err, strerror(err));
} else {
fprintf(out, "write(STDIN_FILENO, buffer, 1) = %zd%s\n", result, (result == 1) ? ", success" : "");
}
result = read(STDOUT_FILENO, buffer, 1);
if (result == -1) {
const int err = errno;
fprintf(out, "read(STDOUT_FILENO, buffer, 1) = -1, errno = %d (%s).\n", err, strerror(err));
} else {
fprintf(out, "read(STDOUT_FILENO, buffer, 1) = %zd%s\n", result, (result == 1) ? ", success" : "");
}
result = read(STDERR_FILENO, buffer, 1);
if (result == -1) {
const int err = errno;
fprintf(out, "read(STDERR_FILENO, buffer, 1) = -1, errno = %d (%s).\n", err, strerror(err));
} else {
fprintf(out, "read(STDERR_FILENO, buffer, 1) = %zd%s\n", result, (result == 1) ? ", success" : "");
}
if (ferror(out))
return EXIT_FAILURE;
if (fclose(out))
return EXIT_FAILURE;
return EXIT_SUCCESS;
}
它只需要一个参数,一个要写入的文件或设备,报告是否写入标准输入,以及从标准输出读取和错误工作。 (我们通常可以在 Bash 和 POSIX shell 中使用 $(tty) 来引用实际的终端设备,以便在终端上看到报告。)使用例如编译这个
gcc -Wall -O2 report.c -o report
现在,我们可以检查一些设备:
./run /dev/null ./report $(tty)
./run /dev/zero ./report $(tty)
./run /dev/urandom ./report $(tty)
或任何我们想要的。在我的机器上,当我在文件上运行它时,说
./run some-file ./report $(tty)
写入标准输入、读取标准输出和标准错误都可以工作——正如预期的那样,因为文件描述符引用了相同的、可读和可写的文件描述。
在玩了以上之后,结论是这里根本没有奇怪的行为。如果进程使用的文件描述符只是对操作系统内部文件描述的简单引用,并且标准输入、输出和错误描述符是duplicates 彼此。