From 67702cf706bce7adef472f0caa48d81ddfaeb33a Mon Sep 17 00:00:00 2001 From: Frans Kaashoek Date: Tue, 2 Jul 2019 09:14:47 -0400 Subject: Checkpoint switching to per-process locks, in attempt clarify xv6's 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. --- kernel/pipe.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kernel/pipe.c') diff --git a/kernel/pipe.c b/kernel/pipe.c index 31bf0cc..eca5959 100644 --- a/kernel/pipe.c +++ b/kernel/pipe.c @@ -2,9 +2,9 @@ #include "riscv.h" #include "defs.h" #include "param.h" +#include "spinlock.h" #include "proc.h" #include "fs.h" -#include "spinlock.h" #include "sleeplock.h" #include "file.h" -- cgit v1.2.3