【Linux 指南】文件系统系列（二）：核心抽象层 —— 块 、分区 、inode 从原理到实操

上一篇我们吃透了磁盘的底层原理搞懂了磁盘通过 CHS/LBA 寻址定位扇区也知道扇区是磁盘硬件的最小读写单位512 字节。但随之而来的两个核心问题摆在眼前一是逐个扇区读写磁盘效率极低磁头的寻道和旋转延迟会被无限放大二是裸磁盘的扇区杂乱无章无法直接实现文件的存储和管理。为了解决这两个问题文件系统在磁盘硬件之上构建了三层核心逻辑抽象块Block、分区Partition、inode索引节点。这三层抽象让磁盘从一块 “裸硬件” 变成了可以被操作系统高效管理、用于存储文件的 “载体”也是所有文件系统的基础设计思路。这篇我们就从这三个核心抽象出发拆解其设计原理、核心特性和实际应用再通过stat/ls -li等命令落地实操让你理解「文件系统如何对磁盘进行逻辑封装」。文章目录一、块Block文件系统的**最小存取单位**1.1 块的核心定义与设计目的1.1.1 块的定义1.1.2 块的核心设计目的极致提升 IO 效率1.2 块与扇区的地址映射公式 实例核心前提映射公式实例计算以 4KB 块为例N81.3 块大小的选择平衡**IO 效率**与**空间利用率**1.3.1 块太小的问题IO 效率低元数据开销大1.3.2 块太大的问题内部碎片严重空间利用率低1.3.3 不同场景的块大小选择建议二、分区Partition磁盘的**逻辑划分与隔离**2.1 分区的核心本质与作用2.1.1 分区的本质2.1.2 分区的核心作用2.2 分区的最小单位柱面Cylinder核心原因基于磁盘寻址效率的优化2.3 Linux 中常见的分区类型与分区表2.3.1 两种主流分区表的核心对比2.3.2 Linux 中常见的分区功能划分2.4 分区的核心特性独立管理互不干扰三、inode索引节点文件的**属性仓库**3.1 inode 的诞生背景内容与属性的分离存储3.2 inode 的核心特性与固定结构3.2.1 inode 的核心特性3.2.2 inode 的固定结构128 字节包含的核心属性3.3 inode 的三大时间戳Access/Modify/Change重点区分三大时间戳的核心定义关键区分与实例验证实例操作验证三大时间戳的变化3.4 为什么 inode 中不存储文件名四、实战用 stat/ls -li 解析 inode 与文件属性4.1 实战 1ls -li —— 查看文件的 inode 编号与基础属性命令执行与输出解析4.2 实战 2stat —— 查看文件的完整 inode 信息含三大时间戳命令执行与输出解析4.3 实战 3验证 “文件名与 inode 分离”五、常见坑 避坑指南误区 1将块当作磁盘的物理单位误区 2认为 inode 中存储了文件名误区 3磁盘分区后可直接使用误区 4inode 编号在整个磁盘中唯一误区 5修改文件属性会更新 mtime误区 6块大小越大IO 效率越高六、总结与下一篇预告本节核心总结下一篇预告一、块Block文件系统的最小存取单位扇区是磁盘硬件的最小读写单位但文件系统并不会直接操作扇区而是将多个连续的扇区聚合为一个更大的逻辑单位 —— 块块是文件系统操作磁盘的最小粒度也是文件存取的核心单位所有文件的读写、存储最终都以块为单位进行。1.1 块的核心定义与设计目的1.1.1 块的定义文件系统的块Block是由多个连续的磁盘扇区组成的逻辑存储单位其大小在磁盘格式化时确定且一旦确定不可修改。最常见的块大小4KB即 8 个 512 字节的标准扇区聚合而成其他常见大小1KB、2KB、8KB部分大文件存储场景会用到 16KB/32KB核心属性块是文件系统的逻辑单位而非磁盘的物理单位磁盘硬件仍以扇区为单位读写块与扇区的映射由文件系统完成。1.1.2 块的核心设计目的极致提升 IO 效率文件系统设计块的核心原因就是解决逐个扇区读写的低效率问题从根本上减少磁盘的寻道次数和旋转延迟这两个是磁盘机械运动的主要耗时具体体现在两点减少磁头操作次数磁头定位到一个块的起始扇区后可连续读取 / 写入整个块的所有扇区无需为每个扇区单独寻道和等待旋转一次 IO 操作就能完成多个扇区的读写适配文件的连续存储特性绝大多数文件的内容是连续的二进制数据以块为单位存储可让文件的连续数据落在磁盘的连续扇区上进一步减少磁头的移动提升读写速度。简单说块就是文件系统为磁盘 IO 做的“批量处理优化”用更大的逻辑单位降低机械运动的耗时占比。1.2 块与扇区的地址映射公式 实例块由扇区聚合而成且磁盘的每个扇区都有唯一的 LBA 线性地址因此块和扇区之间可以通过简单的公式完成地址映射这是文件系统管理块的基础也是后续理解文件存储的关键。核心前提已知磁盘扇区大小为 512 字节文件系统块大小为N 个扇区如 4KB8 个扇区N8每个扇区有唯一的 LBA 地址从 0 开始。映射公式通过 LBA 地址计算块号和块内扇区位置块号 LBA ÷ N 整数除法取商代表该扇区所属的块 块内扇区位置 LBA % N 取余代表该扇区在块内的第几个位置通过块号计算对应块的起始 LBA 地址块的起始LBA地址 块号 × N实例计算以 4KB 块为例N8假设某扇区的 LBA 地址为10块大小为 4KB8 个扇区计算其所属块号和块内位置块号 10 ÷ 8 1 块内扇区位置 10 % 8 2结论LBA10 的扇区属于第 1 块的第 2 个扇区该块的起始 LBA 地址为1×88包含 LBA8-LBA15 共 8 个扇区。1.3 块大小的选择平衡IO 效率与空间利用率块的大小在磁盘格式化时由用户 / 系统指定选择的核心原则是平衡 IO 效率和空间利用率块太大或太小都会带来问题没有绝对的 “最优值”需根据实际的文件存储场景选择。1.3.1 块太小的问题IO 效率低元数据开销大IO 效率低块太小意味着单次 IO 操作能读写的数据量少大文件需要多次 IO 操作磁头的寻道和旋转延迟会被放大元数据开销大文件系统需要为每个块维护元数据如块的使用状态、所属文件等块数量越多元数据的存储开销越大管理成本越高。1.3.2 块太大的问题内部碎片严重空间利用率低块是文件的最小存取单位即使文件大小小于一个块也会占用整个块这会产生“内部碎片”—— 块中未被文件使用的空间被浪费无法分配给其他文件。实例若块大小为 4KB存储一个 100 字节的小文件该文件会占用整个 4KB 块浪费3996 字节场景影响如果系统中存在大量小文件如配置文件、日志碎片大区块会导致磁盘空间的严重浪费利用率大幅降低。1.3.3 不同场景的块大小选择建议存储场景推荐块大小核心原因大量小文件如 Web 服务器、数据库配置1KB/2KB减少内部碎片提升空间利用率混合文件如日常办公、个人主机4KB平衡 IO 效率和空间利用率系统默认值大量大文件如视频、大数据、磁盘阵列8KB/16KB减少 IO 次数提升大文件的读写效率补充Linux 系统的默认块大小Linux 中格式化 Ext 系列文件系统时默认的块大小为 4KB这是针对绝大多数混合存储场景的最优选择也是内核做了大量优化的块大小无特殊需求时直接使用默认值即可。二、分区Partition磁盘的逻辑划分与隔离一块物理磁盘的容量通常是几十 GB 甚至数 TB如果将整个磁盘作为一个整体管理一旦文件系统损坏整个磁盘的数据都会丢失且无法实现不同文件系统的共存。为此文件系统将物理磁盘划分为多个独立的逻辑区域 —— 分区每个分区可独立格式化、使用、管理相当于把一块大磁盘拆成了多块小 “磁盘”。2.1 分区的核心本质与作用2.1.1 分区的本质磁盘分区的本质是对物理磁盘的扇区进行逻辑划分通过设置起始扇区号和结束扇区号将磁盘的一部分扇区划分为一个独立的逻辑区域且分区之间的扇区互不重叠。底层依据第一篇中fdisk -l命令显示的分区Start/End列就是分区的起始 / 结束扇区号这是分区的硬件底层依据格式化关联分区是文件系统的载体文件系统必须建立在分区之上未分区的裸磁盘无法直接格式化和使用。2.1.2 分区的核心作用数据隔离与故障防护每个分区是独立的逻辑单位一个分区的文件系统损坏不会影响其他分区的数据降低了数据丢失的风险多文件系统共存不同分区可格式化为不同的文件系统如 Ext4、XFS、Swap满足不同的使用需求如 Ext4 用于存储文件Swap 用于内存交换资源管理与权限控制可对不同分区设置不同的挂载权限、磁盘配额实现对磁盘资源的精细化管理如将/home分区设置磁盘配额限制用户的存储容量系统启动优化单独划分启动分区如/boot可避免系统分区的文件系统损坏导致系统无法启动。2.2 分区的最小单位柱面Cylinder在磁盘的逻辑结构中柱面是分区的最小单位而非扇区这是由磁盘的硬件结构和寻址机制决定的也是分区工具如 fdisk的底层设计依据。核心原因基于磁盘寻址效率的优化磁盘的所有磁头固定在同一磁头臂上磁头臂的一次移动会让所有磁头同步定位到一个柱面。如果以柱面为单位分区分区的扇区会集中在连续的柱面上磁头读写分区数据时无需频繁跨柱面移动大幅提升寻址效率。简单说以柱面为单位分区让分区的物理存储与磁盘的硬件寻址特性相匹配从底层保证了分区的 IO 效率。补充扇区与柱面的关联一个柱面包含的扇区数 磁头数 × 每磁道扇区数即第一篇中的C_sector因此确定了分区的起始 / 结束柱面号就能通过公式计算出分区的起始 / 结束扇区号和总容量。2.3 Linux 中常见的分区类型与分区表Linux 系统中磁盘分区的管理依赖分区表分区表存储在磁盘的起始位置记录了磁盘的分区数量、每个分区的起始 / 结束位置、分区类型等信息常见的分区表有MBRDOS和GPT两种也是我们实操中最常接触的。2.3.1 两种主流分区表的核心对比上篇fdisk -l命令中我们看到了Disk label type: dos即 MBR这里详细对比 MBR 和 GPT 的区别这是 Linux 磁盘分区的实战重点对比维度MBR 分区表DOSGPT 分区表最大支持磁盘容量2TB无限制支持 EB 级最大分区数量主分区最多 4 个或 3 主 1 扩展无限制Linux 默认支持 128 个分区表存储磁盘起始位置前 512 字节磁盘起始 末尾双重备份更安全分区标识分区 ID如 83Linux 主分区GUID全局唯一标识更规范兼容性兼容所有系统老式 BIOS / 新 UEFI主要支持 UEFI 启动部分老式 BIOS 不兼容适用场景小容量磁盘2TB、老式 BIOS 系统大容量磁盘2TB、新 UEFI 系统、云服务器2.3.2 Linux 中常见的分区功能划分在 Linux 服务器中我们通常会对磁盘进行功能化分区将不同的系统目录挂载到独立的分区这是 Linux 运维的最佳实践常见的分区规划如下以 Ext4 文件系统为例分区挂载点分区类型 ID核心作用推荐大小/boot/boot83系统启动分区存放引导程序、内核文件512MB-1GBswap无82交换分区作为内存的扩展当内存不足时使用1-2 倍物理内存//83根分区存放系统核心文件、命令、配置剩余容量或 50GB 以上/home/home83用户主目录存放用户的文件、数据剩余容量多用户场景/data/data83数据分区存放业务数据、日志、数据库剩余容量服务器场景2.4 分区的核心特性独立管理互不干扰每个分区都是一个独立的逻辑单位拥有自己的扇区范围、文件系统、元数据核心特性可总结为“独立管理互不干扰”独立格式化每个分区可单独格式化为不同的文件系统如/boot格式化为 Ext4/data格式化为 XFS独立挂载 / 卸载分区需挂载到 Linux 的目录树才能使用可单独挂载或卸载不影响其他分区独立修复若某个分区的文件系统损坏可单独对其进行修复如fsck命令无需影响其他分区inode / 块独立编号每个分区的 inode 和块都从 0 开始独立编号不同分区的 inode / 块编号可重复无冲突。三、inode索引节点文件的属性仓库我们一直强调Linux 中一切皆文件而文件的本质是「内容 属性」。前面我们讲了块是文件内容的存储单位那么文件的属性如权限、大小、创建时间、所属用户存放在哪里答案就是inode索引节点—— 文件系统为每个文件创建的专属 “属性仓库”也是 Linux 文件系统的核心设计之一。3.1 inode 的诞生背景内容与属性的分离存储在早期的文件系统中文件的内容和属性是混合存储的这种方式存在两个致命问题属性查询效率低要查询文件的属性必须先找到文件的内容再从内容中提取属性耗时且繁琐属性修改成本高修改文件的属性需要重写整个文件的内容效率极低且容易导致数据损坏。为了解决这些问题Linux 文件系统采用了“内容与属性分离存储”的设计文件内容存储在数据块Data Block中以块为单位管理文件属性存储在inode中每个文件对应唯一的一个 inodeinode 与文件一一绑定。这种设计让文件的属性查询和修改变得高效只需操作 inode 即可无需接触文件的实际内容。3.2 inode 的核心特性与固定结构3.2.1 inode 的核心特性唯一标识在同一个分区内每个 inode 有一个唯一的 inode 编号这是文件的唯一标识Linux 系统通过 inode 编号识别文件而非文件名固定大小Ext2/3/4 文件系统中inode 的大小是固定的 128 字节部分 Ext4 可配置为 256 字节所有文件的 inode 大小一致与文件内容大小无关无文件名inode 中不存储文件名文件名与 inode 的映射关系存储在目录的数 - 据块中下一篇详细讲解分区内独立inode 编号在分区内唯一不同分区的 inode 编号可重复这也是分区独立管理的体现。3.2.2 inode 的固定结构128 字节包含的核心属性Ext2 文件系统中128 字节的 inode 包含了文件的所有核心属性主要分为以下几类这些属性是stat/ls -l命令的输出依据属性类别具体属性核心作用基础标识inode 编号、文件类型唯一识别文件区分文件 / 目录 / 设备等类型权限控制文件权限rwx、UID所属用户、GID所属组控制文件的访问权限区分文件的归属链接信息硬链接数记录绑定到该 inode 的文件名数量大小与块数文件大小字节、占用的块数描述文件的存储规模时间戳访问时间、修改时间、改变时间记录文件的操作时间核心重点数据块指针i_block 数组15 个元素指向存储文件内容的数据块下一篇详细讲解补充inode 的存储计算inode 的大小为 128 字节文件系统的块大小为 4KB4096 字节因此一个 4KB 的块可以存储 32 个 inode4096 ÷ 128 32这是文件系统格式化时计算 inode 总数的基础。3.3 inode 的三大时间戳Access/Modify/Change重点区分inode 中最容易混淆的就是三个时间戳这也是 Linux 文件操作的高频考点stat命令会完整显示这三个时间我们必须明确区分其含义避免误用。三大时间戳的核心定义时间戳名称英文缩写核心含义触发操作命令查看访问时间atimeAccess Time文件内容最后一次被读取的时间读取文件内容如cat/freadstat 文件名/ls -lu 文件名修改时间mtimeModify Time文件内容最后一次被修改的时间修改文件内容如echo/fwritestat 文件名/ls -l 文件名改变时间ctimeChange Time文件属性最后一次被修改的时间修改文件属性如chmod/chown/ 重命名或修改文件内容内容修改会间接改变属性大小 / 块数stat 文件名/ls -lc 文件名关键区分与实例验证核心区别mtime 关注文件内容的修改ctime 关注文件属性的修改而 atime 关注文件内容的读取修改文件内容会同时更新 mtime 和 ctime因为内容修改会导致文件大小 / 块数等属性变化但修改文件属性只会更新 ctime不会影响 mtime 和 atime。实例操作验证三大时间戳的变化我们通过创建一个测试文件执行不同操作查看时间戳的变化直观理解其区别执行stat test.txt查看时间戳创建文件touch test.txt此时 atimemtimectime均为文件创建时间读取文件内容cat test.txt仅 atime 更新mtime 和 ctime 不变修改文件内容echo hello inode test.txtatime 不变mtime 和 ctime 同时更新修改文件属性chmod 755 test.txt仅 ctime 更新atime 和 mtime 不变。3.4 为什么 inode 中不存储文件名这是学习 inode 时最常见的问题核心原因有两点一是 inode 的大小固定无法存储长度不固定的文件名二是 Linux 的文件目录结构需要灵活的文件名映射。文件名长度不固定Linux 中文件名的长度可达到 255 个字符而 inode 的大小是固定的 128 字节若在 inode 中存储文件名会导致 inode 结构被撑破无法统一管理目录的映射需求Linux 的目录是一个 “文件列表”需要存储目录下所有文件的文件名 inode 编号的映射关系将文件名存储在目录的数据块中可让目录的管理更灵活支持文件名的快速增删改查。简单说Linux 系统认 inode 不认文件名文件名只是给用户看的 “别名”系统通过文件名找到对应的 inode 编号再通过 inode 编号找到文件的属性和内容。四、实战用 stat/ls -li 解析 inode 与文件属性理论终究要落地实操Linux 提供了stat和ls -li两个核心命令用于查看文件的 inode 信息和属性这两个命令也是我们日常工作中排查文件问题、理解 inode 的常用工具本节结合实际输出逐行解析命令结果将 inode 的理论知识与实操结合。4.1 实战 1ls -li —— 查看文件的 inode 编号与基础属性ls -l是查看文件属性的常用命令而ls -li在ls -l的基础上增加了 **inode 编号 ** 列这是我们识别文件 inode 的最直接方式。命令执行与输出解析# 创建测试文件 touch test.c test.txt # 查看inode编号与基础属性 ls -li典型输出输出列解析从左到右786804/786937文件的inode 编号分区内唯一-rw-rw-r–文件类型 权限-表示普通文件rw-rw-r--表示权限1文件的硬链接数新建文件默认硬链接数为 1ubuntu ubuntu文件的所属用户UID和所属组GID0/0文件的大小字节Apr 5 20:26文件的修改时间mtimetest.c/test.txt文件名与 inode 编号映射。4.2 实战 2stat —— 查看文件的完整 inode 信息含三大时间戳ls -li只能查看 inode 的基础信息而 **stat命令会输出文件的完整 inode 信息 **包括 inode 编号、三大时间戳、占用块数、设备号等是我们深入分析文件 inode 的核心工具。命令执行与输出解析# 查看test.c的完整inode信息 stat test.c典型输出核心输出解析Inode: 786804文件的 inode 编号Size: 0文件内容大小Blocks: 0文件占用的物理块数IO Block: 4096文件系统的块大小4KBLinks: 1硬链接数Access: (0664/-rw-rw-r–)文件权限八进制 0664符号化 rw-rw-r–Uid/Gid: (1000/ubuntu)所属用户 / 组的 ID 和名称Access/Modify/Change三大时间戳精确到纳秒Birth文件的创建时间Linux 部分文件系统不支持显示为 -。4.3 实战 3验证 “文件名与 inode 分离”为了验证 Linux 系统 “认 inode 不认文件名”我们通过重命名文件和创建硬链接的操作查看 inode 编号的变化重命名文件mv test.c test_new.c执行ls -li发现inode 编号不变仅文件名改变创建硬链接ln test_new.c test_hard.c执行ls -li发现两个文件的 inode 编号完全相同硬链接数变为 2。结论文件名只是 inode 的 “别名”修改文件名不会改变 inode多个文件名可绑定到同一个 inode系统通过 inode 编号识别文件而非文件名。五、常见坑 避坑指南学习块、分区、inode 这三大核心抽象时很多人会因混淆物理 / 逻辑、硬件 / 文件系统、属性 / 内容的概念陷入误区这里整理了最常见的 6 个误区帮你精准避坑误区 1将块当作磁盘的物理单位错误认知块是磁盘的硬件单位和扇区一样是磁盘的物理结构正确认知块是文件系统的逻辑单位由多个连续扇区聚合而成磁盘硬件仍以扇区为单位读写块与扇区的映射由文件系统完成。误区 2认为 inode 中存储了文件名错误认知inode 是文件的属性仓库包含文件名正确认知inode 中不存储任何文件名文件名与 inode 编号的映射关系存储在目录的数据块中Linux 系统通过 inode 编号识别文件而非文件名。误区 3磁盘分区后可直接使用错误认知用 fdisk 对磁盘分区后就可以直接在分区中存储文件正确认知分区只是对磁盘的逻辑划分分区后必须格式化创建文件系统才能在分区中创建 inode、块等结构实现文件的存储和管理。误区 4inode 编号在整个磁盘中唯一错误认知一个磁盘的所有 inode 编号都是唯一的正确认知inode 编号仅在同一个分区内唯一不同分区的 inode 编号可重复因为每个分区的 inode 是独立管理的。误区 5修改文件属性会更新 mtime错误认知用 chmod 修改文件权限后文件的修改时间mtime会更新正确认知修改文件属性只会更新改变时间ctimemtime 仅在文件内容修改时更新ctime 关注属性mtime 关注内容。误区 6块大小越大IO 效率越高错误认知块大小越大单次 IO 读写的数据越多效率一定越高正确认知块大小的选择需要平衡 IO 效率和空间利用率块太大会导致内部碎片严重磁盘空间利用率大幅降低仅在大量大文件的场景下大区块才会提升 IO 效率。六、总结与下一篇预告本节核心总结本篇我们讲解了文件系统的三大核心抽象完成了从磁盘硬件到文件系统逻辑的跨越让磁盘从 “裸硬件” 变成了可管理文件的 “载体”核心知识点可以总结为 6 点块是文件系统的最小存取单位由连续扇区聚合而成默认 4KB设计目的是提升 IO 效率块大小需平衡 IO 效率和空间利用率存在内部碎片分区是磁盘的逻辑划分以柱面为最小单位每个分区独立管理、互不干扰是文件系统的载体主流分区表为 MBR2TB和 GPT大容量inode是文件的属性仓库每个文件对应唯一的 inode分区内 inode 编号唯一大小固定为 128 字节不存储文件名Linux 采用内容与属性分离存储内容存在数据块属性存在 inode系统通过 inode 编号识别文件而非文件名inode 包含三大时间戳atime内容读取、mtime内容修改、ctime属性修改修改内容会同时更新 mtime 和 ctime用ls -li查看文件的 inode 编号和基础属性用stat查看完整的 inode 信息包括三大时间戳、占用块数等。下一篇预告通过本篇的学习我们掌握了文件系统的三大核心抽象但新的问题又来了有了块、分区、inodeLinux 最经典的 Ext2/3/4 文件系统是如何组织这些结构的inode 中的数据块指针是如何指向文件内容的数据块的小文件和大文件的存储方式有什么不同目录的本质是什么为什么说 Linux 中 “目录也是文件”下一篇我们将深入 Linux最经典的 Ext2/3/4 文件系统从块组Block Group出发拆解超级块、GDT、位图、inode 表、数据块的核心作用重点讲清inode 与数据块的映射机制让你看懂 Linux 文件系统的底层实现敬请期待