src/kernel/task.h


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
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63

#ifndef TASK_H
#define TASK_H

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

#define TASK_NAME_LEN 15
#define MAX_WAITS 16

struct wait {
  enum {
    NONE,
    PROCESS_END,
    WINDOW_ACTION,
    IPC_RECEIVE,
    IPC_RECEIVE_ANY,
    IPC_SEND
  } mode;
  union {
    struct task_state *task;
  };
};

struct task_state {
  uint32_t ret_addr;
  void *page_directory;

  uint32_t ebx;
  uint32_t ecx;
  uint32_t edx;
  uint32_t esi;
  uint32_t edi;
  uint32_t ebp;
  uint32_t esp;

  uint32_t stack_bottom;

  struct wait waits[MAX_WAITS];
  bool waiting;

  char name[TASK_NAME_LEN + 1];
} __attribute__ ((packed));

void add_wait(struct wait wait);
void unwait_any(struct wait wait);
void unwait(struct task_state *task, struct wait wait);

extern struct task_state tasks[];
extern struct task_state *active_task;

void init_tasks();

uint32_t new_task(struct task_state state);
void advance_active_task();

void delete_task(struct task_state *state);

uint32_t ipc_send(uint32_t reader_handle, uint32_t count, const void *buffer);
uint32_t ipc_read(uint32_t sender_handle, uint32_t count, void *buffer);

uint32_t find_unread_ipc();

#endif