From 67702cf706bce7adef472f0caa48d81ddfaeb33a Mon Sep 17 00:00:00 2001
From: Frans Kaashoek <kaashoek@mit.edu>
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