news 2026/2/18 2:34:23

linux系统IO

作者头像

张小明

前端开发工程师

1.2k 24
文章封面图
linux系统IO

第一阶段:重新认识“文件”

在写 C 语言时,你肯定用过fopen,fread,fwrite。但在操作系统眼里,文件远不止“读写”这么简单。

1. 文件的本质

文件 = 文件内容 + 文件属性

  • 内容:你写进去的 "Hello World"。
  • 属性 (元数据):文件名、大小、创建时间、拥有者、权限等。
  • 结论:创建一个 0kb 的空文件,它也是占磁盘空间的,因为要存它的属性
2. 谁在操作文件?

代码写在那如果不跑,是不会操作文件的。

只有当代码运行起来变成进程后,才是“进程在操作文件”。

所以,文件操作的本质,是 进程 (Process) 和 操作系统 (OS) 之间的一次对话(因为磁盘硬件是归 OS 管的,进程不能直接摸)。


第二阶段:库函数 vs 系统调用 (The Battle)

  • C 标准库函数 (Library Functions)
    • fopen,fclose,fwrite,fread...
    • 特点跨平台。你在 Windows 上写fopen能跑,在 Linux 上也能跑。因为 C 库帮你屏蔽了底层差异。
    • 带缓冲:这是关键!它自带一个用户级缓冲区(稍后详解)。
  • 系统调用接口 (System Calls)
    • open,close,write,read...
    • 特点不跨平台。这是 Linux 内核直接提供的接口(Windows 的 API 叫CreateFile)。
    • 无缓冲:直接把数据扔给内核,甚至直接写盘。

层级关系:


第三阶段:核心接口open详解

我们要重点学习open,因为所有的“黑魔法”(如O_APPEND追加、O_CREAT创建)都藏在它的参数里。

1. 函数原型

你需要包含<fcntl.h>

int open(const char *pathname, int flags); int open(const char *pathname, int flags, mode_t mode);
2. 参数flags(位图标志位)

还记得我们在讲waitpid时提到的位图吗?这里也是一样的设计。Linux 用一个整数的不同比特位来表示不同的选项。

常用的标志(必须记住):

  • O_RDONLY:只读打开。
  • O_WRONLY:只写打开。
  • O_RDWR:读写打开。

(以上三个必须三选一)

  • O_CREAT:如果文件不存在,就创建它。(如果存在,直接打开)。
  • O_TRUNC截断 (Truncate)。如果文件存在,把它清空(长度变为 0)。
  • O_APPEND追加。写数据时自动加到文件末尾。

如何组合? 使用 按位或 (|)。

比如:O_WRONLY | O_CREAT | O_TRUNC 就等同于 C 语言的 fopen(..., "w")。

3. 参数mode(权限)

注意:只有当你使用了O_CREAT选项时,才必须传第三个参数mode

  • 作用:指定新创建文件的初始权限(如0666)。
  • 实际权限:记得我们讲 mkfifo 时说的 umask 吗?这里同理。

$$实际权限 = mode \ \& \ (\sim umask)$$

4. 返回值:文件描述符 (File Descriptor)
  • 成功:返回一个int(大于等于 0)。我们通常叫它fd
  • 失败:返回-1,并设置errno

第四阶段:代码实战 —— 手写fopen("w")

我们来写一段代码,直接使用系统调用来实现“向文件写入字符串”。

#include <stdio.h> #include <string.h> #include <unistd.h> #include <sys/types.h> #include <sys/stat.h> #include <fcntl.h> int main() { // 场景:以写的方式打开,如果不存在就创建,如果存在就清空 // 这完全等价于 fopen("log.txt", "w"); // 设置 umask 为 0,保证我们要的权限不被过滤 umask(0); // 1. 打开文件 // 返回值 fd 就是那个神秘的整数 int fd = open("log.txt", O_WRONLY | O_CREAT | O_TRUNC, 0666); if (fd < 0) { perror("open"); // 打印错误原因 return 1; } printf("Open success, fd: %d\n", fd); // 2. 写入数据 const char *msg = "hello system call\n"; // write(fd, 缓冲区, 字节数) // 注意:这里不需要 +1 把 '\0' 写进去,因为文件里不需要字符串结束符,那是C语言的规定 int count = 5; while(count--) { write(fd, msg, strlen(msg)); } // 3. 关闭文件 close(fd); return 0; }

编译运行

Bash

gcc sys_io.c -o sys_io ./sys_io cat log.txt

实验现象

  1. 你会看到屏幕打印Open success, fd: 3
  2. cat能看到文件内容。
  3. 关键问题:为什么fd3? 0, 1, 2 去哪了?

第五阶段:核心谜题 —— 文件描述符 (File Descriptor)

这是基础 IO 中最重要的概念,也是面试必考题。

1. 0, 1, 2 的秘密

Linux 进程启动时,默认会打开三个文件:

  • 0 (Standard Input):标准输入(键盘),对应 C 语言的stdin
  • 1 (Standard Output):标准输出(显示器),对应 C 语言的stdout
  • 2 (Standard Error):标准错误(显示器),对应 C 语言的stderr

因为 0, 1, 2 被占用了,所以你新打开的文件自然就分到了3

2. fd 的本质:数组下标

fd 到底是什么?

在内核的 task_struct (PCB) 中,有一个指针指向 struct files_struct。

在这个结构体里,有一个指针数组 struct file* fd_array[]。

  • fd 就是这个数组的下标!
  • 当你调用open时,内核创建一个file结构体,把它填入数组中最小的空闲位置(比如 3),然后把下标 3 返回给你。
  • 当你调用write(3, ...)时,内核通过下标 3 找到对应的file结构体,从而找到文件。
版权声明: 本文来自互联网用户投稿,该文观点仅代表作者本人,不代表本站立场。本站仅提供信息存储空间服务,不拥有所有权,不承担相关法律责任。如若内容造成侵权/违法违规/事实不符,请联系邮箱:809451989@qq.com进行投诉反馈,一经查实,立即删除!
网站建设 2026/2/18 5:00:58

构建三重防线:软件测试外包质量控制体系实践指南

测试外包质量困境与破局思路 随着软件开发周期的不断压缩和成本控制压力的增加&#xff0c;测试外包已成为众多企业的战略选择。然而&#xff0c;测试外包项目普遍面临质量波动大、沟通成本高、交付物不规范三大痛点。2024年行业数据显示&#xff0c;超过60%的测试外包项目在首…

作者头像 李华
网站建设 2026/2/9 1:31:37

Apache Doris AI 能力揭秘(四):HSAP 一体化混合搜索与分析架构全解

AI 时代正在重塑数据库的角色。过去&#xff0c;数据库主要为人类分析者提供报表与查询能力&#xff1b;而现在&#xff0c;越来越多的查询来自智能代理&#xff08;Agent&#xff09;&#xff0c;它们会自动检索知识、过滤数据、组合多种信号&#xff0c;并将数据库作为 “实时…

作者头像 李华
网站建设 2026/2/7 15:36:28

jQuery EasyUI 树形菜单 - 树形网格动态加载

jQuery EasyUI 树形网格&#xff08;TreeGrid&#xff09; - 动态加载&#xff08;按需加载子节点&#xff09; jQuery EasyUI TreeGrid 支持两种常见的“动态加载”方式&#xff1a; 服务器端按需加载&#xff08;On-Demand Loading / Remote Lazy Loading&#xff09; 最常见…

作者头像 李华
网站建设 2026/2/13 22:27:12

测试网部署全流程:自研 dApp 上线 Goerli 测试链并验证功能

Goerli&#xff08; Grli &#xff09;是以太坊官方推荐的 PoA 测试网&#xff0c;兼容以太坊主网生态&#xff0c;是 dApp 上线主网前验证功能、测试交互的核心环境。本文以「Hardhat 框架 Solidity 智能合约 React 前端」为例&#xff0c;完整讲解 dApp 部署到 Goerli 测试…

作者头像 李华
网站建设 2026/2/16 19:31:08

纯电动汽车仿真:从模型搭建到动力性与经济性分析

纯电动汽车仿真、纯电动公交、纯电动客车、纯电动汽车动力性仿真、经济性仿真。 模型包括电机、电池、车辆模型。 有两种模型2选1&#xff1a; 1 完全用matlab simulink搭建的模型。 2用simscape搭建的车辆模型。 项目开发使用的模型&#xff0c;精确度高&#xff0c;不是随便乱…

作者头像 李华