- 19 Aug, 2020 1 commit
-
-
Robert Morris authored
and fix a few exec() bugs
-
- 13 Aug, 2020 1 commit
-
-
Robert Morris authored
-
- 17 Jul, 2020 1 commit
-
-
Robert Morris authored
-
- 03 Oct, 2019 1 commit
-
-
Robert Morris authored
-
- 24 Jul, 2019 1 commit
-
-
Robert Morris authored
-
- 22 Jul, 2019 1 commit
-
-
Frans Kaashoek authored
-
- 02 Jul, 2019 1 commit
-
-
Frans Kaashoek authored
locking plan, which is a difficult to understand because ptable lock protects many invariants. This implementation has a bug: once in a while xv6 unlocks a proc lock that is locked by another core.
-
- 11 Jun, 2019 1 commit
-
-
Robert Morris authored
-
- 05 Jun, 2019 1 commit
-
-
Robert Morris authored
-
- 04 Jun, 2019 3 commits
-
-
Robert Morris authored
-
Robert Morris authored
-
Robert Morris authored
-
- 01 Jun, 2019 1 commit
-
-
Robert Morris authored
-
- 31 May, 2019 2 commits
-
-
Robert Morris authored
-
Robert Morris authored
-
- 09 Oct, 2018 1 commit
-
-
Frans Kaashoek authored
-
- 23 Sep, 2018 1 commit
-
-
Frans Kaashoek authored
The x86-64 doesn't just add two levels to page tables to support 64 bit addresses, but is a different processor. For example, calling conventions, system calls, and segmentation are different from 32-bit x86. Segmentation is basically gone, but gs/fs in combination with MSRs can be used to hold a per-core pointer. In general, x86-64 is more straightforward than 32-bit x86. The port uses code from sv6 and the xv6 "rsc-amd64" branch. A summary of the changes is as follows: - Booting: switch to grub instead of xv6's bootloader (pass -kernel to qemu), because xv6's boot loader doesn't understand 64bit ELF files. And, we don't care anymore about booting. - Makefile: use -m64 instead of -m32 flag for gcc, delete boot loader, xv6.img, bochs, and memfs. For now dont' use -O2, since usertests with -O2 is bigger than MAXFILE! - Update gdb.tmpl to be for i386 or x86-64 - Console/printf: use stdarg.h and treat 64-bit addresses different from ints (32-bit) - Update elfhdr to be 64 bit - entry.S/entryother.S: add code to switch to 64-bit mode: build a simple page table in 32-bit mode before switching to 64-bit mode, share code for entering boot processor and APs, and tweak boot gdt. The boot gdt is the gdt that the kernel proper also uses. (In 64-bit mode, the gdt/segmentation and task state mostly disappear.) - exec.c: fix passing argv (64-bit now instead of 32-bit). - initcode.c: use syscall instead of int. - kernel.ld: load kernel very high, in top terabyte. 64 bits is a lot of address space! - proc.c: initial return is through new syscall path instead of trapret. - proc.h: update struct cpu to have some scratch space since syscall saves less state than int, update struct context to reflect x86-64 calling conventions. - swtch: simplify for x86-64 calling conventions. - syscall: add fetcharg to handle x86-64 calling convetions (6 arguments are passed through registers), and fetchaddr to read a 64-bit value from user space. - sysfile: update to handle pointers from user space (e.g., sys_exec), which are 64 bits. - trap.c: no special trap vector for sys calls, because x86-64 has a different plan for system calls. - trapasm: one plan for syscalls and one plan for traps (interrupt and exceptions). On x86-64, the kernel is responsible for switching user/kernel stacks. To do, xv6 keeps some scratch space in the cpu structure, and uses MSR GS_KERN_BASE to point to the core's cpu structure (using swapgs). - types.h: add uint64, and change pde_t to uint64 - usertests: exit() when fork fails, which helped in tracking down one of the bugs in the switch from 32-bit to 64-bit - vectors: update to make them 64 bits - vm.c: use bootgdt in kernel too, program MSRs for syscalls and core-local state (for swapgs), walk 4 levels in walkpgdir, add DEVSPACETOP, use task segment to set kernel stack for interrupts (but simpler than in 32-bit mode), add an extra argument to freevm (size of user part of address space) to avoid checking all entries till KERNBASE (there are MANY TB before the top 1TB). - x86: update trapframe to have 64-bit entries, which is what the processor pushes on syscalls and traps. simplify lgdt and lidt, using struct desctr, which needs the gcc directives packed and aligned. TODO: - use int32 instead of int? - simplify curproc(). xv6 has per-cpu state again, but this time it must have it. - avoid repetition in walkpgdir - fix validateint() in usertests.c - fix bugs (e.g., observed one a case of entering kernel with invalid gs or proc
-
- 01 Feb, 2017 1 commit
-
-
Frans Kaashoek authored
myproc() points to a different thread. myproc(); sched(); myproc(); // this proc maybe different than the one before sched Thus, in a function that operates on one thread better to retrieve the current process once at the start of the function.
-
- 31 Jan, 2017 2 commits
-
-
Frans Kaashoek authored
-
Peter H. Froehlich authored
Since readi() returns -1 for errors, checking with < against an unsigned value is inadvisable. Checking with != works as intended however.
-
- 15 Sep, 2016 1 commit
-
-
Frans Kaashoek authored
-
- 11 Sep, 2016 1 commit
-
-
Frans Kaashoek authored
-
- 25 Aug, 2016 2 commits
- 27 Aug, 2014 1 commit
-
-
Robert Morris authored
-
- 04 Aug, 2014 1 commit
-
-
Robert Morris authored
-
- 23 Aug, 2012 1 commit
-
-
Frans Kaashoek authored
-
- 03 Sep, 2011 1 commit
-
-
Austin Clements authored
-
- 02 Sep, 2011 2 commits
-
-
Austin Clements authored
-
Austin Clements authored
-
- 01 Sep, 2011 1 commit
-
-
Robert Morris authored
-
- 18 Aug, 2011 1 commit
-
-
Frans Kaashoek authored
-
- 10 Aug, 2011 1 commit
-
-
Frans Kaashoek authored
Allocate proper kernel page table immediately in main using boot allocator Remove pginit Simplify address space layout a tiny bit More to come (e.g., superpages to simplify static table)
-
- 29 Jul, 2011 1 commit
-
-
Frans Kaashoek authored
Very important to give qemu memory through PHYSTOP :(
-
- 20 Feb, 2011 1 commit
-
-
Russ Cox authored
-
- 11 Jan, 2011 1 commit
-
-
Russ Cox authored
Variable declarations at top of function, separate from initialization. Use == 0 instead of ! for checking pointers. Consistent spacing around {, *, casts. Declare 0-parameter functions as (void) not (). Integer valued functions return -1 on failure, 0 on success.
-
- 29 Sep, 2010 1 commit
-
-
Robert Morris authored
-
- 27 Sep, 2010 2 commits
-
-
Robert Morris authored
fix double iunlockput
-
Robert Morris authored
usertest that passes too many arguments, break exec
-
- 19 Sep, 2010 1 commit
-
-
Robert Morris authored
-