semaphore: haswaiters and redo how threads are attached

kernel-src/include/semaphore.h

@@ -21,9 +21,11 @@ typedef struct semaphore_t{
 		(x)->head = NULL; \
 	}
 
+
 int semaphore_wait(semaphore_t *sem, bool interruptible);
 void semaphore_signal(semaphore_t *sem);
 bool semaphore_test(semaphore_t *sem);
+bool semaphore_haswaiters(semaphore_t *sem);
 
 #include <kernel/scheduler.h>
 

kernel-src/lib/semaphore.c

@@ -3,27 +3,27 @@
 #include <logging.h>
 
 static void insert(semaphore_t *sem, thread_t *thread) {
-	if (sem->head == NULL) {
+	thread->sleepnext = sem->head;
-		sem->head = thread;
+	thread->sleepprev = NULL;
-		sem->tail = thread;
+	sem->head = thread;
-		thread->sleepnext = NULL;
-		thread->sleepprev = NULL;
-		return;
-	}
 
-	sem->tail->sleepnext = _cpu()->thread;
+	if (sem->tail == NULL)
-	_cpu()->thread->sleepprev = sem->tail;
+		sem->tail = thread;
+
+	if (thread->sleepnext)
+		thread->sleepnext->sleepprev = thread;
 }
 
 static thread_t *get(semaphore_t *sem) {
-	thread_t *thread = sem->head;
+	thread_t *thread = sem->tail;
 	__assert(thread);
 
-	sem->head = sem->head->sleepnext;
+	sem->tail = thread->sleepprev;
-	if (sem->head == NULL)
+
-		sem->tail = NULL;
+	if (sem->tail == NULL)
-	else 
+		sem->head = NULL;
-		sem->head->sleepprev = NULL;
+	else
+		sem->tail->sleepnext = NULL;
 
 	return thread;
 }
@@ -37,10 +37,12 @@ int semaphore_wait(semaphore_t *sem, bool interruptible) {
 		insert(sem, _cpu()->thread);
 		sched_preparesleep(interruptible);
 		spinlock_release(&sem->lock);
-		return sched_yield();
+		ret = sched_yield();
+		goto leave;
 	}
 
 	spinlock_release(&sem->lock);
+	leave:
 	interrupt_set(intstate);
 	return ret;
 }
@@ -57,6 +59,17 @@ void semaphore_signal(semaphore_t *sem) {
 	interrupt_set(intstate);
 }
 
+bool semaphore_haswaiters(semaphore_t *sem) {
+	bool intstate = interrupt_set(false);
+	spinlock_acquire(&sem->lock);
+
+	bool v = sem->head != NULL;
+
+	spinlock_release(&sem->lock);
+	interrupt_set(intstate);
+	return v;
+}
+
 bool semaphore_test(semaphore_t *sem) {
 	bool intstate = interrupt_set(false);
 	bool ret = false;