diff options
| author | Frans Kaashoek <[email protected]> | 2019-07-02 09:14:47 -0400 |
|---|---|---|
| committer | Frans Kaashoek <[email protected]> | 2019-07-02 09:14:47 -0400 |
| commit | 67702cf706bce7adef472f0caa48d81ddfaeb33a (patch) | |
| tree | fd61e4036c4f5ec0944c987a7dffc9c04422d8c6 /kernel/sysfile.c | |
| parent | 535ac52efadc5c5cdb0483ad55c306cfaff71d50 (diff) | |
| download | xv6-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/sysfile.c')
| -rw-r--r-- | kernel/sysfile.c | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/kernel/sysfile.c b/kernel/sysfile.c index 7788de3..33f37f2 100644 --- a/kernel/sysfile.c +++ b/kernel/sysfile.c @@ -9,9 +9,9 @@ #include "defs.h" #include "param.h" #include "stat.h" +#include "spinlock.h" #include "proc.h" #include "fs.h" -#include "spinlock.h" #include "sleeplock.h" #include "file.h" #include "fcntl.h" |