summaryrefslogtreecommitdiff
path: root/kernel/vm.c
AgeCommit message (Collapse)AuthorFilesLines
2022-10-18Made va and size page aligned in mappagesasselism1-4/+11
2022-10-04fix copyout() to refuse to write a read-only pageRobert Morris1-2/+7
2022-08-24sfence before enabling pagingRobert Morris1-0/+5
2022-08-12Experiment with being more precise setting permissions for user pages.Frans Kaashoek1-2/+2
Growing adds R|W pages (without X). Exec() marks the stack only R|W. Probably could setup permissions for text and data better if we call ld with --no-omagic instead of -N.
2022-08-09nothing muchRobert Morris1-3/+3
2021-08-31Assert that the size in mappages() is always positivel0stman1-1/+4
If va % PGSIZE == 0 and size == 0, we have last < a at the start of the loop so we might never terminate. That being said, this particular case couldn't be triggered for now.
2020-10-14kvmmake() makes a complete kernel page table, matching Figure 3.3Frans Kaashoek1-15/+27
2020-10-14Fix minor typosFumiya Shigemitsu1-1/+1
2020-10-05Don't map the CLINT, since it never used in the kernel in supervisor modeFrans Kaashoek1-3/+0
2020-10-05eliminate virtio DMA into kernel stacks.Robert Morris1-20/+0
2020-10-03Fix minor typosFumiya Shigemitsu1-1/+1
2020-08-17fix a bug in the out-of-memory handling code in execRobert Morris1-2/+1
2020-08-17handle another out-of-memory in fork(). the policy here is not consistent,Robert Morris1-1/+2
since other calls (e.g. exec()) panic on out of memory.
2020-08-17modify uvmunmap() to be in aligned pagesRobert Morris1-19/+16
fix a bug in fork() recovering from out of memory
2020-08-17pa isn't needed in the uvmunmap() loopRobert Morris1-3/+1
2020-08-10Merge branch 'riscv' into riscvFrans Kaashoek1-6/+5
2020-08-10modify each page in usertests countfree()Robert Morris1-5/+3
get rid of static for walk() and freewalk()
2019-10-27fix a potential memory leakRobert Morris1-1/+2
2019-10-21Fix minor typosFumiya Shigemitsu1-2/+2
2019-09-20yet another sbrk() bug fix, and usertestRobert Morris1-1/+2
2019-09-20don't panic if a program frees all its memory with sbrk().Robert Morris1-1/+4
if a program sbrk()'s to a non-page-boundary, don't free that page. corresponding usertests.
2019-09-20more incorrect cast to uintRobert Morris1-2/+2
2019-09-20fix a potential kernel crashRobert Morris1-1/+4
add a regression test for it
2019-09-17all of PTE_FLAGSRobert Morris1-2/+2
2019-09-03sfence_vma after satpRobert Morris1-1/+1
2019-07-26Merge branch 'riscv' of g.csail.mit.edu:xv6-dev into riscvRobert Morris1-3/+3
2019-07-26trampin -> uservecRobert Morris1-2/+2
trampout -> userret
2019-07-25a few name changes in panic msgFrans Kaashoek1-3/+3
2019-07-24rationalize some vm function namesRobert Morris1-49/+49
2019-07-24no more PAGEBREAKRobert Morris1-5/+5
2019-07-23simplify kernel mapping callsRobert Morris1-33/+26
2019-07-22fix mapkstackFrans Kaashoek1-2/+2
2019-07-22Clear U bit for second stack page so that it functions as a guard pageFrans Kaashoek1-0/+10
2019-07-22nitRobert Morris1-2/+2
2019-07-19xFrans Kaashoek1-1/+2
2019-07-19One way of supporting a guard page below kstack: allocate kstacks inFrans Kaashoek1-0/+31
procinit() and map them high up (below TRAMPOLNE) with an empty mapping below each stack. Never free a kernel stack. Another way would be to allocate and map them dynamically, but then we need to reload page table when switching processes in scheduler() and/or have a kernel pagetable per proc (if we want k->stack to be the same virtual address in each process). One gotcha: kernel addresses are not equal to physical addresses for stack addresses. A stack address must be translated if we need its physical address (e.g., virtio passes a stack address to the disk).
2019-07-16conservatively call sfence.vma before every satp load.Robert Morris1-0/+1
2019-07-02try to continue from walk() failing to allocate a page-table pageRobert Morris1-5/+14
2019-07-02COW testsRobert Morris1-1/+1
2019-07-01have fork() fail, not panic, if not enough phys memRobert Morris1-2/+9
2019-06-13clean up virtio codeRobert Morris1-2/+2
2019-06-13eliminate ramdiskRobert Morris1-5/+1
2019-06-13virtio disk driverRobert Morris1-0/+4
2019-06-11separate source into kernel/ user/ mkfs/Robert Morris1-0/+389
Powered by cgit, Theme cgit-dark created by Ted Yin, updated by Mole Shang.