第十二章学习笔记

最新推荐文章于 2024-11-15 16:03:08 发布

m0_66962914

最新推荐文章于 2024-11-15 16:03:08 发布

阅读量40

点赞数

文章标签：学习笔记

本文链接：https://blog.csdn.net/m0_66962914/article/details/134397032

版权

本章讨论了块设备I/O和缓冲区管理，解释了了块设备I/O的原理与I/O缓冲的优点。论述了Unix的缓冲区管理算法，并指出其中不足，还利用信号量设计了新的缓冲区管理算法，以提高I/O缓冲区的缓存效率与性能；表明了简单的PV算法易于实现，缓存效果好，不存在思索与饥饿问题，还提出了一个比较Unix缓冲区管理算法和PV算法性能的编程方案。

2.块设备I/O缓冲区

下面介绍块设备的基本概念：
扇区：磁盘盘片上的扇形区域，逻辑化数据，方便管理磁盘空间，是硬件设备数据传输的基本单位，一般为512byte。
块：块是VFS（虚拟文件系统）和文件系统数据传输的基本单位，必须是扇区的整数倍，格式化文件系统时，可以指定块大小。
块设备I/O栈的基本概念。
bio：bio是通用块层I/O请求的数据结构，表示上层提交的I/O求情。一个bio包含多个page（既page cache 内核缓冲页在内存上），这些page对应磁盘上的一段连续的空间。由于文件在磁盘上并不连续存放，文件I/O提交到块这杯之前，极有可能被拆分成多个bio结构。
request：表示块设备驱动层I/O请求，经由I/O调度层转换后（既电梯算法合并）的I/O请求，将会被发送到块设备驱动层进行处理。
request_queue：维护块设备驱动层I/O请求的队列，所有的request都插入到该队列，每个磁盘设备都只有一个queue（多个分区也只有一个）。
与内存访问相比，磁盘I/O速度较慢。所以文件系统使用一系列I/O缓冲区作为块设备的缓存内存，来减少进出存储设备的物理I/O数量，合理的I/O缓冲方案可显著提高文件I/O效率并增加系统吞吐量。
当进程试图读取标识的磁盘块时，首先在缓冲区缓存中搜索分配给磁盘块的缓冲区。如果存在并包含有效数据就直接读取数据，如果不存在，则为磁盘块分配一个缓冲区，将数据从磁盘读入缓冲区再读取。
当进程写入磁盘时，首先获取一缓冲区，然后将数据写入缓冲区，将缓冲区记为脏，以延迟写入，并释放到缓冲区缓存中。脏缓冲区只有在被重新分配到不同的块时才会写入磁盘。

3.Unix I/O缓冲区管理算法

Unix缓冲区管理子系统由以下部分组成：

I/O缓冲区内核中的一系列NBUF缓冲区用作缓冲区缓存。每个缓冲区用一个结构体表示。缓冲区结构图由用于缓冲区管理的缓冲头部分和用于数据块的数据部分组成。
设备表：每个块设备用一个设备表结构表示。
每个设备表都有一个dev_list，包含当前分配给该设备的I/O缓冲区，还有一个io_queue，包含设备上等待I/O操作的缓冲区。
I/O队列应确保最佳I/O操作，Unix使用FIFO I/O队列。
缓冲区初始化：系统启动时，所有I/O缓冲区都在空闲列表中，设备列表和I/O队列均为空。
缓冲区列表：缓冲区分配后，会被插入设备表的dev_list中。若缓冲区正在使用，则会标记为BUSY并从空闲列表中删除。
Unix getblk/brelse算法
读/写磁盘块可以表示为bread、bwrite和dwrite，它们都依赖于getblk和brelse。
当缓冲区的数量很大时，散列可以减少搜索时间；当缓冲区的数量很少时，由于额外系统开销，散列实际上可能会增加执行时间。

4. Unix算法的缺点：

(1)效率低下：该算法依赖于重试循环，例如，释放缓冲区可能会唤醒两组进程：需要释放的缓冲区的进程，以及只需要空闲缓冲区的进程。由于只有一个进程可以获取释放的缓冲区，所以，其他所有被唤醒的进程必须重新进入休眠状态。从休眠状态唤醒后，每个被唤醒的进程必须从头开始重新执行算法，因为所需的缓冲区可能已经存在。这会导致过多的进程切换。
(2)缓存效果不可预知：在Unix算法中，每个释放的缓冲区都可被获取’如果缓冲区由需要空闲缓冲区的进程获取，那么将会重新分配缓冲区，即使有些进程仍然需要当前的缓冲区。
(3)可能会出现饥饿：Unix算法基于“自由经济”原则，即每个进程都有尝试的机会，但不能保证成功，因此，可能会出现进程饥饿。
(4)该算法使用只适用丁单处理器系统的休眠/唤醒操作。

5…新的I/O缓冲区管理算法——PV算法

假设有一个单处理器内核(一次运行一个进程)。使用计数信号量上的P/V来设计满足以下要求的新的缓冲区管理算法:
(1)保证数据一致性
(2)良好的缓存效果
(3)高效率:没有重试循环，没有不必要的进程“唤醒”
(4)无死锁和饥饿

BUFFER *getb1k(dev,blk)：
while(1){
(1). P(free);
//get a free buffer first 
if (bp in dev_1ist){
(2). if (bp not BUSY){
remove bp from freelist;P(bp);
// lock bp but does not wait
(3).return bp;
// bp in cache but BUSY V(free);
// give up the free buffer
(4).P(bp);
// wait in bp queue
return bp;v
// bp not in cache,try to create a bp=(dev,blk)
(5).bp = frist buffer taken out of freelist;P(bp);
// lock bp,no wait
(6).if(bp dirty){
awzite(bp);
// write bp out ASYNC,no wait
continue;
// continue from (1)
(7).reassign bp to(dev,blk);1/ mark bp data invalid,not dir return bp;-
// end of while(1)；
brelse(BUFFER *bp)，
{
(8).iF (bp queue has waiter)( V(bp); return; ]
(9).if(bp dirty && free queue has waiter){ awrite(bp);zeturn;}(10).enter bp into(tail of) freelist;V(bp);V(free);
}