blob: 0d0e536ac20d6f383e7b0e85c4b9308c67ee4359 (
plain)
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
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
|
#ifndef U3_V4_H
#define U3_V4_H
#include "v5.h"
/*** current
***/
# define u3_v4_noun u3_v5_noun
# define u3_v4_none u3_v5_none
# define u3a_v4_heap u3a_v5_heap
# define u3a_v4_is_cat u3a_v5_is_cat
# define u3a_v4_is_cell u3a_v5_is_cell
# define u3a_v4_is_north u3a_v5_is_north
# define u3a_v4_is_pom u3a_v5_is_pom
# define u3a_v4_is_pug u3a_v5_is_pug
# define u3a_v4_north_is_normal u3a_v5_north_is_normal
# define u3j_v4_fink u3j_v5_fink
# define u3j_v4_fist u3j_v5_fist
# define u3j_v4_hank u3j_v5_hank
# define u3j_v4_rite u3j_v5_rite
# define u3j_v4_site u3j_v5_site
# define u3h_v4_buck u3h_v5_buck
# define u3h_v4_node u3h_v5_node
# define u3h_v4_root u3h_v5_root
# define u3h_v4_slot_is_node u3h_v5_slot_is_node
# define u3h_v4_slot_is_noun u3h_v5_slot_is_noun
# define u3h_v4_slot_is_null u3h_v5_slot_is_null
# define u3h_v4_noun_to_slot u3h_v5_noun_to_slot
# define u3h_v4_slot_to_noun u3h_v5_slot_to_noun
/*** allocate.h
***/
# define u3_Loom_v4 (u3_Loom + ((c3_z)1 << u3a_bits_max))
# define u3a_v4_vits 1
# define u3a_v4_walign (1 << u3a_v4_vits)
# define u3a_v4_balign (sizeof(c3_w)*u3a_v4_walign)
# define u3a_v4_fbox_no 27
# define u3a_v4_minimum ((c3_w)( 1 + c3_wiseof(u3a_v4_box) + c3_wiseof(u3a_v4_cell) ))
# define u3a_v4_into(x) ((void *)(u3_Loom_v4 + (x)))
# define u3a_v4_outa(p) ((c3_w *)(void *)(p) - u3_Loom_v4)
# define u3v4to(type, x) ((type *)u3a_v4_into(x))
# define u3v4of(type, x) (u3a_v4_outa((type*)x))
typedef struct {
c3_w mug_w;
} u3a_v4_noun;
typedef struct {
c3_w mug_w;
c3_w len_w;
c3_w buf_w[0];
} u3a_v4_atom;
typedef struct {
c3_w mug_w;
u3_noun hed;
u3_noun tel;
} u3a_v4_cell;
typedef struct _u3a_v4_box {
c3_w siz_w; // size of this box
c3_w use_w; // reference count; free if 0
} u3a_v4_box;
typedef struct _u3a_v4_fbox {
u3a_v4_box box_u;
u3p(struct _u3a_v4_fbox) pre_p;
u3p(struct _u3a_v4_fbox) nex_p;
} u3a_v4_fbox;
typedef struct _u3a_v4_road {
u3p(struct _u3a_v4_road) par_p; // parent road
u3p(struct _u3a_v4_road) kid_p; // child road list
u3p(struct _u3a_v4_road) nex_p; // sibling road
u3p(c3_w) cap_p; // top of transient region
u3p(c3_w) hat_p; // top of durable region
u3p(c3_w) mat_p; // bottom of transient region
u3p(c3_w) rut_p; // bottom of durable region
u3p(c3_w) ear_p; // original cap if kid is live
c3_w off_w; // spin stack offset
c3_w fow_w; // spin stack overflow count
c3_w fut_w[30]; // futureproof buffer
struct { // escape buffer
union {
jmp_buf buf;
c3_w buf_w[256]; // futureproofing
};
} esc;
struct { // miscellaneous config
c3_w fag_w; // flag bits
} how; //
struct { // allocation pools
u3p(u3a_v4_fbox) fre_p[u3a_v4_fbox_no]; // heap by node size log
u3p(u3a_v4_fbox) cel_p; // custom cell allocator
c3_w fre_w; // number of free words
c3_w max_w; // maximum allocated
} all;
struct {
u3p(u3h_root) hot_p; // hot state (home road only)
u3p(u3h_root) war_p; // warm state
u3p(u3h_root) cod_p; // cold state
u3p(u3h_root) han_p; // hank cache
u3p(u3h_root) bas_p; // battery hashes
} jed; // jet dashboard
struct { // bytecode state
u3p(u3h_v4_root) har_p; // formula->post of bytecode
} byc;
struct { // scry namespace
u3_noun gul; // (list $+(* (unit (unit)))) now
} ski;
struct { // trace stack
u3_noun tax; // (list ,*)
u3_noun mer; // emergency buffer to release
} bug;
struct { // profile stack
c3_d nox_d; // nock steps
c3_d cel_d; // cell allocations
u3_noun don; // (list batt)
u3_noun trace; // (list trace)
u3_noun day; // doss, only in u3H (moveme)
} pro;
struct { // memoization caches
u3p(u3h_v4_root) har_p; // transient
u3p(u3h_v4_root) per_p; // persistent
} cax;
} u3a_v4_road;
typedef u3a_v4_road u3_v4_road;
extern u3a_v4_road* u3a_v4_Road;
# define u3R_v4 u3a_v4_Road
# define u3a_v4_to_off(som) (((som) & 0x3fffffff) << u3a_v4_vits)
# define u3a_v4_to_ptr(som) (u3a_v4_into(u3a_v4_to_off(som)))
# define u3a_v4_to_pug(off) ((off >> u3a_v4_vits) | 0x80000000)
# define u3a_v4_to_pom(off) ((off >> u3a_v4_vits) | 0xc0000000)
# define u3a_v4_botox(tox_v) ( (u3a_v4_box *)(void *)(tox_v) - 1 )
// XX abort() instead of u3m_bail?
//
# define u3a_v4_head(som) \
( _(u3a_v4_is_cell(som)) \
? ( ((u3a_v4_cell *)u3a_v4_to_ptr(som))->hed )\
: u3m_bail(c3__exit) )
# define u3a_v4_tail(som) \
( _(u3a_v4_is_cell(som)) \
? ( ((u3a_v4_cell *)u3a_v4_to_ptr(som))->tel )\
: u3m_bail(c3__exit) )
void*
u3a_v4_walloc(c3_w len_w);
void
u3a_v4_wfree(void* lag_v);
void
u3a_v4_free(void* tox_v);
void
u3a_v4_lose(u3_weak som);
void
u3a_v4_ream(void);
c3_o
u3a_v4_rewrite_ptr(void* ptr_v);
u3_post
u3a_v4_rewritten(u3_post som_p);
/*** jets.h
***/
void
u3j_v4_rite_lose(u3j_v4_rite* rit_u);
void
u3j_v4_site_lose(u3j_v4_site* sit_u);
void
u3j_v4_free_hank(u3_noun kev);
/*** hashtable.h
***/
void
u3h_v4_free(u3p(u3h_v4_root) har_p);
u3p(u3h_v4_root)
u3h_v4_new(void);
u3p(u3h_v4_root)
u3h_v4_new_cache(c3_w max_w);
void
u3h_v4_walk(u3p(u3h_v4_root) har_p, void (*fun_f)(u3_noun));
void
u3h_v4_walk_with(u3p(u3h_v4_root) har_p,
void (*fun_f)(u3_noun, void*),
void* wit);
/*** manage.h
***/
void
u3m_v4_reclaim(void);
/*** vortex.h
***/
typedef struct __attribute__((__packed__)) _u3v_v4_arvo {
c3_d eve_d; // event number
u3_noun yot; // cached gates
u3_noun now; // current time
u3_noun roc; // kernel core
} u3v_v4_arvo;
typedef c3_w u3v_v4_version;
/* u3v_home: all internal (within image) state.
** NB: version must be last for discriminability in north road
*/
typedef struct _u3v_v4_home {
u3a_v4_road rod_u; // storage state
u3v_v4_arvo arv_u; // arvo state
u3v_v4_version ver_w; // version number
} u3v_v4_home;
extern u3v_v4_home* u3v_v4_Home;
# define u3H_v4 u3v_v4_Home
# define u3A_v4 (&(u3v_v4_Home->arv_u))
/*** init
***/
void
u3_v4_load(c3_z wor_i);
#endif /* U3_V4_H */
|
