阻塞模式下对空管道 read 的行为是什么,何时返回 0?
围绕“阻塞模式下对空管道 read 的行为是什么,何时返回 0”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须区分无数据阻塞与所有写端关闭返回 EOF 两种结果。
文件与 I/O专题面试题第 1 页,显示第 1–46 题,共找到 46 道完整解析,可继续按分类、标签与关键词缩小范围。
按稳定语义路径排序
围绕“阻塞模式下对空管道 read 的行为是什么,何时返回 0”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须区分无数据阻塞与所有写端关闭返回 EOF 两种结果。
围绕“多线程程序里 close 一个描述符后立刻被重用会导致什么竞态”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要解释 fd 立即回收导致的 ABA 式误用及 EINTR 后是否重试 close 的争议。
围绕“copy_file_range 相比 read+write 循环拷贝文件快在哪里,有何限制”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要说明全程在内核完成且文件系统可优化为 reflink 共享块,并指出跨文件系统退化。
围绕“dup 与 dup2 复制文件描述符后,新旧描述符共享哪些状态”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要明确共享的是 open file description(偏移、状态标志)而非描述符本身。
围绕“系统调用被信号打断返回 EINTR,哪些调用能自动重启哪些不能”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要解释慢设备调用的中断语义与 SA_RESTART 覆盖范围,并指出 select 等超时调用不重启的影响。
围绕“epoll 的水平触发与边缘触发在编程要求上的关键差别是什么”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须答出 ET 只通知一次故必须非阻塞并读到 EAGAIN,LT 可惰性处理。
围绕“为什么加入 epoll 的监听 socket 通常要设为非阻塞并循环 accept”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要说明边缘触发下一次性排空待 accept 队列,否则连接滞留。
围绕“多个线程同时 epoll_wait 同一个 epoll 实例为什么会产生惊群,如何处理”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要解释同一事件唤醒所有等待者的问题及 EPOLLEXCLUSIVE/每线程独立实例两种方案。
围绕“eventfd 和 timerfd 为什么经常出现在 epoll 程序里,它们解决了什么”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要说明将线程间通知与定时器统一为 fd 以纳入单事件循环。
围绕“posix_fadvise 的 SEQUENTIAL 与 DONTNEED 提示分别如何改变内核预读与缓存行为”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须区分加大预读窗口与释放已用缓存两类提示及其对全表扫描类负载的价值。
围绕“用 fallocate 预分配文件空间相比写零填充有什么优势”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要说明一次性分配连续块、避免运行时元数据开销与碎片,适用于日志与数据库文件。
围绕“线上进程文件描述符持续上涨,如何定位是哪里泄漏的”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须给出 /proc/PID/fd 与 lsof 观察增长类型的诊断路径,并区分管道、socket 与文件泄漏。
围绕“进程能打开多少个文件描述符受什么限制,调优时应改哪个值”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须区分 RLIMIT_NOFILE、/proc/sys/fs/file-max 和 nr_open 三层限制。
围绕“Linux 中文件描述符在进程内核结构里是如何管理的”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要说明 fd 是每进程 fdtable 的索引而非全局编号,以及打开文件表项共享的含义。
围绕“为什么 printf 未换行就 fork 会让子进程重复输出同一段内容”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖回答需要围绕必须归因于用户态 stdio 缓冲随进程复制而内核文件表无此问题。
围绕“数据库类程序该用 fsync 还是 fdatasync,为什么 fsync 是性能杀手”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须区分是否同步元数据以及等待磁盘确认的开销。
围绕“硬链接与符号链接在 inode 层面的本质区别是什么,为什么硬链接不能跨文件系统”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须从 inode 号共享与路径字符串两种机制解释,并说明 inode 号仅在单文件系统内唯一。
围绕“ext 文件系统的 inode 中保存了哪些元数据,又不保存什么”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须答出 inode 存权限、时间戳、块指针而不存文件名,文件名在目录项里。
围绕“io_uring 相比 epoll + 线程池做磁盘异步 I/O 解决了什么核心问题”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要说明提交/完成双环形队列减少系统调用与拷贝、支持真正的文件异步。
围绕“用 lseek 跳过一段再写会形成稀疏文件,它如何影响磁盘占用与读取结果”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要说明空洞不落盘、读为零以及 du 与 ls 大小差异。
围绕“同一文件描述符上混用 fwrite 和 write 为什么可能乱序”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须指出两层缓冲(用户态与内核)各自排队导致顺序错位及 fflush 的作用。
围绕“访问 mmap 区域时收到 SIGBUS 通常是什么文件操作导致的”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要说明映射后文件被截断导致缺页无法映射的机理及防护思路。
围绕“mmap 与 read/write 读写文件的性能与语义差异体现在哪里”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须比较拷贝次数、缺页开销与页对齐粒度,并说明 mmap 不天然更快。
围绕“msync 与 madvise 在 mmap 文件使用中分别解决什么问题”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须区分强制回写与访问模式提示两类职责。
围绕“对普通磁盘文件设置 O_NONBLOCK 为什么基本无效”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须指出非阻塞语义只作用于管道、socket、设备等,磁盘 IO 仍可能阻塞,从而引出 AIO/io_uring 但不展开。
围绕“非阻塞 fd 上 read 返回 EAGAIN 后正确的事件循环写法是什么”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要说明 EAGAIN 表示暂无可读而非错误,以及边缘触发下必须读到 EAGAIN 为止。
围绕“为什么新建文件描述符推荐加 O_CLOEXEC,它解决了哪类问题”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要说明 exec 时自动关闭避免子进程持有无关 fd,以及 open 与 fcntl 两步设置的竞态。
围绕“使用 O_DIRECT 绕过页缓存时对缓冲区和偏移有什么约束,适合什么场景”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须答出内存地址、长度、偏移的对齐要求及数据库自管缓存的典型动机。
围绕“Linux 页缓存如何让普通 read/write 变快,又带来什么内存统计上的误解”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要说明页缓存是内核透明缓存且可被回收,解释 free 输出中 available 的含义。
围绕“poll 相比 select 改进了什么,又保留了什么共同缺陷”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要说明 pollfd 数组解除数量限制但仍需线性遍历。
围绕“向管道并发写入时,多大以内的写能保证原子性”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须给出 PIPE_BUF 界限及其对日志交织问题的影响。
围绕“为什么「写临时文件 + fsync + rename」是安全的文件更新模式,还缺哪一步”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要说明 rename 原子性,并指出还需 fsync 目录保证目录项持久。
围绕“select 在高并发下的三个主要瓶颈是什么”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须列出 fd 数量上限、每次重置集合、内核到用户态线性扫描。
围绕“inotify 监控大量目录时会遇到什么实际限制,如何应对”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须指出每 watch 占内核内存且受 max_user_watches 限制,大目录树应改用 fanotify 或轮询。
围绕“sendfile 如何减少静态文件服务的 CPU 开销,它省掉了哪次拷贝”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须答出省去内核到用户态的一次拷贝与两次上下文切换中的数据搬运。
围绕“为什么启用 TLS 后 sendfile 零拷贝通常失效,内核有什么补救机制”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要解释用户态加密要求数据进用户态,并引出 kTLS 使加密在内核完成。
围绕“Shell 重定向和守护进程关闭 0/1/2 的实现依赖 dup2 的什么性质”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要说明 dup2 能原子地指定目标 fd 从而替换标准流。
围绕“read/write 返回值小于请求长度一定是错误吗,正确处理姿势是什么”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要说明短读写在管道、socket、信号中断下正常出现并给出循环重试模式。
围绕“为什么高并发服务用 epoll 而不是信号驱动 I/O(O_ASYNC/SIGIO)”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须指出信号携带信息少、处理函数受限、队列溢出丢失事件。
围绕“splice 和 tee 借助管道缓冲实现了怎样的零拷贝转发”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要说明数据以内核管道页为中转在用户态不落地,可用于代理转发。
围绕“Linux 文件的 atime、mtime、ctime 分别因什么操作改变”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖必须区分内容修改、元数据修改与读取三者,并提 relatime 的折中。
围绕“C 标准库的 stdout 在终端和重定向到文件时缓冲策略为何不同”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要解释 isatty 驱动的行缓冲与全缓冲切换及 setvbuf 控制。
围绕“sync_file_range 为什么适合写前日志(WAL)这类需要细粒度回写的场景”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要说明可按字节范围启动回写而不必等待完成,比 fsync 粒度细。
围绕“删除一个仍被进程打开的文件,磁盘空间何时真正释放”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖回答需要围绕必须用 inode 的链接计数与打开计数解释空间延迟释放,并指出这在日志清理中的实战后果。
围绕“write 返回成功后,数据到达磁盘的顺序和时机由什么决定”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要说明 write 只保证进页缓存、由 flusher 线程异步写回,及掉电风险。
围绕“进程写文件偶尔卡顿数秒,为什么可能是内核写回限流而非磁盘坏了”给出直接结论、机制拆解、可复现验证、常见误区与追问,重点覆盖需要解释 dirty_ratio/dirty_bytes 触发同步写回导致写阻塞,并给出观察 dirty 计数的路径。