Skip to content
Snippets Groups Projects
bio.c 3.27 KiB
Newer Older
rsc's avatar
rsc committed
// Buffer cache.
//
// The buffer cache is a linked list of buf structures holding
// cached copies of disk block contents.  Caching disk blocks
// in memory reduces the number of disk reads and also provides
// a synchronization point for disk blocks used by multiple processes.
rsc's avatar
rsc committed
// 
// Interface:
// * To get a buffer for a particular disk block, call bread.
// * After changing buffer data, call bwrite to flush it to disk.
// * When done with the buffer, call brelse.
// * Do not use the buffer after calling brelse.
// * Only one process at a time can use a buffer,
//     so do not keep them longer than necessary.
rsc's avatar
rsc committed
// 
// The implementation uses two state flags internally:
// * B_VALID: the buffer data has been initialized
//     with the associated disk block contents.
// * B_DIRTY: the buffer data has been modified
//     and needs to be written to disk.
rsc's avatar
rsc committed

rtm's avatar
rtm committed
#include "types.h"
#include "defs.h"
rsc's avatar
rsc committed
#include "param.h"
rtm's avatar
rtm committed
#include "spinlock.h"
#include "buf.h"

rsc's avatar
rsc committed
struct {
  struct spinlock lock;
  struct buf buf[NBUF];
rsc's avatar
rsc committed
  // Linked list of all buffers, through prev/next.
  // head.next is most recently used.
  struct buf head;
} bcache;
rtm's avatar
rtm committed

rtm's avatar
rtm committed
  struct buf *b;

rsc's avatar
 
rsc committed
  initlock(&bcache.lock, "bcache");
rtm's avatar
rtm committed

rsc's avatar
rsc committed
//PAGEBREAK!
rsc's avatar
rsc committed
  // Create linked list of buffers
rsc's avatar
rsc committed
  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;
    b->dev = -1;
    initlock(&b->lock, "buf");
    initsleeplock(&b->sleeplock);
rsc's avatar
rsc committed
    bcache.head.next->prev = b;
    bcache.head.next = b;
rtm's avatar
rtm committed
  }
rtm's avatar
rtm committed

// Look through buffer cache for sector on device dev.
rsc's avatar
rsc committed
// If not found, allocate fresh block.
// In either case, return sleep-locked buffer.
rsc's avatar
rsc committed
static struct buf*
rsc's avatar
rsc committed
bget(uint dev, uint sector)
rtm's avatar
rtm committed
{
  struct buf *b;
rtm's avatar
rtm committed

rsc's avatar
rsc committed
  acquire(&bcache.lock);
  // Try for cached block.
rsc's avatar
rsc committed
  for(b = bcache.head.next; b != &bcache.head; b = b->next){
rsc's avatar
rsc committed
    if(b->dev == dev && b->sector == sector){
      release(&bcache.lock);
      acquire_sleeplock(&b->sleeplock, &b->lock);
      release(&b->lock);
      return b;
rsc's avatar
rsc committed
  for(b = bcache.head.prev; b != &bcache.head; b = b->prev){
    acquire(&b->lock);
    if (!acquired_sleeplock(&b->sleeplock)) {
      release(&bcache.lock);
      b->dev = dev;
      b->sector = sector;
      b->flags = 0;
      acquire_sleeplock(&b->sleeplock, &b->lock);
      release(&b->lock);
rtm's avatar
rtm committed
    }
rtm's avatar
rtm committed
  }
  panic("bget: no buffers");
rtm's avatar
rtm committed
}

// Return a locked buf with the contents of the indicated disk sector.
rsc's avatar
rsc committed
struct buf*
rtm's avatar
rtm committed
bread(uint dev, uint sector)
{
  struct buf *b;

rsc's avatar
rsc committed
  b = bget(dev, sector);
  if(!(b->flags & B_VALID))
rtm's avatar
rtm committed
  return b;
}

rsc's avatar
rsc committed
// Write b's contents to disk.  Must be locked.
kaashoek's avatar
kaashoek committed
void
rsc's avatar
 
rsc committed
bwrite(struct buf *b)
kaashoek's avatar
kaashoek committed
{
  if(!acquired_sleeplock(&b->sleeplock))
rsc's avatar
rsc committed
    panic("bwrite");
  b->flags |= B_DIRTY;
kaashoek's avatar
kaashoek committed
}

rsc's avatar
rsc committed
// Release the buffer b.
rtm's avatar
rtm committed
void
brelse(struct buf *b)
{
  if(!acquired_sleeplock(&b->sleeplock))
rtm's avatar
rtm committed
    panic("brelse");
rsc's avatar
rsc committed
  acquire(&bcache.lock);
rtm's avatar
rtm committed
  b->next->prev = b->prev;
  b->prev->next = b->next;
rsc's avatar
rsc committed
  b->next = bcache.head.next;
  b->prev = &bcache.head;
  bcache.head.next->prev = b;
  bcache.head.next = b;
rtm's avatar
rtm committed

  release_sleeplock(&b->sleeplock);
  release(&b->lock);
rtm's avatar
rtm committed

rsc's avatar
rsc committed
  release(&bcache.lock);
rtm's avatar
rtm committed
}