1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
|
#include "vm/pagefault.h"
#include "errno.h"
#include "globals.h"
#include "mm/mm.h"
#include "mm/mman.h"
#include "mm/mobj.h"
#include "mm/pframe.h"
#include "mm/tlb.h"
#include "types.h"
#include "util/debug.h"
/*
* Respond to a user mode pagefault by setting up the desired page.
*
* vaddr - The virtual address that the user pagefaulted on
* cause - A combination of FAULT_ flags indicating the type of operation that
* caused the fault (see pagefault.h)
*
* Implementation details:
* 1) Find the vmarea that contains vaddr, if it exists.
* 2) Check the vmarea's protections (see the vmarea_t struct) against the 'cause' of
* the pagefault. For example, error out if the fault has cause write and we don't
* have write permission in the area. Keep in mind:
* a) You can assume that FAULT_USER is always specified.
* b) If neither FAULT_WRITE nor FAULT_EXEC is specified, you may assume the
* fault was due to an attempted read.
* 3) Obtain the corresponding pframe from the vmarea's mobj. Be careful about
* locking and error checking!
* 4) Finally, set up a call to pt_map to insert a new mapping into the
* appropriate pagetable:
* a) Use pt_virt_to_phys() to obtain the physical address of the actual
* data.
* b) You should not assume that vaddr is page-aligned, but you should
* provide a page-aligned address to the mapping.
* c) For pdflags, use PT_PRESENT | PT_WRITE | PT_USER.
* d) For ptflags, start with PT_PRESENT | PT_USER. Also supply PT_WRITE if
* the user can and wants to write to the page.
* 5) Flush the TLB.
*
* Tips:
* 1) This gets called by _pt_fault_handler() in mm/pagetable.c, which
* importantly checks that the fault did not occur in kernel mode. Think
* about why a kernel mode page fault would be bad in Weenix. Explore
* _pt_fault_handler() to get a sense of what's going on.
* 2) If you run into any errors, you should segfault by calling
* do_exit(EFAULT).
*/
void handle_pagefault(uintptr_t vaddr, uintptr_t cause)
{
dbg(DBG_VM, "vaddr = 0x%p (0x%p), cause = %lu\n", (void *)vaddr,
PAGE_ALIGN_DOWN(vaddr), cause);
// NOT_YET_IMPLEMENTED("VM: handle_pagefault");
// 1) Find the vmarea that contains vaddr, if it exists.
// check that the vaddr is valid
if (vaddr < USER_MEM_LOW || vaddr > USER_MEM_HIGH)
{
do_exit(EFAULT);
}
// lookup the vmarea for this addr
vmarea_t *vma = vmmap_lookup(curproc->p_vmmap, ADDR_TO_PN(vaddr));
if (vma == NULL)
{
do_exit(EFAULT);
}
// 2) Check the vmarea's protections (see the vmarea_t struct) against the 'cause'
// error out if the fault has cause write and we don't have write permission in the area
if ((cause & FAULT_WRITE) && !(vma->vma_prot & PROT_WRITE))
{
do_exit(EFAULT);
}
// error out if the fault has cause exec and we don't have exec permission in the area
if ((cause & FAULT_EXEC) && !(vma->vma_prot & PROT_EXEC))
{
do_exit(EFAULT);
}
// error out if we don't have read permission in the area
if (!(vma->vma_prot & PROT_READ))
{
do_exit(EFAULT);
}
// error our if we don't have any permission in the area
if (vma->vma_prot == PROT_NONE)
{
do_exit(EFAULT);
}
// 3) Obtain the corresponding pframe from the vmarea's mobj.
pframe_t *pf;
mobj_lock(vma->vma_obj);
int ret = mobj_get_pframe(
vma->vma_obj,
vma->vma_off + ADDR_TO_PN(vaddr) - vma->vma_start,
cause & FAULT_WRITE ? 1 : 0,
&pf
);
mobj_unlock(vma->vma_obj);
if (ret < 0)
{
do_exit(EFAULT);
}
// 4) Finally, set up a call to pt_map to insert a new mapping into the appropriate pagetable
uintptr_t paddr = pt_virt_to_phys(pf->pf_addr);
pframe_release(&pf);
int pdflags = PT_PRESENT | PT_WRITE | PT_USER;
int ptflags = PT_PRESENT | PT_USER;
if (cause & FAULT_WRITE)
{
ptflags |= PT_WRITE;
}
int err = pt_map(
curproc->p_pml4,
paddr,
(uintptr_t) PAGE_ALIGN_DOWN(vaddr),
pdflags,
ptflags
);
if (err < 0)
{
do_exit(EFAULT);
}
// 5) Flush the TLB
tlb_flush((uintptr_t) PAGE_ALIGN_DOWN(vaddr));
}
|
