toilscript 0.0.1 → 0.1.0
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/LICENSE +201 -201
- package/NOTICE +94 -94
- package/README.md +101 -114
- package/bin/asc.js +0 -0
- package/bin/asinit.js +0 -0
- package/dist/asc.generated.d.ts +10022 -0
- package/dist/asc.js +24457 -0
- package/dist/asc.js.map +7 -0
- package/dist/importmap.json +9 -0
- package/dist/toilscript.generated.d.ts +11237 -0
- package/dist/toilscript.js +337 -0
- package/dist/toilscript.js.map +7 -0
- package/dist/web.js +22 -0
- package/lib/binaryen.d.ts +2 -2
- package/lib/binaryen.js +2 -2
- package/package.json +115 -114
- package/std/README.md +6 -6
- package/std/assembly/array.ts +550 -550
- package/std/assembly/arraybuffer.ts +77 -77
- package/std/assembly/atomics.ts +127 -127
- package/std/assembly/bindings/asyncify.ts +16 -16
- package/std/assembly/bindings/dom.ts +291 -291
- package/std/assembly/bindings/node.ts +6 -6
- package/std/assembly/bitflags.ts +53 -53
- package/std/assembly/builtins.ts +2650 -2650
- package/std/assembly/byteslice.ts +177 -177
- package/std/assembly/compat.ts +2 -2
- package/std/assembly/console.ts +42 -42
- package/std/assembly/crypto.ts +9 -9
- package/std/assembly/dataview.ts +181 -181
- package/std/assembly/date.ts +375 -375
- package/std/assembly/diagnostics.ts +11 -11
- package/std/assembly/encoding.ts +151 -151
- package/std/assembly/endian.ts +45 -45
- package/std/assembly/error.ts +44 -44
- package/std/assembly/fixedarray.ts +173 -173
- package/std/assembly/fixedmap.ts +326 -326
- package/std/assembly/fixedset.ts +275 -275
- package/std/assembly/function.ts +42 -42
- package/std/assembly/index.d.ts +2891 -2891
- package/std/assembly/iterator.ts +35 -35
- package/std/assembly/map.ts +269 -269
- package/std/assembly/math.ts +3289 -3289
- package/std/assembly/memory.ts +123 -123
- package/std/assembly/number.ts +388 -388
- package/std/assembly/object.ts +36 -36
- package/std/assembly/performance.ts +9 -9
- package/std/assembly/pointer.ts +80 -80
- package/std/assembly/polyfills.ts +27 -27
- package/std/assembly/process.ts +50 -50
- package/std/assembly/reference.ts +48 -48
- package/std/assembly/regexp.ts +12 -12
- package/std/assembly/rt/README.md +83 -83
- package/std/assembly/rt/common.ts +81 -81
- package/std/assembly/rt/index-incremental.ts +2 -2
- package/std/assembly/rt/index-memory.ts +1 -1
- package/std/assembly/rt/index-minimal.ts +2 -2
- package/std/assembly/rt/index-stub.ts +1 -1
- package/std/assembly/rt/index.d.ts +37 -37
- package/std/assembly/rt/itcms.ts +419 -419
- package/std/assembly/rt/memory-runtime.ts +94 -94
- package/std/assembly/rt/rtrace.ts +15 -15
- package/std/assembly/rt/stub.ts +133 -133
- package/std/assembly/rt/tcms.ts +254 -254
- package/std/assembly/rt/tlsf.ts +592 -592
- package/std/assembly/rt.ts +90 -90
- package/std/assembly/set.ts +225 -225
- package/std/assembly/shared/feature.ts +68 -68
- package/std/assembly/shared/runtime.ts +13 -13
- package/std/assembly/shared/target.ts +11 -11
- package/std/assembly/shared/tsconfig.json +11 -11
- package/std/assembly/shared/typeinfo.ts +72 -72
- package/std/assembly/staticarray.ts +423 -423
- package/std/assembly/string.ts +850 -850
- package/std/assembly/symbol.ts +114 -114
- package/std/assembly/table.ts +16 -16
- package/std/assembly/tsconfig.json +6 -6
- package/std/assembly/typedarray.ts +1954 -1954
- package/std/assembly/uri.ts +17 -17
- package/std/assembly/util/bytes.ts +107 -107
- package/std/assembly/util/casemap.ts +497 -497
- package/std/assembly/util/error.ts +58 -58
- package/std/assembly/util/hash.ts +117 -117
- package/std/assembly/util/math.ts +1922 -1922
- package/std/assembly/util/memory.ts +290 -290
- package/std/assembly/util/number.ts +873 -873
- package/std/assembly/util/sort.ts +313 -313
- package/std/assembly/util/string.ts +1202 -1202
- package/std/assembly/util/uri.ts +275 -275
- package/std/assembly/vector.ts +4 -4
- package/std/assembly.json +16 -16
- package/std/portable/index.d.ts +461 -461
- package/std/portable/index.js +416 -416
- package/std/portable.json +11 -11
- package/std/types/assembly/index.d.ts +1 -1
- package/std/types/assembly/package.json +2 -2
- package/std/types/portable/index.d.ts +1 -1
- package/std/types/portable/package.json +2 -2
- package/tsconfig-base.json +13 -13
- package/util/README.md +23 -23
- package/util/browser/fs.js +1 -1
- package/util/browser/module.js +5 -5
- package/util/browser/path.js +520 -520
- package/util/browser/process.js +59 -59
- package/util/browser/url.js +23 -23
- package/util/cpu.d.ts +9 -9
- package/util/cpu.js +42 -42
- package/util/find.d.ts +6 -6
- package/util/find.js +20 -20
- package/util/node.d.ts +21 -21
- package/util/node.js +34 -34
- package/util/options.d.ts +70 -70
- package/util/options.js +262 -262
- package/util/terminal.d.ts +52 -52
- package/util/terminal.js +35 -35
- package/util/text.d.ts +26 -26
- package/util/text.js +114 -114
- package/util/tsconfig.json +9 -9
- package/util/web.d.ts +11 -11
- package/util/web.js +33 -33
package/std/assembly/iterator.ts
CHANGED
|
@@ -1,35 +1,35 @@
|
|
|
1
|
-
export abstract class Iterable<T> {
|
|
2
|
-
// ?
|
|
3
|
-
}
|
|
4
|
-
|
|
5
|
-
@final
|
|
6
|
-
export abstract class Iterator<T> {
|
|
7
|
-
|
|
8
|
-
// private constructor(iterable: Iterable<T>) {
|
|
9
|
-
// }
|
|
10
|
-
|
|
11
|
-
// TODO: these need to evaluate the classId at the respective reference in order to obtain the
|
|
12
|
-
// next value, i.e. arrays work differently than maps. we'd then have:
|
|
13
|
-
//
|
|
14
|
-
// ╒═══════════════════ Iterator layout (32-bit) ══════════════════╕
|
|
15
|
-
// 3 2 1
|
|
16
|
-
// 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 bits
|
|
17
|
-
// ├─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┤
|
|
18
|
-
// │ index │
|
|
19
|
-
// ├─────────────────────────────────────────────────────────┬───┬─┤
|
|
20
|
-
// │ reference │ 0 │D│
|
|
21
|
-
// └─────────────────────────────────────────────────────────┴───┴─┘
|
|
22
|
-
// D: Done flag
|
|
23
|
-
|
|
24
|
-
// get value(this: u64): T {
|
|
25
|
-
// ?
|
|
26
|
-
// }
|
|
27
|
-
|
|
28
|
-
// next(this: u64): Iterator<T> {
|
|
29
|
-
// ?
|
|
30
|
-
// }
|
|
31
|
-
|
|
32
|
-
done(this: u64): bool {
|
|
33
|
-
return <bool>(this & 1);
|
|
34
|
-
}
|
|
35
|
-
}
|
|
1
|
+
export abstract class Iterable<T> {
|
|
2
|
+
// ?
|
|
3
|
+
}
|
|
4
|
+
|
|
5
|
+
@final
|
|
6
|
+
export abstract class Iterator<T> {
|
|
7
|
+
|
|
8
|
+
// private constructor(iterable: Iterable<T>) {
|
|
9
|
+
// }
|
|
10
|
+
|
|
11
|
+
// TODO: these need to evaluate the classId at the respective reference in order to obtain the
|
|
12
|
+
// next value, i.e. arrays work differently than maps. we'd then have:
|
|
13
|
+
//
|
|
14
|
+
// ╒═══════════════════ Iterator layout (32-bit) ══════════════════╕
|
|
15
|
+
// 3 2 1
|
|
16
|
+
// 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 9 8 7 6 5 4 3 2 1 0 bits
|
|
17
|
+
// ├─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┴─┤
|
|
18
|
+
// │ index │
|
|
19
|
+
// ├─────────────────────────────────────────────────────────┬───┬─┤
|
|
20
|
+
// │ reference │ 0 │D│
|
|
21
|
+
// └─────────────────────────────────────────────────────────┴───┴─┘
|
|
22
|
+
// D: Done flag
|
|
23
|
+
|
|
24
|
+
// get value(this: u64): T {
|
|
25
|
+
// ?
|
|
26
|
+
// }
|
|
27
|
+
|
|
28
|
+
// next(this: u64): Iterator<T> {
|
|
29
|
+
// ?
|
|
30
|
+
// }
|
|
31
|
+
|
|
32
|
+
done(this: u64): bool {
|
|
33
|
+
return <bool>(this & 1);
|
|
34
|
+
}
|
|
35
|
+
}
|
package/std/assembly/map.ts
CHANGED
|
@@ -1,269 +1,269 @@
|
|
|
1
|
-
/// <reference path="./rt/index.d.ts" />
|
|
2
|
-
|
|
3
|
-
import { HASH } from "./util/hash";
|
|
4
|
-
import { Runtime } from "shared/runtime";
|
|
5
|
-
import { E_KEYNOTFOUND } from "./util/error";
|
|
6
|
-
|
|
7
|
-
// A deterministic hash map based on CloseTable from https://github.com/jorendorff/dht
|
|
8
|
-
|
|
9
|
-
// @ts-ignore: decorator
|
|
10
|
-
@inline const INITIAL_CAPACITY = 4;
|
|
11
|
-
|
|
12
|
-
// @ts-ignore: decorator
|
|
13
|
-
@inline const FILL_FACTOR_N = 8;
|
|
14
|
-
|
|
15
|
-
// @ts-ignore: decorator
|
|
16
|
-
@inline const FILL_FACTOR_D = 3;
|
|
17
|
-
|
|
18
|
-
// @ts-ignore: decorator
|
|
19
|
-
@inline const FREE_FACTOR_N = 3;
|
|
20
|
-
|
|
21
|
-
// @ts-ignore: decorator
|
|
22
|
-
@inline const FREE_FACTOR_D = 4;
|
|
23
|
-
|
|
24
|
-
/** Structure of a map entry. */
|
|
25
|
-
@unmanaged class MapEntry<K,V> {
|
|
26
|
-
key: K;
|
|
27
|
-
value: V;
|
|
28
|
-
taggedNext: usize; // LSB=1 indicates EMPTY
|
|
29
|
-
}
|
|
30
|
-
|
|
31
|
-
/** Empty bit. */
|
|
32
|
-
// @ts-ignore: decorator
|
|
33
|
-
@inline const EMPTY: usize = 1 << 0;
|
|
34
|
-
|
|
35
|
-
/** Size of a bucket. */
|
|
36
|
-
// @ts-ignore: decorator
|
|
37
|
-
@inline const BUCKET_SIZE = sizeof<usize>();
|
|
38
|
-
|
|
39
|
-
/** Computes the alignment of an entry. */
|
|
40
|
-
// @ts-ignore: decorator
|
|
41
|
-
@inline
|
|
42
|
-
function ENTRY_ALIGN<K,V>(): usize {
|
|
43
|
-
// can align to 4 instead of 8 if 32-bit and K/V is <= 32-bits
|
|
44
|
-
const maxkv = sizeof<K>() > sizeof<V>() ? sizeof<K>() : sizeof<V>();
|
|
45
|
-
const align = (maxkv > sizeof<usize>() ? maxkv : sizeof<usize>()) - 1;
|
|
46
|
-
return align;
|
|
47
|
-
}
|
|
48
|
-
|
|
49
|
-
/** Computes the aligned size of an entry. */
|
|
50
|
-
// @ts-ignore: decorator
|
|
51
|
-
@inline
|
|
52
|
-
function ENTRY_SIZE<K,V>(): usize {
|
|
53
|
-
const align = ENTRY_ALIGN<K,V>();
|
|
54
|
-
const size = (offsetof<MapEntry<K,V>>() + align) & ~align;
|
|
55
|
-
return size;
|
|
56
|
-
}
|
|
57
|
-
|
|
58
|
-
export class Map<K,V> {
|
|
59
|
-
|
|
60
|
-
// buckets referencing their respective first entry, usize[bucketsMask + 1]
|
|
61
|
-
private buckets: ArrayBuffer = new ArrayBuffer(INITIAL_CAPACITY * <i32>BUCKET_SIZE);
|
|
62
|
-
private bucketsMask: u32 = INITIAL_CAPACITY - 1;
|
|
63
|
-
|
|
64
|
-
// entries in insertion order, MapEntry<K,V>[entriesCapacity]
|
|
65
|
-
private entries: ArrayBuffer = new ArrayBuffer(INITIAL_CAPACITY * <i32>ENTRY_SIZE<K,V>());
|
|
66
|
-
private entriesCapacity: i32 = INITIAL_CAPACITY;
|
|
67
|
-
private entriesOffset: i32 = 0;
|
|
68
|
-
private entriesCount: i32 = 0;
|
|
69
|
-
|
|
70
|
-
constructor() {
|
|
71
|
-
/* nop */
|
|
72
|
-
}
|
|
73
|
-
|
|
74
|
-
get size(): i32 {
|
|
75
|
-
return this.entriesCount;
|
|
76
|
-
}
|
|
77
|
-
|
|
78
|
-
clear(): void {
|
|
79
|
-
this.buckets = new ArrayBuffer(INITIAL_CAPACITY * <i32>BUCKET_SIZE);
|
|
80
|
-
this.bucketsMask = INITIAL_CAPACITY - 1;
|
|
81
|
-
this.entries = new ArrayBuffer(INITIAL_CAPACITY * <i32>ENTRY_SIZE<K,V>());
|
|
82
|
-
this.entriesCapacity = INITIAL_CAPACITY;
|
|
83
|
-
this.entriesOffset = 0;
|
|
84
|
-
this.entriesCount = 0;
|
|
85
|
-
}
|
|
86
|
-
|
|
87
|
-
private find(key: K, hashCode: u32): MapEntry<K,V> | null {
|
|
88
|
-
let entry = load<MapEntry<K,V>>( // unmanaged!
|
|
89
|
-
changetype<usize>(this.buckets) + <usize>(hashCode & this.bucketsMask) * BUCKET_SIZE
|
|
90
|
-
);
|
|
91
|
-
while (entry) {
|
|
92
|
-
let taggedNext = entry.taggedNext;
|
|
93
|
-
if (!(taggedNext & EMPTY) && entry.key == key) return entry;
|
|
94
|
-
entry = changetype<MapEntry<K,V>>(taggedNext & ~EMPTY);
|
|
95
|
-
}
|
|
96
|
-
return null;
|
|
97
|
-
}
|
|
98
|
-
|
|
99
|
-
has(key: K): bool {
|
|
100
|
-
return this.find(key, HASH<K>(key)) != null;
|
|
101
|
-
}
|
|
102
|
-
|
|
103
|
-
@operator("[]")
|
|
104
|
-
get(key: K): V {
|
|
105
|
-
let entry = this.find(key, HASH<K>(key));
|
|
106
|
-
if (!entry) throw new Error(E_KEYNOTFOUND); // cannot represent `undefined`
|
|
107
|
-
return entry.value;
|
|
108
|
-
}
|
|
109
|
-
|
|
110
|
-
@operator("[]=")
|
|
111
|
-
set(key: K, value: V): this {
|
|
112
|
-
let hashCode = HASH<K>(key);
|
|
113
|
-
let entry = this.find(key, hashCode); // unmanaged!
|
|
114
|
-
if (entry) {
|
|
115
|
-
entry.value = value;
|
|
116
|
-
if (isManaged<V>()) {
|
|
117
|
-
if (ASC_RUNTIME != Runtime.Memory) {
|
|
118
|
-
__link(changetype<usize>(this), changetype<usize>(value), true);
|
|
119
|
-
}
|
|
120
|
-
}
|
|
121
|
-
} else {
|
|
122
|
-
// check if rehashing is necessary
|
|
123
|
-
if (this.entriesOffset == this.entriesCapacity) {
|
|
124
|
-
this.rehash(
|
|
125
|
-
this.entriesCount < this.entriesCapacity * FREE_FACTOR_N / FREE_FACTOR_D
|
|
126
|
-
? this.bucketsMask // just rehash if 1/4+ entries are empty
|
|
127
|
-
: (this.bucketsMask << 1) | 1 // grow capacity to next 2^N
|
|
128
|
-
);
|
|
129
|
-
}
|
|
130
|
-
// append new entry
|
|
131
|
-
let entries = this.entries;
|
|
132
|
-
entry = changetype<MapEntry<K,V>>(changetype<usize>(entries) + <usize>(this.entriesOffset++) * ENTRY_SIZE<K,V>());
|
|
133
|
-
// link with the map
|
|
134
|
-
entry.key = key;
|
|
135
|
-
if (isManaged<K>()) {
|
|
136
|
-
if (ASC_RUNTIME != Runtime.Memory) {
|
|
137
|
-
__link(changetype<usize>(this), changetype<usize>(key), true);
|
|
138
|
-
}
|
|
139
|
-
}
|
|
140
|
-
entry.value = value;
|
|
141
|
-
if (isManaged<V>()) {
|
|
142
|
-
if (ASC_RUNTIME != Runtime.Memory) {
|
|
143
|
-
__link(changetype<usize>(this), changetype<usize>(value), true);
|
|
144
|
-
}
|
|
145
|
-
}
|
|
146
|
-
++this.entriesCount;
|
|
147
|
-
// link with previous entry in bucket
|
|
148
|
-
let bucketPtrBase = changetype<usize>(this.buckets) + <usize>(hashCode & this.bucketsMask) * BUCKET_SIZE;
|
|
149
|
-
entry.taggedNext = load<usize>(bucketPtrBase);
|
|
150
|
-
store<usize>(bucketPtrBase, changetype<usize>(entry));
|
|
151
|
-
}
|
|
152
|
-
return this;
|
|
153
|
-
}
|
|
154
|
-
|
|
155
|
-
delete(key: K): bool {
|
|
156
|
-
let entry = this.find(key, HASH<K>(key));
|
|
157
|
-
if (!entry) return false;
|
|
158
|
-
entry.taggedNext |= EMPTY;
|
|
159
|
-
--this.entriesCount;
|
|
160
|
-
// check if rehashing is appropriate
|
|
161
|
-
let halfBucketsMask = this.bucketsMask >> 1;
|
|
162
|
-
if (
|
|
163
|
-
halfBucketsMask + 1 >= max<u32>(INITIAL_CAPACITY, this.entriesCount) &&
|
|
164
|
-
this.entriesCount < this.entriesCapacity * FREE_FACTOR_N / FREE_FACTOR_D
|
|
165
|
-
) this.rehash(halfBucketsMask);
|
|
166
|
-
return true;
|
|
167
|
-
}
|
|
168
|
-
|
|
169
|
-
private rehash(newBucketsMask: u32): void {
|
|
170
|
-
let newBucketsCapacity = <i32>(newBucketsMask + 1);
|
|
171
|
-
let newBuckets = new ArrayBuffer(newBucketsCapacity * <i32>BUCKET_SIZE);
|
|
172
|
-
let newEntriesCapacity = newBucketsCapacity * FILL_FACTOR_N / FILL_FACTOR_D;
|
|
173
|
-
let newEntries = new ArrayBuffer(newEntriesCapacity * <i32>ENTRY_SIZE<K,V>());
|
|
174
|
-
|
|
175
|
-
// copy old entries to new entries
|
|
176
|
-
let oldPtr = changetype<usize>(this.entries);
|
|
177
|
-
let oldEnd = oldPtr + <usize>this.entriesOffset * ENTRY_SIZE<K,V>();
|
|
178
|
-
let newPtr = changetype<usize>(newEntries);
|
|
179
|
-
while (oldPtr != oldEnd) {
|
|
180
|
-
let oldEntry = changetype<MapEntry<K,V>>(oldPtr);
|
|
181
|
-
if (!(oldEntry.taggedNext & EMPTY)) {
|
|
182
|
-
let newEntry = changetype<MapEntry<K,V>>(newPtr);
|
|
183
|
-
let oldEntryKey = oldEntry.key;
|
|
184
|
-
newEntry.key = oldEntryKey;
|
|
185
|
-
newEntry.value = oldEntry.value;
|
|
186
|
-
let newBucketIndex = HASH<K>(oldEntryKey) & newBucketsMask;
|
|
187
|
-
let newBucketPtrBase = changetype<usize>(newBuckets) + <usize>newBucketIndex * BUCKET_SIZE;
|
|
188
|
-
newEntry.taggedNext = load<usize>(newBucketPtrBase);
|
|
189
|
-
store<usize>(newBucketPtrBase, newPtr);
|
|
190
|
-
newPtr += ENTRY_SIZE<K,V>();
|
|
191
|
-
}
|
|
192
|
-
oldPtr += ENTRY_SIZE<K,V>();
|
|
193
|
-
}
|
|
194
|
-
|
|
195
|
-
this.buckets = newBuckets;
|
|
196
|
-
this.bucketsMask = newBucketsMask;
|
|
197
|
-
this.entries = newEntries;
|
|
198
|
-
this.entriesCapacity = newEntriesCapacity;
|
|
199
|
-
this.entriesOffset = this.entriesCount;
|
|
200
|
-
}
|
|
201
|
-
|
|
202
|
-
keys(): K[] {
|
|
203
|
-
// FIXME: this is preliminary, needs iterators/closures
|
|
204
|
-
let start = changetype<usize>(this.entries);
|
|
205
|
-
let size = this.entriesOffset;
|
|
206
|
-
let keys = new Array<K>(size);
|
|
207
|
-
let length = 0;
|
|
208
|
-
for (let i = 0; i < size; ++i) {
|
|
209
|
-
let entry = changetype<MapEntry<K,V>>(start + <usize>i * ENTRY_SIZE<K,V>());
|
|
210
|
-
if (!(entry.taggedNext & EMPTY)) {
|
|
211
|
-
unchecked(keys[length++] = entry.key);
|
|
212
|
-
}
|
|
213
|
-
}
|
|
214
|
-
keys.length = length;
|
|
215
|
-
return keys;
|
|
216
|
-
}
|
|
217
|
-
|
|
218
|
-
values(): V[] {
|
|
219
|
-
// FIXME: this is preliminary, needs iterators/closures
|
|
220
|
-
let start = changetype<usize>(this.entries);
|
|
221
|
-
let size = this.entriesOffset;
|
|
222
|
-
let values = new Array<V>(size);
|
|
223
|
-
let length = 0;
|
|
224
|
-
for (let i = 0; i < size; ++i) {
|
|
225
|
-
let entry = changetype<MapEntry<K,V>>(start + <usize>i * ENTRY_SIZE<K,V>());
|
|
226
|
-
if (!(entry.taggedNext & EMPTY)) {
|
|
227
|
-
unchecked(values[length++] = entry.value);
|
|
228
|
-
}
|
|
229
|
-
}
|
|
230
|
-
values.length = length;
|
|
231
|
-
return values;
|
|
232
|
-
}
|
|
233
|
-
|
|
234
|
-
toString(): string {
|
|
235
|
-
return "[object Map]";
|
|
236
|
-
}
|
|
237
|
-
|
|
238
|
-
// RT integration
|
|
239
|
-
|
|
240
|
-
@unsafe private __visit(cookie: u32): void {
|
|
241
|
-
if (ASC_RUNTIME != Runtime.Memory) {
|
|
242
|
-
__visit(changetype<usize>(this.buckets), cookie);
|
|
243
|
-
let entries = changetype<usize>(this.entries);
|
|
244
|
-
if (isManaged<K>() || isManaged<V>()) {
|
|
245
|
-
let cur = entries;
|
|
246
|
-
let end = cur + <usize>this.entriesOffset * ENTRY_SIZE<K,V>();
|
|
247
|
-
while (cur < end) {
|
|
248
|
-
let entry = changetype<MapEntry<K,V>>(cur);
|
|
249
|
-
if (!(entry.taggedNext & EMPTY)) {
|
|
250
|
-
if (isManaged<K>()) {
|
|
251
|
-
let val = changetype<usize>(entry.key);
|
|
252
|
-
if (isNullable<K>()) {
|
|
253
|
-
if (val) __visit(val, cookie);
|
|
254
|
-
} else __visit(val, cookie);
|
|
255
|
-
}
|
|
256
|
-
if (isManaged<V>()) {
|
|
257
|
-
let val = changetype<usize>(entry.value);
|
|
258
|
-
if (isNullable<V>()) {
|
|
259
|
-
if (val) __visit(val, cookie);
|
|
260
|
-
} else __visit(val, cookie);
|
|
261
|
-
}
|
|
262
|
-
}
|
|
263
|
-
cur += ENTRY_SIZE<K,V>();
|
|
264
|
-
}
|
|
265
|
-
}
|
|
266
|
-
__visit(entries, cookie);
|
|
267
|
-
}
|
|
268
|
-
}
|
|
269
|
-
}
|
|
1
|
+
/// <reference path="./rt/index.d.ts" />
|
|
2
|
+
|
|
3
|
+
import { HASH } from "./util/hash";
|
|
4
|
+
import { Runtime } from "shared/runtime";
|
|
5
|
+
import { E_KEYNOTFOUND } from "./util/error";
|
|
6
|
+
|
|
7
|
+
// A deterministic hash map based on CloseTable from https://github.com/jorendorff/dht
|
|
8
|
+
|
|
9
|
+
// @ts-ignore: decorator
|
|
10
|
+
@inline const INITIAL_CAPACITY = 4;
|
|
11
|
+
|
|
12
|
+
// @ts-ignore: decorator
|
|
13
|
+
@inline const FILL_FACTOR_N = 8;
|
|
14
|
+
|
|
15
|
+
// @ts-ignore: decorator
|
|
16
|
+
@inline const FILL_FACTOR_D = 3;
|
|
17
|
+
|
|
18
|
+
// @ts-ignore: decorator
|
|
19
|
+
@inline const FREE_FACTOR_N = 3;
|
|
20
|
+
|
|
21
|
+
// @ts-ignore: decorator
|
|
22
|
+
@inline const FREE_FACTOR_D = 4;
|
|
23
|
+
|
|
24
|
+
/** Structure of a map entry. */
|
|
25
|
+
@unmanaged class MapEntry<K,V> {
|
|
26
|
+
key: K;
|
|
27
|
+
value: V;
|
|
28
|
+
taggedNext: usize; // LSB=1 indicates EMPTY
|
|
29
|
+
}
|
|
30
|
+
|
|
31
|
+
/** Empty bit. */
|
|
32
|
+
// @ts-ignore: decorator
|
|
33
|
+
@inline const EMPTY: usize = 1 << 0;
|
|
34
|
+
|
|
35
|
+
/** Size of a bucket. */
|
|
36
|
+
// @ts-ignore: decorator
|
|
37
|
+
@inline const BUCKET_SIZE = sizeof<usize>();
|
|
38
|
+
|
|
39
|
+
/** Computes the alignment of an entry. */
|
|
40
|
+
// @ts-ignore: decorator
|
|
41
|
+
@inline
|
|
42
|
+
function ENTRY_ALIGN<K,V>(): usize {
|
|
43
|
+
// can align to 4 instead of 8 if 32-bit and K/V is <= 32-bits
|
|
44
|
+
const maxkv = sizeof<K>() > sizeof<V>() ? sizeof<K>() : sizeof<V>();
|
|
45
|
+
const align = (maxkv > sizeof<usize>() ? maxkv : sizeof<usize>()) - 1;
|
|
46
|
+
return align;
|
|
47
|
+
}
|
|
48
|
+
|
|
49
|
+
/** Computes the aligned size of an entry. */
|
|
50
|
+
// @ts-ignore: decorator
|
|
51
|
+
@inline
|
|
52
|
+
function ENTRY_SIZE<K,V>(): usize {
|
|
53
|
+
const align = ENTRY_ALIGN<K,V>();
|
|
54
|
+
const size = (offsetof<MapEntry<K,V>>() + align) & ~align;
|
|
55
|
+
return size;
|
|
56
|
+
}
|
|
57
|
+
|
|
58
|
+
export class Map<K,V> {
|
|
59
|
+
|
|
60
|
+
// buckets referencing their respective first entry, usize[bucketsMask + 1]
|
|
61
|
+
private buckets: ArrayBuffer = new ArrayBuffer(INITIAL_CAPACITY * <i32>BUCKET_SIZE);
|
|
62
|
+
private bucketsMask: u32 = INITIAL_CAPACITY - 1;
|
|
63
|
+
|
|
64
|
+
// entries in insertion order, MapEntry<K,V>[entriesCapacity]
|
|
65
|
+
private entries: ArrayBuffer = new ArrayBuffer(INITIAL_CAPACITY * <i32>ENTRY_SIZE<K,V>());
|
|
66
|
+
private entriesCapacity: i32 = INITIAL_CAPACITY;
|
|
67
|
+
private entriesOffset: i32 = 0;
|
|
68
|
+
private entriesCount: i32 = 0;
|
|
69
|
+
|
|
70
|
+
constructor() {
|
|
71
|
+
/* nop */
|
|
72
|
+
}
|
|
73
|
+
|
|
74
|
+
get size(): i32 {
|
|
75
|
+
return this.entriesCount;
|
|
76
|
+
}
|
|
77
|
+
|
|
78
|
+
clear(): void {
|
|
79
|
+
this.buckets = new ArrayBuffer(INITIAL_CAPACITY * <i32>BUCKET_SIZE);
|
|
80
|
+
this.bucketsMask = INITIAL_CAPACITY - 1;
|
|
81
|
+
this.entries = new ArrayBuffer(INITIAL_CAPACITY * <i32>ENTRY_SIZE<K,V>());
|
|
82
|
+
this.entriesCapacity = INITIAL_CAPACITY;
|
|
83
|
+
this.entriesOffset = 0;
|
|
84
|
+
this.entriesCount = 0;
|
|
85
|
+
}
|
|
86
|
+
|
|
87
|
+
private find(key: K, hashCode: u32): MapEntry<K,V> | null {
|
|
88
|
+
let entry = load<MapEntry<K,V>>( // unmanaged!
|
|
89
|
+
changetype<usize>(this.buckets) + <usize>(hashCode & this.bucketsMask) * BUCKET_SIZE
|
|
90
|
+
);
|
|
91
|
+
while (entry) {
|
|
92
|
+
let taggedNext = entry.taggedNext;
|
|
93
|
+
if (!(taggedNext & EMPTY) && entry.key == key) return entry;
|
|
94
|
+
entry = changetype<MapEntry<K,V>>(taggedNext & ~EMPTY);
|
|
95
|
+
}
|
|
96
|
+
return null;
|
|
97
|
+
}
|
|
98
|
+
|
|
99
|
+
has(key: K): bool {
|
|
100
|
+
return this.find(key, HASH<K>(key)) != null;
|
|
101
|
+
}
|
|
102
|
+
|
|
103
|
+
@operator("[]")
|
|
104
|
+
get(key: K): V {
|
|
105
|
+
let entry = this.find(key, HASH<K>(key));
|
|
106
|
+
if (!entry) throw new Error(E_KEYNOTFOUND); // cannot represent `undefined`
|
|
107
|
+
return entry.value;
|
|
108
|
+
}
|
|
109
|
+
|
|
110
|
+
@operator("[]=")
|
|
111
|
+
set(key: K, value: V): this {
|
|
112
|
+
let hashCode = HASH<K>(key);
|
|
113
|
+
let entry = this.find(key, hashCode); // unmanaged!
|
|
114
|
+
if (entry) {
|
|
115
|
+
entry.value = value;
|
|
116
|
+
if (isManaged<V>()) {
|
|
117
|
+
if (ASC_RUNTIME != Runtime.Memory) {
|
|
118
|
+
__link(changetype<usize>(this), changetype<usize>(value), true);
|
|
119
|
+
}
|
|
120
|
+
}
|
|
121
|
+
} else {
|
|
122
|
+
// check if rehashing is necessary
|
|
123
|
+
if (this.entriesOffset == this.entriesCapacity) {
|
|
124
|
+
this.rehash(
|
|
125
|
+
this.entriesCount < this.entriesCapacity * FREE_FACTOR_N / FREE_FACTOR_D
|
|
126
|
+
? this.bucketsMask // just rehash if 1/4+ entries are empty
|
|
127
|
+
: (this.bucketsMask << 1) | 1 // grow capacity to next 2^N
|
|
128
|
+
);
|
|
129
|
+
}
|
|
130
|
+
// append new entry
|
|
131
|
+
let entries = this.entries;
|
|
132
|
+
entry = changetype<MapEntry<K,V>>(changetype<usize>(entries) + <usize>(this.entriesOffset++) * ENTRY_SIZE<K,V>());
|
|
133
|
+
// link with the map
|
|
134
|
+
entry.key = key;
|
|
135
|
+
if (isManaged<K>()) {
|
|
136
|
+
if (ASC_RUNTIME != Runtime.Memory) {
|
|
137
|
+
__link(changetype<usize>(this), changetype<usize>(key), true);
|
|
138
|
+
}
|
|
139
|
+
}
|
|
140
|
+
entry.value = value;
|
|
141
|
+
if (isManaged<V>()) {
|
|
142
|
+
if (ASC_RUNTIME != Runtime.Memory) {
|
|
143
|
+
__link(changetype<usize>(this), changetype<usize>(value), true);
|
|
144
|
+
}
|
|
145
|
+
}
|
|
146
|
+
++this.entriesCount;
|
|
147
|
+
// link with previous entry in bucket
|
|
148
|
+
let bucketPtrBase = changetype<usize>(this.buckets) + <usize>(hashCode & this.bucketsMask) * BUCKET_SIZE;
|
|
149
|
+
entry.taggedNext = load<usize>(bucketPtrBase);
|
|
150
|
+
store<usize>(bucketPtrBase, changetype<usize>(entry));
|
|
151
|
+
}
|
|
152
|
+
return this;
|
|
153
|
+
}
|
|
154
|
+
|
|
155
|
+
delete(key: K): bool {
|
|
156
|
+
let entry = this.find(key, HASH<K>(key));
|
|
157
|
+
if (!entry) return false;
|
|
158
|
+
entry.taggedNext |= EMPTY;
|
|
159
|
+
--this.entriesCount;
|
|
160
|
+
// check if rehashing is appropriate
|
|
161
|
+
let halfBucketsMask = this.bucketsMask >> 1;
|
|
162
|
+
if (
|
|
163
|
+
halfBucketsMask + 1 >= max<u32>(INITIAL_CAPACITY, this.entriesCount) &&
|
|
164
|
+
this.entriesCount < this.entriesCapacity * FREE_FACTOR_N / FREE_FACTOR_D
|
|
165
|
+
) this.rehash(halfBucketsMask);
|
|
166
|
+
return true;
|
|
167
|
+
}
|
|
168
|
+
|
|
169
|
+
private rehash(newBucketsMask: u32): void {
|
|
170
|
+
let newBucketsCapacity = <i32>(newBucketsMask + 1);
|
|
171
|
+
let newBuckets = new ArrayBuffer(newBucketsCapacity * <i32>BUCKET_SIZE);
|
|
172
|
+
let newEntriesCapacity = newBucketsCapacity * FILL_FACTOR_N / FILL_FACTOR_D;
|
|
173
|
+
let newEntries = new ArrayBuffer(newEntriesCapacity * <i32>ENTRY_SIZE<K,V>());
|
|
174
|
+
|
|
175
|
+
// copy old entries to new entries
|
|
176
|
+
let oldPtr = changetype<usize>(this.entries);
|
|
177
|
+
let oldEnd = oldPtr + <usize>this.entriesOffset * ENTRY_SIZE<K,V>();
|
|
178
|
+
let newPtr = changetype<usize>(newEntries);
|
|
179
|
+
while (oldPtr != oldEnd) {
|
|
180
|
+
let oldEntry = changetype<MapEntry<K,V>>(oldPtr);
|
|
181
|
+
if (!(oldEntry.taggedNext & EMPTY)) {
|
|
182
|
+
let newEntry = changetype<MapEntry<K,V>>(newPtr);
|
|
183
|
+
let oldEntryKey = oldEntry.key;
|
|
184
|
+
newEntry.key = oldEntryKey;
|
|
185
|
+
newEntry.value = oldEntry.value;
|
|
186
|
+
let newBucketIndex = HASH<K>(oldEntryKey) & newBucketsMask;
|
|
187
|
+
let newBucketPtrBase = changetype<usize>(newBuckets) + <usize>newBucketIndex * BUCKET_SIZE;
|
|
188
|
+
newEntry.taggedNext = load<usize>(newBucketPtrBase);
|
|
189
|
+
store<usize>(newBucketPtrBase, newPtr);
|
|
190
|
+
newPtr += ENTRY_SIZE<K,V>();
|
|
191
|
+
}
|
|
192
|
+
oldPtr += ENTRY_SIZE<K,V>();
|
|
193
|
+
}
|
|
194
|
+
|
|
195
|
+
this.buckets = newBuckets;
|
|
196
|
+
this.bucketsMask = newBucketsMask;
|
|
197
|
+
this.entries = newEntries;
|
|
198
|
+
this.entriesCapacity = newEntriesCapacity;
|
|
199
|
+
this.entriesOffset = this.entriesCount;
|
|
200
|
+
}
|
|
201
|
+
|
|
202
|
+
keys(): K[] {
|
|
203
|
+
// FIXME: this is preliminary, needs iterators/closures
|
|
204
|
+
let start = changetype<usize>(this.entries);
|
|
205
|
+
let size = this.entriesOffset;
|
|
206
|
+
let keys = new Array<K>(size);
|
|
207
|
+
let length = 0;
|
|
208
|
+
for (let i = 0; i < size; ++i) {
|
|
209
|
+
let entry = changetype<MapEntry<K,V>>(start + <usize>i * ENTRY_SIZE<K,V>());
|
|
210
|
+
if (!(entry.taggedNext & EMPTY)) {
|
|
211
|
+
unchecked(keys[length++] = entry.key);
|
|
212
|
+
}
|
|
213
|
+
}
|
|
214
|
+
keys.length = length;
|
|
215
|
+
return keys;
|
|
216
|
+
}
|
|
217
|
+
|
|
218
|
+
values(): V[] {
|
|
219
|
+
// FIXME: this is preliminary, needs iterators/closures
|
|
220
|
+
let start = changetype<usize>(this.entries);
|
|
221
|
+
let size = this.entriesOffset;
|
|
222
|
+
let values = new Array<V>(size);
|
|
223
|
+
let length = 0;
|
|
224
|
+
for (let i = 0; i < size; ++i) {
|
|
225
|
+
let entry = changetype<MapEntry<K,V>>(start + <usize>i * ENTRY_SIZE<K,V>());
|
|
226
|
+
if (!(entry.taggedNext & EMPTY)) {
|
|
227
|
+
unchecked(values[length++] = entry.value);
|
|
228
|
+
}
|
|
229
|
+
}
|
|
230
|
+
values.length = length;
|
|
231
|
+
return values;
|
|
232
|
+
}
|
|
233
|
+
|
|
234
|
+
toString(): string {
|
|
235
|
+
return "[object Map]";
|
|
236
|
+
}
|
|
237
|
+
|
|
238
|
+
// RT integration
|
|
239
|
+
|
|
240
|
+
@unsafe private __visit(cookie: u32): void {
|
|
241
|
+
if (ASC_RUNTIME != Runtime.Memory) {
|
|
242
|
+
__visit(changetype<usize>(this.buckets), cookie);
|
|
243
|
+
let entries = changetype<usize>(this.entries);
|
|
244
|
+
if (isManaged<K>() || isManaged<V>()) {
|
|
245
|
+
let cur = entries;
|
|
246
|
+
let end = cur + <usize>this.entriesOffset * ENTRY_SIZE<K,V>();
|
|
247
|
+
while (cur < end) {
|
|
248
|
+
let entry = changetype<MapEntry<K,V>>(cur);
|
|
249
|
+
if (!(entry.taggedNext & EMPTY)) {
|
|
250
|
+
if (isManaged<K>()) {
|
|
251
|
+
let val = changetype<usize>(entry.key);
|
|
252
|
+
if (isNullable<K>()) {
|
|
253
|
+
if (val) __visit(val, cookie);
|
|
254
|
+
} else __visit(val, cookie);
|
|
255
|
+
}
|
|
256
|
+
if (isManaged<V>()) {
|
|
257
|
+
let val = changetype<usize>(entry.value);
|
|
258
|
+
if (isNullable<V>()) {
|
|
259
|
+
if (val) __visit(val, cookie);
|
|
260
|
+
} else __visit(val, cookie);
|
|
261
|
+
}
|
|
262
|
+
}
|
|
263
|
+
cur += ENTRY_SIZE<K,V>();
|
|
264
|
+
}
|
|
265
|
+
}
|
|
266
|
+
__visit(entries, cookie);
|
|
267
|
+
}
|
|
268
|
+
}
|
|
269
|
+
}
|