os.h

Go to the documentation of this file.

/* -*- mode: c; c-basic-offset: 4; -*- */
/* Created by Hershal Bhave 2015-02-08 */
/* Revision History: Look in Git FGT */

#ifndef __OS__
#define __OS__

#include <stdint.h>
#include <stdbool.h>

#include "inc/hw_ints.h"

#include "libstd/nexus.h"
#include "libschedule/edf.h"
#include "thread_structures.h"

#define OS_STACK_SIZE   100

#define OS_NUM_POOLS    2

#define OS_SYSTEM_POOL       0

#define OS_REAL_TIME_POOL    0

#define OS_INTERACTIVE_POOL  1

#define os_spawn_thread(_thread, _priority)     \
    os_add_thread(_thread, priority)

#define os_kill_thread(_thread)                 \
    os_remove_thread(_thread)

static tcb_t* os_running_threads = NULL;

static tcb_t* os_dead_threads = NULL;

typedef struct hwcontext {
    uint32_t r0;
    uint32_t r1;
    uint32_t r2;
    uint32_t r3;
    uint32_t r12;
    uint32_t lr;
    uint32_t pc;
    uint32_t psr;
} hwcontext_t;

typedef struct swcontext {
    uint32_t r4;
    uint32_t r5;
    uint32_t r6;
    uint32_t r7;
    uint32_t r8;
    uint32_t r9;
    uint32_t r10;
    uint32_t r11;
    uint32_t lr;
} swcontext_t;

static tcb_t* OS_NEXT_THREAD;

static tcb_t OS_THREADS[SCHEDULER_MAX_THREADS];

static tcb_t* OS_THREAD_POOL[OS_NUM_POOLS];

void os_threading_init(void);

void _os_reset_thread_stack(tcb_t* tcb, task_t task);

int8_t get_os_num_threads();

tcb_t* os_add_thread(task_t);

tcb_t* os_remove_thread(task_t);

tcb_t* os_tcb_of(task_t);

tcb_t* _os_next_dead_thread();

/* TODO: doxygenize */
int32_t os_running_thread_id();

void os_launch();

#define os_surrender_context()                  \
    os_suspend()

void os_suspend();

#endif