Compare commits

...

5 Commits

Author SHA1 Message Date
whatever
80fbb50f09 lab lock has been finished 2024-11-25 19:11:58 +08:00
whatever
39d5972dbd debugging an unknown panic 2024-11-25 18:33:26 +08:00
whatever
c8587aba91 debugging lock lab without LRU 2024-11-25 14:20:37 +08:00
whatever
1e6d8a660f attempting to finish kalloc.c but met some trouble 2024-11-23 21:35:55 +08:00
Frans Kaashoek
fc27289d78 10,000 2024-10-30 07:21:20 -04:00
10 changed files with 246 additions and 59 deletions

View File

@ -61,7 +61,7 @@ endif
# riscv64-unknown-elf- or riscv64-linux-gnu-
# perhaps in /opt/riscv/bin
#TOOLPREFIX =
TOOLPREFIX = /opt/riscv/bin/riscv64-unknown-elf-
# Try to infer the correct TOOLPREFIX if not set
ifndef TOOLPREFIX

BIN
fs.img.bk Normal file

Binary file not shown.

View File

@ -238,7 +238,7 @@ def make(*target):
post_make()
def show_command(cmd):
from pipes import quote
from shlex import quote
print("\n$", " ".join(map(quote, cmd)))
def maybe_unlink(*paths):

View File

@ -23,32 +23,129 @@
#include "fs.h"
#include "buf.h"
// TODO: use sleeplock instead of spinlock
struct {
struct spinlock lock;
struct buf buf[NBUF];
#define NHASH 233
// struct hash_t{
// uint pos;
// struct hash_t *nxt;
// }hash[NHASH];
uint hash_head[NHASH];
uint nxt[NBUF];
struct spinlock hashlock[NHASH];
uint freelist_head[NCPU];
// Linked list of all buffers, through prev/next.
// Sorted by how recently the buffer was used.
// head.next is most recent, head.prev is least.
struct buf head;
// struct buf head;
struct spinlock freelistlock[NCPU];
} bcache;
uint hasher(uint dev,uint blockno){
return ((uint64)dev<<32|blockno)%NHASH;
}
int hash_get(uint dev,uint blockno){
const uint hash_pos=hasher(dev, blockno);
int pos=-1;
// acquire(&bcache.hashlock[hash_pos]);
for(int cur=bcache.hash_head[hash_pos];cur!=-1;cur=bcache.nxt[cur])
if(bcache.buf[cur].dev==dev && bcache.buf[cur].blockno==blockno){
pos=cur;
goto RET;
}
RET:
// release(&bcache.hashlock[hash_pos]);
// printf("%u\n",pos);
return pos;
}
void hash_add(uint dev,uint blockno,uint buf_pos){
const uint hash_pos=hasher(dev, blockno);
// acquire(&bcache.hashlock[hash_pos]);
bcache.nxt[buf_pos]=bcache.hash_head[hash_pos];
bcache.hash_head[hash_pos]=buf_pos;
// release(&bcache.hashlock[hash_pos]);
}
void hash_del(uint dev,uint blockno){
const uint hash_pos=hasher(dev, blockno);
push_off();
const uint cpu=cpuid();
pop_off();
acquire(&bcache.hashlock[hash_pos]);
for(int cur=bcache.hash_head[hash_pos],pre=-2;cur!=-1;cur=bcache.nxt[cur]){
if(bcache.buf[cur].dev==dev && bcache.buf[cur].blockno==blockno){
struct buf *b=&bcache.buf[cur];
--b->refcnt;
if (b->refcnt == 0) {
if(pre==-2){// the head is what we are looking for
bcache.hash_head[hash_pos]=bcache.nxt[cur];
}else{
bcache.nxt[pre]=bcache.nxt[cur];
}
bcache.nxt[cur]=-1;
for(int i=cpu;;i=(i+1)%NCPU){
push_off();
if(holding(&bcache.freelistlock[i])){
pop_off();
continue;
}
pop_off();
acquire(&bcache.freelistlock[i]);
const int pos=b-bcache.buf;
// printf("%d\n",pos);
bcache.nxt[pos]=bcache.freelist_head[i];
bcache.freelist_head[i]=pos;
// DEBUG();
// printf("%u\n",bcache.freelist_head);
release(&bcache.freelistlock[i]);
break;
}
break;
}
}
pre=cur;
}
release(&bcache.hashlock[hash_pos]);
}
void
binit(void)
{
struct buf *b;
initlock(&bcache.lock, "bcache");
for(int i=0;i<NHASH;i++){
initlock(&bcache.hashlock[i], "bcache_hashtable");
bcache.hash_head[i]=-1;
}
for(int i=0;i<NCPU;++i){
bcache.freelist_head[i]=-1;
initlock(&bcache.freelistlock[i], "bcache_freelist");
}
// Create linked list of buffers
bcache.head.prev = &bcache.head;
bcache.head.next = &bcache.head;
// bcache.head.prev = &bcache.head;
// bcache.head.next = &bcache.head;
int which=0;
for(b = bcache.buf; b < bcache.buf+NBUF; b++){
b->next = bcache.head.next;
b->prev = &bcache.head;
// b->next = bcache.head.next;
// b->prev = &bcache.head;
initsleeplock(&b->lock, "buffer");
bcache.head.next->prev = b;
bcache.head.next = b;
const uint cur=b-bcache.buf;
bcache.nxt[cur]=bcache.freelist_head[which];
bcache.freelist_head[which]=cur;
which=(which+1)%NCPU;
// bcache.head.next->prev = b;
// bcache.head.next = b;
}
}
@ -59,31 +156,74 @@ static struct buf*
bget(uint dev, uint blockno)
{
struct buf *b;
acquire(&bcache.lock);
// acquire(&bcache.lock);
const uint hash_pos=hasher(dev, blockno);
acquire(&bcache.hashlock[hash_pos]);
const int pos=hash_get(dev, blockno);
// 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++;
release(&bcache.lock);
acquiresleep(&b->lock);
return b;
}
// for(b = bcache.head.next; b != &bcache.head; b = b->next){
// if(b->dev == dev && b->blockno == blockno){
// b->refcnt++;
// release(&bcache.lock);
// acquiresleep(&b->lock);
// return b;
// }
// }
if(pos>=0){
b=&bcache.buf[pos];
// acquire(&bcache.hashlock[hash_pos]);
++bcache.buf[pos].refcnt;
release(&bcache.hashlock[hash_pos]);
acquiresleep(&b->lock);
// release(&bcache.lock);
return b;
}
push_off();
const uint cpu=cpuid();
pop_off();
// Not cached.
// Recycle the least recently used (LRU) unused buffer.
for(b = bcache.head.prev; b != &bcache.head; b = b->prev){
if(b->refcnt == 0) {
b->dev = dev;
b->blockno = blockno;
b->valid = 0;
b->refcnt = 1;
release(&bcache.lock);
acquiresleep(&b->lock);
return b;
for(int i=cpu;;i=(i+1)%NCPU){
push_off();
if(holding(&bcache.freelistlock[i])){
pop_off();
continue;
}
pop_off();
acquire(&bcache.freelistlock[i]);
if(bcache.freelist_head[i]==-1){
release(&bcache.freelistlock[i]);
continue;
}
// DEBUG();
// for(b = bcache.head.prev; b != &bcache.head; b = b->prev){
// if(b->refcnt == 0) {
// hash_add(dev, blockno, b-bcache.buf);
// b->dev = dev;
// b->blockno = blockno;
// b->valid = 0;
// b->refcnt = 1;
// release(&bcache.lock);
// acquiresleep(&b->lock);
// return b;
// }
// }
// for(uint cur=bcache.freelist_head;cur!=-1;cur=bcache.nxt[cur])
// DEBUG();
// printf("%u\n",bcache.freelist_head);
b=&bcache.buf[bcache.freelist_head[i]];
const int ori=bcache.freelist_head[i];
bcache.freelist_head[i]=bcache.nxt[bcache.freelist_head[i]];
hash_add(dev,blockno,ori);
release(&bcache.hashlock[hash_pos]);
b->dev=dev;
b->blockno=blockno;
b->valid=0;
b->refcnt=1;
release(&bcache.freelistlock[i]);
acquiresleep(&b->lock);
// release(&bcache.lock);
return b;
}
panic("bget: no buffers");
}
@ -116,38 +256,46 @@ bwrite(struct buf *b)
void
brelse(struct buf *b)
{
if(!holdingsleep(&b->lock))
panic("brelse");
releasesleep(&b->lock);
acquire(&bcache.lock);
b->refcnt--;
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;
}
// acquire(&bcache.lock);
release(&bcache.lock);
hash_del(b->dev, b->blockno);
// 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;gi
// release(&bcache.lock);
}
void
bpin(struct buf *b) {
acquire(&bcache.lock);
// acquire(&bcache.lock);
const uint hash_pos=hasher(b->dev, b->blockno);
acquire(&bcache.hashlock[hash_pos]);
b->refcnt++;
release(&bcache.lock);
release(&bcache.hashlock[hash_pos]);
// release(&bcache.lock);
}
void
bunpin(struct buf *b) {
acquire(&bcache.lock);
// acquire(&bcache.lock);
const uint hash_pos=hasher(b->dev, b->blockno);
acquire(&bcache.hashlock[hash_pos]);
b->refcnt--;
release(&bcache.lock);
release(&bcache.hashlock[hash_pos]);
// release(&bcache.lock);
}

View File

@ -5,8 +5,8 @@ struct buf {
uint blockno;
struct sleeplock lock;
uint refcnt;
struct buf *prev; // LRU cache list
struct buf *next;
// struct buf *prev; // LRU cache list
// struct buf *next;
uchar data[BSIZE];
};

View File

@ -237,3 +237,4 @@ void netinit(void);
void net_rx(char *buf, int len);
#endif
#define DEBUG() printf("File: %s, Line: %d, Function: %s\n", __FILE__, __LINE__, __func__)

View File

@ -93,12 +93,14 @@ bfree(int dev, uint b)
{
struct buf *bp;
int bi, m;
// DEBUG();
// printf("%d %d\n",dev,b);
bp = bread(dev, BBLOCK(b, sb));
bi = b % BPB;
m = 1 << (bi % 8);
if((bp->data[bi/8] & m) == 0)
if((bp->data[bi/8] & m) == 0){
panic("freeing free block");
}
bp->data[bi/8] &= ~m;
log_write(bp);
brelse(bp);

View File

@ -21,12 +21,13 @@ struct run {
struct {
struct spinlock lock;
struct run *freelist;
} kmem;
} kmem[NCPU];
void
void
kinit()
{
initlock(&kmem.lock, "kmem");
for(int i=0;i<NCPU;++i)
initlock(&kmem[i].lock, "kmem");
freerange(end, (void*)PHYSTOP);
}
@ -47,6 +48,7 @@ void
kfree(void *pa)
{
struct run *r;
int id;
if(((uint64)pa % PGSIZE) != 0 || (char*)pa < end || (uint64)pa >= PHYSTOP)
panic("kfree");
@ -55,11 +57,20 @@ kfree(void *pa)
memset(pa, 1, PGSIZE);
r = (struct run*)pa;
push_off();
id = cpuid();
pop_off();
acquire(&kmem[id].lock);
r->next = kmem[id].freelist;
kmem[id].freelist = r;
release(&kmem[id].lock);
acquire(&kmem.lock);
/*acquire(&kmem.lock);
r->next = kmem.freelist;
kmem.freelist = r;
release(&kmem.lock);
release(&kmem.lock);*/
}
// Allocate one 4096-byte page of physical memory.
@ -69,13 +80,37 @@ void *
kalloc(void)
{
struct run *r;
int id;
acquire(&kmem.lock);
push_off();
id = cpuid();
pop_off();
acquire(&kmem[id].lock);
r = kmem[id].freelist;
if (r)
kmem[id].freelist = r->next;
release(&kmem[id].lock);
if (r)
goto kallocinit;
for (int i=(id+1)%NCPU; i!=id; i=(i+1)%NCPU) {
acquire(&kmem[i].lock);
r = kmem[i].freelist;
if (r)
kmem[i].freelist = r->next;
release(&kmem[i].lock);
if (r)
goto kallocinit;
}
/*acquire(&kmem.lock);
r = kmem.freelist;
if(r)
kmem.freelist = r->next;
release(&kmem.lock);
release(&kmem.lock);*/
kallocinit:
if(r)
memset((char*)r, 5, PGSIZE); // fill with junk
return (void*)r;

1
time.txt Normal file
View File

@ -0,0 +1 @@
6

View File

@ -168,7 +168,7 @@ void test3(void)
kill(pid);
n = ntas(1);
if(n-m < 4000)
if(n-m < 10000)
printf("\ntest3 OK\n");
else
printf("test3 FAIL m %d n %d\n", m, n);