Skip to content

X
xv6-public
提交 01c040d3 创建 作者: Robert Morris's avatar Robert Morris
浏览文件
操作

Merge branch 'scale' of git+ssh://pdos.csail.mit.edu/home/am0/6.828/xv6 into scale

上级 a1477b27 e49a970f
显示空白字符变更
内嵌 并排
正在显示 包含 29 行增加 和 32 行删除
exec.c
浏览文件 @ 01c040d3
...@@ -125,6 +125,7 @@ exec(char *path, char **argv) ...@@ -125,6 +125,7 @@ exec(char *path, char **argv)
switchuvm(proc); switchuvm(proc);
vmap_decref(oldvmap); vmap_decref(oldvmap);
// XXX migrate to another core??
return 0; return 0;
bad: bad:
......
vm.c
浏览文件 @ 01c040d3
...@@ -295,7 +295,7 @@ vmn_allocpg(uint npg) ...@@ -295,7 +295,7 @@ vmn_allocpg(uint npg)
{ {
struct vmnode *n = vmn_alloc(npg, EAGER); struct vmnode *n = vmn_alloc(npg, EAGER);
if (n == 0) return 0; if (n == 0) return 0;
if (vmn_doallocpg(n) < 0) return 0; if (vmn_doallocpg(n) < 0) return 0; // XXX free n
return n; return n;
} }
...@@ -607,24 +607,9 @@ copyin(struct vmap *vmap, uint va, void *p, uint len) ...@@ -607,24 +607,9 @@ copyin(struct vmap *vmap, uint va, void *p, uint len)
return 0; return 0;
} }
int static struct vma *
pagefault(struct vmap *vmap, uint va, uint err) pagefault_ondemand(struct vmap *vmap, uint va, uint err, struct vma *m)
{ {
pte_t *pte = walkpgdir(vmap->pgdir, (const void *)va, 1);
if((*pte & (PTE_P|PTE_U|PTE_W)) == (PTE_P|PTE_U|PTE_W))
return 0;
struct vma *m = vmap_lookup(vmap, va);
if(m == 0)
return -1;
// cprintf("%d: pf addr=0x%x err 0x%x\n", proc->pid, va, err);
// cprintf("%d: pf vma type = %d refcnt %d vmn type %d pte=0x%x\n", proc->pid, m->va_type, m->n->ref, m->n->type, *pte);
uint npg = (PGROUNDDOWN(va) - m->va_start) / PGSIZE;
if (m->n && m->n->ip && *pte == 0x0 && m->n->page[npg] == 0) {
// cprintf("ODP\n");
if (vmn_doallocpg(m->n) < 0) { if (vmn_doallocpg(m->n) < 0) {
panic("pagefault: couldn't allocate pages"); panic("pagefault: couldn't allocate pages");
} }
...@@ -632,16 +617,13 @@ pagefault(struct vmap *vmap, uint va, uint err) ...@@ -632,16 +617,13 @@ pagefault(struct vmap *vmap, uint va, uint err)
if (vmn_doload(m->n, m->n->ip, m->n->offset, m->n->sz) < 0) { if (vmn_doload(m->n, m->n->ip, m->n->offset, m->n->sz) < 0) {
panic("pagefault: couldn't load"); panic("pagefault: couldn't load");
} }
acquire(&m->lock); m = vmap_lookup(vmap, va); // re-acquire lock on m
pte = walkpgdir(vmap->pgdir, (const void *)va, 0); return m;
if (pte == 0x0) }
panic("pagefault: not paged in???");
// cprintf("ODP done\n");
}
if (m->va_type == COW && (err & FEC_WR)) { static void
// Write to a COW page pagefault_wcow(struct vmap *vmap, uint va, pte_t *pte, struct vma *m, uint npg)
// cprintf("write to cow\n"); {
if (m->n->ref == 1) { // if vma isn't shared any more, make it private if (m->n->ref == 1) { // if vma isn't shared any more, make it private
m->va_type = PRIVATE; m->va_type = PRIVATE;
*pte = PADDR(m->n->page[npg]) | PTE_P | PTE_U | PTE_W; *pte = PADDR(m->n->page[npg]) | PTE_P | PTE_U | PTE_W;
...@@ -658,15 +640,29 @@ pagefault(struct vmap *vmap, uint va, uint err) ...@@ -658,15 +640,29 @@ pagefault(struct vmap *vmap, uint va, uint err)
pte = walkpgdir(vmap->pgdir, (const void *)va, 0); pte = walkpgdir(vmap->pgdir, (const void *)va, 0);
*pte = PADDR(m->n->page[npg]) | PTE_P | PTE_U | PTE_W; *pte = PADDR(m->n->page[npg]) | PTE_P | PTE_U | PTE_W;
} }
}
int
pagefault(struct vmap *vmap, uint va, uint err)
{
pte_t *pte = walkpgdir(vmap->pgdir, (const void *)va, 1);
if((*pte & (PTE_P|PTE_U|PTE_W)) == (PTE_P|PTE_U|PTE_W))
return 0;
struct vma *m = vmap_lookup(vmap, va);
if(m == 0)
return -1;
uint npg = (PGROUNDDOWN(va) - m->va_start) / PGSIZE;
if (m->n && m->n->type == ONDEMAND && m->n->page[npg] == 0) {
m = pagefault_ondemand(vmap, va, err, m);
}
if (m->va_type == COW && (err & FEC_WR)) {
pagefault_wcow(vmap, va, pte, m, npg);
} else if (m->va_type == COW) { } else if (m->va_type == COW) {
// cprintf("cow\n");
*pte = PADDR(m->n->page[npg]) | PTE_P | PTE_U | PTE_COW; *pte = PADDR(m->n->page[npg]) | PTE_P | PTE_U | PTE_COW;
} else { } else {
// cprintf("fill in pte\n"); if (m->n->ref > 1)
if (m->n->ref > 1) {
cprintf("pagefault: va 0x%x\n", va);
panic("pagefault"); panic("pagefault");
}
*pte = PADDR(m->n->page[npg]) | PTE_P | PTE_U | PTE_W; *pte = PADDR(m->n->page[npg]) | PTE_P | PTE_U | PTE_W;
} }
lcr3(PADDR(vmap->pgdir)); // Reload hardware page tables lcr3(PADDR(vmap->pgdir)); // Reload hardware page tables
......
您添加了 0 人 到此讨论。请谨慎行事。
请先完成此评论的编辑！
请 注册 或者 后发表评论