forked from yhzhang0128/egos-2000
-
Notifications
You must be signed in to change notification settings - Fork 0
/
grass.h
41 lines (34 loc) · 881 Bytes
/
grass.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
#pragma once
#include "elf.h"
#include "disk.h"
#include "syscall.h"
#include "servers.h"
#define MAX_NPROCESS 16
struct process{
int pid;
int status;
void *sp, *mepc;
int receiver_pid; /* used when status is PROC_WAIT_TO_SEND */
};
extern int proc_curr_idx;
extern struct process proc_set[MAX_NPROCESS];
enum {
PROC_UNUSED,
PROC_LOADING, /* allocated but waiting to load elf binary */
PROC_READY, /* finish loading but haven't started running */
PROC_RUNNING,
PROC_RUNNABLE,
PROC_WAIT_TO_SEND,
PROC_WAIT_TO_RECV
};
void timer_init();
void timer_reset();
void proc_init();
int proc_alloc();
void proc_free(int);
void proc_set_ready (int);
void proc_set_running (int);
void proc_set_runnable (int);
void ctx_entry(void);
void ctx_start(void** old_sp, void* new_sp);
void ctx_switch(void** old_sp, void* new_sp);