@voltro/workflow 0.81.0 → 0.82.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/CHANGELOG.md +1520 -6
- package/README.md +4 -0
- package/dist/cluster-MboOAwcv.js +604 -0
- package/dist/cluster.d.ts +553 -26
- package/dist/cluster.js +2 -2
- package/dist/clusterDiagnostics-Dc7yBP3b.js +2069 -0
- package/dist/clusterTestSuite.d.ts +2 -0
- package/dist/clusterTestSuite.js +309 -117
- package/dist/index.d.ts +257 -115
- package/dist/index.js +5 -4
- package/dist/journalEncryption--n5VDdYO.js +148 -0
- package/dist/primitives-Btjhjm8P.js +483 -0
- package/dist/primitives.d.ts +28 -72
- package/dist/primitives.js +1 -1
- package/dist/{src-D_GRCNhv.js → src-BAN5Xovf.js} +1015 -2129
- package/package.json +4 -4
- package/dist/cluster-D7VuRhM0.js +0 -500
- package/dist/clusterDiagnostics-Cwt-WFec.js +0 -395
- package/dist/primitives-BJBn8tiH.js +0 -448
package/README.md
CHANGED
|
@@ -24,3 +24,7 @@ deliberately short so there is nothing here to drift out of date.
|
|
|
24
24
|
|
|
25
25
|
Proprietary. © 2026 Voltro UG. Your use is governed by the
|
|
26
26
|
[Terms of Service](https://voltro.cloud/legal/terms). See the bundled `LICENSE`.
|
|
27
|
+
|
|
28
|
+
### Read a persisted engine delivery
|
|
29
|
+
|
|
30
|
+
`readWorkflowRunReply(workflow, executionId)` from `@voltro/workflow/cluster` reads the original run delivery using the engine's `Sharding` and `MessageStorage` services. It distinguishes no journal request, a request without a terminal reply, and a stored encoded Exit with string request/reply IDs. It preserves outer delivery failures that `workflow.poll` throws instead of returning as workflow results. Read failures remain Effect errors. This server-only diagnostic never resets, acknowledges or dispatches messages; authorize and project raw replies before client exposure. It does not prove recorder entry or add a dashboard endpoint by itself.
|
|
@@ -0,0 +1,604 @@
|
|
|
1
|
+
import { _ as e, a as t, b as n, c as r, l as i, m as a, n as o, p as s, s as c, t as l, x as u } from "./clusterDiagnostics-Dc7yBP3b.js";
|
|
2
|
+
import { Context as d, Duration as f, Effect as p, Layer as m, Option as h, Runtime as g, Schema as _ } from "effect";
|
|
3
|
+
import { eq as v } from "@voltro/database";
|
|
4
|
+
import { SqlClient as y } from "@effect/sql";
|
|
5
|
+
import { ClusterCron as ee, ClusterSchema as te, ClusterWorkflowEngine as b, EntityAddress as ne, EntityId as re, EntityType as ie, MessageStorage as x, RunnerAddress as S, ShardId as ae, Sharding as C, ShardingConfig as oe, SingleRunner as se, SqlMessageStorage as ce, SqlRunnerStorage as le } from "@effect/cluster";
|
|
6
|
+
import { applyUndeclaredCharsetWork as ue, fnv1a64 as w, readUndeclaredCharsetColumns as de, resolveMigrationLockSchema as T, sqlPoolCapacity as fe, undeclaredCharsetWork as pe } from "@voltro/database/sql";
|
|
7
|
+
import { realpath as me } from "node:fs/promises";
|
|
8
|
+
import { createLogger as he } from "@voltro/logger";
|
|
9
|
+
//#region src/workflowResumeDispatch.ts
|
|
10
|
+
var ge = (e) => p.gen(function* () {
|
|
11
|
+
let t = yield* p.runtime(), r = yield* p.promise(() => e.transaction((n) => u(n, e.requestId, (e) => g.runPromise(t)(s(e)))));
|
|
12
|
+
if (r.kind !== "bound") return r;
|
|
13
|
+
let i = yield* p.promise(() => e.transaction((t) => n(t, e.requestId)));
|
|
14
|
+
if (i.kind !== "dispatch") return i;
|
|
15
|
+
let { request: o } = i;
|
|
16
|
+
if (o.operation !== "resume" || o.resumeJournal === null) return yield* p.die(/* @__PURE__ */ Error("Resume dispatch requires its committed suspension binding"));
|
|
17
|
+
let c = yield* a({
|
|
18
|
+
workflowName: o.workflowName,
|
|
19
|
+
executionId: o.executionId,
|
|
20
|
+
...o.resumeJournal
|
|
21
|
+
});
|
|
22
|
+
return yield* (yield* C.Sharding).pollStorage, {
|
|
23
|
+
kind: "attempted",
|
|
24
|
+
request: o,
|
|
25
|
+
journal: c
|
|
26
|
+
};
|
|
27
|
+
}), E = class extends d.Tag("@voltro/workflow/WorkflowResumeDispatcher")() {}, _e = p.gen(function* () {
|
|
28
|
+
let e = yield* y.SqlClient, t = yield* C.Sharding;
|
|
29
|
+
return E.of({ dispatch: (n) => ge(n).pipe(p.provideService(y.SqlClient, e), p.provideService(C.Sharding, t)) });
|
|
30
|
+
}), ve = async (e) => {
|
|
31
|
+
if (e.workflow.name !== e.command.workflowName || e.control.workflowName !== e.command.workflowName) throw Error("Restart preparation requires the matching workflow");
|
|
32
|
+
let n = await e.transaction(async (n) => {
|
|
33
|
+
let r = await t(n, e.command);
|
|
34
|
+
if (r !== void 0) return {
|
|
35
|
+
kind: "accepted",
|
|
36
|
+
request: r
|
|
37
|
+
};
|
|
38
|
+
let [i] = await n.query({
|
|
39
|
+
table: "_voltro_workflow_runs",
|
|
40
|
+
predicate: v("id", e.command.runId),
|
|
41
|
+
lock: "update",
|
|
42
|
+
order: [],
|
|
43
|
+
take: 1,
|
|
44
|
+
skip: void 0,
|
|
45
|
+
projection: ["runnerGeneration"]
|
|
46
|
+
});
|
|
47
|
+
return {
|
|
48
|
+
kind: "captured",
|
|
49
|
+
generation: _.decodeUnknownSync(_.NonEmptyString)(i?.runnerGeneration)
|
|
50
|
+
};
|
|
51
|
+
});
|
|
52
|
+
return n.kind === "accepted" ? {
|
|
53
|
+
kind: "reserved",
|
|
54
|
+
request: n.request,
|
|
55
|
+
reused: !0
|
|
56
|
+
} : be({
|
|
57
|
+
...e,
|
|
58
|
+
command: {
|
|
59
|
+
...e.command,
|
|
60
|
+
generation: n.generation
|
|
61
|
+
}
|
|
62
|
+
});
|
|
63
|
+
}, ye = _.Struct({
|
|
64
|
+
requestId: _.NonEmptyString,
|
|
65
|
+
restartToken: _.NullOr(_.NonEmptyString)
|
|
66
|
+
}), be = async (e) => {
|
|
67
|
+
let { command: t } = e;
|
|
68
|
+
if (e.workflow.name !== t.workflowName || e.control.workflowName !== t.workflowName) throw Error("Restart preparation requires the matching workflow");
|
|
69
|
+
let n = await e.transaction(async (n) => {
|
|
70
|
+
let r = await c(n, t);
|
|
71
|
+
if (r !== void 0) return {
|
|
72
|
+
kind: "accepted",
|
|
73
|
+
request: r
|
|
74
|
+
};
|
|
75
|
+
let [i] = await n.query({
|
|
76
|
+
table: "_voltro_workflow_runs",
|
|
77
|
+
predicate: v("id", t.runId),
|
|
78
|
+
lock: "update",
|
|
79
|
+
order: [],
|
|
80
|
+
take: 1,
|
|
81
|
+
skip: void 0,
|
|
82
|
+
projection: void 0
|
|
83
|
+
});
|
|
84
|
+
if (i === void 0 || i.tag !== t.workflowName || i.runnerGeneration !== t.generation || i.status !== "failed" || i.discardedAt != null || typeof i.executionId != "string" || i.executionId.length === 0) throw Error("Restart preparation requires its failed resident generation");
|
|
85
|
+
if ((_.decodeUnknownSync(_.NullOr(_.Struct({ tenantId: _.NullOr(_.NonEmptyString) })))(i.subject ?? null)?.tenantId ?? null) !== t.tenantId) throw Error("Restart preparation belongs to another tenant");
|
|
86
|
+
return {
|
|
87
|
+
kind: "observe",
|
|
88
|
+
executionId: i.executionId,
|
|
89
|
+
delivery: _.decodeUnknownSync(ye)(i.engineDelivery),
|
|
90
|
+
activities: await e.readActivities(n)
|
|
91
|
+
};
|
|
92
|
+
});
|
|
93
|
+
if (n.kind === "accepted") return {
|
|
94
|
+
kind: "reserved",
|
|
95
|
+
request: n.request,
|
|
96
|
+
reused: !0
|
|
97
|
+
};
|
|
98
|
+
let i = await e.observe({
|
|
99
|
+
workflow: e.workflow,
|
|
100
|
+
executionId: n.executionId,
|
|
101
|
+
delivery: n.delivery,
|
|
102
|
+
activities: n.activities
|
|
103
|
+
});
|
|
104
|
+
return e.transaction(async (a) => {
|
|
105
|
+
let o = await c(a, t);
|
|
106
|
+
if (o !== void 0) return {
|
|
107
|
+
kind: "reserved",
|
|
108
|
+
request: o,
|
|
109
|
+
reused: !0
|
|
110
|
+
};
|
|
111
|
+
if (i.kind === "unavailable") return i;
|
|
112
|
+
let [s] = await a.query({
|
|
113
|
+
table: "_voltro_workflow_runs",
|
|
114
|
+
predicate: v("id", t.runId),
|
|
115
|
+
lock: "update",
|
|
116
|
+
order: [],
|
|
117
|
+
take: 1,
|
|
118
|
+
skip: void 0,
|
|
119
|
+
projection: ["executionId"]
|
|
120
|
+
});
|
|
121
|
+
if (s?.executionId !== n.executionId) throw Error("Restart execution changed during observation");
|
|
122
|
+
return r(a, {
|
|
123
|
+
...t,
|
|
124
|
+
token: e.createToken(),
|
|
125
|
+
delivery: n.delivery,
|
|
126
|
+
replies: i.replies,
|
|
127
|
+
control: e.control,
|
|
128
|
+
paused: await e.readPaused(a),
|
|
129
|
+
now: e.now
|
|
130
|
+
});
|
|
131
|
+
});
|
|
132
|
+
}, D = (e, t) => `${e}/${t}`, O = (e, t, n) => {
|
|
133
|
+
let r = re.make(t), i = d.get(e.annotations, te.ShardGroup)(r);
|
|
134
|
+
return new ne.EntityAddress({
|
|
135
|
+
entityType: ie.EntityType.make(`Workflow/${e.name}`),
|
|
136
|
+
entityId: r,
|
|
137
|
+
shardId: n.getShardId(r, i)
|
|
138
|
+
});
|
|
139
|
+
}, xe = (e, t) => p.gen(function* () {
|
|
140
|
+
let n = yield* C.Sharding, r = yield* x.MessageStorage, i = yield* r.requestIdForPrimaryKey({
|
|
141
|
+
address: O(e, t, n),
|
|
142
|
+
tag: "run",
|
|
143
|
+
id: ""
|
|
144
|
+
});
|
|
145
|
+
if (h.isNone(i)) return { kind: "not-found" };
|
|
146
|
+
let a = String(i.value), o = (yield* r.repliesForUnfiltered([i.value])).filter((e) => e._tag === "WithExit").at(-1);
|
|
147
|
+
return o === void 0 ? {
|
|
148
|
+
kind: "pending",
|
|
149
|
+
requestId: a
|
|
150
|
+
} : {
|
|
151
|
+
kind: "reply",
|
|
152
|
+
requestId: a,
|
|
153
|
+
replyId: String(o.id),
|
|
154
|
+
exit: o.exit
|
|
155
|
+
};
|
|
156
|
+
}), k = _.decodeUnknownOption(_.Exit({
|
|
157
|
+
success: _.Unknown,
|
|
158
|
+
failure: _.Unknown,
|
|
159
|
+
defect: _.Unknown
|
|
160
|
+
})), A = (e) => {
|
|
161
|
+
let t = (e) => e && typeof e == "object" && "_tag" in e && typeof e._tag == "string" ? e._tag : void 0, n = k(e);
|
|
162
|
+
if (h.isNone(n)) return "unrecognized-reply";
|
|
163
|
+
if (n.value._tag === "Failure") return "failed";
|
|
164
|
+
let r = n.value.value, i = t(r);
|
|
165
|
+
if (i === "Suspended") return "suspended";
|
|
166
|
+
if (i === "Complete") {
|
|
167
|
+
let e = r.exit, t = k(e);
|
|
168
|
+
return h.isNone(t) ? "unrecognized-reply" : t.value._tag === "Success" ? "succeeded" : "failed";
|
|
169
|
+
}
|
|
170
|
+
return "unrecognized-reply";
|
|
171
|
+
}, Se = (e) => M(e.workflow, e.executionId, e.failedActivities), j = (e) => M(e.workflow, e.executionId, e.resetActivities), M = (e, t, n) => p.gen(function* () {
|
|
172
|
+
let r = yield* C.Sharding, i = yield* x.MessageStorage, a = O(e, t, r), o = yield* i.requestIdForPrimaryKey({
|
|
173
|
+
address: a,
|
|
174
|
+
tag: "run",
|
|
175
|
+
id: ""
|
|
176
|
+
}).pipe(p.orDie);
|
|
177
|
+
if (h.isNone(o)) return {
|
|
178
|
+
redriven: !1,
|
|
179
|
+
runReplyCleared: !1,
|
|
180
|
+
activitiesReset: 0,
|
|
181
|
+
reason: "no-journal"
|
|
182
|
+
};
|
|
183
|
+
let s = (yield* i.repliesForUnfiltered([o.value]).pipe(p.orDie)).filter((e) => e._tag === "WithExit").at(-1);
|
|
184
|
+
if (s === void 0) return {
|
|
185
|
+
redriven: !1,
|
|
186
|
+
runReplyCleared: !1,
|
|
187
|
+
activitiesReset: 0,
|
|
188
|
+
reason: "no-reply"
|
|
189
|
+
};
|
|
190
|
+
let c = A(s.exit);
|
|
191
|
+
if (c !== "failed") return {
|
|
192
|
+
redriven: !1,
|
|
193
|
+
runReplyCleared: !1,
|
|
194
|
+
activitiesReset: 0,
|
|
195
|
+
reason: c
|
|
196
|
+
};
|
|
197
|
+
let l = /* @__PURE__ */ new Set();
|
|
198
|
+
for (let e of n) {
|
|
199
|
+
let t = yield* i.requestIdForPrimaryKey({
|
|
200
|
+
address: a,
|
|
201
|
+
tag: "activity",
|
|
202
|
+
id: D(e.name, e.attempt)
|
|
203
|
+
}).pipe(p.orDie);
|
|
204
|
+
if (h.isNone(t)) return {
|
|
205
|
+
redriven: !1,
|
|
206
|
+
runReplyCleared: !1,
|
|
207
|
+
activitiesReset: 0,
|
|
208
|
+
reason: "activity-not-found"
|
|
209
|
+
};
|
|
210
|
+
l.add(t.value);
|
|
211
|
+
}
|
|
212
|
+
let u = 0;
|
|
213
|
+
for (let e of l) {
|
|
214
|
+
if (!(yield* r.reset(e))) return {
|
|
215
|
+
redriven: !1,
|
|
216
|
+
runReplyCleared: !1,
|
|
217
|
+
activitiesReset: u,
|
|
218
|
+
reason: "activity-reset-unconfirmed"
|
|
219
|
+
};
|
|
220
|
+
u++;
|
|
221
|
+
}
|
|
222
|
+
let d = yield* r.reset(o.value);
|
|
223
|
+
return d ? (yield* r.pollStorage, {
|
|
224
|
+
redriven: !0,
|
|
225
|
+
runReplyCleared: d,
|
|
226
|
+
activitiesReset: u,
|
|
227
|
+
reason: null
|
|
228
|
+
}) : {
|
|
229
|
+
redriven: !1,
|
|
230
|
+
runReplyCleared: !1,
|
|
231
|
+
activitiesReset: u,
|
|
232
|
+
reason: "run-reset-unconfirmed"
|
|
233
|
+
};
|
|
234
|
+
}), Ce = _.parseJson(_.Record({
|
|
235
|
+
key: _.String,
|
|
236
|
+
value: _.String
|
|
237
|
+
})), we = (e) => p.gen(function* () {
|
|
238
|
+
if (!/^[1-9]\d*$/.test(e.delivery.requestId) || e.executionId.length === 0 || e.activities.some((e) => e.name.length === 0 || !Number.isSafeInteger(e.attempt) || e.attempt < 1)) return yield* p.die(/* @__PURE__ */ Error("Restart observation requires an exact delivery and valid activity attempts"));
|
|
239
|
+
let t = (yield* y.SqlClient).withoutTransforms(), n = yield* x.MessageStorage, r = yield* C.Sharding, i = O(e.workflow, e.executionId, r), a = (n, r) => p.gen(function* () {
|
|
240
|
+
let [i] = yield* t`SELECT m.entity_type, m.entity_id, m.tag, m.headers, r.id AS reply_id, r.payload
|
|
241
|
+
FROM cluster_messages m
|
|
242
|
+
LEFT JOIN cluster_replies r ON r.id = m.last_reply_id AND r.request_id = m.id AND r.kind = 0
|
|
243
|
+
WHERE m.id = ${n} AND m.kind = 0`;
|
|
244
|
+
if (i !== void 0) return i.entity_type !== `Workflow/${e.workflow.name}` || i.entity_id !== e.executionId || i.tag !== r ? yield* p.die(/* @__PURE__ */ Error("Restart observation belongs to another execution or procedure")) : i;
|
|
245
|
+
}), o = yield* a(e.delivery.requestId, "run");
|
|
246
|
+
if (o === void 0) return {
|
|
247
|
+
kind: "unavailable",
|
|
248
|
+
reason: "no-journal"
|
|
249
|
+
};
|
|
250
|
+
if (((yield* p.sync(() => _.decodeUnknownSync(Ce)(o.headers)))["voltro-workflow-restart"] ?? null) !== e.delivery.restartToken) return {
|
|
251
|
+
kind: "unavailable",
|
|
252
|
+
reason: "delivery-changed"
|
|
253
|
+
};
|
|
254
|
+
if (o.reply_id === null || o.payload === null) return {
|
|
255
|
+
kind: "unavailable",
|
|
256
|
+
reason: "no-reply"
|
|
257
|
+
};
|
|
258
|
+
let s = A(yield* p.sync(() => JSON.parse(o.payload)));
|
|
259
|
+
if (s !== "failed") return {
|
|
260
|
+
kind: "unavailable",
|
|
261
|
+
reason: s
|
|
262
|
+
};
|
|
263
|
+
let c = /* @__PURE__ */ new Map([[e.delivery.requestId, String(o.reply_id)]]);
|
|
264
|
+
for (let t of e.activities) {
|
|
265
|
+
let e = yield* n.requestIdForPrimaryKey({
|
|
266
|
+
address: i,
|
|
267
|
+
tag: "activity",
|
|
268
|
+
id: D(t.name, t.attempt)
|
|
269
|
+
});
|
|
270
|
+
if (h.isNone(e)) return {
|
|
271
|
+
kind: "unavailable",
|
|
272
|
+
reason: "activity-not-found"
|
|
273
|
+
};
|
|
274
|
+
let r = String(e.value), o = yield* a(r, "activity");
|
|
275
|
+
if (o?.reply_id == null) return {
|
|
276
|
+
kind: "unavailable",
|
|
277
|
+
reason: "activity-not-found"
|
|
278
|
+
};
|
|
279
|
+
c.set(r, String(o.reply_id));
|
|
280
|
+
}
|
|
281
|
+
return {
|
|
282
|
+
kind: "observed",
|
|
283
|
+
replies: [...c].map(([e, t]) => ({
|
|
284
|
+
requestId: e,
|
|
285
|
+
replyId: t
|
|
286
|
+
}))
|
|
287
|
+
};
|
|
288
|
+
}).pipe(p.provideService(y.SafeIntegers, !0)), Te = (e) => p.gen(function* () {
|
|
289
|
+
let t = yield* i(e);
|
|
290
|
+
return t.kind === "waiting-capacity" ? t : (yield* (yield* C.Sharding).pollStorage, {
|
|
291
|
+
kind: "attempted",
|
|
292
|
+
journal: t
|
|
293
|
+
});
|
|
294
|
+
}), N = class extends d.Tag("@voltro/workflow/WorkflowRestartDispatcher")() {}, Ee = p.gen(function* () {
|
|
295
|
+
let e = yield* y.SqlClient, t = yield* C.Sharding, n = yield* x.MessageStorage, r = (r) => we(r).pipe(p.provideService(y.SqlClient, e), p.provideService(C.Sharding, t), p.provideService(x.MessageStorage, n));
|
|
296
|
+
return N.of({
|
|
297
|
+
prepare: (e) => p.tryPromise({
|
|
298
|
+
try: (t) => ve({
|
|
299
|
+
...e,
|
|
300
|
+
observe: (e) => p.runPromise(r(e), { signal: t })
|
|
301
|
+
}),
|
|
302
|
+
catch: (e) => e
|
|
303
|
+
}),
|
|
304
|
+
observe: r,
|
|
305
|
+
dispatch: (n) => Te(n).pipe(p.provideService(y.SqlClient, e), p.provideService(C.Sharding, t))
|
|
306
|
+
});
|
|
307
|
+
}), P = 6322741009312601n, F = () => {
|
|
308
|
+
let e = T();
|
|
309
|
+
return e === void 0 ? P : w(`voltro_cluster_migration_lock:${e}`) & 9223372036854775807n;
|
|
310
|
+
}, I = () => {
|
|
311
|
+
let e = `voltro_cluster_migration_${P.toString(36)}`, t = T();
|
|
312
|
+
if (t === void 0) return e;
|
|
313
|
+
let n = `${e}_${t}`;
|
|
314
|
+
return /^[A-Za-z0-9_]+$/.test(t) && n.length <= 64 ? n : `${e}_h${w(`voltro_cluster_migration_lock:${t}`).toString(16)}`;
|
|
315
|
+
}, L = () => {
|
|
316
|
+
let e = Number(process.env.VOLTRO_CLUSTER_MIGRATION_LOCK_TIMEOUT_MS);
|
|
317
|
+
return Number.isFinite(e) && e > 0 ? e : 6e4;
|
|
318
|
+
}, De = 250, R = (e) => e[0]?.[0], Oe = (e, t) => e.onDialectOrElse({
|
|
319
|
+
sqlite: () => p.void,
|
|
320
|
+
mysql: () => t.executeValues(`SELECT GET_LOCK('${I()}', ${Math.ceil(L() / 1e3)})`, []).pipe(p.flatMap((e) => R(e) === 1 || R(e) === "1" ? p.void : p.die(/* @__PURE__ */ Error(`could not acquire cluster migration lock '${I()}' (GET_LOCK timed out)`)))),
|
|
321
|
+
mssql: () => t.executeValues(`DECLARE @res int; EXEC @res = sp_getapplock @Resource = '${I()}', @LockMode = 'Exclusive', @LockOwner = 'Session', @LockTimeout = ${L()}; SELECT @res`, []).pipe(p.flatMap((e) => Number(R(e) ?? -999) >= 0 ? p.void : p.die(/* @__PURE__ */ Error(`could not acquire cluster migration lock '${I()}' (sp_getapplock ${String(R(e))})`)))),
|
|
322
|
+
orElse: () => {
|
|
323
|
+
let e = F().toString(), n = Date.now(), r = t.executeValues(`SELECT pg_try_advisory_lock(${e}::bigint)`, []).pipe(p.flatMap((e) => {
|
|
324
|
+
let t = R(e);
|
|
325
|
+
return t === !0 || t === "t" || t === 1 ? p.void : Date.now() - n >= L() ? p.die(/* @__PURE__ */ Error(`could not acquire the cluster migration advisory lock within ${Math.round(L() / 1e3)}s. Another runner is migrating the cluster schema, or a prior boot wedged while holding it. (Raise VOLTRO_CLUSTER_MIGRATION_LOCK_TIMEOUT_MS, or inspect pg_locks for the holder.)`)) : p.sleep(`${De} millis`).pipe(p.zipRight(r));
|
|
326
|
+
}));
|
|
327
|
+
return r;
|
|
328
|
+
}
|
|
329
|
+
}), z = (e, t) => e.onDialectOrElse({
|
|
330
|
+
sqlite: () => p.void,
|
|
331
|
+
mysql: () => p.asVoid(t.executeValues(`SELECT RELEASE_LOCK('${I()}')`, [])),
|
|
332
|
+
mssql: () => p.asVoid(t.executeValues(`EXEC sp_releaseapplock @Resource = '${I()}', @LockOwner = 'Session'`, [])),
|
|
333
|
+
orElse: () => p.asVoid(t.executeValues(`SELECT pg_advisory_unlock(${F().toString()}::bigint)`, []))
|
|
334
|
+
}), ke = (e, t) => e.onDialectOrElse({
|
|
335
|
+
sqlite: () => !0,
|
|
336
|
+
orElse: () => !1
|
|
337
|
+
}) ? t : p.scoped(p.gen(function* () {
|
|
338
|
+
let n = yield* e.reserve;
|
|
339
|
+
return yield* p.acquireRelease(Oe(e, n), () => z(e, n).pipe(p.orDie)), yield* t;
|
|
340
|
+
})), Ae = (e) => e === "sql" ? ["cluster_messages", "cluster_runners"] : ["cluster_messages"], je = (e, t) => e.onDialectOrElse({
|
|
341
|
+
pg: () => e`SELECT (to_regclass(${t}) IS NOT NULL) AS present`,
|
|
342
|
+
mysql: () => e`SELECT (COUNT(*) > 0) AS present FROM information_schema.tables WHERE table_schema = DATABASE() AND table_name = ${t}`,
|
|
343
|
+
mssql: () => e`SELECT CASE WHEN OBJECT_ID(${t}, 'U') IS NULL THEN 0 ELSE 1 END AS present`,
|
|
344
|
+
orElse: () => e`SELECT (COUNT(*) > 0) AS present FROM sqlite_master WHERE type = 'table' AND name = ${t}`
|
|
345
|
+
}).pipe(p.map((e) => {
|
|
346
|
+
let t = e[0]?.present;
|
|
347
|
+
return t === !0 || t === 1 || t === "1" || t === "t" || typeof t == "bigint" && t === 1n;
|
|
348
|
+
}), p.catchAll(() => p.succeed(!1))), Me = (e, t) => p.forEach(Ae(t), (t) => je(e, t), { concurrency: 1 }).pipe(p.map((e) => e.every(Boolean))), B = (e, t) => p.scoped(p.asVoid(m.build(t.pipe(m.provide(oe.layerDefaults), m.provide(m.succeed(y.SqlClient, e)))))), V = (e, t) => B(e, ce.layer).pipe(p.zipRight(t === "sql" ? B(e, le.layer) : p.void)), H = (e) => p.map(e.unsafe("SELECT table_name AS t FROM information_schema.tables WHERE table_schema = DATABASE() AND table_name LIKE 'cluster\\_%'"), (e) => new Set(e.map((e) => String(e.t ?? e.T)))), Ne = (e, t, n) => n === void 0 || !e.onDialectOrElse({
|
|
349
|
+
mysql: () => !0,
|
|
350
|
+
orElse: () => !1
|
|
351
|
+
}) ? V(e, t) : p.gen(function* () {
|
|
352
|
+
let r = yield* H(e);
|
|
353
|
+
yield* V(e, t);
|
|
354
|
+
let i = new Set([...yield* H(e)].filter((e) => !r.has(e)));
|
|
355
|
+
i.size !== 0 && (yield* ue(e, pe(yield* de(e), /* @__PURE__ */ new Set(), n, i)));
|
|
356
|
+
}), Pe = (e) => e === "sql" ? 3 : 2, U = (e) => m.effect(y.SqlClient, p.gen(function* () {
|
|
357
|
+
let t = yield* y.SqlClient, n = Pe(e.runnerStorage), r = fe(t);
|
|
358
|
+
return r !== void 0 && r < n ? yield* p.dieMessage(`the workflow runtime needs ${n} database connections at once and the pool has ${r}: ` + (e.runnerStorage === "sql" ? "on a first boot it holds its migration lock and its runner lock while the migration runs on a third, and once running it keeps the runner lock and needs one more to work. " : "on a first boot it holds its migration lock while the migration runs on a second. ") + `Set DB_MAX_CONNECTIONS (or PG_MAX_CONNECTIONS) to at least ${n}` + (e.runnerStorage === "sql" ? ", or VOLTRO_WORKFLOW_RUNNER_STORAGE=memory for a single-process runtime that needs 2 (no cross-pod shard handoff)." : ".")) : ((yield* Me(t, e.runnerStorage)) || (yield* ke(t, Ne(t, e.runnerStorage, e.charset))), t);
|
|
359
|
+
})), Fe = (e) => p.gen(function* () {
|
|
360
|
+
let t = yield* p.tryPromise({
|
|
361
|
+
try: () => me(e),
|
|
362
|
+
catch: W
|
|
363
|
+
}), n = yield* p.acquireRelease(p.tryPromise({
|
|
364
|
+
try: async () => {
|
|
365
|
+
let { DatabaseSync: e } = await import("node:sqlite");
|
|
366
|
+
return new e(`${t}.voltro-workflow-lock`);
|
|
367
|
+
},
|
|
368
|
+
catch: W
|
|
369
|
+
}), (e) => p.sync(() => e.close()));
|
|
370
|
+
yield* p.try({
|
|
371
|
+
try: () => {
|
|
372
|
+
n.exec("PRAGMA busy_timeout=0"), n.exec("CREATE TABLE IF NOT EXISTS workflow_mutex(id INTEGER PRIMARY KEY)"), n.exec("BEGIN IMMEDIATE");
|
|
373
|
+
},
|
|
374
|
+
catch: (e) => {
|
|
375
|
+
let n = W(e), r = n.errcode;
|
|
376
|
+
return r !== void 0 && ((r & 255) == 5 || (r & 255) == 6) ? Error("SQLite workflow journal is already owned by another engine. Stop that engine before starting another, or use a SQL dialect with shared runner coordination for replicas.", { cause: n }) : Error(`Could not acquire SQLite workflow ownership for ${t}`, { cause: n });
|
|
377
|
+
}
|
|
378
|
+
});
|
|
379
|
+
}), W = (e) => e instanceof Error ? e : Error(String(e)), G = (e) => {
|
|
380
|
+
if (e instanceof Date) return Number.isNaN(e.getTime()) ? null : e;
|
|
381
|
+
if (typeof e == "string" || typeof e == "number") {
|
|
382
|
+
let t = typeof e == "string" && /^\d{4}-\d{2}-\d{2} \d{2}:\d{2}:\d{2}$/.test(e) ? `${e.replace(" ", "T")}Z` : e, n = new Date(t);
|
|
383
|
+
return Number.isNaN(n.getTime()) ? null : n;
|
|
384
|
+
}
|
|
385
|
+
return null;
|
|
386
|
+
}, K = (e) => e === !0 || e === 1 || e === "1" || e instanceof Uint8Array && e[0] === 1, Ie = (e, t) => {
|
|
387
|
+
let n = e.lastIndexOf(":");
|
|
388
|
+
if (n < 0) return;
|
|
389
|
+
let r = e.slice(0, n), i = Number(e.slice(n + 1)), a = t.indexOf(r);
|
|
390
|
+
if (!(a < 0 || !Number.isInteger(i))) return (a + 1) * 1e6 + i;
|
|
391
|
+
}, q = (e) => p.gen(function* () {
|
|
392
|
+
let t = yield* y.SqlClient, n = e.shardGroups ?? ["default"], r = e.dialectId ?? "", i = r.startsWith("postgres") || r === "pg", a = (e) => e.pipe(p.catchAll(() => p.succeed([]))), o = t.onDialectOrElse({
|
|
393
|
+
pg: () => t.literal("NOW()"),
|
|
394
|
+
mysql: () => t.literal("NOW()"),
|
|
395
|
+
mssql: () => t.literal("GETDATE()"),
|
|
396
|
+
orElse: () => t.literal("CURRENT_TIMESTAMP")
|
|
397
|
+
}), s = (e, t) => {
|
|
398
|
+
let n = G(e.last_read), r = G(e.server_now), i = n !== null && r !== null ? Math.max(0, r.getTime() - n.getTime()) : null;
|
|
399
|
+
return {
|
|
400
|
+
tag: typeof e.tag == "string" ? e.tag : null,
|
|
401
|
+
entityType: String(e.entity_type ?? ""),
|
|
402
|
+
entityId: String(e.entity_id ?? ""),
|
|
403
|
+
shardId: String(e.shard_id ?? ""),
|
|
404
|
+
processed: K(e.processed),
|
|
405
|
+
lastRead: i === null ? null : new Date(t - i)
|
|
406
|
+
};
|
|
407
|
+
}, c = (e) => t.onDialectOrElse({
|
|
408
|
+
pg: () => t.literal(`NOW() - INTERVAL '${e} seconds'`),
|
|
409
|
+
mysql: () => t.literal(`NOW() - INTERVAL ${e} SECOND`),
|
|
410
|
+
mssql: () => t.literal(`DATEADD(SECOND, -${e}, GETDATE())`),
|
|
411
|
+
orElse: () => t.literal(`DATETIME('now', '-${e} seconds')`)
|
|
412
|
+
}), u = t.onDialectOrElse({
|
|
413
|
+
pg: () => t.literal("FALSE"),
|
|
414
|
+
orElse: () => t.literal("0")
|
|
415
|
+
}), d = (e) => {
|
|
416
|
+
let n = Date.now();
|
|
417
|
+
return a(t`
|
|
418
|
+
SELECT tag, entity_type, entity_id, shard_id, processed, last_read, ${o} AS server_now
|
|
419
|
+
FROM cluster_messages
|
|
420
|
+
WHERE entity_id = ${e}
|
|
421
|
+
ORDER BY rowid ASC
|
|
422
|
+
`).pipe(p.map((e) => e.map((e) => s(e, n))));
|
|
423
|
+
}, f = (e = l) => {
|
|
424
|
+
let n = Math.max(1, Math.ceil(e / 1e3)), r = Date.now();
|
|
425
|
+
return a(t`
|
|
426
|
+
SELECT tag, entity_type, entity_id, shard_id, processed, last_read, ${o} AS server_now
|
|
427
|
+
FROM cluster_messages
|
|
428
|
+
WHERE processed = ${u}
|
|
429
|
+
AND last_read IS NOT NULL
|
|
430
|
+
AND last_read < ${c(n)}
|
|
431
|
+
AND (deliver_at IS NULL OR deliver_at <= ${r})
|
|
432
|
+
ORDER BY last_read ASC
|
|
433
|
+
`).pipe(p.map((e) => e.flatMap((e) => {
|
|
434
|
+
let t = s(e, r);
|
|
435
|
+
return t.lastRead === null ? [] : [{
|
|
436
|
+
...t,
|
|
437
|
+
unreadForMs: Math.max(0, r - t.lastRead.getTime())
|
|
438
|
+
}];
|
|
439
|
+
})));
|
|
440
|
+
}, m = (n) => a(t`
|
|
441
|
+
SELECT shard_id, address, acquired_at FROM cluster_locks WHERE ${t.in("shard_id", n)}
|
|
442
|
+
`).pipe(p.map((t) => t.map((t) => {
|
|
443
|
+
let n = t, r = String(n.address ?? ""), i = String(n.shard_id ?? "");
|
|
444
|
+
return {
|
|
445
|
+
shardId: i,
|
|
446
|
+
mode: "row",
|
|
447
|
+
holder: r,
|
|
448
|
+
own: r === e.ownAddress || (e.hasShard?.(i) ?? !1),
|
|
449
|
+
since: G(n.acquired_at)
|
|
450
|
+
};
|
|
451
|
+
}))), h = (r) => {
|
|
452
|
+
let i = /* @__PURE__ */ new Map();
|
|
453
|
+
for (let e of r) {
|
|
454
|
+
let t = Ie(e, n);
|
|
455
|
+
t !== void 0 && i.set(t, e);
|
|
456
|
+
}
|
|
457
|
+
return i.size === 0 ? p.succeed([]) : p.gen(function* () {
|
|
458
|
+
return (yield* a(t`
|
|
459
|
+
SELECT l.objid, a.pid, a.client_addr, a.application_name, a.state, a.state_change, a.backend_start, a.wait_event_type
|
|
460
|
+
FROM pg_locks l
|
|
461
|
+
JOIN pg_stat_activity a ON a.pid = l.pid
|
|
462
|
+
WHERE l.locktype = 'advisory' AND l.granted AND l.classid = 0 AND ${t.in("l.objid", [...i.keys()])}
|
|
463
|
+
`)).flatMap((t) => {
|
|
464
|
+
let n = t, r = i.get(Number(n.objid));
|
|
465
|
+
if (r === void 0) return [];
|
|
466
|
+
let a = Number(n.pid), o = n.client_addr === null || n.client_addr === void 0 ? "local socket" : String(n.client_addr), s = e.hasShard?.(r) ?? !1;
|
|
467
|
+
return [{
|
|
468
|
+
shardId: r,
|
|
469
|
+
mode: "advisory",
|
|
470
|
+
holder: s ? `this runner (pid ${a})` : `pid ${a} from ${o}`,
|
|
471
|
+
own: s,
|
|
472
|
+
since: G(n.state_change),
|
|
473
|
+
detail: {
|
|
474
|
+
pid: a,
|
|
475
|
+
clientAddr: n.client_addr ?? null,
|
|
476
|
+
applicationName: n.application_name ?? null,
|
|
477
|
+
state: n.state ?? null,
|
|
478
|
+
waitEventType: n.wait_event_type ?? null,
|
|
479
|
+
backendStart: G(n.backend_start)?.toISOString() ?? null
|
|
480
|
+
}
|
|
481
|
+
}];
|
|
482
|
+
});
|
|
483
|
+
});
|
|
484
|
+
};
|
|
485
|
+
return {
|
|
486
|
+
ownAddress: e.ownAddress,
|
|
487
|
+
shardLockMode: e.shardLockMode,
|
|
488
|
+
messagesFor: d,
|
|
489
|
+
unreadMessages: f,
|
|
490
|
+
shardLockHolders: (t) => t.length === 0 || e.runnerStorage !== "sql" ? p.succeed([]) : e.shardLockMode === "row" ? m(t) : e.shardLockMode === "advisory" && i ? h(t) : p.succeed([]),
|
|
491
|
+
runners: () => e.runnerStorage === "sql" ? a(t`SELECT address, last_heartbeat, healthy FROM cluster_runners ORDER BY last_heartbeat DESC`).pipe(p.map((e) => e.map((e) => {
|
|
492
|
+
let t = e;
|
|
493
|
+
return {
|
|
494
|
+
address: String(t.address ?? ""),
|
|
495
|
+
lastHeartbeat: G(t.last_heartbeat),
|
|
496
|
+
healthy: K(t.healthy)
|
|
497
|
+
};
|
|
498
|
+
}))) : p.succeed([]),
|
|
499
|
+
discardMessages: (e) => {
|
|
500
|
+
let n = e.unreadForMs === void 0 ? t.literal("") : t`AND last_read IS NOT NULL AND last_read < ${c(Math.max(1, Math.ceil(e.unreadForMs / 1e3)))}`;
|
|
501
|
+
return p.gen(function* () {
|
|
502
|
+
let r = (yield* t`
|
|
503
|
+
SELECT id FROM cluster_messages
|
|
504
|
+
WHERE entity_type = ${e.entityType} AND entity_id = ${e.entityId}
|
|
505
|
+
AND processed = ${u}
|
|
506
|
+
${n}
|
|
507
|
+
`).map((e) => e.id).filter((e) => e != null);
|
|
508
|
+
return r.length === 0 ? 0 : (yield* t`DELETE FROM cluster_replies WHERE ${t.in("request_id", r)}`, yield* t`DELETE FROM cluster_messages WHERE ${t.in("id", r)}`, r.length);
|
|
509
|
+
}).pipe(t.withTransaction, p.catchAll(() => p.succeed(0)));
|
|
510
|
+
}
|
|
511
|
+
};
|
|
512
|
+
}), J = he({ scope: "voltro:workflow" }), Le = 34e3, Y = (e) => {
|
|
513
|
+
let t = e.runnerListenHost ?? process.env.POD_IP ?? process.env.VOLTRO_WORKFLOW_RUNNER_HOST ?? "localhost";
|
|
514
|
+
return {
|
|
515
|
+
host: t,
|
|
516
|
+
port: e.runnerListenPort ?? 34e3,
|
|
517
|
+
localhostRisk: e.runnerStorage === "sql" && (t === "localhost" || t === "127.0.0.1")
|
|
518
|
+
};
|
|
519
|
+
}, Re = (e) => {
|
|
520
|
+
let t = e.sqliteFamily ? "memory" : "sql", n = e.override ?? process.env.VOLTRO_WORKFLOW_RUNNER_STORAGE;
|
|
521
|
+
if (n === void 0 || n.trim() === "") return t;
|
|
522
|
+
let r = n.trim().toLowerCase();
|
|
523
|
+
if (r !== "memory" && r !== "sql") throw Error(`VOLTRO_WORKFLOW_RUNNER_STORAGE must be 'memory' or 'sql', got '${n}'.`);
|
|
524
|
+
if (r === "sql" && e.sqliteFamily) throw Error("VOLTRO_WORKFLOW_RUNNER_STORAGE='sql' is unsupported on sqlite / turso — @effect/cluster has no sqlite advisory-lock branch. Use 'memory'.");
|
|
525
|
+
return r;
|
|
526
|
+
}, X = (e = process.env.VOLTRO_WORKFLOW_SHARD_LOCK) => {
|
|
527
|
+
if (e === void 0 || e.trim() === "") return "auto";
|
|
528
|
+
let t = e.trim().toLowerCase();
|
|
529
|
+
if (t === "auto" || t === "row" || t === "advisory") return t;
|
|
530
|
+
throw Error(`VOLTRO_WORKFLOW_SHARD_LOCK must be 'auto', 'row', or 'advisory', got '${e}'.`);
|
|
531
|
+
}, Z = p.gen(function* () {
|
|
532
|
+
let e = yield* (yield* y.SqlClient)`SELECT @@wsrep_on AS wsrep`.pipe(p.catchAll(() => p.succeed([])));
|
|
533
|
+
if (e.length === 0) return !1;
|
|
534
|
+
let t = e[0].wsrep;
|
|
535
|
+
return t === 1 || t === "1" || t === !0 || t === "ON" || t === "on";
|
|
536
|
+
}), Q = (e) => p.gen(function* () {
|
|
537
|
+
return e.runnerStorage === "memory" ? !1 : e.mode === "row" ? !0 : e.mode === "advisory" || e.dialectId !== "mysql" && e.dialectId !== "mariadb" ? !1 : yield* Z;
|
|
538
|
+
}), ze = (e) => ({
|
|
539
|
+
coordination: e.disableAdvisory ? "row-based" : "advisory",
|
|
540
|
+
dialect: e.dialectId ?? "unknown",
|
|
541
|
+
mode: e.mode,
|
|
542
|
+
...e.disableAdvisory && e.mode === "auto" ? { reason: "wsrep/Galera cluster detected" } : {}
|
|
543
|
+
}), Be = () => {
|
|
544
|
+
let e = (e) => {
|
|
545
|
+
if (e === void 0) return;
|
|
546
|
+
let t = Number(e);
|
|
547
|
+
return Number.isFinite(t) && t > 0 ? t : void 0;
|
|
548
|
+
}, t = e(process.env.VOLTRO_WORKFLOW_FAILOVER_LEASE), n = e(process.env.VOLTRO_WORKFLOW_FAILOVER_HEARTBEAT), r = e(process.env.VOLTRO_WORKFLOW_POLL_INTERVAL);
|
|
549
|
+
return {
|
|
550
|
+
...t === void 0 ? {} : { failoverLeaseSeconds: t },
|
|
551
|
+
...n === void 0 ? {} : { failoverHeartbeatSeconds: n },
|
|
552
|
+
...r === void 0 ? {} : { messagePollSeconds: r }
|
|
553
|
+
};
|
|
554
|
+
}, Ve = p.flatMap(C.Sharding, (e) => e.pollStorage), $ = /* @__PURE__ */ new Set(), He = (t) => {
|
|
555
|
+
let n = Y({
|
|
556
|
+
runnerStorage: t.runnerStorage,
|
|
557
|
+
runnerListenHost: t.runnerListenHost,
|
|
558
|
+
runnerListenPort: t.runnerListenPort
|
|
559
|
+
}), r = n.host, i = n.port;
|
|
560
|
+
n.localhostRisk && !$.has(r) && ($.add(r), J.warn("runner host is not routable from other pods with SQL cluster storage — a workflow cannot resume on another pod after a reschedule. Inject POD_IP via the K8s downward API (fieldRef: status.podIP) or set runnerListenHost / VOLTRO_WORKFLOW_RUNNER_HOST.", { runnerHost: r }));
|
|
561
|
+
let a = t.dialectId === "sqlite" ? m.scoped(y.SqlClient, p.gen(function* () {
|
|
562
|
+
let e = yield* y.SqlClient, t = (yield* e.unsafe("PRAGMA database_list")).find((e) => e.name === "main");
|
|
563
|
+
return t === void 0 ? yield* p.die(/* @__PURE__ */ Error("SQLite workflow connection has no main database")) : (t.file !== "" && (yield* Fe(t.file)), e);
|
|
564
|
+
}).pipe(p.orDie)).pipe(m.provide(t.sqlClientLayer)) : t.sqlClientLayer, s = U({
|
|
565
|
+
runnerStorage: t.runnerStorage,
|
|
566
|
+
charset: t.charset
|
|
567
|
+
}).pipe(m.provide(a)), c = t.shardLockMode ?? X(), l = m.unwrapEffect(Q({
|
|
568
|
+
dialectId: t.dialectId,
|
|
569
|
+
runnerStorage: t.runnerStorage,
|
|
570
|
+
mode: c
|
|
571
|
+
}).pipe(p.map((e) => {
|
|
572
|
+
t.runnerStorage === "sql" && J.info("shard-lock coordination", ze({
|
|
573
|
+
disableAdvisory: e,
|
|
574
|
+
dialectId: t.dialectId,
|
|
575
|
+
mode: c
|
|
576
|
+
}));
|
|
577
|
+
let n = m.effect(o, p.flatMap(C.Sharding, (n) => q({
|
|
578
|
+
ownAddress: S.make(r, i).toString(),
|
|
579
|
+
shardLockMode: t.runnerStorage === "sql" ? e ? "row" : "advisory" : "none",
|
|
580
|
+
runnerStorage: t.runnerStorage,
|
|
581
|
+
dialectId: t.dialectId,
|
|
582
|
+
hasShard: (e) => n.hasShardId(ae.ShardId.fromString(e))
|
|
583
|
+
}))), a = se.layer({
|
|
584
|
+
runnerStorage: t.runnerStorage,
|
|
585
|
+
shardingConfig: {
|
|
586
|
+
runnerAddress: h.some(S.make(r, i)),
|
|
587
|
+
runnerListenAddress: h.some(S.make(r, i)),
|
|
588
|
+
...e ? { shardLockDisableAdvisory: !0 } : {},
|
|
589
|
+
...t.failoverLeaseSeconds === void 0 ? {} : { shardLockExpiration: f.seconds(t.failoverLeaseSeconds) },
|
|
590
|
+
...t.failoverHeartbeatSeconds === void 0 ? {} : { shardLockRefreshInterval: f.seconds(t.failoverHeartbeatSeconds) },
|
|
591
|
+
...t.messagePollSeconds === void 0 ? {} : { entityMessagePollInterval: f.seconds(t.messagePollSeconds) }
|
|
592
|
+
}
|
|
593
|
+
});
|
|
594
|
+
return m.mergeAll(n, m.effect(E, _e), m.effect(N, Ee)).pipe(m.provideMerge(a));
|
|
595
|
+
}))).pipe(m.provide(s)), u = t.extraShardingLayers ?? [], g = u.length === 0 ? b.layer : m.mergeAll(b.layer, ...u), _ = l.pipe(m.map((t) => d.add(t, C.Sharding, e(d.get(t, C.Sharding)))));
|
|
596
|
+
return g.pipe(m.provideMerge(_));
|
|
597
|
+
}, Ue = (e) => ee.make({
|
|
598
|
+
name: e.name,
|
|
599
|
+
cron: e.cron,
|
|
600
|
+
execute: p.promise(() => e.execute()),
|
|
601
|
+
skipIfOlderThan: e.skipIfOlderThan ?? f.days(1)
|
|
602
|
+
});
|
|
603
|
+
//#endregion
|
|
604
|
+
export { j as _, Ve as a, Re as c, q as d, U as f, Se as g, xe as h, X as i, Q as l, D as m, Le as n, Be as o, N as p, Z as r, Y as s, Ue as t, He as u, E as v };
|