Linux VFS：把设备和文件统一起来的那一层

struct file

它代表的是'进程打开的文件'。

这里面有当前偏移位置、打开方式、以及指向相关 dentry 的指针。open() 时创建，close() 时销毁。不同进程打开同一个文件，通常会有不同的 file 对象，因为读写位置不一定一样，但它们可能指向同一个 inode。

进程和文件是怎么连起来的

进程启动后，内核里会有对应的 task_struct。它里面会关联到 files_struct，再往下是一张文件表，文件表里保存着 fd 和 struct file * 的映射。

链路可以简单记成这样：

task_struct → files_struct → fd 表 → struct file

到了 struct file 这一步，真正有意思的地方才开始。

因为 struct file 里有个 f_op 指针，它指向 struct file_operations。而 struct file_operations 里面放的，全是函数指针。也就是说，open 的时候绑定了什么实现，后面读写就会走什么实现。

VFS 为什么像多态

Linux 底层是 C，但这不妨碍它做出多态的效果。它不是靠语言特性，而是靠结构体和函数指针硬做出来的。

先看一个最基础的接口定义：

// <linux/fs.h>
struct file_operations {
    struct module *owner;
    // 读文件的函数指针
    ssize_t (*read)(struct file *, char __user *, size_t, loff_t *);
    // 写文件的函数指针
    ssize_t (*write)(struct file *, const char __user *, size_t, loff_t *);
    // 打开文件的函数指针
    int (*open)(struct inode *, struct file *);
    // ... 其他操作如 poll, mmap, flush 等
}; 

这个结构体本身不做具体工作，它只是定义接口。真正的实现由不同驱动或文件系统填进去。

比如 ext4 可能会这样挂上自己的实现：

// ext4 的'多态'实现
const struct file_operations ext4_file_operations = {
    .read_iter = ext4_file_read_iter, // 指向 Ext4 具体的读函数
    .write_iter = ext4_file_write_iter,
    .open = ext4_file_open, // ...
}; 

鼠标这种字符设备也会有自己的一套：

// 鼠标驱动的'多态'实现
const struct file_operations mousedev_fops = {
    .read = mousedev_read, // 指向鼠标驱动具体的读函数
    .write = mousedev_write,
    .open = mousedev_open, // ...
}; 

名字都叫 read，但落到不同的结构体里，指向的实现完全不同。VFS 在调用时不关心底层是 ext4 还是鼠标设备，它只看 file->f_op 里到底绑了谁。

调用链大致是这样：

// 系统调用入口
SYSCALL_DEFINE3(read, unsigned int, fd, char __user *, buf, size_t, count) {
    // 1. 根据 fd 找到 file 结构体
    struct file *file = fget(fd); // 从 current->files->fd_array[fd] 获取
    // 2. 调用 VFS 层的通用 read 函数
    ret = vfs_read(file, buf, count, &pos);
    fput(file);
    return ret;
}

// VFS 层的 vfs_read（统一接口）
ssize_t vfs_read(struct file *file, char __user *buf, size_t count, loff_t *pos) {
    // 权限检查等...
    // 3. 关键的一行：多态调用
    if(file->f_op->read){
        return file->f_op->read(file, buf, count, pos);
    } else if(file->f_op->read_iter){
        // 或者使用 read_iter（新接口）
        // ...
    }
    return -EINVAL;
}

这就是 Linux 版的多态。vfs_read 自己不读数据，它只负责把请求交给当前文件对应的实现。

如果 file 指向普通文件，最后可能进到 ext4 的读函数；如果它指向设备文件，可能就落到设备驱动的实现里。对上层来说，接口没变；对内核来说，分发已经完成了。

对外是统一的 read()。 对内是 file->f_op->read 指向不同实现。 运行时根据绑定关系跳到真正的处理函数。

VFS 的作用

VFS 像一层润滑剂，把文件系统、设备文件、网络资源这些差异很大的东西抹平了。

它不负责把事情做得花哨，做的是把调用路径统一起来。这个设计看着朴素，但一旦系统规模变大，就会发现它特别能扛事。

小结

'一切皆文件'在 Linux 里不是修辞，是一套真正落地的设计。VFS 把磁盘、设备、网络、进程信息这些本来差异很大的资源，统一进同一套接口里。

它做的事情其实就两层：上面给出统一的 open、read、write、close，下面用函数指针把调用派发给具体实现。这样一来，用户态不用关心底层细节，内核也能同时兼容很多文件系统和设备模型。

这套架构不算轻巧，但很稳。对系统编程来说，稳比漂亮更值钱。