semaphore.c File Reference

#include <stdbool.h>
#include <stdint.h>
#include <string.h>
#include <sys/kassert.h>
#include <sys/kconfig.h>
#include <sys/kdebug.h>
#include <sys/ktime.h>
#include <sys/mp.h>
#include <sys/spinlock.h>
#include <sys/semaphore.h>
#include <sys/thread.h>

Include dependency graph for semaphore.c:

Go to the source code of this file.

Functions
	LIST_HEAD (SemaListHead, Semaphore)
void	Semaphore_Destroy (Semaphore *sema)
void	Semaphore_Acquire (Semaphore *sema)
void	Semaphore_Release (Semaphore *sema)
bool	Semaphore_TryAcquire (Semaphore *sema)
void	Debug_Semaphores (int argc, const char *argv[])
	REGISTER_DBGCMD (semaphores, "Display list of semaphores", Debug_Semaphores)

Variables
Spinlock	semaListLock = { 0, 0, 0, 0, 0, 0, 0, 0, "Semaphore List" }

Function Documentation

Debug_Semaphores()

void Debug_Semaphores	(	int	argc,
		const char *	argv[]
	)

Definition at line 102 of file semaphore.c.

{
    Semaphore *sema;
 
    Spinlock_Lock(&semaListLock);
 
    kprintf("%-36s   Count\n", "Lock Name");
    LIST_FOREACH(sema, &semaList, semaphoreList)
    {
        Thread *thr;
        kprintf("%-36s %8d\n", sema->name, sema->count);
        TAILQ_FOREACH(thr, &sema->waiters, semaQueue) {
            kprintf("waiting: %d:%d\n", thr->proc->pid, thr->tid);
        }
    }
 
    Spinlock_Unlock(&semaListLock);
}

Here is the call graph for this function:

LIST_HEAD()

LIST_HEAD	(	SemaListHead	,
		Semaphore
	)

Definition at line 20 of file semaphore.c.

{
    Spinlock_Init(&sema->lock, name, SPINLOCK_TYPE_NORMAL);
    sema->count = count;
 
    strncpy(&sema->name[0], name, SEMAPHORE_NAMELEN);
    TAILQ_INIT(&sema->waiters);
 
    Spinlock_Lock(&semaListLock);
    LIST_INSERT_HEAD(&semaList, sema, semaphoreList);
    Spinlock_Unlock(&semaListLock);
}

REGISTER_DBGCMD()

REGISTER_DBGCMD	(	semaphores	,
		"Display list of semaphores"	,
		Debug_Semaphores
	)

Semaphore_Acquire()

void Semaphore_Acquire

(

Semaphore *

sema

)

Definition at line 49 of file semaphore.c.

{
    Thread *cur = Sched_Current();
 
    while (1) {
        Spinlock_Lock(&sema->lock);
        if (sema->count > 0) {
            sema->count -= 1;
            Spinlock_Unlock(&sema->lock);
            Thread_Release(cur);
            return;
        }
 
        // Add to sleeper list
        TAILQ_INSERT_TAIL(&sema->waiters, cur, semaQueue);
        Sched_SetWaiting(cur);
 
        Spinlock_Unlock(&sema->lock);
        Sched_Scheduler();
    }
}

Here is the call graph for this function:

Here is the caller graph for this function:

Semaphore_Destroy()

void Semaphore_Destroy

(

Semaphore *

sema

)

Definition at line 39 of file semaphore.c.

{
    Spinlock_Lock(&semaListLock);
    LIST_REMOVE(sema, semaphoreList);
    Spinlock_Unlock(&semaListLock);
 
    Spinlock_Destroy(&sema->lock);
}

Here is the call graph for this function:

Here is the caller graph for this function:

Semaphore_Release()

void Semaphore_Release

(

Semaphore *

sema

)

Definition at line 72 of file semaphore.c.

{
    Thread *thr;
 
    Spinlock_Lock(&sema->lock);
    sema->count += 1;
 
    // Wakeup thread
    thr = TAILQ_FIRST(&sema->waiters);
    if (thr != NULL) {
        TAILQ_REMOVE(&sema->waiters, thr, semaQueue);
        Sched_SetRunnable(thr);
    }
    Spinlock_Unlock(&sema->lock);
}

Here is the call graph for this function:

Here is the caller graph for this function:

Semaphore_TryAcquire()

bool Semaphore_TryAcquire

(

Semaphore *

sema

)

Definition at line 89 of file semaphore.c.

{
    Spinlock_Lock(&sema->lock);
    if (sema->count > 0) {
        sema->count -= 1;
        Spinlock_Unlock(&sema->lock);
        return true;
    }
    Spinlock_Unlock(&sema->lock);
    return false;
}

Here is the call graph for this function:

Variable Documentation

semaListLock

Spinlock semaListLock = { 0, 0, 0, 0, 0, 0, 0, 0, "Semaphore List" }

Definition at line 19 of file semaphore.c.