Library mcertikos.proc.PSleeperCSource

#define num_proc 1024
#define num_chan 266137

#define TSTATE_READY 0
#define TSTATE_RUN 1
#define TSTATE_SLEEP 2
#define TSTATE_DEAD 3

struct TCB_node{
    unsigned int state;
    unsigned int cpu_id;
    unsigned int prev;
    unsigned int next;
};

struct TDQ_node{
    unsigned int head;
    unsigned int tail;
};

struct TCB{
    struct TCB_node TCB_pool[num_proc];
    struct TDQ_node TDQ_pool[num_chan];
};

extern struct TCB TCBPool_LOC;

void
tcb_init(unsigned int proc_index)
{
    TCBPool_LOC.TCB_pool[proc_index].state = TSTATE_DEAD;
    TCBPool_LOC.TCB_pool[proc_index].cpu_id = 0;
    TCBPool_LOC.TCB_pool[proc_index].prev = num_proc;
    TCBPool_LOC.TCB_pool[proc_index].next = num_proc;
}

void
tdq_init(unsigned int chan_index)
{
    TCBPool_LOC.TDQ_pool[chan_index].head = num_proc;
    TCBPool_LOC.TDQ_pool[chan_index].tail = num_proc;
}

unsigned int
tcb_get_state(unsigned int proc_index)
{
    return TCBPool_LOC.TCB_pool[proc_index].state;
}

void
tcb_set_state(unsigned int proc_index, unsigned int state)
{
    TCBPool_LOC.TCB_pool[proc_index].state = state;
}

unsigned int
tcb_get_CPU_ID_state(unsigned int proc_index)
{
    return TCBPool_LOC.TCB_pool[proc_index].cpu_id;
}

void
tcb_set_CPU_ID_state(unsigned int proc_index, unsigned int cpu_id)
{
    TCBPool_LOC.TCB_pool[proc_index].cpu_id = cpu_id;
}

unsigned int
tcb_get_prev(unsigned int proc_index)
{
    return TCBPool_LOC.TCB_pool[proc_index].prev;
}

void
tcb_set_prev(unsigned int proc_index, unsigned int prev)
{
    TCBPool_LOC.TCB_pool[proc_index].prev = prev;
}

unsigned int
tcb_get_next(unsigned int proc_index)
{
    return TCBPool_LOC.TCB_pool[proc_index].next;
}

void
tcb_set_next(unsigned int proc_index, unsigned int next)
{
    TCBPool_LOC.TCB_pool[proc_index].next = next;
}

unsigned int
tdq_get_head(unsigned int chan_index)
{
    return TCBPool_LOC.TDQ_pool[chan_index].head;
}

void
tdq_set_head(unsigned int chan_index, unsigned int head)
{
    TCBPool_LOC.TDQ_pool[chan_index].head = head;
}

unsigned int
tdq_get_tail(unsigned int chan_index)
{
    return TCBPool_LOC.TDQ_pool[chan_index].tail;
}

void
tdq_set_tail(unsigned int chan_index, unsigned int tail)
{
    TCBPool_LOC.TDQ_pool[chan_index].tail = tail;
}