@xioflow/kernel 0.1.5 → 0.3.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/README.md +50 -5
- package/dist/domain.d.ts +60 -6
- package/dist/domain.d.ts.map +1 -1
- package/dist/domain.js +405 -24
- package/dist/domain.js.map +1 -1
- package/dist/driver/node-driver.d.ts +10 -24
- package/dist/driver/node-driver.d.ts.map +1 -1
- package/dist/driver/node-driver.js +201 -280
- package/dist/driver/node-driver.js.map +1 -1
- package/dist/driver/process-facts.d.ts +25 -0
- package/dist/driver/process-facts.d.ts.map +1 -0
- package/dist/driver/process-facts.js +164 -0
- package/dist/driver/process-facts.js.map +1 -0
- package/dist/driver/sampler.d.ts +51 -0
- package/dist/driver/sampler.d.ts.map +1 -0
- package/dist/driver/sampler.js +224 -0
- package/dist/driver/sampler.js.map +1 -0
- package/dist/driver/types.d.ts +21 -1
- package/dist/driver/types.d.ts.map +1 -1
- package/dist/index.d.ts +1 -0
- package/dist/index.d.ts.map +1 -1
- package/dist/index.js +1 -0
- package/dist/index.js.map +1 -1
- package/dist/quick-run.d.ts +27 -0
- package/dist/quick-run.d.ts.map +1 -0
- package/dist/quick-run.js +82 -0
- package/dist/quick-run.js.map +1 -0
- package/dist/recovery/engine.d.ts.map +1 -1
- package/dist/recovery/engine.js +103 -19
- package/dist/recovery/engine.js.map +1 -1
- package/dist/store/sqlite.d.ts +15 -0
- package/dist/store/sqlite.d.ts.map +1 -1
- package/dist/store/sqlite.js +210 -12
- package/dist/store/sqlite.js.map +1 -1
- package/dist/supervisor/supervisor.d.ts +16 -0
- package/dist/supervisor/supervisor.d.ts.map +1 -1
- package/dist/supervisor/supervisor.js +820 -308
- package/dist/supervisor/supervisor.js.map +1 -1
- package/dist/testing/contract-suite.d.ts.map +1 -1
- package/dist/testing/contract-suite.js +479 -11
- package/dist/testing/contract-suite.js.map +1 -1
- package/dist/types.d.ts +54 -0
- package/dist/types.d.ts.map +1 -1
- package/dist/types.js +59 -0
- package/dist/types.js.map +1 -1
- package/package.json +2 -2
package/dist/index.d.ts.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,yBAAyB,CAAC;AACxC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,sBAAsB,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.d.ts","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,yBAAyB,CAAC;AACxC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,sBAAsB,CAAC;AACrC,cAAc,gBAAgB,CAAC"}
|
package/dist/index.js
CHANGED
package/dist/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,yBAAyB,CAAC;AACxC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,sBAAsB,CAAC"}
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../src/index.ts"],"names":[],"mappings":"AAAA,cAAc,YAAY,CAAC;AAC3B,cAAc,aAAa,CAAC;AAC5B,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,mBAAmB,CAAC;AAClC,cAAc,yBAAyB,CAAC;AACxC,cAAc,4BAA4B,CAAC;AAC3C,cAAc,sBAAsB,CAAC;AACrC,cAAc,gBAAgB,CAAC"}
|
|
@@ -0,0 +1,27 @@
|
|
|
1
|
+
import { ExecutionDomain } from './domain.js';
|
|
2
|
+
import { PlatformDriver, StructuredCommand } from './driver/types.js';
|
|
3
|
+
import { ProcessOperationResult, ResourceBudget } from './types.js';
|
|
4
|
+
export interface QuickRunOptions {
|
|
5
|
+
domain?: ExecutionDomain;
|
|
6
|
+
domainPath?: string;
|
|
7
|
+
domainId?: string;
|
|
8
|
+
driver?: PlatformDriver;
|
|
9
|
+
opId?: string;
|
|
10
|
+
runId?: string;
|
|
11
|
+
taskId?: string;
|
|
12
|
+
name?: string;
|
|
13
|
+
requiredResources?: string[];
|
|
14
|
+
timeoutMs?: number;
|
|
15
|
+
maxOutputBytes?: number;
|
|
16
|
+
drainTimeoutMs?: number;
|
|
17
|
+
waitTimeoutMs?: number;
|
|
18
|
+
resourceBudget?: ResourceBudget;
|
|
19
|
+
onStreamChunk?: (stream: 'stdout' | 'stderr', chunk: Buffer) => void;
|
|
20
|
+
abortSignal?: AbortSignal;
|
|
21
|
+
artifactsDir?: string;
|
|
22
|
+
}
|
|
23
|
+
/**
|
|
24
|
+
* 快速执行受管进程：自动创建 Task 与 Run，支持可选 opId 幂等重放
|
|
25
|
+
*/
|
|
26
|
+
export declare function quickRun(command: StructuredCommand, options?: QuickRunOptions): Promise<ProcessOperationResult>;
|
|
27
|
+
//# sourceMappingURL=quick-run.d.ts.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"quick-run.d.ts","sourceRoot":"","sources":["../src/quick-run.ts"],"names":[],"mappings":"AAEA,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAC9C,OAAO,EAAE,cAAc,EAAE,iBAAiB,EAAE,MAAM,mBAAmB,CAAC;AAGtE,OAAO,EAAE,sBAAsB,EAAE,cAAc,EAAE,MAAM,YAAY,CAAC;AAEpE,MAAM,WAAW,eAAe;IAC9B,MAAM,CAAC,EAAE,eAAe,CAAC;IACzB,UAAU,CAAC,EAAE,MAAM,CAAC;IACpB,QAAQ,CAAC,EAAE,MAAM,CAAC;IAClB,MAAM,CAAC,EAAE,cAAc,CAAC;IACxB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,KAAK,CAAC,EAAE,MAAM,CAAC;IACf,MAAM,CAAC,EAAE,MAAM,CAAC;IAChB,IAAI,CAAC,EAAE,MAAM,CAAC;IACd,iBAAiB,CAAC,EAAE,MAAM,EAAE,CAAC;IAC7B,SAAS,CAAC,EAAE,MAAM,CAAC;IACnB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,cAAc,CAAC,EAAE,MAAM,CAAC;IACxB,aAAa,CAAC,EAAE,MAAM,CAAC;IACvB,cAAc,CAAC,EAAE,cAAc,CAAC;IAChC,aAAa,CAAC,EAAE,CAAC,MAAM,EAAE,QAAQ,GAAG,QAAQ,EAAE,KAAK,EAAE,MAAM,KAAK,IAAI,CAAC;IACrE,WAAW,CAAC,EAAE,WAAW,CAAC;IAC1B,YAAY,CAAC,EAAE,MAAM,CAAC;CACvB;AAED;;GAEG;AACH,wBAAsB,QAAQ,CAC5B,OAAO,EAAE,iBAAiB,EAC1B,OAAO,GAAE,eAAoB,GAC5B,OAAO,CAAC,sBAAsB,CAAC,CA2EjC"}
|
|
@@ -0,0 +1,82 @@
|
|
|
1
|
+
import path from 'node:path';
|
|
2
|
+
import crypto from 'node:crypto';
|
|
3
|
+
import { ExecutionDomain } from './domain.js';
|
|
4
|
+
import { NodePlatformDriver } from './driver/node-driver.js';
|
|
5
|
+
import { ProcessSupervisor } from './supervisor/supervisor.js';
|
|
6
|
+
/**
|
|
7
|
+
* 快速执行受管进程：自动创建 Task 与 Run，支持可选 opId 幂等重放
|
|
8
|
+
*/
|
|
9
|
+
export async function quickRun(command, options = {}) {
|
|
10
|
+
const ownsDomain = !options.domain;
|
|
11
|
+
const domain = options.domain ??
|
|
12
|
+
ExecutionDomain.acquire(options.domainPath ?? path.join(command.cwd || process.cwd(), '.xioflow', 'kernel'), options.domainId ?? 'default');
|
|
13
|
+
const driver = options.driver ?? new NodePlatformDriver();
|
|
14
|
+
const supervisor = new ProcessSupervisor(domain, driver);
|
|
15
|
+
try {
|
|
16
|
+
const store = domain.getStore();
|
|
17
|
+
const taskId = options.taskId ?? 'quick-task';
|
|
18
|
+
if (!store.getTask(taskId)) {
|
|
19
|
+
store.saveTask({
|
|
20
|
+
id: taskId,
|
|
21
|
+
domainId: domain.domainId,
|
|
22
|
+
name: 'QuickRun Task',
|
|
23
|
+
createdAt: new Date().toISOString(),
|
|
24
|
+
});
|
|
25
|
+
}
|
|
26
|
+
const autoCreatedRun = !options.runId;
|
|
27
|
+
const runId = options.runId ?? `quick-run-${crypto.randomUUID().slice(0, 8)}`;
|
|
28
|
+
if (!store.getRun(runId)) {
|
|
29
|
+
store.saveRun({
|
|
30
|
+
id: runId,
|
|
31
|
+
taskId,
|
|
32
|
+
domainId: domain.domainId,
|
|
33
|
+
owner: 'quick-run',
|
|
34
|
+
status: 'running',
|
|
35
|
+
startedAt: new Date().toISOString(),
|
|
36
|
+
});
|
|
37
|
+
}
|
|
38
|
+
const opId = options.opId ?? `quick-op-${crypto.randomUUID()}`;
|
|
39
|
+
const result = await supervisor.executeProcess({
|
|
40
|
+
runId,
|
|
41
|
+
opId,
|
|
42
|
+
name: options.name ?? path.basename(command.execPath),
|
|
43
|
+
command,
|
|
44
|
+
requiredResources: options.requiredResources ?? [],
|
|
45
|
+
timeoutMs: options.timeoutMs,
|
|
46
|
+
maxOutputBytes: options.maxOutputBytes,
|
|
47
|
+
drainTimeoutMs: options.drainTimeoutMs,
|
|
48
|
+
waitTimeoutMs: options.waitTimeoutMs,
|
|
49
|
+
resourceBudget: options.resourceBudget,
|
|
50
|
+
onStreamChunk: options.onStreamChunk,
|
|
51
|
+
abortSignal: options.abortSignal,
|
|
52
|
+
artifactsDir: options.artifactsDir,
|
|
53
|
+
});
|
|
54
|
+
if (autoCreatedRun) {
|
|
55
|
+
if (result.status === 'succeeded') {
|
|
56
|
+
try {
|
|
57
|
+
domain.reportRunSucceeded(runId);
|
|
58
|
+
}
|
|
59
|
+
catch { }
|
|
60
|
+
}
|
|
61
|
+
else if (result.status === 'failed') {
|
|
62
|
+
try {
|
|
63
|
+
domain.reportRunFailed(runId);
|
|
64
|
+
}
|
|
65
|
+
catch { }
|
|
66
|
+
}
|
|
67
|
+
else if (result.status === 'cancelled') {
|
|
68
|
+
try {
|
|
69
|
+
domain.reportRunCancelled(runId);
|
|
70
|
+
}
|
|
71
|
+
catch { }
|
|
72
|
+
}
|
|
73
|
+
}
|
|
74
|
+
return result;
|
|
75
|
+
}
|
|
76
|
+
finally {
|
|
77
|
+
if (ownsDomain) {
|
|
78
|
+
domain.close();
|
|
79
|
+
}
|
|
80
|
+
}
|
|
81
|
+
}
|
|
82
|
+
//# sourceMappingURL=quick-run.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"quick-run.js","sourceRoot":"","sources":["../src/quick-run.ts"],"names":[],"mappings":"AAAA,OAAO,IAAI,MAAM,WAAW,CAAC;AAC7B,OAAO,MAAM,MAAM,aAAa,CAAC;AACjC,OAAO,EAAE,eAAe,EAAE,MAAM,aAAa,CAAC;AAE9C,OAAO,EAAE,kBAAkB,EAAE,MAAM,yBAAyB,CAAC;AAC7D,OAAO,EAAE,iBAAiB,EAAE,MAAM,4BAA4B,CAAC;AAuB/D;;GAEG;AACH,MAAM,CAAC,KAAK,UAAU,QAAQ,CAC5B,OAA0B,EAC1B,OAAO,GAAoB,EAAE;IAE7B,MAAM,UAAU,GAAG,CAAC,OAAO,CAAC,MAAM,CAAC;IACnC,MAAM,MAAM,GACV,OAAO,CAAC,MAAM;QACd,eAAe,CAAC,OAAO,CACrB,OAAO,CAAC,UAAU,IAAI,IAAI,CAAC,IAAI,CAAC,OAAO,CAAC,GAAG,IAAI,OAAO,CAAC,GAAG,EAAE,EAAE,UAAU,EAAE,QAAQ,CAAC,EACnF,OAAO,CAAC,QAAQ,IAAI,SAAS,CAC9B,CAAC;IACJ,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,IAAI,kBAAkB,EAAE,CAAC;IAC1D,MAAM,UAAU,GAAG,IAAI,iBAAiB,CAAC,MAAM,EAAE,MAAM,CAAC,CAAC;IAEzD,IAAI,CAAC;QACH,MAAM,KAAK,GAAG,MAAM,CAAC,QAAQ,EAAE,CAAC;QAChC,MAAM,MAAM,GAAG,OAAO,CAAC,MAAM,IAAI,YAAY,CAAC;QAC9C,IAAI,CAAC,KAAK,CAAC,OAAO,CAAC,MAAM,CAAC,EAAE,CAAC;YAC3B,KAAK,CAAC,QAAQ,CAAC;gBACb,EAAE,EAAE,MAAM;gBACV,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,IAAI,EAAE,eAAe;gBACrB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC,CAAC,CAAC;QACL,CAAC;QAED,MAAM,cAAc,GAAG,CAAC,OAAO,CAAC,KAAK,CAAC;QACtC,MAAM,KAAK,GAAG,OAAO,CAAC,KAAK,IAAI,aAAa,MAAM,CAAC,UAAU,EAAE,CAAC,KAAK,CAAC,CAAC,EAAE,CAAC,CAAC,EAAE,CAAC;QAC9E,IAAI,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,CAAC,EAAE,CAAC;YACzB,KAAK,CAAC,OAAO,CAAC;gBACZ,EAAE,EAAE,KAAK;gBACT,MAAM;gBACN,QAAQ,EAAE,MAAM,CAAC,QAAQ;gBACzB,KAAK,EAAE,WAAW;gBAClB,MAAM,EAAE,SAAS;gBACjB,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;aACpC,CAAC,CAAC;QACL,CAAC;QAED,MAAM,IAAI,GAAG,OAAO,CAAC,IAAI,IAAI,YAAY,MAAM,CAAC,UAAU,EAAE,EAAE,CAAC;QAC/D,MAAM,MAAM,GAAG,MAAM,UAAU,CAAC,cAAc,CAAC;YAC7C,KAAK;YACL,IAAI;YACJ,IAAI,EAAE,OAAO,CAAC,IAAI,IAAI,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,QAAQ,CAAC;YACrD,OAAO;YACP,iBAAiB,EAAE,OAAO,CAAC,iBAAiB,IAAI,EAAE;YAClD,SAAS,EAAE,OAAO,CAAC,SAAS;YAC5B,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,aAAa,EAAE,OAAO,CAAC,aAAa;YACpC,cAAc,EAAE,OAAO,CAAC,cAAc;YACtC,aAAa,EAAE,OAAO,CAAC,aAAa;YACpC,WAAW,EAAE,OAAO,CAAC,WAAW;YAChC,YAAY,EAAE,OAAO,CAAC,YAAY;SACnC,CAAC,CAAC;QAEH,IAAI,cAAc,EAAE,CAAC;YACnB,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;gBAClC,IAAI,CAAC;oBACH,MAAM,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;gBACnC,CAAC;gBAAC,MAAM,CAAC,CAAA,CAAC;YACZ,CAAC;iBAAM,IAAI,MAAM,CAAC,MAAM,KAAK,QAAQ,EAAE,CAAC;gBACtC,IAAI,CAAC;oBACH,MAAM,CAAC,eAAe,CAAC,KAAK,CAAC,CAAC;gBAChC,CAAC;gBAAC,MAAM,CAAC,CAAA,CAAC;YACZ,CAAC;iBAAM,IAAI,MAAM,CAAC,MAAM,KAAK,WAAW,EAAE,CAAC;gBACzC,IAAI,CAAC;oBACH,MAAM,CAAC,kBAAkB,CAAC,KAAK,CAAC,CAAC;gBACnC,CAAC;gBAAC,MAAM,CAAC,CAAA,CAAC;YACZ,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;YAAS,CAAC;QACT,IAAI,UAAU,EAAE,CAAC;YACf,MAAM,CAAC,KAAK,EAAE,CAAC;QACjB,CAAC;IACH,CAAC;AACH,CAAC"}
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/recovery/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAGpD,MAAM,WAAW,cAAc;IAC7B,mBAAmB,EAAE;QACnB,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,mBAAmB,GAAG,uBAAuB,GAAG,aAAa,GAAG,wBAAwB,CAAC;QACjG,iBAAiB,EAAE,OAAO,CAAC;KAC5B,EAAE,CAAC;CACL;AAED,qBAAa,cAAc;IAEvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IAFzB,YACmB,MAAM,EAAE,eAAe,EACvB,MAAM,EAAE,cAAc,
|
|
1
|
+
{"version":3,"file":"engine.d.ts","sourceRoot":"","sources":["../../src/recovery/engine.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,eAAe,EAAE,MAAM,cAAc,CAAC;AAC/C,OAAO,EAAE,cAAc,EAAE,MAAM,oBAAoB,CAAC;AAGpD,MAAM,WAAW,cAAc;IAC7B,mBAAmB,EAAE;QACnB,IAAI,EAAE,MAAM,CAAC;QACb,MAAM,EAAE,mBAAmB,GAAG,uBAAuB,GAAG,aAAa,GAAG,wBAAwB,CAAC;QACjG,iBAAiB,EAAE,OAAO,CAAC;KAC5B,EAAE,CAAC;CACL;AAED,qBAAa,cAAc;IAEvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IACvB,OAAO,CAAC,QAAQ,CAAC,MAAM;IAFzB,YACmB,MAAM,EAAE,eAAe,EACvB,MAAM,EAAE,cAAc,EAGxC;IAED;;OAEG;IACU,OAAO,IAAI,OAAO,CAAC,cAAc,CAAC,CAqO9C;IAED,wDAAwD;IACxD,OAAO,CAAC,YAAY;CAWrB"}
|
package/dist/recovery/engine.js
CHANGED
|
@@ -4,6 +4,7 @@ export class RecoveryEngine {
|
|
|
4
4
|
constructor(domain, driver) {
|
|
5
5
|
this.domain = domain;
|
|
6
6
|
this.driver = driver;
|
|
7
|
+
this.domain.setDriver?.(driver);
|
|
7
8
|
}
|
|
8
9
|
/**
|
|
9
10
|
* 恢复协议：对未终结操作现场核查并安全推进至终态或保留隔离
|
|
@@ -29,7 +30,7 @@ export class RecoveryEngine {
|
|
|
29
30
|
completedAt: new Date().toISOString(),
|
|
30
31
|
};
|
|
31
32
|
store.recordOperationResult(op.id, failResult, true);
|
|
32
|
-
this.domain.
|
|
33
|
+
this.domain.internalReleaseResources(op.id, op.requiredResources);
|
|
33
34
|
report.recoveredOperations.push({
|
|
34
35
|
opId: op.id,
|
|
35
36
|
action: 'cleaned_unspawned',
|
|
@@ -38,26 +39,31 @@ export class RecoveryEngine {
|
|
|
38
39
|
continue;
|
|
39
40
|
}
|
|
40
41
|
if (op.processIdentity) {
|
|
42
|
+
const spawnTimeMs = op.processIdentity.spawnTime
|
|
43
|
+
? new Date(op.processIdentity.spawnTime).getTime()
|
|
44
|
+
: NaN;
|
|
45
|
+
const calcDurationMs = () => (!isNaN(spawnTimeMs) ? Math.max(0, Date.now() - spawnTimeMs) : 0);
|
|
41
46
|
// 场景 2-5：存在进程身份，现场向驱动核实身份
|
|
42
47
|
const verification = await this.driver.verifyIdentity(op.processIdentity);
|
|
43
48
|
if (verification === 'is_original_process') {
|
|
44
49
|
// 进程依然存活，发送停止确认流水线
|
|
45
50
|
const stopResult = await this.driver.terminate(op.processIdentity, 2000);
|
|
46
|
-
if (stopResult.stopped) {
|
|
51
|
+
if (stopResult.stopped === 'confirmed_stopped') {
|
|
47
52
|
const cancelResult = {
|
|
48
53
|
kind: 'process',
|
|
49
54
|
status: 'cancelled',
|
|
50
55
|
exitCode: null,
|
|
51
|
-
signal:
|
|
56
|
+
signal: null,
|
|
52
57
|
stdout: '',
|
|
53
|
-
stderr: '
|
|
58
|
+
stderr: '',
|
|
59
|
+
evidence: 'unobserved',
|
|
54
60
|
isTruncated: false,
|
|
55
61
|
identityVerification: 'is_original_process',
|
|
56
|
-
durationMs:
|
|
62
|
+
durationMs: calcDurationMs(),
|
|
57
63
|
completedAt: new Date().toISOString(),
|
|
58
64
|
};
|
|
59
65
|
store.recordOperationResult(op.id, cancelResult, true);
|
|
60
|
-
this.domain.
|
|
66
|
+
this.domain.internalReleaseResources(op.id, op.requiredResources);
|
|
61
67
|
report.recoveredOperations.push({
|
|
62
68
|
opId: op.id,
|
|
63
69
|
action: 'stopped_alive_process',
|
|
@@ -71,7 +77,7 @@ export class RecoveryEngine {
|
|
|
71
77
|
status: 'indeterminate',
|
|
72
78
|
reason: 'Alive process failed to stop during recovery',
|
|
73
79
|
recoveryGuidance: 'Residual PID detected. Check system processes manually.',
|
|
74
|
-
durationMs:
|
|
80
|
+
durationMs: calcDurationMs(),
|
|
75
81
|
completedAt: new Date().toISOString(),
|
|
76
82
|
};
|
|
77
83
|
store.recordOperationResult(op.id, indetResult, false);
|
|
@@ -85,20 +91,77 @@ export class RecoveryEngine {
|
|
|
85
91
|
else if (verification === 'not_original_process') {
|
|
86
92
|
// 进程已确定死亡。但"leader 死了"不等于"组空了"：被 SIGKILL 的 leader 会
|
|
87
93
|
// 变成僵尸，它 fork 出来的后代可能还在运行，而这些进程已经没有 owner。
|
|
88
|
-
//
|
|
94
|
+
// 先做 N2 证据核验（bootId + 成员启动时间），证据不足或异常时绝不盲目发信号，判 indeterminate 保留租约；
|
|
95
|
+
// 证据齐全时才按 pgid 定向清场；清不掉如实隔离。
|
|
89
96
|
const pgid = op.processIdentity.pgid;
|
|
90
97
|
let reapedOrphans = false;
|
|
91
98
|
if (pgid !== undefined && this.isGroupAlive(pgid)) {
|
|
99
|
+
// N2 检查项 1：bootId 跨宿主重启核验
|
|
100
|
+
if (op.processIdentity.bootId && this.driver.readBootId) {
|
|
101
|
+
const currentBootId = await this.driver.readBootId();
|
|
102
|
+
if (currentBootId && op.processIdentity.bootId !== currentBootId) {
|
|
103
|
+
// 宿主在崩溃后已发生重启，当前同号 pgid 属于重启后的全新无关进程组，严禁发送信号
|
|
104
|
+
const indetResult = {
|
|
105
|
+
kind: 'indeterminate',
|
|
106
|
+
status: 'indeterminate',
|
|
107
|
+
reason: `Host bootId changed (recorded: '${op.processIdentity.bootId}', current: '${currentBootId}'); process group ${pgid} belongs to a different boot session`,
|
|
108
|
+
recoveryGuidance: 'Host was rebooted after the crash. Do not terminate external process groups; manual inspection required.',
|
|
109
|
+
durationMs: calcDurationMs(),
|
|
110
|
+
completedAt: new Date().toISOString(),
|
|
111
|
+
};
|
|
112
|
+
store.recordOperationResult(op.id, indetResult, false);
|
|
113
|
+
report.recoveredOperations.push({
|
|
114
|
+
opId: op.id,
|
|
115
|
+
action: 'isolated_indeterminate',
|
|
116
|
+
resourcesReleased: false,
|
|
117
|
+
});
|
|
118
|
+
continue;
|
|
119
|
+
}
|
|
120
|
+
}
|
|
121
|
+
// N2 检查项 2：成员启动时间核验（防同一次 boot 下的 PGID 复用）
|
|
122
|
+
if (this.driver.getGroupEvidence) {
|
|
123
|
+
const members = await this.driver.getGroupEvidence(pgid);
|
|
124
|
+
if (members.length > 0) {
|
|
125
|
+
const opSpawnMs = Date.parse(op.processIdentity.spawnTime);
|
|
126
|
+
if (!isNaN(opSpawnMs)) {
|
|
127
|
+
let hasEarlierProcess = false;
|
|
128
|
+
for (const m of members) {
|
|
129
|
+
if (m.startTimeMs !== null && m.startTimeMs < opSpawnMs - 1000) {
|
|
130
|
+
hasEarlierProcess = true;
|
|
131
|
+
break;
|
|
132
|
+
}
|
|
133
|
+
}
|
|
134
|
+
if (hasEarlierProcess) {
|
|
135
|
+
// 组成员启动时间早于该 op 启动时间，说明当前 pgid 属于外部更早创建的无关进程组
|
|
136
|
+
const indetResult = {
|
|
137
|
+
kind: 'indeterminate',
|
|
138
|
+
status: 'indeterminate',
|
|
139
|
+
reason: `Process group ${pgid} membership start time is earlier than operation spawn time; suspected PGID reuse`,
|
|
140
|
+
recoveryGuidance: 'External process group occupies the recorded PGID. Do not terminate; verify process ownership manually.',
|
|
141
|
+
durationMs: calcDurationMs(),
|
|
142
|
+
completedAt: new Date().toISOString(),
|
|
143
|
+
};
|
|
144
|
+
store.recordOperationResult(op.id, indetResult, false);
|
|
145
|
+
report.recoveredOperations.push({
|
|
146
|
+
opId: op.id,
|
|
147
|
+
action: 'isolated_indeterminate',
|
|
148
|
+
resourcesReleased: false,
|
|
149
|
+
});
|
|
150
|
+
continue;
|
|
151
|
+
}
|
|
152
|
+
}
|
|
153
|
+
}
|
|
154
|
+
}
|
|
92
155
|
const reaped = this.driver.terminateGroup
|
|
93
156
|
? await this.driver.terminateGroup(pgid, 2000)
|
|
94
|
-
: { stopped:
|
|
95
|
-
if (
|
|
157
|
+
: { stopped: 'not_stopped', scope: 'unknown' };
|
|
158
|
+
if (reaped.stopped !== 'confirmed_stopped') {
|
|
96
159
|
const indetResult = {
|
|
97
160
|
kind: 'indeterminate',
|
|
98
161
|
status: 'indeterminate',
|
|
99
162
|
reason: 'Owner is dead but its process group could not be confirmed stopped',
|
|
100
163
|
recoveryGuidance: 'Residual processes from the crashed owner are still alive; inspect them before retrying.',
|
|
101
|
-
durationMs:
|
|
164
|
+
durationMs: calcDurationMs(),
|
|
102
165
|
completedAt: new Date().toISOString(),
|
|
103
166
|
};
|
|
104
167
|
store.recordOperationResult(op.id, indetResult, false);
|
|
@@ -114,19 +177,19 @@ export class RecoveryEngine {
|
|
|
114
177
|
const deadResult = {
|
|
115
178
|
kind: 'process',
|
|
116
179
|
status: 'failed',
|
|
117
|
-
exitCode:
|
|
118
|
-
signal:
|
|
180
|
+
exitCode: null,
|
|
181
|
+
signal: null,
|
|
119
182
|
stdout: '',
|
|
120
|
-
stderr: reapedOrphans
|
|
121
|
-
|
|
122
|
-
|
|
183
|
+
stderr: reapedOrphans ? 'orphaned descendants were reaped during recovery' : '',
|
|
184
|
+
evidence: 'unobserved',
|
|
185
|
+
residualProcessesReaped: reapedOrphans,
|
|
123
186
|
isTruncated: false,
|
|
124
187
|
identityVerification: 'not_original_process',
|
|
125
|
-
durationMs:
|
|
188
|
+
durationMs: calcDurationMs(),
|
|
126
189
|
completedAt: new Date().toISOString(),
|
|
127
190
|
};
|
|
128
191
|
store.recordOperationResult(op.id, deadResult, true);
|
|
129
|
-
this.domain.
|
|
192
|
+
this.domain.internalReleaseResources(op.id, op.requiredResources);
|
|
130
193
|
report.recoveredOperations.push({
|
|
131
194
|
opId: op.id,
|
|
132
195
|
action: 'marked_dead',
|
|
@@ -140,7 +203,7 @@ export class RecoveryEngine {
|
|
|
140
203
|
status: 'indeterminate',
|
|
141
204
|
reason: 'Cannot determine process identity after restart',
|
|
142
205
|
recoveryGuidance: 'Manual inspection required. Resource isolation remains active.',
|
|
143
|
-
durationMs:
|
|
206
|
+
durationMs: calcDurationMs(),
|
|
144
207
|
completedAt: new Date().toISOString(),
|
|
145
208
|
};
|
|
146
209
|
store.recordOperationResult(op.id, indetResult, false);
|
|
@@ -152,10 +215,31 @@ export class RecoveryEngine {
|
|
|
152
215
|
}
|
|
153
216
|
}
|
|
154
217
|
}
|
|
218
|
+
// 5. [Run 状态收敛] (ARCHITECTURE §3.2 第 5 步)
|
|
219
|
+
// 本轮裁决后，所属 Run 若已无未终结操作：
|
|
220
|
+
// 存在 indeterminate ⇒ Run 置 indeterminate；
|
|
221
|
+
// 否则置 failed(terminationReason = crash_detected)。禁止让 Run 永久停留在 running
|
|
222
|
+
const activeRuns = store.getActiveRuns(this.domain.domainId);
|
|
223
|
+
for (const run of activeRuns) {
|
|
224
|
+
const runOps = store.getOperationsByRun(run.id);
|
|
225
|
+
const hasUnfinished = runOps.some((o) => o.status !== 'done');
|
|
226
|
+
if (!hasUnfinished) {
|
|
227
|
+
const hasIndeterminate = runOps.some((o) => o.result?.status === 'indeterminate');
|
|
228
|
+
if (hasIndeterminate) {
|
|
229
|
+
store.updateRunStatus(run.id, 'indeterminate', undefined, new Date().toISOString());
|
|
230
|
+
}
|
|
231
|
+
else {
|
|
232
|
+
store.updateRunStatus(run.id, 'failed', 'crash_detected', new Date().toISOString());
|
|
233
|
+
}
|
|
234
|
+
}
|
|
235
|
+
}
|
|
155
236
|
return report;
|
|
156
237
|
}
|
|
157
238
|
/** 进程组是否仍存在（僵尸也算存在；具体是否"能工作"由驱动的 terminateGroup 判定）。 */
|
|
158
239
|
isGroupAlive(pgid) {
|
|
240
|
+
if (typeof this.driver.isGroupAlive === 'function') {
|
|
241
|
+
return this.driver.isGroupAlive(pgid);
|
|
242
|
+
}
|
|
159
243
|
try {
|
|
160
244
|
process.kill(-pgid, 0);
|
|
161
245
|
return true;
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/recovery/engine.ts"],"names":[],"mappings":"AAYA,MAAM,OAAO,cAAc;IAEN,MAAM;IACN,MAAM;IAFzB,YACmB,MAAuB,EACvB,MAAsB;sBADtB,MAAM;sBACN,MAAM;
|
|
1
|
+
{"version":3,"file":"engine.js","sourceRoot":"","sources":["../../src/recovery/engine.ts"],"names":[],"mappings":"AAYA,MAAM,OAAO,cAAc;IAEN,MAAM;IACN,MAAM;IAFzB,YACmB,MAAuB,EACvB,MAAsB;sBADtB,MAAM;sBACN,MAAM;QAEvB,IAAI,CAAC,MAAM,CAAC,SAAS,EAAE,CAAC,MAAM,CAAC,CAAC;IAClC,CAAC;IAED;;OAEG;IACI,KAAK,CAAC,OAAO;QAClB,MAAM,KAAK,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,CAAC;QACrC,MAAM,aAAa,GAAG,KAAK,CAAC,uBAAuB,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC1E,MAAM,MAAM,GAAmB,EAAE,mBAAmB,EAAE,EAAE,EAAE,CAAC;QAE3D,KAAK,MAAM,EAAE,IAAI,aAAa,EAAE,CAAC;YAC/B,IAAI,EAAE,CAAC,MAAM,KAAK,mBAAmB,IAAI,CAAC,EAAE,CAAC,eAAe,EAAE,CAAC;gBAC7D,4BAA4B;gBAC5B,iBAAiB;gBACjB,MAAM,UAAU,GAA2B;oBACzC,IAAI,EAAE,SAAS;oBACf,MAAM,EAAE,QAAQ;oBAChB,QAAQ,EAAE,IAAI;oBACd,MAAM,EAAE,IAAI;oBACZ,MAAM,EAAE,EAAE;oBACV,MAAM,EAAE,iDAAiD;oBACzD,WAAW,EAAE,KAAK;oBAClB,oBAAoB,EAAE,sBAAsB;oBAC5C,UAAU,EAAE,CAAC;oBACb,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;iBACtC,CAAC;gBACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;gBACrD,IAAI,CAAC,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC;gBAClE,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;oBAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;oBACX,MAAM,EAAE,mBAAmB;oBAC3B,iBAAiB,EAAE,IAAI;iBACxB,CAAC,CAAC;gBACH,SAAS;YACX,CAAC;YAED,IAAI,EAAE,CAAC,eAAe,EAAE,CAAC;gBACvB,MAAM,WAAW,GAAG,EAAE,CAAC,eAAe,CAAC,SAAS;oBAC9C,CAAC,CAAC,IAAI,IAAI,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC,OAAO,EAAE;oBAClD,CAAC,CAAC,GAAG,CAAC;gBACR,MAAM,cAAc,GAAG,GAAG,EAAE,CAAC,CAAC,CAAC,KAAK,CAAC,WAAW,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,GAAG,EAAE,GAAG,WAAW,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC;gBAE/F,0BAA0B;gBAC1B,MAAM,YAAY,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,EAAE,CAAC,eAAe,CAAC,CAAC;gBAE1E,IAAI,YAAY,KAAK,qBAAqB,EAAE,CAAC;oBAC3C,mBAAmB;oBACnB,MAAM,UAAU,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,SAAS,CAAC,EAAE,CAAC,eAAe,EAAE,IAAI,CAAC,CAAC;oBACzE,IAAI,UAAU,CAAC,OAAO,KAAK,mBAAmB,EAAE,CAAC;wBAC/C,MAAM,YAAY,GAA2B;4BAC3C,IAAI,EAAE,SAAS;4BACf,MAAM,EAAE,WAAW;4BACnB,QAAQ,EAAE,IAAI;4BACd,MAAM,EAAE,IAAI;4BACZ,MAAM,EAAE,EAAE;4BACV,MAAM,EAAE,EAAE;4BACV,QAAQ,EAAE,YAAY;4BACtB,WAAW,EAAE,KAAK;4BAClB,oBAAoB,EAAE,qBAAqB;4BAC3C,UAAU,EAAE,cAAc,EAAE;4BAC5B,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;yBACtC,CAAC;wBACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,YAAY,EAAE,IAAI,CAAC,CAAC;wBACvD,IAAI,CAAC,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC;wBAClE,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;4BAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;4BACX,MAAM,EAAE,uBAAuB;4BAC/B,iBAAiB,EAAE,IAAI;yBACxB,CAAC,CAAC;oBACL,CAAC;yBAAM,CAAC;wBACN,iCAAiC;wBACjC,MAAM,WAAW,GAAwB;4BACvC,IAAI,EAAE,eAAe;4BACrB,MAAM,EAAE,eAAe;4BACvB,MAAM,EAAE,8CAA8C;4BACtD,gBAAgB,EAAE,yDAAyD;4BAC3E,UAAU,EAAE,cAAc,EAAE;4BAC5B,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;yBACtC,CAAC;wBACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;wBACvD,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;4BAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;4BACX,MAAM,EAAE,wBAAwB;4BAChC,iBAAiB,EAAE,KAAK;yBACzB,CAAC,CAAC;oBACL,CAAC;gBACH,CAAC;qBAAM,IAAI,YAAY,KAAK,sBAAsB,EAAE,CAAC;oBACnD,oDAAoD;oBACpD,2CAA2C;oBAC3C,oEAAoE;oBACpE,6BAA6B;oBAC7B,MAAM,IAAI,GAAG,EAAE,CAAC,eAAe,CAAC,IAAI,CAAC;oBACrC,IAAI,aAAa,GAAG,KAAK,CAAC;oBAC1B,IAAI,IAAI,KAAK,SAAS,IAAI,IAAI,CAAC,YAAY,CAAC,IAAI,CAAC,EAAE,CAAC;wBAClD,0BAA0B;wBAC1B,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,IAAI,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;4BACxD,MAAM,aAAa,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,UAAU,EAAE,CAAC;4BACrD,IAAI,aAAa,IAAI,EAAE,CAAC,eAAe,CAAC,MAAM,KAAK,aAAa,EAAE,CAAC;gCACjE,6CAA6C;gCAC7C,MAAM,WAAW,GAAwB;oCACvC,IAAI,EAAE,eAAe;oCACrB,MAAM,EAAE,eAAe;oCACvB,MAAM,EAAE,mCAAmC,EAAE,CAAC,eAAe,CAAC,MAAM,gBAAgB,aAAa,qBAAqB,IAAI,sCAAsC;oCAChK,gBAAgB,EAAE,0GAA0G;oCAC5H,UAAU,EAAE,cAAc,EAAE;oCAC5B,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;iCACtC,CAAC;gCACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;gCACvD,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;oCAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;oCACX,MAAM,EAAE,wBAAwB;oCAChC,iBAAiB,EAAE,KAAK;iCACzB,CAAC,CAAC;gCACH,SAAS;4BACX,CAAC;wBACH,CAAC;wBAED,0CAA0C;wBAC1C,IAAI,IAAI,CAAC,MAAM,CAAC,gBAAgB,EAAE,CAAC;4BACjC,MAAM,OAAO,GAAG,MAAM,IAAI,CAAC,MAAM,CAAC,gBAAgB,CAAC,IAAI,CAAC,CAAC;4BACzD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gCACvB,MAAM,SAAS,GAAG,IAAI,CAAC,KAAK,CAAC,EAAE,CAAC,eAAe,CAAC,SAAS,CAAC,CAAC;gCAC3D,IAAI,CAAC,KAAK,CAAC,SAAS,CAAC,EAAE,CAAC;oCACtB,IAAI,iBAAiB,GAAG,KAAK,CAAC;oCAC9B,KAAK,MAAM,CAAC,IAAI,OAAO,EAAE,CAAC;wCACxB,IAAI,CAAC,CAAC,WAAW,KAAK,IAAI,IAAI,CAAC,CAAC,WAAW,GAAG,SAAS,GAAG,IAAI,EAAE,CAAC;4CAC/D,iBAAiB,GAAG,IAAI,CAAC;4CACzB,MAAM;wCACR,CAAC;oCACH,CAAC;oCACD,IAAI,iBAAiB,EAAE,CAAC;wCACtB,8CAA8C;wCAC9C,MAAM,WAAW,GAAwB;4CACvC,IAAI,EAAE,eAAe;4CACrB,MAAM,EAAE,eAAe;4CACvB,MAAM,EAAE,iBAAiB,IAAI,mFAAmF;4CAChH,gBAAgB,EAAE,yGAAyG;4CAC3H,UAAU,EAAE,cAAc,EAAE;4CAC5B,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;yCACtC,CAAC;wCACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;wCACvD,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;4CAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;4CACX,MAAM,EAAE,wBAAwB;4CAChC,iBAAiB,EAAE,KAAK;yCACzB,CAAC,CAAC;wCACH,SAAS;oCACX,CAAC;gCACH,CAAC;4BACH,CAAC;wBACH,CAAC;wBAED,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,cAAc;4BACvC,CAAC,CAAC,MAAM,IAAI,CAAC,MAAM,CAAC,cAAc,CAAC,IAAI,EAAE,IAAI,CAAC;4BAC9C,CAAC,CAAC,EAAE,OAAO,EAAE,aAAsB,EAAE,KAAK,EAAE,SAAkB,EAAE,CAAC;wBACnE,IAAI,MAAM,CAAC,OAAO,KAAK,mBAAmB,EAAE,CAAC;4BAC3C,MAAM,WAAW,GAAwB;gCACvC,IAAI,EAAE,eAAe;gCACrB,MAAM,EAAE,eAAe;gCACvB,MAAM,EAAE,oEAAoE;gCAC5E,gBAAgB,EAAE,0FAA0F;gCAC5G,UAAU,EAAE,cAAc,EAAE;gCAC5B,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;6BACtC,CAAC;4BACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;4BACvD,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;gCAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;gCACX,MAAM,EAAE,wBAAwB;gCAChC,iBAAiB,EAAE,KAAK;6BACzB,CAAC,CAAC;4BACH,SAAS;wBACX,CAAC;wBACD,aAAa,GAAG,IAAI,CAAC;oBACvB,CAAC;oBACD,MAAM,UAAU,GAA2B;wBACzC,IAAI,EAAE,SAAS;wBACf,MAAM,EAAE,QAAQ;wBAChB,QAAQ,EAAE,IAAI;wBACd,MAAM,EAAE,IAAI;wBACZ,MAAM,EAAE,EAAE;wBACV,MAAM,EAAE,aAAa,CAAC,CAAC,CAAC,kDAAkD,CAAC,CAAC,CAAC,EAAE;wBAC/E,QAAQ,EAAE,YAAY;wBACtB,uBAAuB,EAAE,aAAa;wBACtC,WAAW,EAAE,KAAK;wBAClB,oBAAoB,EAAE,sBAAsB;wBAC5C,UAAU,EAAE,cAAc,EAAE;wBAC5B,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;qBACtC,CAAC;oBACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,UAAU,EAAE,IAAI,CAAC,CAAC;oBACrD,IAAI,CAAC,MAAM,CAAC,wBAAwB,CAAC,EAAE,CAAC,EAAE,EAAE,EAAE,CAAC,iBAAiB,CAAC,CAAC;oBAClE,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;wBAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;wBACX,MAAM,EAAE,aAAa;wBACrB,iBAAiB,EAAE,IAAI;qBACxB,CAAC,CAAC;gBACL,CAAC;qBAAM,CAAC;oBACN,sDAAsD;oBACtD,MAAM,WAAW,GAAwB;wBACvC,IAAI,EAAE,eAAe;wBACrB,MAAM,EAAE,eAAe;wBACvB,MAAM,EAAE,iDAAiD;wBACzD,gBAAgB,EAAE,gEAAgE;wBAClF,UAAU,EAAE,cAAc,EAAE;wBAC5B,WAAW,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE;qBACtC,CAAC;oBACF,KAAK,CAAC,qBAAqB,CAAC,EAAE,CAAC,EAAE,EAAE,WAAW,EAAE,KAAK,CAAC,CAAC;oBACvD,MAAM,CAAC,mBAAmB,CAAC,IAAI,CAAC;wBAC9B,IAAI,EAAE,EAAE,CAAC,EAAE;wBACX,MAAM,EAAE,wBAAwB;wBAChC,iBAAiB,EAAE,KAAK;qBACzB,CAAC,CAAC;gBACL,CAAC;YACH,CAAC;QACH,CAAC;QAED,0CAA0C;QAC1C,4BAA4B;QAC5B,6CAA6C;QAC7C,0EAA0E;QAC1E,MAAM,UAAU,GAAG,KAAK,CAAC,aAAa,CAAC,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAC;QAC7D,KAAK,MAAM,GAAG,IAAI,UAAU,EAAE,CAAC;YAC7B,MAAM,MAAM,GAAG,KAAK,CAAC,kBAAkB,CAAC,GAAG,CAAC,EAAE,CAAC,CAAC;YAChD,MAAM,aAAa,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,KAAK,MAAM,CAAC,CAAC;YAC9D,IAAI,CAAC,aAAa,EAAE,CAAC;gBACnB,MAAM,gBAAgB,GAAG,MAAM,CAAC,IAAI,CAAC,CAAC,CAAC,EAAE,EAAE,CAAC,CAAC,CAAC,MAAM,EAAE,MAAM,KAAK,eAAe,CAAC,CAAC;gBAClF,IAAI,gBAAgB,EAAE,CAAC;oBACrB,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,EAAE,eAAe,EAAE,SAAS,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;gBACtF,CAAC;qBAAM,CAAC;oBACN,KAAK,CAAC,eAAe,CAAC,GAAG,CAAC,EAAE,EAAE,QAAQ,EAAE,gBAAgB,EAAE,IAAI,IAAI,EAAE,CAAC,WAAW,EAAE,CAAC,CAAC;gBACtF,CAAC;YACH,CAAC;QACH,CAAC;QAED,OAAO,MAAM,CAAC;IAChB,CAAC;IAED,wDAAwD;IAChD,YAAY,CAAC,IAAY;QAC/B,IAAI,OAAQ,IAAI,CAAC,MAAc,CAAC,YAAY,KAAK,UAAU,EAAE,CAAC;YAC5D,OAAQ,IAAI,CAAC,MAAc,CAAC,YAAY,CAAC,IAAI,CAAC,CAAC;QACjD,CAAC;QACD,IAAI,CAAC;YACH,OAAO,CAAC,IAAI,CAAC,CAAC,IAAI,EAAE,CAAC,CAAC,CAAC;YACvB,OAAO,IAAI,CAAC;QACd,CAAC;QAAC,OAAO,GAAQ,EAAE,CAAC;YAClB,OAAO,GAAG,EAAE,IAAI,KAAK,OAAO,CAAC;QAC/B,CAAC;IACH,CAAC;CACF"}
|
package/dist/store/sqlite.d.ts
CHANGED
|
@@ -7,6 +7,10 @@ export declare class SqliteStore {
|
|
|
7
7
|
private initSchema;
|
|
8
8
|
private inTransaction;
|
|
9
9
|
transaction<T>(fn: () => T): T;
|
|
10
|
+
/**
|
|
11
|
+
* 触发代际栅栏，永久阻断后续所有写操作 (P0-11)
|
|
12
|
+
*/
|
|
13
|
+
fence(): void;
|
|
10
14
|
/**
|
|
11
15
|
* @internal 仅供测试套件模拟跨代/代际穿透场景，严禁在生产运行时直接调用
|
|
12
16
|
*/
|
|
@@ -22,6 +26,7 @@ export declare class SqliteStore {
|
|
|
22
26
|
verifyEpochFencing(domainId: string): void;
|
|
23
27
|
saveTask(task: Task): void;
|
|
24
28
|
getTask(id: string): Task | null;
|
|
29
|
+
getAllTasks(domainId?: string): Task[];
|
|
25
30
|
saveRun(run: Run): void;
|
|
26
31
|
getRun(id: string): Run | null;
|
|
27
32
|
updateRunStatus(runId: string, status: KernelRunStatus, terminationReason?: TerminationReason, endedAt?: string): void;
|
|
@@ -30,9 +35,15 @@ export declare class SqliteStore {
|
|
|
30
35
|
*/
|
|
31
36
|
reportRunSucceeded(runId: string): void;
|
|
32
37
|
reportRunFailed(runId: string, reason?: TerminationReason): void;
|
|
38
|
+
reportRunCancelled(runId: string, reason?: TerminationReason): void;
|
|
39
|
+
getActiveRuns(domainId: string): Run[];
|
|
40
|
+
getAllRuns(domainId?: string): Run[];
|
|
33
41
|
registerOperationIntent(op: Operation, domainId: string): void;
|
|
42
|
+
recordPreIntentCancelledOperation(op: Operation, domainId: string, result: OperationResult): void;
|
|
34
43
|
updateOperationStatus(opId: string, status: OperationStatus, processIdentity?: Operation['processIdentity'], outputRef?: string): void;
|
|
44
|
+
updateOperationResult(opId: string, result: OperationResult): void;
|
|
35
45
|
recordOperationResult(opId: string, result: OperationResult, releaseResources?: boolean): void;
|
|
46
|
+
recordReplay(domainId: string, opId: string, mode: 'joined' | 'recorded' | 'indeterminate', callingRunId: string): void;
|
|
36
47
|
getOperation(id: string): (Operation & {
|
|
37
48
|
domainId: string;
|
|
38
49
|
}) | null;
|
|
@@ -42,12 +53,16 @@ export declare class SqliteStore {
|
|
|
42
53
|
getUnfinishedOperations(domainId: string): (Operation & {
|
|
43
54
|
domainId: string;
|
|
44
55
|
})[];
|
|
56
|
+
getAllOperations(domainId: string): (Operation & {
|
|
57
|
+
domainId: string;
|
|
58
|
+
})[];
|
|
45
59
|
getPersistedResourceLeases(domainId: string): (ResourceLease & {
|
|
46
60
|
budget?: ResourceBudget;
|
|
47
61
|
})[];
|
|
48
62
|
releaseResourceLease(operationId: string, resourceId?: string): void;
|
|
49
63
|
recordEventAndTransitionState(event: Omit<JournalEvent, 'seq'>): number;
|
|
50
64
|
getJournalEvents(domainId: string, fromSeq?: number): JournalEvent[];
|
|
65
|
+
getEventsByRun(runId: string): JournalEvent[];
|
|
51
66
|
close(): void;
|
|
52
67
|
}
|
|
53
68
|
//# sourceMappingURL=sqlite.d.ts.map
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"sqlite.d.ts","sourceRoot":"","sources":["../../src/store/sqlite.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,IAAI,EACJ,GAAG,EACH,SAAS,EACT,eAAe,EACf,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,aAAa,EACb,YAAY,EACZ,WAAW,EACX,cAAc,EAIf,MAAM,aAAa,CAAC;AAErB,qBAAa,WAAW;IACtB,OAAO,CAAC,EAAE,CAAe;IACzB,OAAO,CAAC,YAAY,CAAuB;IAE3C,YAAY,MAAM,EAAE,MAAM,EAIzB;IAED,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,UAAU;IAIlB,OAAO,CAAC,aAAa,CAAS;IAEvB,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAgBpC;IAED;;OAEG;IACI,+BAA+B,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAEjE;IAED;;OAEG;IACI,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAEjD;IAEM,eAAe,IAAI,MAAM,GAAG,IAAI,CAEtC;IAEM,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CAYpD;IAEM,iBAAiB,CACtB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EAChB,KAAK,GAAE,MAAc,EACrB,KAAK,GAAE,OAAe,GACrB,WAAW,CA8Db;IAEM,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAOhE;IAEM,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAOhD;IAEM,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAgBhC;IAEM,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAWtC;IAEM,OAAO,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,
|
|
1
|
+
{"version":3,"file":"sqlite.d.ts","sourceRoot":"","sources":["../../src/store/sqlite.ts"],"names":[],"mappings":"AAEA,OAAO,EACL,IAAI,EACJ,GAAG,EACH,SAAS,EACT,eAAe,EACf,eAAe,EACf,eAAe,EACf,iBAAiB,EACjB,aAAa,EACb,YAAY,EACZ,WAAW,EACX,cAAc,EAIf,MAAM,aAAa,CAAC;AAErB,qBAAa,WAAW;IACtB,OAAO,CAAC,EAAE,CAAe;IACzB,OAAO,CAAC,YAAY,CAAuB;IAE3C,YAAY,MAAM,EAAE,MAAM,EAIzB;IAED,OAAO,CAAC,gBAAgB;IAOxB,OAAO,CAAC,UAAU;IAIlB,OAAO,CAAC,aAAa,CAAS;IAEvB,WAAW,CAAC,CAAC,EAAE,EAAE,EAAE,MAAM,CAAC,GAAG,CAAC,CAgBpC;IAED;;OAEG;IACI,KAAK,IAAI,IAAI,CAEnB;IAED;;OAEG;IACI,+BAA+B,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAEjE;IAED;;OAEG;IACI,eAAe,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAEjD;IAEM,eAAe,IAAI,MAAM,GAAG,IAAI,CAEtC;IAEM,QAAQ,CAAC,QAAQ,EAAE,MAAM,GAAG,WAAW,GAAG,IAAI,CAYpD;IAEM,iBAAiB,CACtB,QAAQ,EAAE,MAAM,EAChB,OAAO,EAAE,MAAM,EACf,QAAQ,EAAE,MAAM,EAChB,KAAK,GAAE,MAAc,EACrB,KAAK,GAAE,OAAe,GACrB,WAAW,CA8Db;IAEM,iBAAiB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,EAAE,MAAM,GAAG,IAAI,CAOhE;IAEM,kBAAkB,CAAC,QAAQ,EAAE,MAAM,GAAG,IAAI,CAOhD;IAEM,QAAQ,CAAC,IAAI,EAAE,IAAI,GAAG,IAAI,CAgBhC;IAEM,OAAO,CAAC,EAAE,EAAE,MAAM,GAAG,IAAI,GAAG,IAAI,CAWtC;IAEM,WAAW,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,IAAI,EAAE,CAY5C;IAEM,OAAO,CAAC,GAAG,EAAE,GAAG,GAAG,IAAI,CA+B7B;IAEM,MAAM,CAAC,EAAE,EAAE,MAAM,GAAG,GAAG,GAAG,IAAI,CAepC;IAEM,eAAe,CACpB,KAAK,EAAE,MAAM,EACb,MAAM,EAAE,eAAe,EACvB,iBAAiB,CAAC,EAAE,iBAAiB,EACrC,OAAO,CAAC,EAAE,MAAM,GACf,IAAI,CA+BN;IAED;;OAEG;IACI,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,IAAI,CA8B7C;IAEM,eAAe,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,GAAE,iBAA+B,GAAG,IAAI,CAanF;IAEM,kBAAkB,CAAC,KAAK,EAAE,MAAM,EAAE,MAAM,GAAE,iBAAoC,GAAG,IAAI,CAY3F;IAEM,aAAa,CAAC,QAAQ,EAAE,MAAM,GAAG,GAAG,EAAE,CAc5C;IAEM,UAAU,CAAC,QAAQ,CAAC,EAAE,MAAM,GAAG,GAAG,EAAE,CAgB1C;IAEM,uBAAuB,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,MAAM,GAAG,IAAI,CAuEpE;IAEM,iCAAiC,CACtC,EAAE,EAAE,SAAS,EACb,QAAQ,EAAE,MAAM,EAChB,MAAM,EAAE,eAAe,GACtB,IAAI,CAsDN;IAEM,qBAAqB,CAC1B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,eAAe,EACvB,eAAe,CAAC,EAAE,SAAS,CAAC,iBAAiB,CAAC,EAC9C,SAAS,CAAC,EAAE,MAAM,GACjB,IAAI,CAwBN;IAEM,qBAAqB,CAAC,IAAI,EAAE,MAAM,EAAE,MAAM,EAAE,eAAe,GAAG,IAAI,CAYxE;IAEM,qBAAqB,CAC1B,IAAI,EAAE,MAAM,EACZ,MAAM,EAAE,eAAe,EACvB,gBAAgB,GAAE,OAAc,GAC/B,IAAI,CAqCN;IAEM,YAAY,CACjB,QAAQ,EAAE,MAAM,EAChB,IAAI,EAAE,MAAM,EACZ,IAAI,EAAE,QAAQ,GAAG,UAAU,GAAG,eAAe,EAC7C,YAAY,EAAE,MAAM,GACnB,IAAI,CAiBN;IAEM,YAAY,CAAC,EAAE,EAAE,MAAM,GAAG,CAAC,SAAS,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,GAAG,IAAI,CAmBzE;IAEM,kBAAkB,CAAC,KAAK,EAAE,MAAM,GAAG,CAAC,SAAS,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,EAAE,CAkB7E;IAEM,uBAAuB,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC,SAAS,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,EAAE,CAqBrF;IAEM,gBAAgB,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC,SAAS,GAAG;QAAE,QAAQ,EAAE,MAAM,CAAA;KAAE,CAAC,EAAE,CAqB9E;IAEM,0BAA0B,CAAC,QAAQ,EAAE,MAAM,GAAG,CAAC,aAAa,GAAG;QAAE,MAAM,CAAC,EAAE,cAAc,CAAA;KAAE,CAAC,EAAE,CAUnG;IAEM,oBAAoB,CAAC,WAAW,EAAE,MAAM,EAAE,UAAU,CAAC,EAAE,MAAM,GAAG,IAAI,CAQ1E;IAEM,6BAA6B,CAAC,KAAK,EAAE,IAAI,CAAC,YAAY,EAAE,KAAK,CAAC,GAAG,MAAM,CAe7E;IAEM,gBAAgB,CAAC,QAAQ,EAAE,MAAM,EAAE,OAAO,GAAE,MAAU,GAAG,YAAY,EAAE,CAgB7E;IAEM,cAAc,CAAC,KAAK,EAAE,MAAM,GAAG,YAAY,EAAE,CAgBnD;IAEM,KAAK,IAAI,IAAI,CAEnB;CACF"}
|