xbintsc 0.3.25 → 0.3.46
This diff represents the content of publicly available package versions that have been released to one of the supported registries. The information contained in this diff is provided for informational purposes only and reflects changes between package versions as they appear in their respective public registries.
- package/README.md +39 -3
- package/dist/src/cli/main.js +124 -30
- package/dist/src/cli/main.js.map +1 -1
- package/dist/src/codegen/generator/calls/access.js +8 -1
- package/dist/src/codegen/generator/calls/access.js.map +1 -1
- package/dist/src/codegen/generator/module.js +10 -0
- package/dist/src/codegen/generator/module.js.map +1 -1
- package/dist/src/codegen/generator/state.js +24 -0
- package/dist/src/codegen/generator/state.js.map +1 -1
- package/dist/src/codegen/generator/tables.d.ts +6 -0
- package/dist/src/codegen/generator/tables.js +38 -0
- package/dist/src/codegen/generator/tables.js.map +1 -1
- package/dist/src/driver/bundler/commonjs.d.ts +52 -0
- package/dist/src/driver/bundler/commonjs.js +493 -0
- package/dist/src/driver/bundler/commonjs.js.map +1 -0
- package/dist/src/driver/bundler/graph.js +14 -0
- package/dist/src/driver/bundler/graph.js.map +1 -1
- package/dist/src/driver/bundler/merge.js +14 -0
- package/dist/src/driver/bundler/merge.js.map +1 -1
- package/dist/src/driver/bundler/types.d.ts +8 -0
- package/dist/src/driver/compiler.d.ts +8 -1
- package/dist/src/driver/compiler.js +73 -5
- package/dist/src/driver/compiler.js.map +1 -1
- package/dist/src/driver/config.d.ts +53 -0
- package/dist/src/driver/config.js +141 -0
- package/dist/src/driver/config.js.map +1 -0
- package/dist/src/driver/icon.d.ts +62 -0
- package/dist/src/driver/icon.js +151 -0
- package/dist/src/driver/icon.js.map +1 -0
- package/dist/src/driver/index.d.ts +4 -0
- package/dist/src/driver/index.js +4 -0
- package/dist/src/driver/index.js.map +1 -1
- package/dist/src/driver/mac-bundle.d.ts +41 -0
- package/dist/src/driver/mac-bundle.js +123 -0
- package/dist/src/driver/mac-bundle.js.map +1 -0
- package/dist/src/driver/win-icon.d.ts +27 -0
- package/dist/src/driver/win-icon.js +80 -0
- package/dist/src/driver/win-icon.js.map +1 -0
- package/dist/src/parser/statements.js +17 -4
- package/dist/src/parser/statements.js.map +1 -1
- package/dist/tests/cli/main.test.js +46 -1
- package/dist/tests/cli/main.test.js.map +1 -1
- package/dist/tests/driver/config.test.d.ts +1 -0
- package/dist/tests/driver/config.test.js +124 -0
- package/dist/tests/driver/config.test.js.map +1 -0
- package/dist/tests/driver/icon.test.d.ts +1 -0
- package/dist/tests/driver/icon.test.js +421 -0
- package/dist/tests/driver/icon.test.js.map +1 -0
- package/dist/tests/driver/modules.test.js +109 -0
- package/dist/tests/driver/modules.test.js.map +1 -1
- package/dist/tests/e2e/fetch.test.d.ts +12 -0
- package/dist/tests/e2e/fetch.test.js +272 -0
- package/dist/tests/e2e/fetch.test.js.map +1 -0
- package/dist/tests/e2e/gc.test.d.ts +1 -0
- package/dist/tests/e2e/gc.test.js +168 -0
- package/dist/tests/e2e/gc.test.js.map +1 -0
- package/dist/tests/e2e/gui-dom.test.d.ts +5 -0
- package/dist/tests/e2e/gui-dom.test.js +102 -0
- package/dist/tests/e2e/gui-dom.test.js.map +1 -0
- package/dist/tests/e2e/gui-events.test.d.ts +5 -0
- package/dist/tests/e2e/gui-events.test.js +60 -0
- package/dist/tests/e2e/gui-events.test.js.map +1 -0
- package/dist/tests/e2e/gui-helpers.d.ts +31 -0
- package/dist/tests/e2e/gui-helpers.js +74 -0
- package/dist/tests/e2e/gui-helpers.js.map +1 -0
- package/dist/tests/e2e/gui-layout.test.d.ts +4 -0
- package/dist/tests/e2e/gui-layout.test.js +88 -0
- package/dist/tests/e2e/gui-layout.test.js.map +1 -0
- package/dist/tests/e2e/gui-lifecycle.test.d.ts +5 -0
- package/dist/tests/e2e/gui-lifecycle.test.js +58 -0
- package/dist/tests/e2e/gui-lifecycle.test.js.map +1 -0
- package/dist/tests/e2e/gui-paint.test.d.ts +5 -0
- package/dist/tests/e2e/gui-paint.test.js +111 -0
- package/dist/tests/e2e/gui-paint.test.js.map +1 -0
- package/dist/tests/e2e/gui-script.test.d.ts +5 -0
- package/dist/tests/e2e/gui-script.test.js +78 -0
- package/dist/tests/e2e/gui-script.test.js.map +1 -0
- package/dist/tests/e2e/gui-style.test.d.ts +5 -0
- package/dist/tests/e2e/gui-style.test.js +175 -0
- package/dist/tests/e2e/gui-style.test.js.map +1 -0
- package/dist/tests/e2e/harness.d.ts +2 -0
- package/dist/tests/e2e/harness.js +1 -0
- package/dist/tests/e2e/harness.js.map +1 -1
- package/dist/tests/e2e/icon.test.d.ts +7 -0
- package/dist/tests/e2e/icon.test.js +80 -0
- package/dist/tests/e2e/icon.test.js.map +1 -0
- package/dist/tests/e2e/npm-modules.test.d.ts +4 -1
- package/dist/tests/e2e/npm-modules.test.js +47 -1
- package/dist/tests/e2e/npm-modules.test.js.map +1 -1
- package/dist/tests/e2e/runtime-coverage-typed-array.test.d.ts +9 -0
- package/dist/tests/e2e/runtime-coverage-typed-array.test.js +140 -0
- package/dist/tests/e2e/runtime-coverage-typed-array.test.js.map +1 -0
- package/dist/tests/parser/statements.test.js +11 -0
- package/dist/tests/parser/statements.test.js.map +1 -1
- package/package.json +3 -2
- package/runtime/ext_gui/css.cpp +4 -517
- package/runtime/ext_gui/css_internal.h +27 -0
- package/runtime/ext_gui/css_match.cpp +195 -0
- package/runtime/ext_gui/css_selector.cpp +207 -0
- package/runtime/ext_gui/css_sheet.cpp +129 -0
- package/runtime/ext_gui/dom.cpp +7 -403
- package/runtime/ext_gui/dom_api.cpp +63 -1146
- package/runtime/ext_gui/dom_api_document.cpp +96 -0
- package/runtime/ext_gui/dom_api_events.cpp +123 -0
- package/runtime/ext_gui/dom_api_internal.h +135 -0
- package/runtime/ext_gui/dom_api_node.cpp +329 -0
- package/runtime/ext_gui/dom_api_node_read.cpp +294 -0
- package/runtime/ext_gui/dom_api_proto.cpp +135 -0
- package/runtime/ext_gui/dom_api_style.cpp +192 -0
- package/runtime/ext_gui/dom_internal.h +39 -0
- package/runtime/ext_gui/dom_parse.cpp +348 -0
- package/runtime/ext_gui/dom_serialize.cpp +54 -0
- package/runtime/ext_gui/gui.cpp +56 -286
- package/runtime/ext_gui/gui_events.cpp +294 -0
- package/runtime/ext_gui/gui_internal.h +29 -0
- package/runtime/ext_gui/layout.cpp +6 -597
- package/runtime/ext_gui/layout_flex.cpp +200 -0
- package/runtime/ext_gui/layout_flow.cpp +191 -0
- package/runtime/ext_gui/layout_flow_internal.h +149 -0
- package/runtime/ext_gui/layout_inline.cpp +181 -0
- package/runtime/ext_gui/layout_internal.h +20 -0
- package/runtime/ext_gui/renderer.cpp +15 -679
- package/runtime/ext_gui/renderer_image.cpp +233 -0
- package/runtime/ext_gui/renderer_internal.h +112 -0
- package/runtime/ext_gui/renderer_shaders.h +108 -0
- package/runtime/ext_gui/renderer_text.cpp +342 -0
- package/runtime/ext_gui/style.cpp +12 -660
- package/runtime/ext_gui/style_internal.h +33 -0
- package/runtime/ext_gui/style_print.cpp +113 -0
- package/runtime/ext_gui/style_ua.cpp +98 -0
- package/runtime/ext_gui/style_values.cpp +468 -0
- package/runtime/ext_gui/window.cpp +1 -0
- package/runtime/ext_node/buffer/parts/prototype.inc +1 -0
- package/runtime/ext_node/dgram/dgram.c +1 -0
- package/runtime/ext_node/events/events.c +1 -0
- package/runtime/ext_node/fs/fs_ops.c +10 -25
- package/runtime/ext_node/fs/glob.c +13 -30
- package/runtime/ext_node/fs/promises.c +1 -0
- package/runtime/ext_node/http/parts/prototypes.inc +5 -0
- package/runtime/ext_node/net/parts/prototypes.inc +2 -0
- package/runtime/ext_node/process/process.c +9 -7
- package/runtime/ext_node/stream/stream.c +1 -0
- package/runtime/ext_node/util/util.c +6 -6
- package/runtime/rt.h +16 -0
- package/runtime/rt_internal.h +67 -2
- package/runtime/xt_alloc.c +442 -5
- package/runtime/xt_builtins.c +1 -0
- package/runtime/xt_containers/access.inc +32 -1
- package/runtime/xt_fetch/buffer.inc +64 -0
- package/runtime/xt_fetch/headers.inc +312 -0
- package/runtime/xt_fetch/request.inc +386 -0
- package/runtime/xt_fetch/response.inc +107 -0
- package/runtime/xt_fetch/socket.inc +72 -0
- package/runtime/xt_fetch/url.inc +108 -0
- package/runtime/xt_fetch.c +39 -0
- package/runtime/xt_generator.c +95 -1
- package/runtime/xt_loop.c +35 -1
- package/runtime/xt_promise.c +46 -0
- package/runtime/xt_stdlib2/error.inc +1 -0
- package/runtime/xt_stdlib2/regexp-match.inc +8 -7
- package/runtime/xt_stdlib2/set.inc +1 -1
- package/runtime/xt_symbol.c +2 -0
- package/runtime/xt_typed_array/construction.inc +142 -0
- package/runtime/xt_typed_array/elements.inc +92 -0
- package/runtime/xt_typed_array/methods.inc +329 -0
- package/runtime/xt_typed_array.c +72 -0
- package/runtime/xt_values/number-format.inc +26 -0
- package/scripts/check-file-length.ts +85 -0
- package/src/cli/main.ts +137 -29
- package/src/codegen/generator/calls/access.ts +9 -1
- package/src/codegen/generator/module.ts +10 -0
- package/src/codegen/generator/state.ts +24 -0
- package/src/codegen/generator/tables.ts +40 -0
- package/src/driver/bundler/commonjs.ts +553 -0
- package/src/driver/bundler/graph.ts +14 -0
- package/src/driver/bundler/merge.ts +15 -0
- package/src/driver/bundler/types.ts +8 -0
- package/src/driver/compiler.ts +83 -5
- package/src/driver/config.ts +173 -0
- package/src/driver/icon.ts +184 -0
- package/src/driver/index.ts +30 -0
- package/src/driver/mac-bundle.ts +156 -0
- package/src/driver/win-icon.ts +96 -0
- package/src/parser/statements.ts +17 -4
- package/dist/tests/e2e/gui.test.d.ts +0 -12
- package/dist/tests/e2e/gui.test.js +0 -702
- package/dist/tests/e2e/gui.test.js.map +0 -1
package/runtime/xt_alloc.c
CHANGED
|
@@ -1,31 +1,152 @@
|
|
|
1
1
|
/*
|
|
2
|
-
* xbintsc runtime — heap allocation.
|
|
2
|
+
* xbintsc runtime — heap allocation and garbage collection.
|
|
3
3
|
*
|
|
4
|
-
*
|
|
5
|
-
*
|
|
6
|
-
*
|
|
4
|
+
* Every heap object is a `calloc`-backed block whose first bytes are an
|
|
5
|
+
* `xt_header`. Live blocks are threaded through `g_heap_head` (`gc_next`), and
|
|
6
|
+
* the collector is a non-moving mark-sweep over that list:
|
|
7
|
+
*
|
|
8
|
+
* 1. build an address -> header hash set of every live allocation;
|
|
9
|
+
* 2. mark from the roots — registered slots, root providers and a
|
|
10
|
+
* conservative scan of the active C stack (the whole `jmp_buf` plus the
|
|
11
|
+
* stack words up to the region's high bound);
|
|
12
|
+
* 3. trace each marked object. Value fields are visited precisely where the
|
|
13
|
+
* layout is known, but the object payload and its separately allocated
|
|
14
|
+
* backing buffers are also scanned conservatively, so a raw pointer held
|
|
15
|
+
* by older code is still followed;
|
|
16
|
+
* 4. sweep: unmarked blocks are released (including their backing buffers)
|
|
17
|
+
* and unlinked, survivors keep their block and have the mark bit cleared.
|
|
18
|
+
*
|
|
19
|
+
* A non-moving collector keeps the NaN-boxed `xt_value` representation
|
|
20
|
+
* untouched: a pointer never changes, so no write barriers or handle
|
|
21
|
+
* indirection are needed. `gc_next` doubles as the live list and, once a block
|
|
22
|
+
* is released, the memory simply returns to `malloc`.
|
|
23
|
+
*
|
|
24
|
+
* The collector is single-threaded, like the rest of the runtime (workers are
|
|
25
|
+
* child processes, not threads).
|
|
7
26
|
*/
|
|
8
27
|
|
|
9
28
|
#include "rt_internal.h"
|
|
10
29
|
|
|
30
|
+
#include <setjmp.h>
|
|
11
31
|
#include <stdio.h>
|
|
12
32
|
#include <stdlib.h>
|
|
33
|
+
#include <string.h>
|
|
13
34
|
|
|
14
35
|
/* ------------------------------------------------------------------------- */
|
|
15
|
-
/*
|
|
36
|
+
/* Heap state */
|
|
16
37
|
/* ------------------------------------------------------------------------- */
|
|
17
38
|
|
|
18
39
|
static size_t g_heap_bytes = 0;
|
|
19
40
|
static size_t g_heap_allocations = 0;
|
|
20
41
|
static xt_header *g_heap_head = NULL;
|
|
21
42
|
|
|
43
|
+
static int g_gc_initialised = 0;
|
|
44
|
+
static int g_gc_armed = 0;
|
|
45
|
+
static int g_gc_running = 0;
|
|
46
|
+
static int g_gc_threshold_pinned = 0;
|
|
47
|
+
static size_t g_gc_threshold = (size_t)16 << 20; /* 16 MiB */
|
|
48
|
+
#define XT_GC_MIN_THRESHOLD ((size_t)1 << 20)
|
|
49
|
+
|
|
50
|
+
/* ------------------------------------------------------------------------- */
|
|
51
|
+
/* Roots */
|
|
52
|
+
/* ------------------------------------------------------------------------- */
|
|
53
|
+
|
|
54
|
+
static xt_value **g_root_slots = NULL;
|
|
55
|
+
static size_t g_root_count = 0;
|
|
56
|
+
static size_t g_root_capacity = 0;
|
|
57
|
+
|
|
58
|
+
static void (**g_root_providers)(void) = NULL;
|
|
59
|
+
static size_t g_root_provider_count = 0;
|
|
60
|
+
static size_t g_root_provider_capacity = 0;
|
|
61
|
+
|
|
62
|
+
/* ------------------------------------------------------------------------- */
|
|
63
|
+
/* Active stack regions */
|
|
64
|
+
/* ------------------------------------------------------------------------- */
|
|
65
|
+
|
|
66
|
+
#define XT_GC_MAX_STACKS 64
|
|
67
|
+
typedef struct {
|
|
68
|
+
uintptr_t low;
|
|
69
|
+
uintptr_t high;
|
|
70
|
+
/* Lower bound captured from the stack below this region when a deeper region
|
|
71
|
+
* was entered on top of it. `UINTPTR_MAX` means "this is the top region"; the
|
|
72
|
+
* collector then scans from the current stack pointer. */
|
|
73
|
+
uintptr_t scan_low;
|
|
74
|
+
} xt_stack_region;
|
|
75
|
+
|
|
76
|
+
static xt_stack_region g_stack_regions[XT_GC_MAX_STACKS];
|
|
77
|
+
static int g_stack_depth = 0;
|
|
78
|
+
|
|
79
|
+
/* ------------------------------------------------------------------------- */
|
|
80
|
+
/* Mark stack and address set */
|
|
81
|
+
/* ------------------------------------------------------------------------- */
|
|
82
|
+
|
|
83
|
+
static xt_header **g_gray = NULL;
|
|
84
|
+
static size_t g_gray_count = 0;
|
|
85
|
+
static size_t g_gray_capacity = 0;
|
|
86
|
+
|
|
87
|
+
static xt_header **g_table = NULL;
|
|
88
|
+
static size_t g_table_capacity = 0;
|
|
89
|
+
static size_t g_table_mask = 0;
|
|
90
|
+
|
|
91
|
+
static size_t xt_gc_hash(uintptr_t pointer) {
|
|
92
|
+
uint64_t mixed = (uint64_t)(pointer >> 4) * 0x9E3779B97F4A7C15ULL;
|
|
93
|
+
return (size_t)(mixed >> 17);
|
|
94
|
+
}
|
|
95
|
+
|
|
96
|
+
static xt_header *xt_gc_table_lookup(uintptr_t pointer) {
|
|
97
|
+
if (g_table_capacity == 0) return NULL;
|
|
98
|
+
size_t slot = xt_gc_hash(pointer) & g_table_mask;
|
|
99
|
+
for (;;) {
|
|
100
|
+
xt_header *header = g_table[slot];
|
|
101
|
+
if (!header) return NULL;
|
|
102
|
+
if ((uintptr_t)header == pointer) return header;
|
|
103
|
+
slot = (slot + 1) & g_table_mask;
|
|
104
|
+
}
|
|
105
|
+
}
|
|
106
|
+
|
|
107
|
+
static void xt_gc_table_build(void) {
|
|
108
|
+
size_t capacity = 16;
|
|
109
|
+
while (capacity < (g_heap_allocations + 1) * 2) capacity <<= 1;
|
|
110
|
+
free(g_table);
|
|
111
|
+
g_table = (xt_header **)calloc(capacity, sizeof(xt_header *));
|
|
112
|
+
if (!g_table) {
|
|
113
|
+
fprintf(stderr, "xbintsc: out of memory building GC table\n");
|
|
114
|
+
abort();
|
|
115
|
+
}
|
|
116
|
+
g_table_capacity = capacity;
|
|
117
|
+
g_table_mask = capacity - 1;
|
|
118
|
+
for (xt_header *header = g_heap_head; header; header = header->gc_next) {
|
|
119
|
+
size_t slot = xt_gc_hash((uintptr_t)header) & g_table_mask;
|
|
120
|
+
while (g_table[slot]) slot = (slot + 1) & g_table_mask;
|
|
121
|
+
g_table[slot] = header;
|
|
122
|
+
}
|
|
123
|
+
}
|
|
124
|
+
|
|
125
|
+
static void xt_gc_table_free(void) {
|
|
126
|
+
free(g_table);
|
|
127
|
+
g_table = NULL;
|
|
128
|
+
g_table_capacity = 0;
|
|
129
|
+
g_table_mask = 0;
|
|
130
|
+
}
|
|
131
|
+
|
|
132
|
+
/* ------------------------------------------------------------------------- */
|
|
133
|
+
/* Allocation */
|
|
134
|
+
/* ------------------------------------------------------------------------- */
|
|
135
|
+
|
|
22
136
|
void *xt_alloc(size_t size, int kind) {
|
|
137
|
+
if (!g_gc_initialised) xt_gc_init();
|
|
138
|
+
/* Collect before handing out the new block: the block being allocated here
|
|
139
|
+
* is guaranteed not to be swept, and references held by the caller survive
|
|
140
|
+
* the conservative stack scan. */
|
|
141
|
+
if (g_gc_armed && !g_gc_running && g_heap_bytes >= g_gc_threshold) xt_gc_collect();
|
|
142
|
+
|
|
23
143
|
xt_header *header = (xt_header *)calloc(1, size);
|
|
24
144
|
if (!header) {
|
|
25
145
|
fprintf(stderr, "xbintsc: out of memory allocating %zu bytes\n", size);
|
|
26
146
|
abort();
|
|
27
147
|
}
|
|
28
148
|
header->kind = (uint8_t)kind;
|
|
149
|
+
header->flags = 0;
|
|
29
150
|
header->size = (uint32_t)size;
|
|
30
151
|
header->gc_next = g_heap_head;
|
|
31
152
|
g_heap_head = header;
|
|
@@ -36,3 +157,319 @@ void *xt_alloc(size_t size, int kind) {
|
|
|
36
157
|
|
|
37
158
|
size_t xt_heap_bytes(void) { return g_heap_bytes; }
|
|
38
159
|
size_t xt_heap_allocations(void) { return g_heap_allocations; }
|
|
160
|
+
|
|
161
|
+
/* ------------------------------------------------------------------------- */
|
|
162
|
+
/* Collector configuration */
|
|
163
|
+
/* ------------------------------------------------------------------------- */
|
|
164
|
+
|
|
165
|
+
void xt_gc_set_stack_base(void *base) {
|
|
166
|
+
uintptr_t high = (uintptr_t)base;
|
|
167
|
+
if (high == 0) return;
|
|
168
|
+
if (g_stack_depth == 0) {
|
|
169
|
+
g_stack_regions[0].low = 0;
|
|
170
|
+
g_stack_regions[0].high = high;
|
|
171
|
+
g_stack_regions[0].scan_low = UINTPTR_MAX;
|
|
172
|
+
g_stack_depth = 1;
|
|
173
|
+
} else if (high > g_stack_regions[0].high) {
|
|
174
|
+
g_stack_regions[0].high = high;
|
|
175
|
+
}
|
|
176
|
+
}
|
|
177
|
+
|
|
178
|
+
void xt_gc_init(void) {
|
|
179
|
+
if (g_gc_initialised) return;
|
|
180
|
+
g_gc_initialised = 1;
|
|
181
|
+
uintptr_t high = (uintptr_t)&high;
|
|
182
|
+
if (g_stack_depth == 0) {
|
|
183
|
+
g_stack_regions[0].low = 0;
|
|
184
|
+
g_stack_regions[0].high = high;
|
|
185
|
+
g_stack_regions[0].scan_low = UINTPTR_MAX;
|
|
186
|
+
g_stack_depth = 1;
|
|
187
|
+
} else if (high > g_stack_regions[0].high) {
|
|
188
|
+
/* `xt_gc_set_stack_base` normally installed a bound above the caller's
|
|
189
|
+
* frame already; keep the higher of the two. */
|
|
190
|
+
g_stack_regions[0].high = high;
|
|
191
|
+
}
|
|
192
|
+
const char *env = getenv("XT_GC_THRESHOLD");
|
|
193
|
+
if (env && *env) {
|
|
194
|
+
long long value = atoll(env);
|
|
195
|
+
if (value > 0) {
|
|
196
|
+
g_gc_threshold = (size_t)value;
|
|
197
|
+
g_gc_threshold_pinned = 1;
|
|
198
|
+
}
|
|
199
|
+
}
|
|
200
|
+
}
|
|
201
|
+
|
|
202
|
+
void xt_gc_arm(void) { g_gc_armed = 1; }
|
|
203
|
+
|
|
204
|
+
void xt_gc_set_threshold(size_t bytes) {
|
|
205
|
+
g_gc_threshold = bytes > XT_GC_MIN_THRESHOLD ? bytes : XT_GC_MIN_THRESHOLD;
|
|
206
|
+
g_gc_threshold_pinned = 1;
|
|
207
|
+
}
|
|
208
|
+
|
|
209
|
+
void xt_gc_add_root(xt_value *slot) {
|
|
210
|
+
if (!slot) return;
|
|
211
|
+
for (size_t i = 0; i < g_root_count; i++) {
|
|
212
|
+
if (g_root_slots[i] == slot) return;
|
|
213
|
+
}
|
|
214
|
+
if (g_root_count == g_root_capacity) {
|
|
215
|
+
size_t capacity = g_root_capacity ? g_root_capacity * 2 : 32;
|
|
216
|
+
xt_value **grown = (xt_value **)realloc(g_root_slots, sizeof(xt_value *) * capacity);
|
|
217
|
+
if (!grown) abort();
|
|
218
|
+
g_root_slots = grown;
|
|
219
|
+
g_root_capacity = capacity;
|
|
220
|
+
}
|
|
221
|
+
g_root_slots[g_root_count++] = slot;
|
|
222
|
+
}
|
|
223
|
+
|
|
224
|
+
void xt_gc_add_root_range(xt_value *base, size_t count) {
|
|
225
|
+
for (size_t i = 0; i < count; i++) xt_gc_add_root(base + i);
|
|
226
|
+
}
|
|
227
|
+
|
|
228
|
+
void xt_gc_register_root_provider(void (*provider)(void)) {
|
|
229
|
+
if (!provider) return;
|
|
230
|
+
for (size_t i = 0; i < g_root_provider_count; i++) {
|
|
231
|
+
if (g_root_providers[i] == provider) return;
|
|
232
|
+
}
|
|
233
|
+
if (g_root_provider_count == g_root_provider_capacity) {
|
|
234
|
+
size_t capacity = g_root_provider_capacity ? g_root_provider_capacity * 2 : 8;
|
|
235
|
+
void (**grown)(void) = (void (**)(void))realloc(g_root_providers, sizeof(void (*)(void)) * capacity);
|
|
236
|
+
if (!grown) abort();
|
|
237
|
+
g_root_providers = grown;
|
|
238
|
+
g_root_provider_capacity = capacity;
|
|
239
|
+
}
|
|
240
|
+
g_root_providers[g_root_provider_count++] = provider;
|
|
241
|
+
}
|
|
242
|
+
|
|
243
|
+
void xt_gc_push_stack(uintptr_t low, uintptr_t high) {
|
|
244
|
+
if (g_stack_depth >= XT_GC_MAX_STACKS) return;
|
|
245
|
+
g_stack_regions[g_stack_depth].low = low;
|
|
246
|
+
g_stack_regions[g_stack_depth].high = high;
|
|
247
|
+
g_stack_regions[g_stack_depth].scan_low = low;
|
|
248
|
+
g_stack_depth++;
|
|
249
|
+
}
|
|
250
|
+
|
|
251
|
+
void xt_gc_suspend(uintptr_t sp) {
|
|
252
|
+
if (g_stack_depth <= 0) return;
|
|
253
|
+
uintptr_t *scan = &g_stack_regions[g_stack_depth - 1].scan_low;
|
|
254
|
+
if (*scan == UINTPTR_MAX || sp < *scan) *scan = sp;
|
|
255
|
+
}
|
|
256
|
+
|
|
257
|
+
void xt_gc_pop_stack(void) {
|
|
258
|
+
if (g_stack_depth <= 1) return;
|
|
259
|
+
g_stack_depth--;
|
|
260
|
+
/* Back on the underlying stack: resume scanning it from the current frame. */
|
|
261
|
+
if (g_stack_depth > 0) g_stack_regions[g_stack_depth - 1].scan_low = UINTPTR_MAX;
|
|
262
|
+
}
|
|
263
|
+
|
|
264
|
+
/* ------------------------------------------------------------------------- */
|
|
265
|
+
/* Marking */
|
|
266
|
+
/* ------------------------------------------------------------------------- */
|
|
267
|
+
|
|
268
|
+
static void xt_gc_gray_push(xt_header *header) {
|
|
269
|
+
if (!header || (header->flags & XT_GC_MARK)) return;
|
|
270
|
+
header->flags |= XT_GC_MARK;
|
|
271
|
+
if (g_gray_count == g_gray_capacity) {
|
|
272
|
+
size_t capacity = g_gray_capacity ? g_gray_capacity * 2 : 256;
|
|
273
|
+
xt_header **grown = (xt_header **)realloc(g_gray, sizeof(xt_header *) * capacity);
|
|
274
|
+
if (!grown) abort();
|
|
275
|
+
g_gray = grown;
|
|
276
|
+
g_gray_capacity = capacity;
|
|
277
|
+
}
|
|
278
|
+
g_gray[g_gray_count++] = header;
|
|
279
|
+
}
|
|
280
|
+
|
|
281
|
+
void xt_gc_mark_header(xt_header *header) { xt_gc_gray_push(header); }
|
|
282
|
+
|
|
283
|
+
void xt_gc_mark_value(xt_value value) {
|
|
284
|
+
if (XT_IS_STRING(value) || XT_IS_OBJECT(value) || XT_IS_ARRAY(value) || XT_IS_FUNCTION(value) ||
|
|
285
|
+
XT_IS_BIGINT(value)) {
|
|
286
|
+
xt_gc_gray_push((xt_header *)XT_GET_PTR(value));
|
|
287
|
+
}
|
|
288
|
+
}
|
|
289
|
+
|
|
290
|
+
void xt_gc_scan_region(const void *base, size_t bytes) {
|
|
291
|
+
if (!base) return;
|
|
292
|
+
const uint64_t *words = (const uint64_t *)base;
|
|
293
|
+
size_t count = bytes / sizeof(uint64_t);
|
|
294
|
+
for (size_t i = 0; i < count; i++) {
|
|
295
|
+
uint64_t word = words[i];
|
|
296
|
+
xt_header *header = NULL;
|
|
297
|
+
if (XT_IS_STRING(word) || XT_IS_OBJECT(word) || XT_IS_ARRAY(word) || XT_IS_FUNCTION(word) ||
|
|
298
|
+
XT_IS_BIGINT(word)) {
|
|
299
|
+
header = xt_gc_table_lookup((uintptr_t)XT_GET_PTR(word));
|
|
300
|
+
} else {
|
|
301
|
+
header = xt_gc_table_lookup((uintptr_t)word);
|
|
302
|
+
}
|
|
303
|
+
if (header) xt_gc_gray_push(header);
|
|
304
|
+
}
|
|
305
|
+
}
|
|
306
|
+
|
|
307
|
+
/* ------------------------------------------------------------------------- */
|
|
308
|
+
/* Tracing */
|
|
309
|
+
/* ------------------------------------------------------------------------- */
|
|
310
|
+
|
|
311
|
+
/* Visit the payload (everything after the header) plus any separately
|
|
312
|
+
* allocated backing buffer owned by the object. */
|
|
313
|
+
static void xt_gc_process(xt_header *header) {
|
|
314
|
+
size_t payload = header->size > sizeof(xt_header) ? header->size - sizeof(xt_header) : 0;
|
|
315
|
+
const void *base = (const char *)header + sizeof(xt_header);
|
|
316
|
+
|
|
317
|
+
switch (header->kind) {
|
|
318
|
+
case XT_OBJECT_KIND_STRING:
|
|
319
|
+
case XT_OBJECT_KIND_BIGINT:
|
|
320
|
+
case XT_OBJECT_KIND_DATE:
|
|
321
|
+
/* Numbers/bytes only: no references to follow. */
|
|
322
|
+
return;
|
|
323
|
+
case XT_OBJECT_KIND_OBJECT:
|
|
324
|
+
case XT_OBJECT_KIND_ERROR: {
|
|
325
|
+
xt_object *object = (xt_object *)header;
|
|
326
|
+
xt_gc_scan_region(base, payload);
|
|
327
|
+
if (object->properties && object->count) {
|
|
328
|
+
xt_gc_scan_region(object->properties, sizeof(xt_property) * (size_t)object->count);
|
|
329
|
+
}
|
|
330
|
+
return;
|
|
331
|
+
}
|
|
332
|
+
case XT_OBJECT_KIND_ARRAY: {
|
|
333
|
+
xt_array *array = (xt_array *)header;
|
|
334
|
+
xt_gc_scan_region(base, payload);
|
|
335
|
+
if (array->items && array->length) {
|
|
336
|
+
xt_gc_scan_region(array->items, sizeof(xt_value) * (size_t)array->length);
|
|
337
|
+
}
|
|
338
|
+
return;
|
|
339
|
+
}
|
|
340
|
+
case XT_OBJECT_KIND_FUNCTION: {
|
|
341
|
+
xt_function *function = (xt_function *)header;
|
|
342
|
+
xt_gc_scan_region(base, payload);
|
|
343
|
+
if (function->environment && function->environment_count > 0) {
|
|
344
|
+
xt_gc_scan_region(function->environment, sizeof(xt_value) * (size_t)function->environment_count);
|
|
345
|
+
}
|
|
346
|
+
return;
|
|
347
|
+
}
|
|
348
|
+
case XT_OBJECT_KIND_MAP: {
|
|
349
|
+
xt_map *map = (xt_map *)header;
|
|
350
|
+
xt_gc_scan_region(base, payload);
|
|
351
|
+
if (map->keys && map->count) xt_gc_scan_region(map->keys, sizeof(xt_value) * (size_t)map->count);
|
|
352
|
+
if (map->values && map->count) xt_gc_scan_region(map->values, sizeof(xt_value) * (size_t)map->count);
|
|
353
|
+
return;
|
|
354
|
+
}
|
|
355
|
+
case XT_OBJECT_KIND_SET: {
|
|
356
|
+
xt_set_object *set = (xt_set_object *)header;
|
|
357
|
+
xt_gc_scan_region(base, payload);
|
|
358
|
+
if (set->values && set->count) xt_gc_scan_region(set->values, sizeof(xt_value) * (size_t)set->count);
|
|
359
|
+
return;
|
|
360
|
+
}
|
|
361
|
+
case XT_OBJECT_KIND_PROMISE:
|
|
362
|
+
xt_promise_gc_trace(header);
|
|
363
|
+
return;
|
|
364
|
+
case XT_OBJECT_KIND_GENERATOR:
|
|
365
|
+
xt_generator_gc_trace(header);
|
|
366
|
+
return;
|
|
367
|
+
default:
|
|
368
|
+
/* Symbols, regexps, iterators and any future kind whose references live
|
|
369
|
+
* inline: the payload scan covers them. */
|
|
370
|
+
xt_gc_scan_region(base, payload);
|
|
371
|
+
return;
|
|
372
|
+
}
|
|
373
|
+
}
|
|
374
|
+
|
|
375
|
+
/* ------------------------------------------------------------------------- */
|
|
376
|
+
/* Release */
|
|
377
|
+
/* ------------------------------------------------------------------------- */
|
|
378
|
+
|
|
379
|
+
static void xt_gc_release(xt_header *header) {
|
|
380
|
+
switch (header->kind) {
|
|
381
|
+
case XT_OBJECT_KIND_STRING:
|
|
382
|
+
free(((xt_string *)header)->data);
|
|
383
|
+
break;
|
|
384
|
+
case XT_OBJECT_KIND_BIGINT:
|
|
385
|
+
free(((xt_bigint *)header)->limbs);
|
|
386
|
+
break;
|
|
387
|
+
case XT_OBJECT_KIND_OBJECT:
|
|
388
|
+
case XT_OBJECT_KIND_ERROR:
|
|
389
|
+
free(((xt_object *)header)->properties);
|
|
390
|
+
break;
|
|
391
|
+
case XT_OBJECT_KIND_ARRAY:
|
|
392
|
+
free(((xt_array *)header)->items);
|
|
393
|
+
break;
|
|
394
|
+
case XT_OBJECT_KIND_FUNCTION:
|
|
395
|
+
free(((xt_function *)header)->environment);
|
|
396
|
+
break;
|
|
397
|
+
case XT_OBJECT_KIND_MAP:
|
|
398
|
+
free(((xt_map *)header)->keys);
|
|
399
|
+
free(((xt_map *)header)->values);
|
|
400
|
+
break;
|
|
401
|
+
case XT_OBJECT_KIND_SET:
|
|
402
|
+
free(((xt_set_object *)header)->values);
|
|
403
|
+
break;
|
|
404
|
+
case XT_OBJECT_KIND_PROMISE:
|
|
405
|
+
xt_promise_gc_release(header);
|
|
406
|
+
break;
|
|
407
|
+
case XT_OBJECT_KIND_GENERATOR:
|
|
408
|
+
xt_generator_gc_release(header);
|
|
409
|
+
break;
|
|
410
|
+
default:
|
|
411
|
+
break;
|
|
412
|
+
}
|
|
413
|
+
free(header);
|
|
414
|
+
}
|
|
415
|
+
|
|
416
|
+
/* ------------------------------------------------------------------------- */
|
|
417
|
+
/* Collection */
|
|
418
|
+
/* ------------------------------------------------------------------------- */
|
|
419
|
+
|
|
420
|
+
static void xt_gc_mark_roots(void) {
|
|
421
|
+
for (size_t i = 0; i < g_root_count; i++) {
|
|
422
|
+
if (g_root_slots[i]) xt_gc_mark_value(*g_root_slots[i]);
|
|
423
|
+
}
|
|
424
|
+
for (size_t i = 0; i < g_root_provider_count; i++) g_root_providers[i]();
|
|
425
|
+
|
|
426
|
+
/* Callee-saved registers captured by setjmp, plus every active stack region.
|
|
427
|
+
* Scanning more than the top region matters while a generator runs: the
|
|
428
|
+
* frames that resumed it are still live on the main stack. */
|
|
429
|
+
jmp_buf registers;
|
|
430
|
+
_setjmp(registers);
|
|
431
|
+
xt_gc_scan_region(®isters, sizeof(registers));
|
|
432
|
+
uintptr_t stack_pointer = (uintptr_t)®isters;
|
|
433
|
+
for (int i = 0; i < g_stack_depth; i++) {
|
|
434
|
+
uintptr_t high = g_stack_regions[i].high;
|
|
435
|
+
uintptr_t low = (i == g_stack_depth - 1) ? stack_pointer : g_stack_regions[i].scan_low;
|
|
436
|
+
if (high > low) xt_gc_scan_region((const void *)low, high - low);
|
|
437
|
+
}
|
|
438
|
+
}
|
|
439
|
+
|
|
440
|
+
void xt_gc_collect(void) {
|
|
441
|
+
if (g_gc_running) return;
|
|
442
|
+
if (!g_gc_initialised) xt_gc_init();
|
|
443
|
+
g_gc_running = 1;
|
|
444
|
+
|
|
445
|
+
xt_gc_table_build();
|
|
446
|
+
xt_gc_mark_roots();
|
|
447
|
+
while (g_gray_count > 0) {
|
|
448
|
+
xt_header *header = g_gray[--g_gray_count];
|
|
449
|
+
xt_gc_process(header);
|
|
450
|
+
}
|
|
451
|
+
|
|
452
|
+
xt_header **link = &g_heap_head;
|
|
453
|
+
xt_header *header = g_heap_head;
|
|
454
|
+
while (header) {
|
|
455
|
+
xt_header *next = header->gc_next;
|
|
456
|
+
if (header->flags & XT_GC_MARK) {
|
|
457
|
+
header->flags &= (uint8_t)~XT_GC_MARK;
|
|
458
|
+
link = &header->gc_next;
|
|
459
|
+
} else {
|
|
460
|
+
*link = next;
|
|
461
|
+
g_heap_bytes -= header->size;
|
|
462
|
+
g_heap_allocations--;
|
|
463
|
+
xt_gc_release(header);
|
|
464
|
+
}
|
|
465
|
+
header = next;
|
|
466
|
+
}
|
|
467
|
+
|
|
468
|
+
xt_gc_table_free();
|
|
469
|
+
g_gc_running = 0;
|
|
470
|
+
|
|
471
|
+
if (!g_gc_threshold_pinned) {
|
|
472
|
+
if (g_gc_threshold < g_heap_bytes * 2) g_gc_threshold = g_heap_bytes * 2;
|
|
473
|
+
if (g_gc_threshold < XT_GC_MIN_THRESHOLD) g_gc_threshold = XT_GC_MIN_THRESHOLD;
|
|
474
|
+
}
|
|
475
|
+
}
|
package/runtime/xt_builtins.c
CHANGED
|
@@ -305,6 +305,7 @@ XT_BUILTIN_TRAMPOLINE(xt_builtin_value_setTimeout, xt_set_timeout)
|
|
|
305
305
|
XT_BUILTIN_TRAMPOLINE(xt_builtin_value_clearTimeout, xt_clear_timeout)
|
|
306
306
|
XT_BUILTIN_TRAMPOLINE(xt_builtin_value_setInterval, xt_set_interval)
|
|
307
307
|
XT_BUILTIN_TRAMPOLINE(xt_builtin_value_clearInterval, xt_clear_interval)
|
|
308
|
+
XT_BUILTIN_TRAMPOLINE(xt_builtin_value_fetch, xt_fetch)
|
|
308
309
|
|
|
309
310
|
xt_value xt_in(xt_value key, xt_value value) {
|
|
310
311
|
if (XT_IS_OBJECT(value)) return xt_object_has(value, key);
|
|
@@ -163,6 +163,37 @@ xt_value xt_set(xt_value target, xt_value key, xt_value value) {
|
|
|
163
163
|
return xt_array_set(target, key, value);
|
|
164
164
|
}
|
|
165
165
|
if (XT_IS_FUNCTION(target)) return xt_object_set(target, key, value);
|
|
166
|
-
if (XT_IS_OBJECT(target))
|
|
166
|
+
if (XT_IS_OBJECT(target)) {
|
|
167
|
+
/* Writes to a typed-array element are coerced to its element type. */
|
|
168
|
+
int typed = xt_typed_array_kind_of(target);
|
|
169
|
+
if (typed >= 0) {
|
|
170
|
+
if (XT_IS_STRING(key)) {
|
|
171
|
+
xt_string *k = xt_as_string(key);
|
|
172
|
+
if ((k->length == 6 && memcmp(k->data, "length", 6) == 0) ||
|
|
173
|
+
(k->length == 10 && memcmp(k->data, "byteLength", 10) == 0) ||
|
|
174
|
+
(k->length == 10 && memcmp(k->data, "byteOffset", 10) == 0)) {
|
|
175
|
+
xt_throw(xt_string_from_cstr("TypeError: Cannot assign to read only property"));
|
|
176
|
+
return value;
|
|
177
|
+
}
|
|
178
|
+
}
|
|
179
|
+
uint32_t index = 0;
|
|
180
|
+
int isIndex = 0;
|
|
181
|
+
if (XT_IS_NUMBER(key)) {
|
|
182
|
+
int32_t numeric = xt_to_int32(key);
|
|
183
|
+
if (numeric >= 0) {
|
|
184
|
+
index = (uint32_t)numeric;
|
|
185
|
+
isIndex = 1;
|
|
186
|
+
}
|
|
187
|
+
} else if (XT_IS_STRING(key)) {
|
|
188
|
+
isIndex = xt_key_is_array_index(xt_as_string(key), &index);
|
|
189
|
+
}
|
|
190
|
+
if (isIndex) {
|
|
191
|
+
double length = xt_to_number(xt_object_get_cstr(target, "length"));
|
|
192
|
+
if (index >= (uint32_t)length) return value; /* out-of-bounds writes are ignored */
|
|
193
|
+
return xt_object_set(target, key, xt_number(xt_typed_array_coerce(typed, xt_to_number(value))));
|
|
194
|
+
}
|
|
195
|
+
}
|
|
196
|
+
return xt_object_set(target, key, value);
|
|
197
|
+
}
|
|
167
198
|
return value;
|
|
168
199
|
}
|
|
@@ -0,0 +1,64 @@
|
|
|
1
|
+
/* -- growable byte buffer ------------------------------------------------- */
|
|
2
|
+
|
|
3
|
+
/*
|
|
4
|
+
* Fetch needs to accumulate raw response bytes before the headers and body can
|
|
5
|
+
* be parsed. A small growable buffer keeps that logic in one place; it is
|
|
6
|
+
* always NUL-terminated so it can also back a JS string, but the explicit
|
|
7
|
+
* `length` is authoritative because a response body may contain NUL bytes.
|
|
8
|
+
*/
|
|
9
|
+
typedef struct {
|
|
10
|
+
char *data;
|
|
11
|
+
size_t length;
|
|
12
|
+
size_t capacity;
|
|
13
|
+
} xt_fetch_buffer;
|
|
14
|
+
|
|
15
|
+
static void xt_fetch_buffer_init(xt_fetch_buffer *buffer) {
|
|
16
|
+
buffer->data = NULL;
|
|
17
|
+
buffer->length = 0;
|
|
18
|
+
buffer->capacity = 0;
|
|
19
|
+
}
|
|
20
|
+
|
|
21
|
+
static void xt_fetch_buffer_free(xt_fetch_buffer *buffer) {
|
|
22
|
+
free(buffer->data);
|
|
23
|
+
buffer->data = NULL;
|
|
24
|
+
buffer->length = 0;
|
|
25
|
+
buffer->capacity = 0;
|
|
26
|
+
}
|
|
27
|
+
|
|
28
|
+
static void xt_fetch_buffer_append(xt_fetch_buffer *buffer, const char *data, size_t length) {
|
|
29
|
+
if (length == 0) {
|
|
30
|
+
if (!buffer->data) {
|
|
31
|
+
buffer->capacity = 1;
|
|
32
|
+
buffer->data = (char *)malloc(1);
|
|
33
|
+
if (!buffer->data) abort();
|
|
34
|
+
buffer->data[0] = '\0';
|
|
35
|
+
}
|
|
36
|
+
return;
|
|
37
|
+
}
|
|
38
|
+
if (buffer->length + length + 1 > buffer->capacity) {
|
|
39
|
+
size_t capacity = buffer->capacity ? buffer->capacity : 256;
|
|
40
|
+
while (capacity < buffer->length + length + 1) capacity *= 2;
|
|
41
|
+
char *grown = (char *)realloc(buffer->data, capacity);
|
|
42
|
+
if (!grown) abort();
|
|
43
|
+
buffer->data = grown;
|
|
44
|
+
buffer->capacity = capacity;
|
|
45
|
+
}
|
|
46
|
+
memcpy(buffer->data + buffer->length, data, length);
|
|
47
|
+
buffer->length += length;
|
|
48
|
+
buffer->data[buffer->length] = '\0';
|
|
49
|
+
}
|
|
50
|
+
|
|
51
|
+
static void xt_fetch_buffer_append_cstr(xt_fetch_buffer *buffer, const char *text) {
|
|
52
|
+
xt_fetch_buffer_append(buffer, text, strlen(text));
|
|
53
|
+
}
|
|
54
|
+
|
|
55
|
+
/* -- string helpers ------------------------------------------------------- */
|
|
56
|
+
|
|
57
|
+
static void xt_fetch_lowercase(const char *input, char *output, size_t size) {
|
|
58
|
+
size_t i = 0;
|
|
59
|
+
for (; input[i] && i + 1 < size; i++) {
|
|
60
|
+
char c = input[i];
|
|
61
|
+
output[i] = (c >= 'A' && c <= 'Z') ? (char)(c + 32) : c;
|
|
62
|
+
}
|
|
63
|
+
output[i] = '\0';
|
|
64
|
+
}
|