FUSE(Filesystem in Userspace)是一个允许用户在用户态创建自定义文件系统的接口,诞生于 2001 年。FUSE 的出现大大降低了文件系统开发的门槛,使得开发者能够在不修改内核代码的情况下实现创新的文件系统功能。JuiceFS 就是基于 FUSE 构建的高性能分布式文件系统,充分发挥了 FUSE 的灵活性和扩展性。

为了更好地理解 FUSE 的设计理念,我们将首先回顾内核文件系统以及网络文件系统(如 NFS)的发展历程,这些技术的演进为 FUSE 实现用户空间文件系统功能奠定了重要基础。

在文章的最后,将介绍 JuiceFS 在使用 FUSE 过程中的实践。由于 FUSE 需要进行用户态与内核态之间的切换,这会带来一定的开销,并可能导致 I/O 延迟,因此许多人对其性能存在顾虑。从我们的实践经验来看,FUSE 在大多数 AI 场景下能能够满足性能需求,相关细节将在文章中阐述。

01 单机文件系统:内核态与 VFS

文件系统作为操作系统中的核心底层组件,负责频繁操作存储设备,因此最初的设计完全在内核空间中进行。“内核”这一概念的提出,是随着计算机硬件和软件日益复杂化,操作系统将底层资源管理的代码与用户程序进行分离的产物。

内核是拥有超级权限的代码,负责管理计算机的核心资源(如 CPU、内存、硬盘、网络等)。当内核代码运行时,程序进入内核态,可以完全访问和操作这些底层设备。由于内核态权限极高,其代码必须经过严格测试和验证,普通用户无法随意修改。

而与内核空间形成对应的是用户空间(User space),这部分代码就是我们平时常见的各种应用程序,像浏览器、游戏等。在用户空间里,程序的权限是受到严格限制的,不能直接访问底层的重要资源。

如果应用程序需要使用文件系统,必须通过操作系统设计好的接口来进行访问,比如我们常用的 OPEN、READ、WRITE 等,这些就是所谓的系统调用。系统调用的作用是搭建起用户空间和内核空间的桥梁。现代操作系统常常定义了数百个系统调用,每个调用都有自己明确的名称、编号和参数。

当应用程序调用系统调用时,它就会进入一段内核空间代码,等执行完毕后,再把结果返回给用户空间。值得注意的是,这个从用户态到内核态,然后再返回用户态的整个过程,它都属于同一个进程范畴。

在了解上述背景知识后,接下来我们将简要说明当用户调用文件系统接口时,用户态与内核态是如何实现交互的。

内核通过 VFS(virtual file system)封装了一套通用的虚拟文件系统接口,向上以系统调用的形式暴露给用户态,向下给底层的文件系统规定编程接口,底层文件系统需要按照 VFS 的格式来实现自己的文件系统接口。因此,用户态访问底层文件系统的标准流程一般是 系统调用-> VFS -> 底层文件系统 -> 物理设备。

例如,我们在应用程序中调用 open,它会携带一个路径作为它的参数。这个调用到达 VFS 层以后,VFS 会根据这个路径,在它的树状结构中逐级查找,最终找到一个对应的目标和它所属的底层文件系统,并且这个底层文件系统也有一个自己实现的 open 方法,然后把这个 open 调用传递给底层文件系统。

Linux 内核支持数十种不同的文件系统。对于内存或网络等不同的存储介质,会采用不同的文件系统来进行管理。最为关键的是,VFS 的可扩展性使得 Linux 系统能够轻松地支持多种多样的文件系统,以应对各种复杂的存储需求;同时,这种可扩展性也为后续 FUSE 在用户态实现调用内核态的功能提供了基础

02 网络文件系统 NFS:首次突破内核态

随着计算需求的增长,单台计算机的性能逐渐无法满足日益增长的计算和存储要求。人们开始引入多台计算机,以分担负载并提高整体效率。

在这一场景下,一个应用程序往往需要访问分布在多台计算机上的数据。为了解决这一问题,人们提出了在网络中引入虚拟存储层的概念,将远程计算机的文件系统(如某个目录)通过网络接口挂载到本地计算机的节点上。这样做的目的是使本地计算机能够无缝地访问远程计算机的数据,就好像这些数据存储在本地一样

具体来说,如果有一个需求是希望本地计算机能够访问远端的数据,那么可以将远端计算机的一个子目录通过网络接口虚拟出来,并挂载到本地计算机的一个节点上。在这个过程中,应用程序无需做任何修改,仍然通过标准的文件系统接口就可以访问这些路径,就像访问这些节点上的本地数据一样。

当应用程序对这些网络路径进行操作(如逐级目录查找)时,这些操作会被转化为网络请求,以 RPC(远程过程调用)的形式发送到远端计算机上执行。远端计算机在接收到这些请求后,会进行相应的操作(如查找文件、读取数据等),并将结果返回给本地计算机。

上述过程,就是一个简易的 NFS 协议实现,作为一种网络文件系统协议,NFS 为多台计算机之间的资源共享提供了高效的解决方案,用户可以像操作本地文件系统一样方便地挂载和访问远程文件系统。

传统的文件系统通常是整个体系都运行在单机的内核态,而 NFS 首次打破了这一限制,服务端的实现结合了内核态与用户态。后续 FUSE 的设计,正是受到这一思路的启发。

03 FUSE:从内核到用户态的文件系统创新

随着计算机技术的不断发展,许多新兴业务场景需要使用自定义文件系统。传统的内核态文件系统存在实现难度高和版本兼容性问题。NFS 的架构首次使文件系统突破了内核的限制

基于此,有人提出了一个构想:是否可以将 NFS 网络协议移植到单机端,将服务端功能转移到用户态进程,同时保留客户端在内核中运行,用系统调用代替网络通讯,从而在用户态实现文件系统功能?这一想法最终催生了 FUSE(filesystem in userspace)的诞生。

在 2001 年,匈牙利的计算机学家 Miklos Szeredi 推出 FUSE,这是一种为开发者提供的框架,允许在用户空间实现文件系统。FUSE 的核心分为两个部分:内核模块和用户态库(libfuse)

其内核模块作为操作系统内核的一部分,负责与 VFS 交互,将来自 VFS 的文件系统请求转发到用户态,并将用户态的处理结果返回给 VFS。这种设计使得 FUSE 能够在不修改内核代码的情况下,实现自定义文件系统的功能。

FUSE 的用户态库(libfuse)提供了与 FUSE 内核模块交互的 API 库,可以帮助用户实现一个运行在用户空间的守护进程(daemon)。守护进程负责处理来自内核的文件系统请求,并实现具体的文件系统逻辑。

在具体的实现中,用户态的守护进程(Daemon)与内核模块通过以下步骤协作完成文件操作:

请求接收

  1. 内核模块会注册一个*字符设备(/dev/fuse)作为通信通道。守护进程通过调用 read() 函数主动从该设备读取请求:
  2. 若内核的 FUSE 请求队列为空,read() 会进入阻塞状态,此时守护进程暂停执行并释放 CPU,直到队列中出现新请求(通过内核的等待队列机制实现)。
  3. 当应用程序发起文件操作(如 open、read)时,内核模块将请求封装为特定格式的数据包,并插入请求队列,唤醒阻塞中的守护进程。

请求处理

守护进程从字符设备中读取到请求数据包后,根据操作类型(如读、写、创建文件)调用对应的用户态处理函数。

结果返回

处理完成后,守护进程将结果(如读取到的文件内容或错误码)按照 FUSE 协议格式序列化,并通过 write() 将数据包写回字符设备。

内核模块接收到响应后:

  1. 解析数据包内容,将结果传递给等待中的应用程序;
  2. 唤醒应用程序中被阻塞的系统调用,使其继续执行后续逻辑。

FUSE 的出现为文件系统的开发带来了革命性的变化,通过将文件系统的实现从内核态迁移到用户态,FUSE 大幅降低了开发的难度,提升了系统的灵活性和可扩展性,使其广泛地被应用于多种场景,如网络文件系统、加密文件系统以及虚拟文件系统等。

04 JuiceFS :FUSE 用户态分布式文件系统

2017 年,IT 基础设施全面进入云时代,架构面临前所未有的挑战,在此背景下,JuiceFS 诞生。作为一款基于对象存储的分布式文件系统,选择采用 FUSE 技术来构建其文件系统架构,以 FUSE 灵活的扩展性来应对云计算环境中的多样化需求。

通过 FUSE,JuiceFS 文件系统能够以 POSIX 兼容的方式挂载到服务器,将海量云端存储直接当做本地存储来使用,常见的文件系统指令(如 ls、cp、mkdir 等)都可以用来管理 JuiceFS 中的文件和目录。

以用户挂载 JuiceFS 后,open 其中一个文件的流程为例。请求首先通过内核 VFS,然后传递给内核的 FUSE 模块,经过 /dev/fuse 设备与 JuiceFS 的客户端进程通信。VFS 和 FUSE 的关系可以简单的看做客户端-服务器协议,VFS 作为客户端请求服务,用户态的 JuiceFS 扮演着服务器端的角色,处理这些请求。

具体步骤如下:

  1. 当 JuiceFS mount 后,JuiceFS 内部的 go-fuse 模块会 open /dev/fuse 获取 mount fd,并启动几个线程读取内核的 FUSE 请求;
  2. 用户调用 open 函数,通过 C 库和系统调用进入 VFS 层,VFS 层再将请求转给内核的 FUSE 模块;
  3. 内核 FUSE 模块根据协议将 open 请求放入 JuiceFS mount 的 fd 对应的队列中,并唤醒 go-fuse 的读请求线程,等待处理结果;
  4. 用户态的 go-fuse 模块读取 FUSE 请求并在解析请求后调用 JuiceFS 的对应实现;
  5. go-fuse 将本次请求的处理结果写入 mount fd,即放入 FUSE 结果队列,然后唤醒业务等待线程;
  6. 业务线程被唤醒,得到本次请求的处理结果,然后再返回到上层。

由于 FUSE 依赖于用户空间与内核之间的频繁切换,许多人对其性能表现存有疑虑,实际上并非完全如此,我们使用 JuiceFS 进行了一组测试。

在一台1.5T内存、Intel Xeon 架构176核的机器上的 JuiceFS 文件系统中创造一个 512G 的空洞文件,然后使用 fio 对其进行顺序读测试(挂载参数详情fio 命令详情),这样可以排除硬件磁盘的制约,测试出 FUSE 文件系统相对极限的带宽。

  • 可以看到单挂载点下的单线程带宽可以达到 2.4 GiB/s;
  • 随着线程的增加,带宽基本可以实现线性增长,在 20 线程时达到了 25.1 GiB/s,这个吞吐量已经可以满足绝大部分实际业务场景。

在 FUSE 相关的使用上,JuiceFS 实现了平滑升级功能。通过保证 mount fd 的一致性,让用户可以在不需要重新挂载文件系统、不中断业务的情况下,升级 JuiceFS 版本或修改挂载参数,详情请参考平滑升级功能详解,不停服即可更新。

FUSE 也存在一些局限性,比如进程访问 FUSE device 需要很高的权限,尤其在容器环境中,通常需要开启特权模式。另外,容器通常是短暂且无状态的,如果容器意外退出,并且数据没有及时落盘,会存在数据丢失的风险。因此针对 Kubernetes 场景,JuiceFS 提供了 CSI 驱动使得业务可以以非特权容器访问 JuiceFS 文件系统,并且 CSI 驱动管理 FUSE 进程的生命周期,确保数据能够及时落盘不会出现丢失的问题。Kubernetes 数据持久化:从零开始使用 JuiceFS CSI Driver

05 小结

FUSE 通过将用户空间与内核空间解耦,为开发者提供了在用户空间实现文件系统的巨大灵活性和便利性。特别是在云计算和分布式存储等现代计算环境中,FUSE 使得构建和维护复杂的存储系统变得更加高效、可定制和易于扩展。

JuiceFS 正是基于 FUSE,在用户空间实现了高性能的分布式文件系统。未来,我们将继续深入探索 FUSE 的优化方法,不断提升文件系统的性能与可靠性,以应对日益复杂的存储需求,为用户提供更强大的数据管理能力。

希望这篇内容能够对你有一些帮助,如果有其他疑问欢迎加入 JuiceFS 社区与大家共同交流。

FUSE,从内核到用户态文件系统的设计之路的更多相关文章

  1. 用户态文件系统fuse学习【转】

    本文转载自:https://blog.csdn.net/ty_laurel/article/details/51685193 FUSE概述 FUSE(用户态文件系统)是一个实现在用户空间的文件系统框架 ...

  2. BlueStore-先进的用户态文件系统《二》-BlueFS

    https://zhuanlan.zhihu.com/p/46362124 简介 上一篇文章中,介绍了BlueStore的诞生背景.逻辑架构以及设计思想,提到了在BlueStore中元数据都是存放在R ...

  3. linux mce的一些相关内容和用户态监控的设计方法

    之所以想起写一点关于mce的东西,倒不是因为遇到mce的异常了,之前遇到过很多mce的异常,内存居多,但没有好好记录下来,写这个是因为参加2018 clk南京会议的一点想法. void __init ...

  4. BlueStore-先进的用户态文件系统《一》

    https://zhuanlan.zhihu.com/p/45084771 分布式存储系统通过将数据分散到多台机器上来充分利用多台机器的资源提高系统的存储能力,每台机器上的数据存放都需要本地的单机存储 ...

  5. 在linux系统中实现各项监控的关键技术(2)--内核态与用户态进程之间的通信netlink

    Netlink 是一种在内核与用户应用间进行双向数据传输的非常好的方式,用户态应用使用标准的 socket API 就可以使用 netlink 提供的强大功能,内核态需要使用专门的内核 API 来使用 ...

  6. Linux内核态用户态相关知识 & 相互通信

    http://www.cnblogs.com/bakari/p/5520860.html 内核从本质上看是一种软件——控制计算机的硬件资源,并提供上层应用程序运行的环境. 系统调用是操作系统的最小功能 ...

  7. Linux 内核态与用户态通信 netlink

    参考资料: https://blog.csdn.net/zqixiao_09/article/details/77131283 https://www.cnblogs.com/lopnor/p/615 ...

  8. linux内核态和用户态的信号量

    在Linux的内核态和用户态都有信号量,使用也不同,简单记录一下. 1> 内核信号量,由内核控制路径使用.内核信号量是struct semaphore类型的对象,它在中定义struct sema ...

  9. linux 内核与用户空间通信之netlink使用方法

    转自:http://blog.csdn.net/haomcu/article/details/7371835 Linux中的进程间通信机制源自于Unix平台上的进程通信机制.Unix的两大分支AT&a ...

  10. [中英对照]User-Space Device Drivers in Linux: A First Look | 初识Linux用户态设备驱动程序

    如对Linux用户态驱动程序开发有兴趣,请阅读本文,否则请飘过. User-Space Device Drivers in Linux: A First Look | 初识Linux用户态设备驱动程序 ...

随机推荐

  1. Flutter TextField设置值后光标位置偏移

    Flutter TextField设置值后光标位置偏移 一般用controller设置值是这样设置的 TextEditingController controller = TextEditingCon ...

  2. ASP.NET Core EventStream (SSE) 使用以及 WebSocket 比较

    在开发环境中,对于实时数据流的需求非常常见,最常用的技术包括 Server-Sent Events (SSE) 和 WebSocket. 什么是 Server-Sent Events (SSE)? S ...

  3. Spark内存调优

    一.概述Spark 作为一个基于内存的分布式计算引擎,其内存管理模块在整个系统中扮演着非常重要的角色.理解 Spark 内存管理的基本原理,有助于更好地开发 Spark 应用程序和进行性能调优.本文旨 ...

  4. MybatisPlusException: can not find lambda cache for this entity[]异常解决

    文章目录 场景说明 解决方案 场景说明   简单来说,我们系统中许多数据都是树状结构的,所以我定义了一个实体类父类BaseTreePO,并且想封装一个通用的树状对象的Service类,部分代码如下: ...

  5. pygame基础功能总结

    1.导入Pygame模块 (1) 模块并初始化 ① Import pygame ② Pygame.init() (2) 创建窗体 ① Window_size = (800,600)  长宽 ② Scr ...

  6. Qt6中重大改变的QtMultimedia多媒体模块

    一.前言 Qt 6.2 的第一个测试版刚刚发布,并在多个其他新附加组件中加入了全新的 Qt 多媒体模块.Qt Multimedia 是一个模块,它在 Qt 6 中发生了一些相当大的变化. 在很多方面, ...

  7. RestSharp使用方法2.0

    RestSharp使用方法 功能:在VS后端请求接口. (个人)用途:对接平台,做数据的转发. 1.引入Get包:RestSharp  2.简单的请求示例: /// <summary> / ...

  8. 实时社群技术专题(一):支持百万人超级群聊,一文读懂社群产品Discord

    本文由腾讯产品体验设计师volihuang分享,原题"千万级增长,实时社交产品Discord拆解",本文收录时有内容修订和大量排版优化. 1.引言 对于大多数人而言,对即时通讯IM ...

  9. Scala,一门「特立独行」的语言!

    入门 Spark 的路上很难不接触 Scala . Scala 似乎是为 java 提供了很多『类似函数式编程』的语法糖,这里记录一下这个语言独特的地方分享给读者朋友们. 参考资料主要有: 曹洁 . ...

  10. 【量化读书笔记】【打开量化投资的黑箱】CH.04.风险模型

    风险管理不仅仅是规避风险和减少损失,是通过对敞口实施有目的的选择和规模控制来提高收益的质量和稳定性. (注:敞口,一般指金融活动中存在金融风险的部位以及受金融风险影响的程度) 本质上风险模型是为阿尔法 ...