ilo-pona/xv6-65oo2
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Activity
xv6-65oo2/kernel
History
Frans Kaashoek dabbc348bc Maybe fix two races identified by rtm (thx!): 
- during exit(), hold p's parent lock and p's lock across all changes
to p and its parent (e.g., reparenting and wakeup1).  the lock
ordering between concurrent exits of children, parent, and great
parent might work out because processes form a tree.

- in wakeup1() test and set p->state atomically by asking caller to
have p locked.

a correctness proof would be desirable.
2019-07-06 16:38:41 -04:00
..
bio.c eliminate ramdisk 2019-06-13 06:57:38 -04:00
buf.h separate source into kernel/ user/ mkfs/ 2019-06-11 09:57:14 -04:00
console.c FD_DEVICE 2019-06-13 10:29:27 -04:00
date.h separate source into kernel/ user/ mkfs/ 2019-06-11 09:57:14 -04:00
defs.h try to continue from walk() failing to allocate a page-table page 2019-07-02 11:45:06 -04:00
elf.h separate source into kernel/ user/ mkfs/ 2019-06-11 09:57:14 -04:00
entry.S separate source into kernel/ user/ mkfs/ 2019-06-11 09:57:14 -04:00
exec.c Checkpoint switching to per-process locks, in attempt clarify xv6's 2019-07-02 09:14:47 -04:00
fcntl.h separate source into kernel/ user/ mkfs/ 2019-06-11 09:57:14 -04:00
file.c FD_DEVICE 2019-06-13 10:29:27 -04:00
file.h FD_DEVICE 2019-06-13 10:29:27 -04:00
fs.c Checkpoint switching to per-process locks, in attempt clarify xv6's 2019-07-02 09:14:47 -04:00
fs.h FD_DEVICE 2019-06-13 10:29:27 -04:00
kalloc.c virtio disk driver 2019-06-13 06:49:02 -04:00
kernel.ld virtio disk driver 2019-06-13 06:49:02 -04:00
kernelvec.S timer interrupt in the kernel -> yield 2019-07-01 13:46:11 -04:00
log.c separate source into kernel/ user/ mkfs/ 2019-06-11 09:57:14 -04:00
main.c eliminate ramdisk 2019-06-13 06:57:38 -04:00
memlayout.h clean up virtio code 2019-06-13 09:40:17 -04:00
param.h separate source into kernel/ user/ mkfs/ 2019-06-11 09:57:14 -04:00
pipe.c Checkpoint switching to per-process locks, in attempt clarify xv6's 2019-07-02 09:14:47 -04:00
plic.c clean up virtio code 2019-06-13 09:40:17 -04:00
proc.c Maybe fix two races identified by rtm (thx!): 2019-07-06 16:38:41 -04:00
proc.h Checkpoint switching to per-process locks, in attempt clarify xv6's 2019-07-02 09:14:47 -04:00
ramdisk.c separate source into kernel/ user/ mkfs/ 2019-06-11 09:57:14 -04:00
riscv.h Avoid two cores selecting the same process to run 2019-07-02 13:40:33 -04:00
sleeplock.c Checkpoint switching to per-process locks, in attempt clarify xv6's 2019-07-02 09:14:47 -04:00
sleeplock.h separate source into kernel/ user/ mkfs/ 2019-06-11 09:57:14 -04:00
spinlock.c Remove some debugging code 2019-07-02 20:52:30 -04:00
spinlock.h Avoid two cores selecting the same process to run 2019-07-02 13:40:33 -04:00
start.c separate source into kernel/ user/ mkfs/ 2019-06-11 09:57:14 -04:00
stat.h Make size in stat.h be a uint64 2019-07-04 08:57:23 -04:00
string.c separate source into kernel/ user/ mkfs/ 2019-06-11 09:57:14 -04:00
swtch.S separate source into kernel/ user/ mkfs/ 2019-06-11 09:57:14 -04:00
syscall.c Merge branch 'riscv' into riscv-proc 2019-07-02 14:19:31 -04:00
syscall.h separate source into kernel/ user/ mkfs/ 2019-06-11 09:57:14 -04:00
sysfile.c Merge branch 'riscv' into riscv-proc 2019-07-02 14:19:31 -04:00
sysproc.c Merge branch 'riscv' into riscv-proc 2019-07-02 14:19:31 -04:00
trampoline.S separate source into kernel/ user/ mkfs/ 2019-06-11 09:57:14 -04:00
trap.c Merge branch 'riscv' into riscv-proc 2019-07-02 14:19:31 -04:00
types.h separate source into kernel/ user/ mkfs/ 2019-06-11 09:57:14 -04:00
uart.c Checkpoint switching to per-process locks, in attempt clarify xv6's 2019-07-02 09:14:47 -04:00
virtio.h Introduce alloc3_desc and UsedArea to make code easier to read 2019-07-01 08:20:35 -04:00
virtio_disk.c x 2019-07-01 08:28:14 -04:00
vm.c try to continue from walk() failing to allocate a page-table page 2019-07-02 11:45:06 -04:00