annotate paper/src/context.h @ 18:415fa6d79d00

Add GearsOS description
author atton <atton@cr.ie.u-ryukyu.ac.jp>
date Fri, 20 Jan 2017 14:39:45 +0900
parents
children
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
18
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
1 /* Context definition */
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
2
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
3 #define ALLOCATE_SIZE 1024
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
4
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
5 enum Code {
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
6 Code1,
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
7 Code2,
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
8 Allocator,
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
9 };
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
10
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
11 enum UniqueData {
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
12 Allocate,
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
13 Tree,
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
14 };
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
15
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
16 struct Context {
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
17 int codeNum;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
18 __code (**code) (struct Context *);
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
19 void* heap_start;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
20 void* heap;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
21 long dataSize;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
22 int dataNum;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
23 union Data **data;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
24 };
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
25
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
26 union Data {
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
27 struct Tree {
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
28 union Data* root;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
29 union Data* current;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
30 union Data* prev;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
31 int result;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
32 } tree;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
33 struct Node {
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
34 int key;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
35 int value;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
36 enum Color {
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
37 Red,
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
38 Black,
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
39 } color;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
40 union Data* left;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
41 union Data* right;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
42 } node;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
43 struct Allocate {
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
44 long size;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
45 enum Code next;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
46 } allocate;
415fa6d79d00 Add GearsOS description
atton <atton@cr.ie.u-ryukyu.ac.jp>
parents:
diff changeset
47 };