annotate src/proc.h @ 80:c976a8bbe8c5

add stac.h and Stac.cbc
author tobaru
date Wed, 09 Oct 2019 20:41:51 +0900
parents fb3e5a2f76c1
children a4307abefd0b
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
26
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 25
diff changeset
1 #include "typedefData.h"
0
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
2 #ifndef PROC_INCLUDE_
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 #define PROC_INCLUDE_
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
4
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 // Per-CPU state, now we only support one CPU
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 struct cpu {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 uchar id; // index into cpus[] below
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 struct context* scheduler; // swtch() here to enter scheduler
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 volatile uint started; // Has the CPU started?
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
10
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 int ncli; // Depth of pushcli nesting.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 int intena; // Were interrupts enabled before pushcli?
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
13
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 // Cpu-local storage variables; see below
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
15 struct cpu* cpu;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 struct proc* proc; // The currently-running process.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 };
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
18
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 extern struct cpu cpus[NCPU];
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 extern int ncpu;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
21
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
22
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 extern struct cpu* cpu;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 extern struct proc* proc;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
25
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 //PAGEBREAK: 17
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 // Saved registers for kernel context switches. The context switcher
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 // needs to save the callee save register, as usually. For ARM, it is
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 // also necessary to save the banked sp (r13) and lr (r14) registers.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 // There is, however, no need to save the user space pc (r15) because
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 // pc has been saved on the stack somewhere. We only include it here
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 // for debugging purpose. It will not be restored for the next process.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 // According to ARM calling convension, r0-r3 is caller saved. We do
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 // not need to save sp_svc, as it will be saved in the pcb, neither
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 // pc_svc, as it will be always be the same value.
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 //
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 // Keep it in sync with swtch.S
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 //
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 struct context {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 // svc mode registers
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 uint r4;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 uint r5;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 uint r6;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 uint r7;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 uint r8;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 uint r9;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 uint r10;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
48 uint r11;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
49 uint r12;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
50 uint lr;
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
51 };
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
52
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
53
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
54 enum procstate { UNUSED, EMBRYO, SLEEPING, RUNNABLE, RUNNING, ZOMBIE };
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
55
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
56 // Per-process state
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
57 struct proc {
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
58 uint sz; // Size of process memory (bytes)
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
59 pde_t* pgdir; // Page table
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
60 char* kstack; // Bottom of kernel stack for this process
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
61 enum procstate state; // Process state
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
62 volatile int pid; // Process ID
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
63 struct proc* parent; // Parent process
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
64 struct trapframe* tf; // Trap frame for current syscall
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
65 struct context* context; // swtch() here to run process
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
66 void* chan; // If non-zero, sleeping on chan
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
67 int killed; // If non-zero, have been killed
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
68 struct file* ofile[NOFILE]; // Open files
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
69 struct inode* cwd; // Current directory
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
70 char name[16]; // Process name (debugging)
25
a5ccbc210ff8 fix proc.h
mir3636
parents: 0
diff changeset
71 union cbc_arg {
a5ccbc210ff8 fix proc.h
mir3636
parents: 0
diff changeset
72 struct cbc_console_arg {
37
mir3636
parents: 32
diff changeset
73 int n;
32
96af12a50fdb fix cbc_read
mir3636
parents: 31
diff changeset
74 int target;
96af12a50fdb fix cbc_read
mir3636
parents: 31
diff changeset
75 char* dst;
96af12a50fdb fix cbc_read
mir3636
parents: 31
diff changeset
76 struct inode *ip;
96af12a50fdb fix cbc_read
mir3636
parents: 31
diff changeset
77 struct file *f;
96af12a50fdb fix cbc_read
mir3636
parents: 31
diff changeset
78 int num;
37
mir3636
parents: 32
diff changeset
79 struct pipe *p;
mir3636
parents: 32
diff changeset
80 char *addr;
mir3636
parents: 32
diff changeset
81 int i;
32
96af12a50fdb fix cbc_read
mir3636
parents: 31
diff changeset
82 __code (*next)(int ret);
26
Takahiro SHIMIZU <anatofuz@cr.ie.u-ryukyu.ac.jp>
parents: 25
diff changeset
83 } cbc_console_arg;
25
a5ccbc210ff8 fix proc.h
mir3636
parents: 0
diff changeset
84 } cbc_arg;
a5ccbc210ff8 fix proc.h
mir3636
parents: 0
diff changeset
85 __code (*cbc_next)();
27
mir3636
parents: 26
diff changeset
86 struct spinlock *lk;
0
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
87 };
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
88
80
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
89 // typedef struct context_interface<Type,Imple>{
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
90 // // union Data* stack;
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
91 // // union Data* data;
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
92 //
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
93 // // __code push(Impl* stack,Type* data, __code next(...));
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
94 // // __code next(...);
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
95 //
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
96 // union Data* stack;
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
97 // union Data* data;
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
98 // union Data* data1;
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
99 // enum Code whenEmpty;
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
100 // enum Code clear;
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
101 // enum Code push;
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
102 // enum Code pop;
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
103 // enum Code pop2;
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
104 // enum Code isEmpty;
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
105 // enum Code get;
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
106 // enum Code get2;
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
107 // enum Code next;
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
108 // }context_interface;
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
109
c976a8bbe8c5 add stac.h and Stac.cbc
tobaru
parents: 37
diff changeset
110
0
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
111 // Process memory is laid out contiguously, low addresses first:
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
112 // text
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
113 // original data and bss
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
114 // fixed-size stack
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
115 // expandable heap
Tatsuki IHA <e125716@ie.u-ryukyu.ac.jp>
parents:
diff changeset
116 #endif