ticket locks

1 files changed, 0 insertions, 38 deletions

diff --git a/sys/kern/spinlock.c b/sys/kern/spinlock.c
deleted file mode 100644
index ade270f..0000000
--- a/sys/kern/spinlock.c
+++ /dev/null
@@ -1,38 +0,0 @@
-#include <asm.h>
-#include <spinlock.h>
-
-void 
-initlock(struct spinlock *l)
-{
-        l->locked = 0;
-}
-
-void 
-acquire(struct spinlock *l)
-{
-	sie_disable();
-
-	if (l->locked)
-		return;
-
-	while (__sync_lock_test_and_set(&l->locked, 1))
-			;
-
-	__sync_synchronize();
-}
-
-void 
-release(struct spinlock *l) 
-{
-	sie_disable(); // avoid deadlock
-
-	if (l->locked)
-		return;  // interrupts are still disabled, what to do here?
-
-	/* fence */
-	__sync_synchronize();
-
-	__sync_lock_release(&l->locked);
-
-	sie_enable();
-}