HIT oslab之文件管理（从磁盘到文件系统的四层抽象）

深碍√TFBOYSˉ_ 2022-11-15 15:58 147阅读 0赞

# 一、概述 #

磁盘也属于外设，所以在unix/linux的世界里，操作磁盘也要像操作文件一样。  
**那么操作系统是如何将磁盘抽象成文件系统的呢？**

# 二、直接使用磁盘 #

## 1.前言 ##

操作系统把磁盘抽象成文件，本质是屏蔽掉使用磁盘的细节。  
所以，首先要明白如何直接使用磁盘。

> 所谓使用磁盘，即①把内存缓冲区(缓存)的数据写到磁盘数据块中或②把磁盘数据块的数据读到缓存中。

## 2.找到磁盘数据块 ##

根据磁盘的结构可知，通过`柱面`、`磁头`、`扇区`定位磁盘数据块。

## 3.直接使用磁盘（CHS方式） ##

(1)只要在程序中向`磁盘控制器`的寄存器写入`柱面号`、`磁头号`、`扇区号`以及缓存起始地址和大小，即可使用磁盘。  
![在这里插入图片描述][20210402154135403.png]  
(2)相关源码（在`kernel/blk_drv/hd.c`中）  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70]

> 显然，让用户通过记住`柱面号`(cyl)、`磁头号`(head)、`扇区号`(sect)来使用磁盘是很不方便的。  
> 柱面：cylinder  
> 磁头：head  
> 扇区：sector

# 三、从磁盘到文件的第1层抽象：盘块号 #

# 1.前言 #

磁盘实际上是一个个磁盘数据块(假设有`n`块)，如果让用户通过块号`i`( i ∈ \[ 0 , n − 1 \] i\\in\[0, n-1\] i∈\[0,n−1\])来使用磁盘，那么就比CHS方式便捷多了。

## 2.操作系统要实现盘块号block和CHS的映射 ##

(1)磁盘编址方式

*  高效的磁盘编址方式，可以使磁盘访问时间更少。
 *  磁盘访问时间 = 写入控制器时间 + 寻道时间 + 旋转时间 + 传输时间，且已知寻道时间最耗时。
 *  所以，这样编址：从0号柱面和0号盘面开始(如下图所示)，0号盘块对应0号扇区，1号盘块对应1号扇区。  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 1]

> 假设用户要读取1~4号扇区的内容，按上述编址，就不需要换道了。  
> PS : 但实际上，这样编址是有问题的，因为当读完1号扇区的内容，并不能立马就读2号扇区，而这种连续放置的方式，会导致重新转一圈才能读2号扇区。（**本文忽略这一问题。**）

(2)盘块号block和CHS的映射  
1）**block = C \* (NH \* NS) + H \* NS + S**

> CHS分别指柱面号、磁头号和扇区号；  
> 而NH指磁头数，NS指扇区数。  
> 比如3号盘块对应3号扇区，即C = 0， H = 0， S = 3。  
> PS：根据盘块号来寻址准确说叫`LBA`(Logical Block Addressing)逻辑块寻址模式。

2）用户提供block，操作系统将block转为CHS  
①**S = block % NS**  
②**H = (block / NS) % NH**  
③**C = block / (NS \* NH)**

(3)一个盘块等于几个扇区比较合适？  
![在这里插入图片描述][20210402163653743.png]

> 以空间换时间的想法，多读一些磁盘数据块，虽然里面的数据不一定用上(空间利用率下降)，但读写速度更好。  
> linux-0.11中，1个盘块 = 2个扇区(512B)

(4)相关源码（在`kernel/blk_drv/hd.c`中）  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 2]

> 此时，用户可以通过**盘块号block**请求使用磁盘，而操作系统负责把block转化为CHS来满足用户的请求。

# 四、从磁盘到文件的第2层抽象：请求队列 #

## 1.前言 ##

磁盘是给**多个进程**使用的，所以操作系统将多个进程访问磁盘的盘块号（比如：进程1请求访问盘块2，进程2请求访问盘块7）放入请求队列，然后按照某种方法（即**调度算法**）选择盘块号处理。

> 由上文可知，寻道时间是最耗时的，所以好的调度算法要使得整体寻道时间尽可能少。

## 2.调度算法 ##

(1)FCFS : First Come First Service  
![在这里插入图片描述][20210402170555259.png]

> 98先到，先移动到98号磁道上。

> 该调度算法的优缺点：  
> ①优点：公平、容易实现  
> ②缺点：磁头在长途奔袭！(好生动的拟人，指在寻道上很耗时)

(2)SSTF : Shortest-seek-time First  
![在这里插入图片描述][20210402170931717.png]

> 移动到离当前磁头所在磁道最近的磁道。  
> 比如65号磁道离53号磁道最近，那么就移动到65号磁道。

> 该调度算法的优缺点：  
> ①优点：整体寻道时间少  
> ②缺点：如果总是有离磁头近的请求，会导致离磁头远的请求一直得不到响应，即出现**饥饿**现象。

(3)SCAN  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 3]

> 规定：磁头向0号磁道运动，然后折返向199号磁道运动。  
> 优化：不必到达0号磁道再折返，只需到达请求队列中最小的磁道号就可以折返了；同理，也不必到达199号磁道再折返。

> 该调度算法的优缺点：  
> ①优点：解决了饥饿现象  
> ②缺点：两端请求响应较慢

(4)C-SCAN：电梯算法  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 4]

> 解决了两端请求响应较慢的问题，比较公平且整体寻道时间较少（磁头复位时间比较快）。

## 3.相关源码 ##

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 5]

> 在`blk_drv/ll_rw_blk.c`中

![在这里插入图片描述][20210402172541113.png]

> 在`blk_drv/blk.h`中

> 由上面源码可知，操作系统维护请求队列以使得整体寻道时间更少，这不仅让用户方便地使用磁盘，而且还提高了磁盘的使用效率。

## 4.从磁盘到文件系统的第1和2层抽象的**总结** ##

(1)进程用**盘块号**发出使用磁盘的请求（通过中断，靠OS使用硬件资源）后睡眠

(2)操作系统处理磁盘中断

*  操作系统维护**请求队列**，根据**电梯算法**选择盘块号
 *  do\_hd\_request函数中，算出CHS
 *  hd\_out函数中，将CHS写入磁盘控制器的端口（寄存器）中

(3)唤醒进程

# 五、从磁盘到文件系统的第3层抽象：文件 #

# 1.前言 #

普通用户连扇区都不知道是啥，更别提通过盘块号来使用磁盘了。  
所以，操作系统还需要进一步对磁盘进行抽象，即让用户通过读写文件来使用磁盘。

# 2.建立文件和盘块集合的映射 #

(0)通俗理解  
用户读写文件的某个部分，操作系统知道该部分对应磁盘中的哪个或哪些盘块。

> 和上文将block和CHS的映射逻辑一致，要知道文件和盘块集合的映射，得先知道文件当初是怎么存储在磁盘中的。

(1)文件在磁盘中的存储方式

*  连续结构

> 假设文件大小为1500B，用户修改了文件的第700字节~第800字节，而每个盘块是1024B，所以修改部分对应第1个盘块。因此，只要知道分配给该文件的起始盘块号(比如，6)，则操作系统就知道要把用户修改的内容(还在内存中)写入6号盘块。

> 起始盘块存储在文件的FCB中  
> ![在这里插入图片描述][20210402175524277.png]

> 该结构的优缺点：  
> ①优点：随机访问，修改方便。  
> ②缺点：文件大小受限。(对于f文件，起始盘块假设是0，只能再增加2个盘块的内容了。)  
> ![在这里插入图片描述][20210402175708634.png]

*  链式结构  
    ![在这里插入图片描述][20210402175934461.png]  
    ![在这里插入图片描述][20210402175904908.png]

> 该结构的优缺点：  
> ①优点：便于增删文件内容  
> ②缺点：不能随机访问，不便于修改

*  索引结构  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 6]

> 是连续结构和链式结构的折中，既实现随机访问，又方便增删文件内容。

*  多级索引  
    ![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 7]

> linux-0.11便是采用多级索引的方式。

(2)让用户通过文件使用磁盘  
1）根据上述文件存储方式（比如索引结构），当用户操作文件的某个部分，操作系统就能推算出该文件对应于磁盘的哪个盘块号从而让用户使用磁盘。  
![在这里插入图片描述][20210402181356576.png]  
2）[L30 文件使用磁盘的实现][L30]

# 六、从磁盘到文件系统的第4层抽象：文件系统 #

## 1.前言 ##

1个文件映射到一些盘块，那么一堆文件便映射到整个磁盘，为了让用户高效的使用磁盘，显然操作系统要把文件组织起来，即建立**文件系统**。

## 2.文件组织结构 ##

(1)单级目录结构  
![在这里插入图片描述][20210402182329722.png]

> 缺点：查找速度慢、文件不允许重名、不便于文件共享

(2)两级目录结构  
![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 8]

> 缺点：每个用户的目录又属于单级目录结构

(3)多级目录结构（**树形目录结构**）  
![在这里插入图片描述][20210402182624550.png]

> 用户通过**路径**（绝对路径 或 相对路径）访问文件从而使用磁盘，操作系统就需要进行**目录解析**找到文件。

> 还有无环图目录结构，便于文件共享。

## 3.[L32 目录解析代码实现][L32] ##

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 9]

> 目录解析四部曲：  
> ①通过`current->root`找到根目录  
> ②通过`find_entry`函数读取目录项（对应上图的<var, 13><my, 82>）  
> ③`inr`即目标目录的索引节点号（对应上图的82）  
> ④通过`iget`函数再读取下一层目录（对应上图的my目录）  
> 重复②~④，即可得到data文件的FCB。

# 七、四层抽象后，通过文件系统使用磁盘 #

![在这里插入图片描述][watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 10]

[20210402154135403.png]: /images/20221022/75e67bf730ec4661855c3f0b8d6dcf74.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70]: /images/20221022/0960604b9ac2482ca04b52ac4c4de183.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 1]: /images/20221022/23344e3e407441fd87c28136e0c7c5fd.png
[20210402163653743.png]: /images/20221022/a626956d864a493a9f09982ecbb9cc42.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 2]: /images/20221022/5bde445ab16a4925a737563c2fde7a91.png
[20210402170555259.png]: /images/20221022/31b71db6e5d14522be84d3838cabc578.png
[20210402170931717.png]: /images/20221022/dda1181b186a42e3ba872890d0dcfce3.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 3]: /images/20221022/0465c7a1a6ab46e6992068b759a5d631.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 4]: /images/20221022/9c1e0a1ac9124135bc7f318d478f3e64.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 5]: /images/20221022/845f87973de749638a25abbce17a5164.png
[20210402172541113.png]: /images/20221022/1762e43f47464dc58bb52ba8579efd0d.png
[20210402175524277.png]: /images/20221022/812688288da34621bb16c8536fb259ae.png
[20210402175708634.png]: /images/20221022/eec4c31541024a1780b36dffb5af59ac.png
[20210402175934461.png]: /images/20221022/53b7c16ace7e44b38a1527c224788f70.png
[20210402175904908.png]: /images/20221022/fa4b9bf4b3cd4d6cb24d71f7e28993c3.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 6]: /images/20221022/4af2904381d44a2791170086bc60828d.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 7]: /images/20221022/7710c3024e3d4514bda7b602fdd119af.png
[20210402181356576.png]: /images/20221022/179149015d2c409a9c63e72e1250b0e3.png
[L30]: https://www.bilibili.com/video/BV1d4411v7u7?p=30
[20210402182329722.png]: /images/20221022/a30c608416054dfd9aba493c9db441e7.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 8]: /images/20221022/2cacf875685f4e7aae99319c7c2bf9bc.png
[20210402182624550.png]: /images/20221022/0bfdb7688a2342fc9722c0bb2786c2de.png
[L32]: https://www.bilibili.com/video/BV1d4411v7u7?p=32
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 9]: /images/20221022/37c632732d7d40278b5322a2985c1c54.png
[watermark_type_ZmFuZ3poZW5naGVpdGk_shadow_10_text_aHR0cHM6Ly9ibG9nLmNzZG4ubmV0L3dlaXhpbl8zNzQ3NzAwOQ_size_16_color_FFFFFF_t_70 10]: /images/20221022/df5d609a0a3143b3a00a1057851dc42f.png