blob: 120bda49b1a54f6ebc068a5310db30b94c1c6955 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
|
#ifndef TASK_H
#define TASK_H
#include "collection/list.h"
/**
* Task control block, contains runtime
* information about tasks.
*/
struct tcb_t {
/** Stack pointer of this task. (must be first in structure) */
char* volatile sp;
/** Lowest address of this task's memory (inclusive). */
char* mem_low;
/** Highest address of this task's memory (inclusive). */
char* mem_high;
/** Entry function of this task. */
void (*entry)(char);
/** Current wait queue that this task is in.*/
struct list_head queue;
/** ID of task. */
char id;
};
/**
* Utility for declaring a task with statically allocated memory.
* Note: for a task to be scheduled, it must first be spawned (see spawn()).
*/
#define DECLARE_TASK(name, stack_size, entry_function, pid) \
static char _declared_stack_##name[stack_size]; \
static struct tcb_t name = { \
.sp = 0, \
.mem_low = _declared_stack_##name, \
.mem_high = _declared_stack_##name + stack_size - 1, \
.entry = entry_function, \
.queue = {}, \
.id = pid \
};
#endif
|