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/sleeplock.c | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'kernel/sleeplock.c') diff --git a/kernel/sleeplock.c b/kernel/sleeplock.c index b490370..81de585 100644 --- a/kernel/sleeplock.c +++ b/kernel/sleeplock.c @@ -5,8 +5,8 @@ #include "defs.h" #include "param.h" #include "memlayout.h" -#include "proc.h" #include "spinlock.h" +#include "proc.h" #include "sleeplock.h" void -- cgit v1.2.3