X-Git-Url: https://scm.lunaixsky.com/lunaix-os.git/blobdiff_plain/61bcf0c65dac58d2f29ab40e016489c89ec8eec0..c316c28e6c8a165111d6bbc208555f5c53489818:/lunaix-os/kernel/asm/x86/pfault.c diff --git a/lunaix-os/kernel/asm/x86/pfault.c b/lunaix-os/kernel/asm/x86/pfault.c index 15f11ee..0d5131f 100644 --- a/lunaix-os/kernel/asm/x86/pfault.c +++ b/lunaix-os/kernel/asm/x86/pfault.c @@ -5,9 +5,12 @@ #include #include #include +#include #include #include +#include + static void kprintf(const char* fmt, ...) { @@ -17,11 +20,11 @@ kprintf(const char* fmt, ...) va_end(args); } +#define COW_MASK (REGION_RSHARED | REGION_READ | REGION_WRITE) + extern void __print_panic_msg(const char* msg, const isr_param* param); -extern void __kernel_heap_start; - void intr_routine_page_fault(const isr_param* param) { @@ -40,72 +43,112 @@ intr_routine_page_fault(const isr_param* param) if (do_kernel(&mapping)) { return; } - goto segv_term; + // 如果不是,那么看看内核是不是需要用户页。 } - struct mm_region* hit_region = region_get(__current, ptr); + struct mm_region* hit_region = region_get(&__current->mm.regions, ptr); if (!hit_region) { - // Into the void... + // 当你凝视深渊时…… goto segv_term; } - x86_pte_t* pte = PTE_MOUNTED(PD_REFERENCED, ptr >> 12); - if (*pte & PG_PRESENT) { - if ((hit_region->attr & REGION_PERM_MASK) == - (REGION_RSHARED | REGION_READ)) { + volatile x86_pte_t* pte = &PTE_MOUNTED(VMS_SELF, ptr >> 12); + if (PG_IS_PRESENT(*pte)) { + if ((hit_region->attr & COW_MASK) == COW_MASK) { // normal page fault, do COW cpu_invplg(pte); uintptr_t pa = (uintptr_t)vmm_dup_page(__current->pid, PG_ENTRY_ADDR(*pte)); pmm_free_page(__current->pid, *pte & ~0xFFF); - *pte = (*pte & 0xFFF) | pa | PG_WRITE; - return; + *pte = (*pte & 0xFFF & ~PG_DIRTY) | pa | PG_WRITE; + goto resolved; } // impossible cases or accessing privileged page goto segv_term; } - if (!(*pte)) { - // Invalid location + // an anonymous page and not present + // -> a new page need to be alloc + if ((hit_region->attr & REGION_ANON)) { + if (!PG_IS_PRESENT(*pte)) { + cpu_invplg(pte); + uintptr_t pa = pmm_alloc_page(__current->pid, 0); + if (!pa) { + goto oom; + } + + *pte = *pte | pa | PG_PRESENT; + goto resolved; + } + // permission denied on anon page (e.g., write on readonly page) goto segv_term; } - uintptr_t loc = *pte & ~0xfff; - // a writable page, not present, pte attr is not null - // and no indication of cached page -> a new page need to be alloc - if ((hit_region->attr & REGION_WRITE) && (*pte & 0xfff) && !loc) { - cpu_invplg(pte); + + // if mfile is set (Non-anonymous), then it is a mem map + if (hit_region->mfile && !PG_IS_PRESENT(*pte)) { + struct v_file* file = hit_region->mfile; + u32_t offset = + (ptr - hit_region->start) & (PG_SIZE - 1) + hit_region->foff; uintptr_t pa = pmm_alloc_page(__current->pid, 0); - *pte = *pte | pa | PG_PRESENT; - return; + + if (!pa) { + goto oom; + } + + cpu_invplg(pte); + *pte = (*pte & 0xFFF) | pa | PG_PRESENT; + + ptr = PG_ALIGN(ptr); + memset(ptr, 0, PG_SIZE); + + int errno = 0; + if (hit_region->init_page) { + errno = hit_region->init_page(hit_region, ptr, offset); + } else { + errno = file->ops->read_page(file->inode, ptr, PG_SIZE, offset); + } + + if (errno < 0) { + kprintf(KERROR "fail to populate page (%d)\n", errno); + goto segv_term; + } + + *pte &= ~PG_DIRTY; + + goto resolved; } - // page not present, bring it from disk or somewhere else + + // page not present, might be a chance to introduce swap file? __print_panic_msg("WIP page fault route", param); while (1) ; +oom: + kprintf(KERROR "out of memory\n"); segv_term: kprintf(KERROR "(pid: %d) Segmentation fault on %p (%p:%p)\n", __current->pid, ptr, param->cs, param->eip); - terminate_proc(LXSEGFAULT); + __SIGSET(__current->sig_pending, _SIGSEGV); + schedule(); // should not reach + while (1) + ; + +resolved: + cpu_invplg(ptr); + return; } int do_kernel(v_mapping* mapping) { uintptr_t addr = mapping->va; - if (addr >= &__kernel_heap_start && addr < L2_BASE_VADDR) { - // This is kernel heap page - uintptr_t pa = pmm_alloc_page(KERNEL_PID, 0); - *mapping->pte = (*mapping->pte & 0xfff) | pa | PG_PRESENT; - cpu_invplg(mapping->pte); - cpu_invplg(addr); - goto done; - } + + // TODO return 0; done: