xv6(10) 文件系统:磁盘&缓冲区

简介: 文件系统:磁盘&缓冲区

首发公众号:Rand_cs

文件系统:磁盘&缓冲区

$xv6$ 将文件系统的设计分为 7 层:$磁盘 \rightarrow 缓冲区 \rightarrow 日志 \rightarrow inode \rightarrow 目录 \rightarrow 路径 \rightarrow 文件描述符$ ,本文讲述磁盘和缓冲区两个部分

首先来看磁盘,前面中断部分已经说过一种硬件中断控制器,了解硬件主要就是了解硬件可编程的物理接口寄存器,磁盘 IDE 同样如此。

IDE接口

寄存器

首先来了解磁盘的一些寄存器:

image.png

xv6 中磁盘驱动程序需要用到的寄存器如上所示,没有翻译,有些也不太好翻译,就直接看英文吧,应该也能看懂,我们一个一个来看:

0x1F0/Data,唯一一个 16 bit 的寄存器,用来传输数据。

0x1F1/Error, 读的时候表示错误,8 bit,每一位表示一种错误,这里不展开了,有需要的看我后面给出的资料链接。

0x1F2/Sector Count,表扇区总数,读写的时候指定要操作的扇区总数

0x1F3,0x1F4,0x1F5 分别表示 LBA 地址的低中高 8 位,LBA 地址有 24 位,还有顶部的 4 位见下

0x1F6/Device/Head

image.png

  • 0~3 位为 LBA 地址的顶部 4 位
  • DRV 位为 0 表示该盘是主盘,1 表示该盘是从盘
  • LBA 位为 1 表示采用 LBA 寻址,0 表示采用 CHS 寻址,现今一般都采用 LBA 寻址,所以 0x1F3~5 表示 LBA 地址的 24 位,否则应表示 CHS 三个指标
  • bit 5 和 bit 1 固定为 1

0x1F7/Status

image.png

  • ERR,有错误发生,错误码放在错误寄存器中(0x1F1)
  • WFT,检测到有写错误
  • RDY,表示硬盘就绪,这是在对硬盘诊断的时候用的,表示硬盘检测正常,可以继续执行一些命令
  • BSY,表示硬盘是否繁忙,1 表示繁忙,此时其他所有位无效

0x1F7/Command,向这个寄存器写入命令来操作硬盘,具体命令见后面

0x3F6/DeviceControl,这个寄存器只用到了低 2 位:

  • RST(bit2),设置为 1 时表示发送复位 reset 信号,正常情况下此位应为 0
  • IEN(bit1),设置为 1 时键盘控制器将不会发送中断信号,正常情况应为 0,使得键盘在完成某些命令之后能够发送中断给 CPU,然后 CPU 进行后续处理。

命令

0x20,读扇区命令

0x30,写扇区命令

0xc4,读多个扇区

0xc5,写多个扇区

xv6 里面就只用了这几个命令,其他的命令见后链接资料,有了这些了解之后来看 xv6 的相关源码

缓存

具体看 xv6 有关磁盘操作的代码之前,需要先来了解磁盘缓存。磁盘读写操作是很慢的,所以一般都会将一部分内存作为磁盘的缓存,$xv6$ 也是如此,专门在内存中分配一片区域作为磁盘缓存,这片缓存的最小单位是块。在前面理论说过,操作系统或者说文件系统层面磁盘读写的单位是块,磁盘自己本身的读写单位是扇区,一般块大小等于一个或多个扇区的大小

$xv6$ 里缓存由块组成,每个缓存块缓存一个磁盘块,像这种一块一块的数据,肯定是需要组织管理的,一般两种方式,链表和位图,$xv6$ 里面就使用的链表法。

缓存块

先来看看 $xv6$ 中缓存块的定义:

struct buf {
   
   
  int flags;      //表示该块是否脏是否有效
  uint dev;       //该缓存块缓存的是主盘还是从盘
  uint blockno;   //块号
  struct sleeplock lock;   //休眠锁
  uint refcnt;    //引用该块的个数
  struct buf *prev;  //该块的前一个块
  struct buf *next;  //该块的后一个块
  struct buf *qnext; //下一个磁盘队列块?????
  uchar data[BSIZE];  //缓存的数据
};
#define B_VALID 0x2  // buffer has been read from disk
#define B_DIRTY 0x4  // buffer needs to be written to disk

缓存块缓存的是磁盘上的数据,缓存块的数据需要与磁盘数据同步,所以需要设定标志位来表示目前缓存块的数据是否有效,是否需要从磁盘中读取数据到该块;缓存块的数据是否已做改动变脏,是否需要写回磁盘上去

$dev$ 为 0 表示该缓存块缓存的是主盘,为 1 表示主盘。以前的主板上为硬盘提供了两个通道,$Primary$ 通道和 $Secondary$ 通道,每个通道可以挂两个磁盘,分为主盘和从盘。不同通道的端口也就是寄存器地址不同,上面所讲的都是 $Primary$ 通道的寄存器,一般也就是使用 $Primary$ 通道,$Secondary$ 通道相应的端口可以参考文末给出的手册。通道上的两块硬盘又分为主盘和从盘,这是根据 device 寄存器的第 4 位来区分的

主从,听名字就知道主盘要重要些,里面主要存放启动程序和操作系统,从盘主要就是拿来存储数据。就跟 $windows$ 中常见的系统盘 $C$ 和其他盘一样,如果没有从盘,那所有的信息就放在主盘上。$xv6$ 里面主盘就用来存放操作系统内核,从盘用来存放文件系统,这在 $Makefile$ 里面有清晰的解释:

-drive file=fs.img,index=1,media=disk,format=raw 
-drive file=xv6.img,index=0,media=disk,format=raw

$fs.img$ 是文件系统所在的磁盘映像,$xv6.img$ 是操作系统所在的磁盘映像。它俩其实就是个普通文件,只是交由 $qemu$ 之后,把它俩当作磁盘使用。这里就显示了文件系统所在盘设置为从盘,操作系统所在盘设置为主盘

缓存块算作是公共资源,需要避免竞争条件,所以配了一把锁,而且是休眠锁,因为同步缓存块到磁盘涉及 $I/O$ 操作是很慢的,所以一般在读写的时候进程就在上面休眠。

每个缓存块可能多个任务使用,所以有了 $refcnt$ 来表示该块被引用了多少次,但是任何时刻应该最多只有一个任务在使用该缓存块

当一个缓存块需要从磁盘读取数据或者写回磁盘,$xv6$ 维持了一个磁盘的请求队列,所以有了 $qnext$ 这个属性,它指向下一个请求磁盘的缓存块。

缓存块的分配与回收

$xv6$ 使用了链表的形式而且是双向循环链表来组织管理缓存块,也就是分配与回收缓存块,因是双向量表所以每个块有了 $prev$ 和 $next$ 属性,分别指向前一个块和后一个块。来看具体的实现:

struct {
   
   
  struct spinlock lock;   //自旋锁
  struct buf buf[NBUF];   //缓存区
  struct buf head;        //第一个块
} bcache;  //申明一片缓存区

void binit(void)        //头插法将N个缓存块串起来
{
   
   
  struct buf *b;
  initlock(&bcache.lock, "bcache");

  bcache.head.prev = &bcache.head;
  bcache.head.next = &bcache.head;
  for(b = bcache.buf; b < bcache.buf+NBUF; b++){
   
   
    b->next = bcache.head.next;
    b->prev = &bcache.head;
    initsleeplock(&b->lock, "buffer");
    bcache.head.next->prev = b;
    bcache.head.next = b;
  }
}

上面函数应该很简单吧,就是双向链表的实现,数据结构课程上应该都练习过很多了,所以对代码也不解释了,只说明一点:每个缓存块有个休眠锁,因为可能要进行磁盘请求,速度很慢,所以使用了休眠锁,必要情况下直接让进程休眠让出 CPU,提高 CPU 利用率。而整个缓存区 $bcache$ 也有个锁,是自旋锁,$bcache$ 就像缓存块的分配器一般,获取释放缓存块都需要 $bcache$ 同意,而且 $bcache$ 也是公共资源,任意时刻都应最多只有一个任务访问,另外获取释放缓存块的操作一般很短,所以配了一把自旋锁。

既然说到获取释放缓存块,那就来看看怎么实现的:

static struct buf* bget(uint dev, uint blockno)
{
   
   
  struct buf *b;

  acquire(&bcache.lock);   //取bcache的锁

  // Is the block already cached? 要获取的磁盘块已缓存
  for(b = bcache.head.next; b != &bcache.head; b = b->next){
   
    //双向循环链表,从前往后扫描
    if(b->dev == dev && b->blockno == blockno){
   
     //如果设备和块号都对上,那么是要找的块
      b->refcnt++;                   //该块的引用加1
      release(&bcache.lock);         //释放bcache的锁
      acquiresleep(&b->lock);        //给该块加锁
      return b;         //返回该块
    }
  }

  // Not cached; recycle an unused buffer.
  // Even if refcnt==0, B_DIRTY indicates a buffer is in use
  // because log.c has modified it but not yet committed it.
  for(b = bcache.head.prev; b != &bcache.head; b = b->prev){
   
        //该磁盘块没有缓存,从后往前扫描
    if(b->refcnt == 0 && (b->flags & B_DIRTY) == 0) {
   
               //找一个引用为0,且脏位也为0的空闲缓存块
      b->dev = dev;     //设备
      b->blockno = blockno;  //块号
      b->flags = 0;    //刚分配的缓存块,数据无效
      b->refcnt = 1;   //引用数为1
      release(&bcache.lock);     //释放bcache的锁
      acquiresleep(&b->lock);    //给该缓存块加锁
      return b;    //返回该缓存块
    }
  }
  panic("bget: no buffers");  //既没缓存该块,也没得空闲缓存块了,panic
}

根据设备和块号在缓存区中寻找该磁盘块是否已经缓存,如果已缓存,则返回该缓存块。如果没有缓存,那么在缓存区中找一个空闲缓存块来缓存相应磁盘块,这里要注意,只是将磁盘块所属设备和块号赋给了刚分配的缓存块,但是数据还没有传到缓存块,这需要磁盘请求,所以 $flags$ 为 0 表示缓存块里面的数据无效

寻找空闲缓存块的时候一定要寻找引用数为 0 且数据不脏的块,引用数为 0 很好理解,至于为什么还需要第二个条件数据不脏留待日志部分解释。

void brelse(struct buf *b)
{
   
   
  if(!holdingsleep(&b->lock))
    panic("brelse");

  releasesleep(&b->lock);          //释放缓存块的锁

  acquire(&bcache.lock);           //获取bcache的锁
  b->refcnt--;                     //该块的引用减1
  if (b->refcnt == 0) {
   
               //没有地方再引用这个块,将块链接到缓存区链头
    // no one is waiting for it.
    b->next->prev = b->prev;
    b->prev->next = b->next;
    b->next = bcache.head.next;
    b->prev = &bcache.head;
    bcache.head.next->prev = b;
    bcache.head.next = b;
  }

  release(&bcache.lock);           //释放bache的锁
}

该函数释放缓存块,如果引用该块的进程较多,直接将引用数减 1,减 1 之后如果没有进程再引用该缓存块,则真正的释放该缓存块,直接将该块放在链头。

缓存级的读写函数

对于磁盘上的文件读写函数有很多级,最底层当然就是物理上的读写磁盘函数,在上一层就是这里的缓存级的读写,至于后续的层级后面再说。

struct buf* bread(uint dev, uint blockno)  //返回一个存在有效数据的缓存块      
{
   
   
  struct buf *b;

  b = bget(dev, blockno);    //获取一个缓存块,bget取了这个块的锁
  if((b->flags & B_VALID) == 0) {
   
     //如果该块是临时分配的数据无效
    iderw(b);    //请求磁盘,读取数据
  }
  return b;
}

// Write b's contents to disk.  Must be locked.
void bwrite(struct buf *b)   //将缓存块写到相应磁盘块
{
   
   
  if(!holdingsleep(&b->lock))  //要写这个块,那说明已经拿到了这个块,所以肯定也拿到锁了
    panic("bwrite");
  b->flags |= B_DIRTY;      //设置脏位
  iderw(b);                 //请求磁盘写数据
}

逻辑上很简单, $iderw()$ 负责将数据读到缓存块或者将数据写到磁盘中去,到底是读还是写根据缓存块 $flags$ 来判断,如果数据无效则需要从磁盘读取数据,如果缓存块的数据脏则将数据写到磁盘

磁盘驱动程序

下面来看看底层磁盘的操作,也就是常说的磁盘驱动程序,驱动程序听起来很复杂,但是简单来讲的话,驱动程序就是将硬件操作封装成过程,避免每次进行重复无味的操作,来具体看看:

宏定义

#define SECTOR_SIZE   512     //扇区大小512字节
#define IDE_BSY       0x80    //状态寄存器的第7位表硬盘是否繁忙
#define IDE_DRDY      0x40    //状态寄存器的第6位表硬盘是否就绪,可继续执行命令
#define IDE_DF        0x20    //写错误
#define IDE_ERR       0x01    //出错

#define IDE_CMD_READ  0x20    //读扇区命令
#define IDE_CMD_WRITE 0x30    //写扇区命令
#define IDE_CMD_RDMUL 0xc4    //读多个扇区
#define IDE_CMD_WRMUL 0xc5    //写多个扇区

首先是一些宏定义,上述为 $xv6/ide.c$ 中定义的各个宏,对照着上述讲的寄存器应该很容易明白什么意思。下面来看一些关键函数:

等待磁盘就绪

static int idewait(int checkerr)   //等待硬盘就绪
{
   
   
  int r;

  while(((r = inb(0x1f7)) & (IDE_BSY|IDE_DRDY)) != IDE_DRDY)    //从端口0x1f7读出状态,若硬盘忙,空循环等待
    ;
  if(checkerr && (r & (IDE_DF|IDE_ERR)) != 0)    //检查是否有错误发生,若checkerr为0则不检查
    return -1;
  return 0;
}

inb(0x1f7) 表示从状态寄存器读出一字节的状态数据,对其 BSY 位和 DRDY 位做与运算,检查磁盘是否就绪。inb 是用内敛汇编封装的函数,用来从 I/O 端口读取数据。

初始化磁盘

void ideinit(void)   //初始化磁盘
{
   
   
  int i;

  initlock(&idelock, "ide");
  ioapicenable(IRQ_IDE, ncpu - 1);     //让这个CPU来处理硬盘中断
  idewait(0);           //等磁盘就绪,不过以0来调用错误检查就不起作用了,猜测是为了更快返回

  // Check if disk 1 is present
  outb(0x1f6, 0xe0 | (1<<4));     //将硬盘device寄存器高4位设置为1111,表示从盘,寻址模式为LBA

  for(i=0; i<1000; i++){
   
         //指定为从盘后,循环(等待一段时间)读取状态来判断是否有从盘
    if(inb(0x1f7) != 0){
   
   
      havedisk1 = 1;
      break;
    }
  }

  // Switch back to disk 0.
  outb(0x1f6, 0xe0 | (0<<4));     //将第4位置0表切换成主盘
}

这个函数用来初始化硬盘,被 $main.c$ 中的 $main$ 函数锁调用,作为启动时建立环境的一项。

磁盘有一把锁,磁盘是公共资源,每次进行磁盘操作的进程最多只有一个。

ioapicenable(IRQ_IDE, ncpu - 1); 将磁盘中断路由到 $CPU[ncpu-1]$,即发生磁盘中断时,让 $CPU[ncpu-1]$ 来处理,关于中断后面详述

前面说过每个通道支持两块磁盘,将 device 寄存器第 4 位置 1 来表示从盘,从状态寄存器读数据,如果有数据那说明从盘存在,反之从盘不存在,至于循环 1000 次那是因为切换磁盘得需要一定时间吧。最后再切换成主盘,因为目前正在初始化环境阶段,这些较为重要的数据比如操作系统等都在主盘。

读写磁盘(磁盘驱动程序)

static void idestart(struct buf *b)
{
   
   
  if(b == 0)   
    panic("idestart");
  if(b->blockno >= FSSIZE)   //块号超过了文件系统支持的块数
    panic("incorrect blockno");
  int sector_per_block =  BSIZE/SECTOR_SIZE;   //每块的扇区数
  int sector = b->blockno * sector_per_block;   //扇区数
  int read_cmd = (sector_per_block == 1) ? IDE_CMD_READ :  IDE_CMD_RDMUL;  //一个块包含多个扇区的话就用读多个块的命令
  int write_cmd = (sector_per_block == 1) ? IDE_CMD_WRITE : IDE_CMD_WRMUL; //一个块包含多个扇区的话就用写多个块的命令

  if (sector_per_block > 7) panic("idestart");   //每个块不能大于7个扇区

  idewait(0);     //等待磁盘就绪
  outb(0x3f6, 0);  //用来产生磁盘中断,详见前面0x3f6寄存器

  outb(0x1f2, sector_per_block);  // 读取几个扇区
  /*像0x1f3~6写入扇区地址*/
  outb(0x1f3, sector & 0xff);             //LBA地址 低8位
  outb(0x1f4, (sector >> 8) & 0xff);      //LAB地址 中8位
  outb(0x1f5, (sector >> 16) & 0xff);     //LBA地址 高8位
  outb(0x1f6, 0xe0 | ((b->dev&1)<<4) | ((sector>>24)&0x0f));  //LBA地址最高的4位,(b->dev&1)<<4来选择读写主盘还是从盘

  if(b->flags & B_DIRTY){
   
          //表示数据脏了,需要写到磁盘去了
    outb(0x1f7, write_cmd);     //向0x1f7发送写命令
    outsl(0x1f0, b->data, BSIZE/4);   //向磁盘写数据
  } else {
   
   
    outb(0x1f7, read_cmd);     //否则发送读命令,但没有读
  }
}

先不解释此函数,接着看磁盘中断处理程序:

void ideintr(void)
{
   
   
  struct buf *b;

  // First queued buffer is the active request.
  acquire(&idelock);    //取锁

  if((b = idequeue) == 0){
   
      //如果磁盘请求队列为空
    release(&idelock);
    return;
  }
  idequeue = b->qnext;   //磁盘请求队列链首向后移

  // Read data if needed.
  if(!(b->flags & B_DIRTY) && idewait(1) >= 0)  //如果此次请求磁盘的操作是读且磁盘已经就绪
    insl(0x1f0, b->data, BSIZE/4);   //从0x1f0端口读取数据到b->data

  // Wake process waiting for this buf.
  b->flags |= B_VALID;    //此时缓存块数据有效
  b->flags &= ~B_DIRTY;   //此时缓存块数据不脏
  wakeup(b);    //唤醒等待在缓存块b上的进程

  // Start disk on next buf in queue.
  if(idequeue != 0)   //此时队列还不空,则处理下一个
    idestart(idequeue);  

  release(&idelock);   //释放锁
}

一下子代码量有些多,但是这两个函数应该结合在一起看,才是完整的一次磁盘操作。CPU 不能直接和磁盘进行数据交换,要用内存来中转或者说是缓存,所以进程要读写磁盘的数据的话都不是直接对磁盘进行读写的,而是读写磁盘在内存中的缓存,随后再同步到磁盘。这里所说的同步到磁盘就要用到上述的两个函数了也就是磁盘驱动程序。磁盘是公共资源,每次最多应只有一个进程操作磁盘,而且每次操作的单位是块,对于所有需要同步到磁盘的块维护了一个请求队列 $idequeue$,这是一个单链表,$idequeue$ 是其头指针,同步完一个缓存块,头指针便向后移动一个结点。

磁盘的操作大致可以分为以下几个步骤

  1. 等待磁盘就绪
  2. 向相应的寄存器写入 要读写的扇区数,首个扇区的 LBA 地址,指定主盘和从盘
  3. 然后向命令寄存器写入命令
  4. 等待磁盘完成任务触发中断
  5. 执行磁盘中断程序完成磁盘操作

等待磁盘就绪就是上述的 $idewait()$ 函数,它读取状态寄存器查看磁盘是否就绪是否发生错误

向扇区数目寄存器写要操作的扇区数,这个跟块大小有关,据代码的意思每次操作不能超过 7 个扇区,但实际在硬件方面应该没有这个规定,据实际测试修改数值也能正常运行。

向 LBA 寄存器填写扇区地址的低 24 位,$sector \& 0xff$ 表示低 8 位写到端口 0x1F3,$(sector >> 8) \& 0xff$ 表示中 8 位,写到端口 0x1F4,$(sector >> 16) \& 0xff$ 表示高 8 位,写到端口 0x1F5

$(sector>>24) \& 0x0f$ 表示顶 4 位,写到 device寄存器低 4 位,$(b \rightarrow dev) \& 1$ 表示缓存块缓存的数据所属哪个设备:主盘还是从盘,另外 device 寄存器的第 5 位和第 7 位始终为 1,所表示的值为 $0xe0$。将上述三者做或运算就是 device 寄存器该填写的值。

磁盘操作需要的参数已经传给磁盘了,现在该发送命令了,向命令寄存器(0x1F7) 发送相应的命令,这里只使用了读写两种命令,当然两种命令又分为读写一个扇区还是读写多个扇区,这个就还是跟块大小相关了,xv6 里面就是读写一个扇区的命令。

不论是 $idestart$ 函数还是 $ideint($ 函数,两者既处理读操作,又处理写操作,如何区分呢?就是靠缓存块的 $flags$ 标识,如果数据脏说明应该是写操作,否则就是读操作。但仔细看 $idestart$ 函数最后几行代码:

if(b->flags & B_DIRTY){
   
          //表示数据脏了,需要写到磁盘去了
    outb(0x1f7, write_cmd);     //向0x1f7发送写命令
    outsl(0x1f0, b->data, BSIZE/4);   //向磁盘写数据
} else {
   
   
    outb(0x1f7, read_cmd);     //否则发送读命令,但没有读
}

写操作的话,将写命令发给命令寄存器,然后开始写,将数据传给数据寄存。但是读呢?只是将读命令发送给命令寄存,然后就没下文了。为什么会这样呢?来捋捋磁盘的工作方式:

要让磁盘工作,就要给他发送命令,想让磁盘执行这些命令的话,还要提前将需要的参数给它,就比如要操作的扇区数,扇区地址等等,然后再写入命令。等待磁盘完成任务后它自己会触发中断通知 CPU 去拿结果。

除了我们在内存中给磁盘专门留了一块缓存区之外,磁盘自己本身有个缓冲区,一般也是 512 字节。所以当 CPU 发送读命令给磁盘后,磁盘就马不停蹄的将数据准备到自己的缓冲区,准备好了之后,触发中断通知 CPU 来拿数据。而写操作呢,直接将写命令写入命令寄存器,再将数据通过数据寄存器写到磁盘的缓冲区就行了,剩下的事交给磁盘自己去做,完成任务之后触发中断,执行中断处理程序修改缓存块的属性数据不再脏

所以知道了为什么 $idestart()$ 对待读写操作不同的原因了吧,读操作要磁盘准备好数据触发中断后才能从数据寄存器读到缓存块,而写操作直接通过数据寄存器写到磁盘的缓冲区就行了,剩下实际物理上的写操作磁盘自己完成,完成之后触发中断 CPU 再去收尾。

到这儿磁盘的中断处理程序应该也很好理解了,如果缓存块的 $flags$ 标志位显示不脏,说明本次磁盘操作应该是读操作,所以现在发生中断了,说明磁盘数据已经准备好了,该读取数据到缓存块了。如果不是读操作那就是写了,操作系统执行的写操作已经完成了,这里就只需要收个尾将缓存块的脏位去除掉就行。最后将休眠在这个缓存块上的进程唤醒。

中断处理程序最后应该显示通知磁盘本次中断完成,可以通过再次读取状态寄存器来完成。xv6 并没有这样操作,而是在每次 磁盘操作之前先向 端口0x3F6 写 0 来表示每次命令完成之后要产生中断。我在 ATA 手册里面没有找到这种显式通知磁盘中断结束的方式,但事实证明的确能够运行,有知情的大佬还请告知,另外据我测试,注释掉 $idestart$ 中 $outb(0x3F6, 0);$ 这行代码,在中断处理程序末尾加上 $inb(0x1F7);$ 读取状态来说明此次中断完成也是能够正常工作的。

执行完本次的磁盘操作后,如果磁盘的请求队列不为空,那么就开始执行下一个。

磁盘驱动程序之上封装了一个 $iderw$

void iderw(struct buf *b)
{
   
   
  struct buf **pp;

  if(!holdingsleep(&b->lock))   //要同步该块到磁盘,那前面应该是已经拿到了这个块的锁
    panic("iderw: buf not locked");
  if((b->flags & (B_VALID|B_DIRTY)) == B_VALID)  //这个缓存块既不脏数据又有效的话,则无事可做
    panic("iderw: nothing to do");
  if(b->dev != 0 && !havedisk1)   //这个缓存块缓存的不是任一设备的数据
    panic("iderw: ide disk 1 not present");

  acquire(&idelock);  //DOC:acquire-lock

  // 将这个块放进请求队列
  b->qnext = 0;  
  for(pp=&idequeue; *pp; pp=&(*pp)->qnext)  //DOC:insert-queue
    ;
  *pp = b;

  // 如果请求队列为空,当前块是唯一请求磁盘的块,则可以马上进行磁盘操作
  if(idequeue == b)
    idestart(b);

  // Wait for request to finish.
  while((b->flags & (B_VALID|B_DIRTY)) != B_VALID){
   
     //数据无效,进程休眠
    sleep(b, &idelock);
  }

  release(&idelock);  //释放锁
}

这个函数就没多少说的了,主要是将要同步的缓存块加进磁盘的请求队列,如果请求队列为空则可以马上执行,否则将当前缓存块加进请求队列的末尾。另外进程要调用这个 $iderw$ 来同步一个缓存块到磁盘,只有缓存块数据有效且不脏的时候才不会休眠,否则进程在缓存块之上休眠,等到中断服务程序处理之后再唤醒。

二级指针操作链表

再者这个链表的操作还是值得说道说道,使用的是二级指针,主要因为这个队列是个单链表,再者就是为了操作的一致性,但也增加了复杂性。指针就是个存储地址的变量,而二级指针就是这个指针的地址。牢牢把握主这个指向关系,实际的问题应该就能够解决了,这里我就不详细解释了。设想如果请求队列为空,只有一个结点,有多个结点的情况,可以自己去模拟模拟增删的过程。

那就使用普通的一级指针行不行呢?也是得行的,就是普通的链表操作,我简单的写了下代码:

/**************/
struct buf *pp;
/**************/
pp = idequeue;
if(idequeue){
   
      //请求队列不空的情况
    while(pp->qnext)
        pp = pp->qnext;
    pp->qnext = b;
}else{
   
            //请求队列为空的情况
    idequeue = b;
}
/**************/

经测试也是能够正常工作的,如果使用一级指针,又没有头结点,那就需要分情况讨论,具体操作见上。

本文差不多到这就结束了,本文主要讲了简单的磁盘驱动程序,听起来高大上,细细研究其实也不难发现其本质。从上面已经可以看出,如果没得磁盘驱动程序,操作磁盘的步骤是很繁复的,要操作各个寄存器,处理各种前后的逻辑关系。所以磁盘驱动程序就将这些繁复操作给封装起来,形成几个函数,要操作磁盘调用这几个函数就是了。这么一说是不是对于磁盘驱动程序很清楚了

好了本节就这样吧,有什么问题还请批评指正,也欢迎大家来同我讨论交流学习进步。
首发公众号:Rand_cs

参考

https://www.unige.ch/medecine/nouspikel/ti99/ide.htm

还有个 ATA 手册,后台回复手册可获取各种手册。

目录
相关文章
|
7月前
|
缓存
xv6(11) 文件系统:日志
文件系统:日志
77 0
|
编译器
3.6让MBR使用磁盘
3.6让MBR使用磁盘
130 0
|
存储 IDE Linux
|
存储 固态存储 索引
磁盘文件系统一
磁盘文件系统一
磁盘文件系统一
|
存储 安全 Linux
磁盘文件系统三
磁盘文件系统三
磁盘文件系统三
|
存储 Linux 索引
磁盘文件系统二
磁盘文件系统二
磁盘文件系统二
|
Shell Linux 存储
磁盘格式化/磁盘挂载/手动增加swap空间
  4.5/4.6 磁盘格式化  4.7/4.8 磁盘挂载 4.9 手动增加swap空间     磁盘格式化  查看centos7支持的文件系统格式 cat  /etc/filesystem,centos7默认的文件系统格式xfs     ce...
1564 0