summaryrefslogtreecommitdiff
path: root/kernel/pipe.c
diff options
context:
space:
mode:
authorFrans Kaashoek <[email protected]>2019-07-02 09:14:47 -0400
committerFrans Kaashoek <[email protected]>2019-07-02 09:14:47 -0400
commit67702cf706bce7adef472f0caa48d81ddfaeb33a (patch)
treefd61e4036c4f5ec0944c987a7dffc9c04422d8c6 /kernel/pipe.c
parent535ac52efadc5c5cdb0483ad55c306cfaff71d50 (diff)
downloadxv6-labs-67702cf706bce7adef472f0caa48d81ddfaeb33a.tar.gz
xv6-labs-67702cf706bce7adef472f0caa48d81ddfaeb33a.tar.bz2
xv6-labs-67702cf706bce7adef472f0caa48d81ddfaeb33a.zip
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.
Diffstat (limited to 'kernel/pipe.c')
-rw-r--r--kernel/pipe.c2
1 files changed, 1 insertions, 1 deletions
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"