dispatcher.h File Reference

Dispatcher. More...

#include <kernel/pcb.h>
#include <common/stdlib.h>
#include <common/stdio.h>
#include <common/memory.h>
#include <common/queue.h>

Go to the source code of this file.

Functions
void	dispatcher_init ()
void	process_switch ()
pcb_t *	get_current_pcb ()
void	spawn_process (void *process_function)

Detailed Description

Dispatcher.

Function Documentation

dispatcher_init()

void dispatcher_init

(

)

Initializes the dispatcher.

get_current_pcb()

pcb_t* get_current_pcb

(

)

Returns the adress for the PCB of the currently running process.

Returns

Adress of the current process' PCB

process_switch()

void process_switch

(

)

Enqueues the running process into the ready queue, pops another process from the queue and assigns it as the running process.

spawn_process()

void spawn_process

(

void *

process_function

)

Initialize a pcb and enqueue the proces into the ready queue if it already exists a running process, otherwise set it to running process.

Parameters

process_function

A pointer to a function (the process)