@spooky-sync/core 0.0.1-canary.33 → 0.0.1-canary.331
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/AGENTS.md +84 -0
- package/README.md +56 -16
- package/dist/index.d.ts +2080 -142
- package/dist/index.js +16009 -2480
- package/dist/live.d.ts +149 -0
- package/dist/live.js +739 -0
- package/dist/otel/index.d.ts +1 -1
- package/dist/otel/index.js +3 -3
- package/dist/pure.d.ts +373 -0
- package/dist/pure.js +24 -0
- package/dist/sqlite-open.js +392 -0
- package/dist/sqlite-worker.d.ts +1 -0
- package/dist/sqlite-worker.js +439 -0
- package/dist/sw.d.ts +207 -0
- package/dist/sw.js +393 -0
- package/dist/tabs-broker-worker.d.ts +8 -0
- package/dist/tabs-broker-worker.js +477 -0
- package/dist/types.d.ts +1857 -38
- package/dist/worker-edges.js +480 -0
- package/dist/worker-impersonation.js +60 -0
- package/dist/worker-ref-tables.d.ts +48 -0
- package/dist/worker-types.d.ts +112 -0
- package/dist/worker-types.js +73 -0
- package/package.json +28 -7
- package/scripts/check-broker-bundle.mjs +33 -0
- package/scripts/check-worker-entries.mjs +173 -0
- package/skills/sp00ky-core/SKILL.md +32 -7
- package/skills/sp00ky-core/references/config.md +7 -1
- package/src/boot/auth-flip.saga.test.ts +135 -0
- package/src/boot/auth-flip.saga.ts +77 -0
- package/src/boot/boot.saga.test.ts +203 -0
- package/src/boot/boot.saga.ts +146 -0
- package/src/boot/bucket-switch.saga.test.ts +187 -0
- package/src/boot/bucket-switch.saga.ts +133 -0
- package/src/boot/preload.saga.test.ts +80 -0
- package/src/boot/preload.saga.ts +40 -0
- package/src/bucket-blurhash.test.ts +148 -0
- package/src/build-globals.d.ts +12 -0
- package/src/client/bucket-handle.test.ts +195 -0
- package/src/client/bucket-handle.ts +352 -0
- package/src/client/router.test.ts +58 -0
- package/src/client/router.ts +100 -0
- package/src/client/runtime.test.ts +195 -0
- package/src/client/runtime.ts +296 -0
- package/src/client/services.test.ts +74 -0
- package/src/client/services.ts +434 -0
- package/src/client/sp00ky-client.test.ts +341 -0
- package/src/client/sp00ky-client.ts +625 -0
- package/src/events/events.test.ts +2 -1
- package/src/events/index.ts +3 -0
- package/src/index.ts +69 -1
- package/src/kernel/constants.test.ts +19 -0
- package/src/kernel/constants.ts +80 -0
- package/src/kernel/effects.test.ts +40 -0
- package/src/kernel/effects.ts +167 -0
- package/src/kernel/events.ts +57 -0
- package/src/kernel/interpreter.test.ts +116 -0
- package/src/kernel/interpreter.ts +148 -0
- package/src/kernel/saga.test.ts +89 -0
- package/src/kernel/saga.ts +73 -0
- package/src/live/index.test.ts +512 -0
- package/src/live/index.ts +1059 -0
- package/src/modules/app-release/index.test.ts +125 -0
- package/src/modules/app-release/index.ts +209 -0
- package/src/modules/auth/auth.local-first.test.ts +228 -0
- package/src/modules/auth/events/index.ts +9 -2
- package/src/modules/auth/impersonation-banner.ts +443 -0
- package/src/modules/auth/impersonation.integration.test.ts +205 -0
- package/src/modules/auth/impersonation.test.ts +377 -0
- package/src/modules/auth/impersonation.ts +179 -0
- package/src/modules/auth/index.ts +476 -22
- package/src/modules/crdt/acceptance.ts +75 -0
- package/src/modules/crdt/bytes.ts +50 -0
- package/src/modules/crdt/crdt-field.ts +125 -0
- package/src/modules/crdt/crdt.test.ts +469 -0
- package/src/modules/crdt/hash.ts +103 -0
- package/src/modules/crdt/index.ts +757 -0
- package/src/modules/crdt/loro-loader.ts +25 -0
- package/src/modules/crdt/mirror.ts +37 -0
- package/src/modules/devtools/flags.ts +349 -0
- package/src/modules/devtools/index.ts +746 -95
- package/src/modules/devtools/mutations.test.ts +92 -0
- package/src/modules/devtools/mutations.ts +160 -0
- package/src/modules/devtools/notify-throttle.test.ts +166 -0
- package/src/modules/devtools/state-shape.test.ts +263 -0
- package/src/modules/devtools/storage-info.test.ts +79 -0
- package/src/modules/devtools/storage-info.ts +168 -0
- package/src/modules/devtools/versions.test.ts +74 -0
- package/src/modules/devtools/versions.ts +110 -0
- package/src/modules/feature-flag/index.test.ts +298 -0
- package/src/modules/feature-flag/index.ts +316 -0
- package/src/modules/ref-tables.test.ts +93 -0
- package/src/modules/ref-tables.ts +91 -0
- package/src/modules/web-push/index.test.ts +824 -0
- package/src/modules/web-push/index.ts +1027 -0
- package/src/mutation/jobs.test.ts +25 -0
- package/src/mutation/jobs.ts +41 -0
- package/src/mutation/mutation-id.test.ts +37 -0
- package/src/mutation/mutation-id.ts +35 -0
- package/src/mutation/pending-writes.integration.test.ts +175 -0
- package/src/mutation/push.saga.test.ts +301 -0
- package/src/mutation/push.saga.ts +225 -0
- package/src/mutation/rows.test.ts +231 -0
- package/src/mutation/rows.ts +427 -0
- package/src/mutation/tray.saga.test.ts +63 -0
- package/src/mutation/tray.saga.ts +48 -0
- package/src/mutation/write.saga.test.ts +316 -0
- package/src/mutation/write.saga.ts +268 -0
- package/src/otel/index.ts +10 -7
- package/src/pure.ts +66 -0
- package/src/push/types.ts +174 -0
- package/src/query/anon-query-isolation.integration.test.ts +527 -0
- package/src/query/env.test.ts +23 -0
- package/src/query/env.ts +65 -0
- package/src/query/fetch.saga.test.ts +199 -0
- package/src/query/fetch.saga.ts +120 -0
- package/src/query/hash.test.ts +14 -0
- package/src/query/hash.ts +18 -0
- package/src/query/id-set-plan.test.ts +132 -0
- package/src/query/lifecycle.saga.test.ts +274 -0
- package/src/query/lifecycle.saga.ts +186 -0
- package/src/query/list-ref-live.integration.test.ts +203 -0
- package/src/query/materialize.saga.test.ts +115 -0
- package/src/query/materialize.saga.ts +84 -0
- package/src/query/materialize.test.ts +58 -0
- package/src/query/materialize.ts +57 -0
- package/src/query/membership.saga.test.ts +407 -0
- package/src/query/membership.saga.ts +282 -0
- package/src/query/membership.test.ts +118 -0
- package/src/query/membership.ts +201 -0
- package/src/query/register.saga.test.ts +311 -0
- package/src/query/register.saga.ts +235 -0
- package/src/query/render-set.test.ts +47 -0
- package/src/query/render-set.ts +71 -0
- package/src/query/sql.test.ts +118 -0
- package/src/query/sql.ts +157 -0
- package/src/query/window-query.test.ts +70 -0
- package/src/query/window-query.ts +208 -0
- package/src/services/blobs/blob-cache.test.ts +359 -0
- package/src/services/blobs/blob-cache.ts +603 -0
- package/src/services/blobs/blob-manifest.ts +227 -0
- package/src/services/blobs/blob-store.test.ts +77 -0
- package/src/services/blobs/blob-store.ts +359 -0
- package/src/services/blobs/blob.fixture.ts +90 -0
- package/src/services/blobs/index.ts +70 -0
- package/src/services/database/cache-engine.ts +209 -0
- package/src/services/database/connection-supervisor.test.ts +318 -0
- package/src/services/database/connection-supervisor.ts +422 -0
- package/src/services/database/database.query-timeout.test.ts +140 -0
- package/src/services/database/database.responses.test.ts +43 -0
- package/src/services/database/database.ts +156 -61
- package/src/services/database/engine-factory.ts +33 -0
- package/src/services/database/errors.ts +34 -0
- package/src/services/database/events/index.ts +2 -1
- package/src/services/database/index.ts +7 -0
- package/src/services/database/landed-body-clear.integration.test.ts +236 -0
- package/src/services/database/local-migrator.integration.test.ts +110 -0
- package/src/services/database/local-migrator.ts +61 -16
- package/src/services/database/local.test.ts +150 -0
- package/src/services/database/local.ts +508 -63
- package/src/services/database/plan-render.test.ts +159 -0
- package/src/services/database/plan-render.ts +108 -0
- package/src/services/database/relation-resolver.test.ts +484 -0
- package/src/services/database/relation-resolver.ts +0 -0
- package/src/services/database/remote.ts +285 -6
- package/src/services/database/sqlite-cache-engine.test.ts +628 -0
- package/src/services/database/sqlite-cache-engine.timeout.test.ts +61 -0
- package/src/services/database/sqlite-cache-engine.ts +1401 -0
- package/src/services/database/sqlite-column-reset.integration.test.ts +100 -0
- package/src/services/database/sqlite-column-reset.ts +91 -0
- package/src/services/database/sqlite-devtools-queries.integration.test.ts +143 -0
- package/src/services/database/sqlite-devtools-queries.test.ts +154 -0
- package/src/services/database/sqlite-lock-verify.test.ts +33 -0
- package/src/services/database/sqlite-lock-verify.ts +45 -0
- package/src/services/database/sqlite-open.test.ts +150 -0
- package/src/services/database/sqlite-open.ts +164 -0
- package/src/services/database/sqlite-plan-sql.test.ts +164 -0
- package/src/services/database/sqlite-plan-sql.ts +196 -0
- package/src/services/database/sqlite-projection.test.ts +121 -0
- package/src/services/database/sqlite-select.integration.test.ts +185 -0
- package/src/services/database/sqlite-select.test.ts +261 -0
- package/src/services/database/sqlite-select.ts +131 -0
- package/src/services/database/sqlite-transport.fixture.ts +30 -0
- package/src/services/database/sqlite-transport.ts +224 -0
- package/src/services/database/sqlite-worker.ts +437 -0
- package/src/services/database/surql-translate.ts +417 -0
- package/src/services/database/surreal-cache-engine.ts +163 -0
- package/src/services/logger/index.test.ts +132 -0
- package/src/services/logger/index.ts +189 -7
- package/src/services/persistence/localstorage.ts +2 -2
- package/src/services/persistence/resilient.ts +10 -3
- package/src/services/persistence/surrealdb.ts +4 -4
- package/src/services/stream-processor/index.ts +806 -67
- package/src/services/stream-processor/permissions.test.ts +47 -0
- package/src/services/stream-processor/permissions.ts +53 -0
- package/src/services/stream-processor/stream-processor.batch.test.ts +186 -0
- package/src/services/stream-processor/stream-processor.prime.test.ts +234 -0
- package/src/services/stream-processor/stream-processor.reset.test.ts +226 -0
- package/src/services/stream-processor/stream-processor.test.ts +1 -1
- package/src/services/stream-processor/wasm-types.ts +58 -2
- package/src/services/tabs/broker-client.ts +284 -0
- package/src/services/tabs/broker.test.ts +381 -0
- package/src/services/tabs/coordinator.test.ts +386 -0
- package/src/services/tabs/coordinator.ts +646 -0
- package/src/services/tabs/fake-ports.fixture.ts +112 -0
- package/src/services/tabs/leader-locks.ts +75 -0
- package/src/services/tabs/protocol.ts +262 -0
- package/src/services/tabs/support.ts +36 -0
- package/src/services/tabs/tabs-broker-worker.ts +652 -0
- package/src/sp00ky.ts +5 -395
- package/src/state/client-state.ts +208 -0
- package/src/state/lifecycle.test.ts +141 -0
- package/src/state/lifecycle.ts +99 -0
- package/src/state/reducers.test.ts +306 -0
- package/src/state/reducers.ts +531 -0
- package/src/state/selectors.test.ts +188 -0
- package/src/state/selectors.ts +258 -0
- package/src/sw/index.test.ts +582 -0
- package/src/sw/index.ts +607 -0
- package/src/sw/store.ts +96 -0
- package/src/sync/connection.saga.test.ts +97 -0
- package/src/sync/connection.saga.ts +89 -0
- package/src/sync/live.saga.test.ts +178 -0
- package/src/sync/live.saga.ts +107 -0
- package/src/sync/policy.health.test.ts +56 -0
- package/src/sync/policy.test.ts +663 -0
- package/src/sync/policy.ts +515 -0
- package/src/sync/poll.saga.test.ts +51 -0
- package/src/sync/poll.saga.ts +36 -0
- package/src/sync/tabs.saga.test.ts +78 -0
- package/src/sync/tabs.saga.ts +96 -0
- package/src/testing/adapters.ts +137 -0
- package/src/testing/build.ts +63 -0
- package/src/testing/fake-services.ts +63 -0
- package/src/testing/run-pure.test.ts +92 -0
- package/src/testing/run-pure.ts +128 -0
- package/src/testing/services.ts +17 -0
- package/src/types.ts +633 -10
- package/src/utils/blurhash.ts +90 -0
- package/src/utils/edges.ts +39 -0
- package/src/utils/error-classification.test.ts +54 -0
- package/src/utils/error-classification.ts +25 -0
- package/src/utils/index.ts +89 -12
- package/src/utils/parser.test.ts +67 -102
- package/src/utils/parser.ts +64 -2
- package/src/utils/semver.test.ts +32 -0
- package/src/utils/semver.ts +30 -0
- package/src/utils/sha256.ts +15 -0
- package/src/utils/surql.ts +29 -18
- package/src/utils/utils.test.ts +3 -2
- package/tsdown.config.ts +117 -3
- package/vitest.config.ts +48 -0
- package/src/modules/cache/index.ts +0 -241
- package/src/modules/cache/types.ts +0 -19
- package/src/modules/data/data.test.ts +0 -58
- package/src/modules/data/index.ts +0 -879
- package/src/modules/sync/engine.ts +0 -173
- package/src/modules/sync/events/index.ts +0 -77
- package/src/modules/sync/index.ts +0 -3
- package/src/modules/sync/queue/index.ts +0 -2
- package/src/modules/sync/queue/queue-down.ts +0 -89
- package/src/modules/sync/queue/queue-up.ts +0 -223
- package/src/modules/sync/scheduler.ts +0 -84
- package/src/modules/sync/sync.ts +0 -421
- package/src/modules/sync/utils.test.ts +0 -311
- package/src/modules/sync/utils.ts +0 -167
|
@@ -0,0 +1,148 @@
|
|
|
1
|
+
import { Duration } from 'surrealdb';
|
|
2
|
+
import type { LocalStore } from '../services/database/cache-engine';
|
|
3
|
+
import type { IngestRecord, StreamUpdate } from '../services/stream-processor/index';
|
|
4
|
+
import type { ClientState } from '../state/client-state';
|
|
5
|
+
import type { InlineRow } from '../types';
|
|
6
|
+
import { withTimeout } from '../utils/index';
|
|
7
|
+
import type { Effect, IdScope, RegisterResult, ServiceCalls, Settled, StatementResult } from './effects';
|
|
8
|
+
import type { OutEvent, RuntimeEvent } from './events';
|
|
9
|
+
|
|
10
|
+
/** The five adapters plus the pure ports, as the interpreter sees them. */
|
|
11
|
+
export interface Adapters {
|
|
12
|
+
local: Pick<LocalStore, 'query' | 'execute' | 'select' | 'getById' | 'upsert' | 'delete'> & { readonly epoch: number };
|
|
13
|
+
remote: {
|
|
14
|
+
queryResponses(sql: string, vars?: Record<string, unknown>): Promise<StatementResult[]>;
|
|
15
|
+
/**
|
|
16
|
+
* Subscribe to `LIVE SELECT * FROM <table>`; the callback receives the
|
|
17
|
+
* changed query hashes, plus the changed rows themselves when the
|
|
18
|
+
* subscription was opened with the body joined on (`liveInlineBodies`).
|
|
19
|
+
*/
|
|
20
|
+
live(table: string, onChange: (hashes: string[], rows?: InlineRow[]) => void): Promise<string>;
|
|
21
|
+
kill(uuid: string): Promise<void>;
|
|
22
|
+
};
|
|
23
|
+
ssp: {
|
|
24
|
+
registerQueryPlan(plan: {
|
|
25
|
+
queryHash: string;
|
|
26
|
+
surql: string;
|
|
27
|
+
params: Record<string, unknown>;
|
|
28
|
+
ttl: Duration;
|
|
29
|
+
lastActiveAt: Date;
|
|
30
|
+
localArray: [];
|
|
31
|
+
remoteArray: [];
|
|
32
|
+
meta: { tableName: string; involvedTables?: string[] };
|
|
33
|
+
}): StreamUpdate | undefined;
|
|
34
|
+
unregisterQueryPlan(hash: string): void;
|
|
35
|
+
ingestMany(records: IngestRecord[]): unknown;
|
|
36
|
+
};
|
|
37
|
+
timers: { set(key: string, ms: number, fire: () => void): void; clear(key: string): void };
|
|
38
|
+
clock: { now(): number };
|
|
39
|
+
ids: Record<IdScope, () => string>;
|
|
40
|
+
hash(input: string): Promise<string>;
|
|
41
|
+
services: ServiceCalls;
|
|
42
|
+
}
|
|
43
|
+
|
|
44
|
+
/** What the interpreter needs from the runtime: state, waiting, emitting, dispatching. */
|
|
45
|
+
export interface InterpreterHost {
|
|
46
|
+
getState(): ClientState;
|
|
47
|
+
setState(next: ClientState): void;
|
|
48
|
+
waitFor(until: (s: ClientState) => boolean, signal?: AbortSignal): Promise<void>;
|
|
49
|
+
emit(event: OutEvent): void;
|
|
50
|
+
dispatch(event: RuntimeEvent): void;
|
|
51
|
+
}
|
|
52
|
+
|
|
53
|
+
export interface RunContext {
|
|
54
|
+
signal?: AbortSignal;
|
|
55
|
+
}
|
|
56
|
+
|
|
57
|
+
export type Interpreter = (effect: Effect, ctx?: RunContext) => Promise<unknown>;
|
|
58
|
+
|
|
59
|
+
/** Effects become adapter calls here and nowhere else. */
|
|
60
|
+
export function createInterpreter(adapters: Adapters, host: InterpreterHost): Interpreter {
|
|
61
|
+
const interpret: Interpreter = async (effect, ctx) => {
|
|
62
|
+
switch (effect.kind) {
|
|
63
|
+
case 'local.query':
|
|
64
|
+
return adapters.local.query(effect.sql, effect.vars, effect.epoch === undefined ? undefined : { epoch: effect.epoch });
|
|
65
|
+
case 'local.select':
|
|
66
|
+
return adapters.local.select(effect.plan, effect.params);
|
|
67
|
+
case 'local.execute':
|
|
68
|
+
return adapters.local.execute(effect.query, effect.vars, effect.epoch === undefined ? undefined : { epoch: effect.epoch });
|
|
69
|
+
case 'local.getById':
|
|
70
|
+
return adapters.local.getById(effect.table, effect.id);
|
|
71
|
+
case 'local.upsert':
|
|
72
|
+
return adapters.local.upsert(effect.table, effect.id, effect.data, effect.mode);
|
|
73
|
+
case 'local.delete':
|
|
74
|
+
return adapters.local.delete(effect.table, effect.id);
|
|
75
|
+
case 'local.epoch':
|
|
76
|
+
return adapters.local.epoch;
|
|
77
|
+
case 'remote.query': {
|
|
78
|
+
const pending = adapters.remote.queryResponses(effect.sql, effect.vars);
|
|
79
|
+
return effect.timeoutMs
|
|
80
|
+
? withTimeout(pending, effect.timeoutMs, () => new Error(`Remote request timed out after ${effect.timeoutMs}ms`))
|
|
81
|
+
: pending;
|
|
82
|
+
}
|
|
83
|
+
case 'remote.live':
|
|
84
|
+
return adapters.remote.live(effect.table, (hashes, rows) => host.dispatch({ type: 'LiveChange', hashes, rows }));
|
|
85
|
+
case 'remote.kill':
|
|
86
|
+
return adapters.remote.kill(effect.uuid);
|
|
87
|
+
case 'ssp.register': {
|
|
88
|
+
const update = adapters.ssp.registerQueryPlan({
|
|
89
|
+
queryHash: effect.plan.queryHash,
|
|
90
|
+
surql: effect.plan.surql,
|
|
91
|
+
params: effect.plan.params,
|
|
92
|
+
ttl: new Duration(effect.plan.ttl),
|
|
93
|
+
lastActiveAt: new Date(adapters.clock.now()),
|
|
94
|
+
localArray: [],
|
|
95
|
+
remoteArray: [],
|
|
96
|
+
meta: { tableName: effect.plan.tableName, involvedTables: effect.plan.involvedTables },
|
|
97
|
+
});
|
|
98
|
+
if (!update) throw new Error('Stream processor is not initialized');
|
|
99
|
+
const result: RegisterResult = {
|
|
100
|
+
localArray: update.localArray,
|
|
101
|
+
timings: {
|
|
102
|
+
parseMs: update.registration?.parseMs ?? null,
|
|
103
|
+
planMs: update.registration?.planMs ?? null,
|
|
104
|
+
snapshotMs: update.registration?.snapshotMs ?? null,
|
|
105
|
+
wallMs: null,
|
|
106
|
+
},
|
|
107
|
+
};
|
|
108
|
+
return result;
|
|
109
|
+
}
|
|
110
|
+
case 'ssp.unregister':
|
|
111
|
+
return adapters.ssp.unregisterQueryPlan(effect.hash);
|
|
112
|
+
case 'ssp.ingest':
|
|
113
|
+
return adapters.ssp.ingestMany(effect.records);
|
|
114
|
+
case 'timer.set':
|
|
115
|
+
return adapters.timers.set(effect.key, effect.ms, () => host.dispatch(effect.event));
|
|
116
|
+
case 'timer.clear':
|
|
117
|
+
return adapters.timers.clear(effect.key);
|
|
118
|
+
case 'state.read':
|
|
119
|
+
return effect.select(host.getState());
|
|
120
|
+
case 'state.update': {
|
|
121
|
+
const next = effect.fn(host.getState());
|
|
122
|
+
host.setState(next);
|
|
123
|
+
return next;
|
|
124
|
+
}
|
|
125
|
+
case 'state.wait':
|
|
126
|
+
return host.waitFor(effect.until, ctx?.signal);
|
|
127
|
+
case 'now':
|
|
128
|
+
return adapters.clock.now();
|
|
129
|
+
case 'id':
|
|
130
|
+
return adapters.ids[effect.scope]();
|
|
131
|
+
case 'hash':
|
|
132
|
+
return adapters.hash(effect.input);
|
|
133
|
+
case 'emit':
|
|
134
|
+
return host.emit(effect.event);
|
|
135
|
+
case 'dispatch':
|
|
136
|
+
return host.dispatch(effect.event);
|
|
137
|
+
case 'all': {
|
|
138
|
+
const settled = await Promise.allSettled(effect.effects.map((e) => interpret(e, ctx)));
|
|
139
|
+
return settled.map((r): Settled => (r.status === 'fulfilled' ? { ok: true, value: r.value } : { ok: false, error: r.reason }));
|
|
140
|
+
}
|
|
141
|
+
case 'service': {
|
|
142
|
+
const fn = adapters.services[effect.name] as (...args: unknown[]) => unknown;
|
|
143
|
+
return fn(...effect.args);
|
|
144
|
+
}
|
|
145
|
+
}
|
|
146
|
+
};
|
|
147
|
+
return interpret;
|
|
148
|
+
}
|
|
@@ -0,0 +1,89 @@
|
|
|
1
|
+
import { describe, expect, it } from 'vitest';
|
|
2
|
+
import type { Effect } from './effects';
|
|
3
|
+
import { fx } from './effects';
|
|
4
|
+
import { acquire, emptyLanes, release, runSaga } from './saga';
|
|
5
|
+
import type { Saga } from './saga';
|
|
6
|
+
|
|
7
|
+
describe('runSaga', () => {
|
|
8
|
+
it('threads effect results back into the generator in order', async () => {
|
|
9
|
+
const seen: Effect[] = [];
|
|
10
|
+
function* saga(): Saga<number> {
|
|
11
|
+
const a = (yield fx.now()) as number;
|
|
12
|
+
const b = (yield fx.hash('x')) as number;
|
|
13
|
+
return a + b;
|
|
14
|
+
}
|
|
15
|
+
const result = await runSaga(saga(), async (e) => {
|
|
16
|
+
seen.push(e);
|
|
17
|
+
return e.kind === 'now' ? 1 : 2;
|
|
18
|
+
});
|
|
19
|
+
expect(result).toBe(3);
|
|
20
|
+
expect(seen.map((e) => e.kind)).toEqual(['now', 'hash']);
|
|
21
|
+
});
|
|
22
|
+
|
|
23
|
+
it('throws a rejected effect into the saga so it can catch it', async () => {
|
|
24
|
+
function* saga(): Saga<string> {
|
|
25
|
+
try {
|
|
26
|
+
yield fx.now();
|
|
27
|
+
return 'unreachable';
|
|
28
|
+
} catch (err) {
|
|
29
|
+
return `caught:${(err as Error).message}`;
|
|
30
|
+
}
|
|
31
|
+
}
|
|
32
|
+
await expect(runSaga(saga(), async () => Promise.reject(new Error('boom')))).resolves.toBe('caught:boom');
|
|
33
|
+
});
|
|
34
|
+
|
|
35
|
+
it('propagates an error the saga does not catch', async () => {
|
|
36
|
+
function* saga(): Saga<void> {
|
|
37
|
+
yield fx.now();
|
|
38
|
+
}
|
|
39
|
+
await expect(runSaga(saga(), async () => Promise.reject(new Error('boom')))).rejects.toThrow('boom');
|
|
40
|
+
});
|
|
41
|
+
|
|
42
|
+
it('returns immediately for a saga that yields nothing', async () => {
|
|
43
|
+
// oxlint-disable-next-line require-yield
|
|
44
|
+
function* saga(): Saga<number> {
|
|
45
|
+
return 7;
|
|
46
|
+
}
|
|
47
|
+
await expect(runSaga(saga(), async () => undefined)).resolves.toBe(7);
|
|
48
|
+
});
|
|
49
|
+
});
|
|
50
|
+
|
|
51
|
+
describe('lanes', () => {
|
|
52
|
+
it('serial: first acquires, second waits, release hands over, final release frees', () => {
|
|
53
|
+
const lane = { kind: 'serial', key: 'outbox' } as const;
|
|
54
|
+
const a = acquire(emptyLanes(), lane);
|
|
55
|
+
expect(a.decision).toBe('start');
|
|
56
|
+
const b = acquire(a.state, lane);
|
|
57
|
+
expect(b.decision).toBe('wait');
|
|
58
|
+
const c = acquire(b.state, lane);
|
|
59
|
+
expect(c.decision).toBe('wait');
|
|
60
|
+
expect(c.state.waiting.get('outbox')).toBe(2);
|
|
61
|
+
const r1 = release(c.state, 'outbox');
|
|
62
|
+
expect(r1.startNext).toBe(true);
|
|
63
|
+
expect(r1.state.waiting.get('outbox')).toBe(1);
|
|
64
|
+
expect(r1.state.running.has('outbox')).toBe(true);
|
|
65
|
+
const r2 = release(r1.state, 'outbox');
|
|
66
|
+
expect(r2.startNext).toBe(true);
|
|
67
|
+
expect(r2.state.waiting.has('outbox')).toBe(false);
|
|
68
|
+
const r3 = release(r2.state, 'outbox');
|
|
69
|
+
expect(r3.startNext).toBe(false);
|
|
70
|
+
expect(r3.state.running.has('outbox')).toBe(false);
|
|
71
|
+
});
|
|
72
|
+
|
|
73
|
+
it('dedupe: a request during a run joins it and does not queue', () => {
|
|
74
|
+
const lane = { kind: 'dedupe', key: 'mat:h' } as const;
|
|
75
|
+
const a = acquire(emptyLanes(), lane);
|
|
76
|
+
const b = acquire(a.state, lane);
|
|
77
|
+
expect(b.decision).toBe('join');
|
|
78
|
+
expect(b.state).toBe(a.state);
|
|
79
|
+
const r = release(b.state, 'mat:h');
|
|
80
|
+
expect(r.startNext).toBe(false);
|
|
81
|
+
expect(r.state.running.size).toBe(0);
|
|
82
|
+
});
|
|
83
|
+
|
|
84
|
+
it('keys are independent', () => {
|
|
85
|
+
const a = acquire(emptyLanes(), { kind: 'serial', key: 'x' });
|
|
86
|
+
const b = acquire(a.state, { kind: 'serial', key: 'y' });
|
|
87
|
+
expect(b.decision).toBe('start');
|
|
88
|
+
});
|
|
89
|
+
});
|
|
@@ -0,0 +1,73 @@
|
|
|
1
|
+
import type { Effect } from './effects';
|
|
2
|
+
|
|
3
|
+
/**
|
|
4
|
+
* A saga is a generator that yields effects and receives their results. It
|
|
5
|
+
* holds no references to adapters or state, so it can be driven by the real
|
|
6
|
+
* interpreter or by `testing/run-pure` with canned results.
|
|
7
|
+
*/
|
|
8
|
+
export type Saga<R> = Generator<Effect, R, any>;
|
|
9
|
+
export type Interpret = (effect: Effect) => Promise<unknown>;
|
|
10
|
+
|
|
11
|
+
/**
|
|
12
|
+
* Drive a saga to completion. A rejected effect is thrown back into the saga
|
|
13
|
+
* at the `yield`, so sagas use ordinary `try/catch`; an error the saga does
|
|
14
|
+
* not catch propagates to the caller.
|
|
15
|
+
*/
|
|
16
|
+
export async function runSaga<R>(saga: Saga<R>, interpret: Interpret): Promise<R> {
|
|
17
|
+
let step = saga.next();
|
|
18
|
+
while (!step.done) {
|
|
19
|
+
let result: unknown;
|
|
20
|
+
try {
|
|
21
|
+
result = await interpret(step.value);
|
|
22
|
+
} catch (error) {
|
|
23
|
+
step = saga.throw(error);
|
|
24
|
+
continue;
|
|
25
|
+
}
|
|
26
|
+
step = saga.next(result);
|
|
27
|
+
}
|
|
28
|
+
return step.value;
|
|
29
|
+
}
|
|
30
|
+
|
|
31
|
+
/**
|
|
32
|
+
* Lanes bound concurrency without a queue object per lane:
|
|
33
|
+
* - `serial`: runs strictly one at a time per key, in arrival order.
|
|
34
|
+
* - `dedupe`: a request while one run is active joins that run instead of
|
|
35
|
+
* starting another.
|
|
36
|
+
* The bookkeeping is a pure value so the policy is unit-testable; the runtime
|
|
37
|
+
* owns the promises.
|
|
38
|
+
*/
|
|
39
|
+
export type Lane = { kind: 'serial'; key: string } | { kind: 'dedupe'; key: string };
|
|
40
|
+
|
|
41
|
+
export interface LaneState {
|
|
42
|
+
readonly running: ReadonlySet<string>;
|
|
43
|
+
readonly waiting: ReadonlyMap<string, number>;
|
|
44
|
+
}
|
|
45
|
+
|
|
46
|
+
export const emptyLanes = (): LaneState => ({ running: new Set(), waiting: new Map() });
|
|
47
|
+
|
|
48
|
+
export type LaneDecision = 'start' | 'wait' | 'join';
|
|
49
|
+
|
|
50
|
+
export function acquire(state: LaneState, lane: Lane): { decision: LaneDecision; state: LaneState } {
|
|
51
|
+
if (!state.running.has(lane.key)) {
|
|
52
|
+
const running = new Set(state.running);
|
|
53
|
+
running.add(lane.key);
|
|
54
|
+
return { decision: 'start', state: { running, waiting: state.waiting } };
|
|
55
|
+
}
|
|
56
|
+
if (lane.kind === 'dedupe') return { decision: 'join', state };
|
|
57
|
+
const waiting = new Map(state.waiting);
|
|
58
|
+
waiting.set(lane.key, (waiting.get(lane.key) ?? 0) + 1);
|
|
59
|
+
return { decision: 'wait', state: { running: state.running, waiting } };
|
|
60
|
+
}
|
|
61
|
+
|
|
62
|
+
export function release(state: LaneState, key: string): { startNext: boolean; state: LaneState } {
|
|
63
|
+
const pending = state.waiting.get(key) ?? 0;
|
|
64
|
+
if (pending > 0) {
|
|
65
|
+
const waiting = new Map(state.waiting);
|
|
66
|
+
if (pending === 1) waiting.delete(key);
|
|
67
|
+
else waiting.set(key, pending - 1);
|
|
68
|
+
return { startNext: true, state: { running: state.running, waiting } };
|
|
69
|
+
}
|
|
70
|
+
const running = new Set(state.running);
|
|
71
|
+
running.delete(key);
|
|
72
|
+
return { startNext: false, state: { running, waiting: state.waiting } };
|
|
73
|
+
}
|