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/sysproc.c | 1 + 1 file changed, 1 insertion(+) (limited to 'kernel/sysproc.c') diff --git a/kernel/sysproc.c b/kernel/sysproc.c index e57e045..65dde26 100644 --- a/kernel/sysproc.c +++ b/kernel/sysproc.c @@ -4,6 +4,7 @@ #include "date.h" #include "param.h" #include "memlayout.h" +#include "spinlock.h" #include "proc.h" int -- cgit v1.2.3