@toa.io/core 1.0.0-alpha.304 → 1.0.0-alpha.306
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/package.json +3 -3
- package/transpiled/call.d.ts +1 -1
- package/transpiled/call.js +21 -6
- package/transpiled/call.js.map +1 -1
- package/transpiled/component.js +18 -2
- package/transpiled/component.js.map +1 -1
- package/transpiled/connector.d.ts +17 -0
- package/transpiled/connector.js +55 -0
- package/transpiled/connector.js.map +1 -1
- package/transpiled/contract/request.js +2 -0
- package/transpiled/contract/request.js.map +1 -1
- package/transpiled/deliveries.d.ts +22 -0
- package/transpiled/deliveries.js +31 -0
- package/transpiled/deliveries.js.map +1 -0
- package/transpiled/discovery.d.ts +6 -2
- package/transpiled/discovery.js +16 -6
- package/transpiled/discovery.js.map +1 -1
- package/transpiled/exceptions.d.ts +9 -0
- package/transpiled/exceptions.js +17 -2
- package/transpiled/exceptions.js.map +1 -1
- package/transpiled/gate.d.ts +40 -0
- package/transpiled/gate.js +84 -0
- package/transpiled/gate.js.map +1 -0
- package/transpiled/halting.d.ts +16 -0
- package/transpiled/halting.js +25 -0
- package/transpiled/halting.js.map +1 -0
- package/transpiled/index.d.ts +4 -0
- package/transpiled/index.js +4 -0
- package/transpiled/index.js.map +1 -1
- package/transpiled/safety.d.ts +5 -0
- package/transpiled/safety.js +26 -0
- package/transpiled/safety.js.map +1 -0
- package/transpiled/trail.d.ts +5 -0
- package/transpiled/trail.js +4 -3
- package/transpiled/trail.js.map +1 -1
- package/transpiled/types/atomicity.d.ts +3 -1
- package/transpiled/types/bridges.d.ts +2 -0
- package/transpiled/types/extensions.d.ts +24 -1
- package/transpiled/types/request.d.ts +6 -0
package/package.json
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
{
|
|
2
2
|
"name": "@toa.io/core",
|
|
3
|
-
"version": "1.0.0-alpha.
|
|
3
|
+
"version": "1.0.0-alpha.306",
|
|
4
4
|
"type": "module",
|
|
5
5
|
"description": "Toa Core",
|
|
6
6
|
"author": "temich <tema.gurtovoy@gmail.com>",
|
|
@@ -42,8 +42,8 @@
|
|
|
42
42
|
"@rsql/parser": "1.6.0",
|
|
43
43
|
"@toa.io/generic": "1.0.0-alpha.304",
|
|
44
44
|
"@toa.io/schemas": "1.0.0-alpha.304",
|
|
45
|
-
"openspan": "1.0.0-alpha.
|
|
45
|
+
"openspan": "1.0.0-alpha.305",
|
|
46
46
|
"uuid": "14.0.2"
|
|
47
47
|
},
|
|
48
|
-
"gitHead": "
|
|
48
|
+
"gitHead": "0693d180a8053a7d07dca879dac2a3c4784d6d45"
|
|
49
49
|
}
|
package/transpiled/call.d.ts
CHANGED
|
@@ -4,7 +4,7 @@ import type { Request as Contract } from './contract/request.ts';
|
|
|
4
4
|
import type { Options, Request, Source } from './types/request.ts';
|
|
5
5
|
export declare class Call extends Connector {
|
|
6
6
|
#private;
|
|
7
|
-
constructor(transmitter: Transmission, contract: Contract, target: string, source?: Source, stateful?: boolean);
|
|
7
|
+
constructor(transmitter: Transmission, contract: Contract, target: string, source?: Source, stateful?: boolean, safe?: boolean);
|
|
8
8
|
invoke(request?: Request, options?: Options): Promise<any>;
|
|
9
9
|
explain(): any;
|
|
10
10
|
}
|
package/transpiled/call.js
CHANGED
|
@@ -2,7 +2,7 @@ import { Readable } from 'node:stream';
|
|
|
2
2
|
import { current, encode } from 'openspan';
|
|
3
3
|
import { Connector } from './connector.js';
|
|
4
4
|
import { derive, newid } from './entities/newid.js';
|
|
5
|
-
import { RequestContractException } from './exceptions.js';
|
|
5
|
+
import { RequestContractException, SafetyException } from './exceptions.js';
|
|
6
6
|
import { abandoned, waiting } from './abandon.js';
|
|
7
7
|
import * as addressed from './instance.js';
|
|
8
8
|
import * as trail from './trail.js';
|
|
@@ -14,21 +14,32 @@ export class Call extends Connector {
|
|
|
14
14
|
#source;
|
|
15
15
|
/** whether a call to it names the process it goes to */
|
|
16
16
|
#stateful;
|
|
17
|
+
/** whether what it calls is incapable of changing the State; see `safety.ts` */
|
|
18
|
+
#safe;
|
|
17
19
|
// eslint-disable-next-line max-params
|
|
18
|
-
constructor(transmitter, contract, target, source, stateful = false) {
|
|
20
|
+
constructor(transmitter, contract, target, source, stateful = false, safe = false) {
|
|
19
21
|
super();
|
|
20
22
|
this.#transmitter = transmitter;
|
|
21
23
|
this.#contract = contract;
|
|
22
24
|
this.#target = target;
|
|
23
25
|
this.#source = source;
|
|
24
26
|
this.#stateful = stateful;
|
|
27
|
+
this.#safe = safe;
|
|
25
28
|
this.depends(transmitter);
|
|
26
29
|
}
|
|
27
30
|
async invoke(request = {}, options = {}) {
|
|
28
31
|
const invocation = trail.current();
|
|
29
|
-
|
|
30
|
-
|
|
31
|
-
|
|
32
|
+
/*
|
|
33
|
+
* The process a call goes to, which the transmission is handed beside what the call asks, and
|
|
34
|
+
* what the caller said of reading, which is not the answer on its own.
|
|
35
|
+
*/
|
|
36
|
+
const { instance, readonly: stated, ...asked } = request;
|
|
37
|
+
/*
|
|
38
|
+
* The disjunction is what makes it a guarantee rather than a convention: a caller under a
|
|
39
|
+
* readonly invocation cannot clear it for a call of its own.
|
|
40
|
+
*/
|
|
41
|
+
const readonly = stated === true || invocation?.readonly === true;
|
|
42
|
+
this.#refuse(request, options, readonly);
|
|
32
43
|
/*
|
|
33
44
|
* The envelope is built around what the caller asked for rather than written over it: one
|
|
34
45
|
* request object is handed to several concurrent calls in more than one place, and those are
|
|
@@ -55,6 +66,8 @@ export class Call extends Connector {
|
|
|
55
66
|
delete envelope.source;
|
|
56
67
|
if (envelope.trail === undefined)
|
|
57
68
|
delete envelope.trail;
|
|
69
|
+
if (readonly)
|
|
70
|
+
envelope.readonly = true;
|
|
58
71
|
this.#contract.fit(envelope);
|
|
59
72
|
const context = current();
|
|
60
73
|
if (context !== undefined)
|
|
@@ -87,9 +100,11 @@ export class Call extends Connector {
|
|
|
87
100
|
return derive(invocation.id, this.#target, trail.ordinal(invocation, this.#target));
|
|
88
101
|
}
|
|
89
102
|
/** A call whose making contradicts what it calls is refused before anything is sent. */
|
|
90
|
-
#refuse(request, options) {
|
|
103
|
+
#refuse(request, options, readonly) {
|
|
91
104
|
const { instance, task } = request;
|
|
92
105
|
const { timeout, signal } = options;
|
|
106
|
+
if (readonly && !this.#safe)
|
|
107
|
+
throw new SafetyException(`'${this.#target}' may change state, and this call may only read`);
|
|
93
108
|
if (this.#stateful && instance === undefined)
|
|
94
109
|
throw new RequestContractException(`'${this.#target}' is stateful, and a call to it names \`instance\``);
|
|
95
110
|
if (!this.#stateful && instance !== undefined)
|
package/transpiled/call.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"call.js","sourceRoot":"","sources":["../source/call.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AACtC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,wBAAwB,EAAE,MAAM,iBAAiB,CAAA;
|
|
1
|
+
{"version":3,"file":"call.js","sourceRoot":"","sources":["../source/call.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,QAAQ,EAAE,MAAM,aAAa,CAAA;AACtC,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,MAAM,UAAU,CAAA;AAC1C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,MAAM,EAAE,KAAK,EAAE,MAAM,qBAAqB,CAAA;AACnD,OAAO,EAAE,wBAAwB,EAAE,eAAe,EAAE,MAAM,iBAAiB,CAAA;AAC3E,OAAO,EAAE,SAAS,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACjD,OAAO,KAAK,SAAS,MAAM,eAAe,CAAA;AAC1C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AAMnC,MAAM,OAAO,IAAK,SAAQ,SAAS;IACxB,YAAY,CAAc;IAC1B,SAAS,CAAU;IAE5B,wFAAwF;IAC/E,OAAO,CAAQ;IAEf,OAAO,CAAoB;IAEpC,wDAAwD;IAC/C,SAAS,CAAS;IAE3B,gFAAgF;IACvE,KAAK,CAAS;IAEvB,sCAAsC;IACtC,YACE,WAAyB,EACzB,QAAkB,EAClB,MAAc,EACd,MAAe,EACf,QAAQ,GAAY,KAAK,EACzB,IAAI,GAAY,KAAK;QAErB,KAAK,EAAE,CAAA;QAEP,IAAI,CAAC,YAAY,GAAG,WAAW,CAAA;QAC/B,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAA;QACzB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAA;QACrB,IAAI,CAAC,OAAO,GAAG,MAAM,CAAA;QACrB,IAAI,CAAC,SAAS,GAAG,QAAQ,CAAA;QACzB,IAAI,CAAC,KAAK,GAAG,IAAI,CAAA;QAEjB,IAAI,CAAC,OAAO,CAAC,WAAW,CAAC,CAAA;IAC3B,CAAC;IAEM,KAAK,CAAC,MAAM,CAAC,OAAO,GAAY,EAAE,EAAE,OAAO,GAAY,EAAE;QAC9D,MAAM,UAAU,GAAG,KAAK,CAAC,OAAO,EAAE,CAAA;QAElC;;;WAGG;QACH,MAAM,EAAE,QAAQ,EAAE,QAAQ,EAAE,MAAM,EAAE,GAAG,KAAK,EAAE,GAAG,OAAO,CAAA;QAExD;;;WAGG;QACH,MAAM,QAAQ,GAAG,MAAM,KAAK,IAAI,IAAI,UAAU,EAAE,QAAQ,KAAK,IAAI,CAAA;QAEjE,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,EAAE,QAAQ,CAAC,CAAA;QAExC;;;;;WAKG;QACH,MAAM,QAAQ,GAAa;YACzB,GAAG,KAAK;YAER,2CAA2C;YAC3C,SAAS,EAAE,IAAI;YAEf,sEAAsE;YACtE,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,IAAI;YAE5B,EAAE,EAAE,OAAO,CAAC,EAAE,IAAI,IAAI,CAAC,SAAS,CAAC,UAAU,CAAC;YAE5C;;;eAGG;YACH,KAAK,EAAE,OAAO,CAAC,KAAK,IAAI,UAAU,EAAE,IAAI,IAAI,OAAO,CAAC,IAAI,CAAC,OAAO,CAAC;YAEjE,0EAA0E;YAC1E,MAAM,EAAE,OAAO,CAAC,MAAM,IAAI,IAAI,CAAC,OAAO;SACvC,CAAA;QAED,0DAA0D;QAC1D,IAAI,QAAQ,CAAC,MAAM,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC,MAAM,CAAA;QACzD,IAAI,QAAQ,CAAC,KAAK,KAAK,SAAS;YAAE,OAAO,QAAQ,CAAC,KAAK,CAAA;QACvD,IAAI,QAAQ;YAAE,QAAQ,CAAC,QAAQ,GAAG,IAAI,CAAA;QAEtC,IAAI,CAAC,SAAS,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAA;QAE5B,MAAM,OAAO,GAAG,OAAO,EAAE,CAAA;QAEzB,IAAI,OAAO,KAAK,SAAS;YAAE,QAAQ,CAAC,SAAS,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA;QAE/D,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,SAAS,CAAC,QAAQ,EAAE,IAAI,CAAC,MAAM,CAAC,QAAQ,EAAE,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,MAAM,CAAC,CAAC,CAAA;QAEpG,IAAI,KAAK,KAAK,IAAI;YAAE,OAAO,IAAI,CAAA;aAC1B,IAAI,KAAK,YAAY,QAAQ;YAAE,OAAO,KAAK,CAAA;aAC3C,CAAC;YACJ,IAAI,KAAK,CAAC,SAAS,KAAK,SAAS;gBAAE,MAAM,KAAK,CAAC,SAAS,CAAA;YAExD,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;gBAAE,OAAO,IAAI,WAAW,CAAC,KAAK,CAAC,KAAK,CAAC,CAAA;;gBAC7D,OAAO,KAAK,CAAC,MAAM,CAAA;QAC1B,CAAC;IACH,CAAC;IAEM,OAAO;QACZ,OAAO,IAAI,CAAC,SAAS,CAAC,SAAS,CAAA;IACjC,CAAC;IAED;;;;OAIG;IACH,SAAS,CAAC,UAAwC;QAChD,IAAI,UAAU,EAAE,EAAE,KAAK,SAAS;YAAE,OAAO,KAAK,EAAE,CAAA;QAEhD,OAAO,MAAM,CAAC,UAAU,CAAC,EAAE,EAAE,IAAI,CAAC,OAAO,EAAE,KAAK,CAAC,OAAO,CAAC,UAAU,EAAE,IAAI,CAAC,OAAO,CAAC,CAAC,CAAA;IACrF,CAAC;IAED,wFAAwF;IACxF,OAAO,CAAC,OAAgB,EAAE,OAAgB,EAAE,QAAiB;QAC3D,MAAM,EAAE,QAAQ,EAAE,IAAI,EAAE,GAAG,OAAO,CAAA;QAClC,MAAM,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,OAAO,CAAA;QAEnC,IAAI,QAAQ,IAAI,CAAC,IAAI,CAAC,KAAK;YACzB,MAAM,IAAI,eAAe,CAAC,IAAI,IAAI,CAAC,OAAO,iDAAiD,CAAC,CAAA;QAE9F,IAAI,IAAI,CAAC,SAAS,IAAI,QAAQ,KAAK,SAAS;YAC1C,MAAM,IAAI,wBAAwB,CAChC,IAAI,IAAI,CAAC,OAAO,oDAAoD,CACrE,CAAA;QAEH,IAAI,CAAC,IAAI,CAAC,SAAS,IAAI,QAAQ,KAAK,SAAS;YAC3C,MAAM,IAAI,wBAAwB,CAChC,IAAI,IAAI,CAAC,OAAO,wDAAwD,CACzE,CAAA;QAEH,8EAA8E;QAC9E,IAAI,IAAI,KAAK,IAAI,IAAI,CAAC,OAAO,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS,CAAC;YAClE,MAAM,IAAI,wBAAwB,CAAC,2CAA2C,CAAC,CAAA;QAEjF,IAAI,OAAO,KAAK,SAAS,IAAI,CAAC,CAAC,MAAM,CAAC,QAAQ,CAAC,OAAO,CAAC,IAAI,OAAO,GAAG,CAAC,CAAC;YACrE,MAAM,IAAI,wBAAwB,CAAC,gDAAgD,CAAC,CAAA;IACxF,CAAC;IAED;;;;OAIG;IACH,MAAM,CAAC,QAAiB,EAAE,OAAgB,EAAE,MAAoB;QAC9D,MAAM,QAAQ,GAAG,OAAO,IAAI,CAAC,IAAI,CAAC,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,CAAC,SAAS,CAAC,CAAA;QAE9E,IAAI,QAAQ,KAAK,SAAS,IAAI,QAAQ,KAAK,SAAS,IAAI,MAAM,KAAK,SAAS;YAC1E,OAAO,SAAS,CAAA;QAElB,MAAM,OAAO,GAAkB,EAAE,CAAA;QAEjC,IAAI,MAAM,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,MAAM,CAAC,CAAA;QAC9C,IAAI,QAAQ,KAAK,SAAS;YAAE,OAAO,CAAC,IAAI,CAAC,WAAW,CAAC,OAAO,CAAC,QAAQ,CAAC,CAAC,CAAA;QAEvE,MAAM,KAAK,GAAU,EAAE,CAAA;QAEvB,IAAI,QAAQ,KAAK,SAAS;YAAE,KAAK,CAAC,QAAQ,GAAG,QAAQ,CAAA;QACrD,IAAI,QAAQ,KAAK,SAAS;YAAE,KAAK,CAAC,OAAO,GAAG,QAAQ,CAAA;QAEpD,IAAI,OAAO,CAAC,MAAM,GAAG,CAAC;YACpB,KAAK,CAAC,MAAM,GAAG,OAAO,CAAC,MAAM,KAAK,CAAC,CAAC,CAAC,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QAE7E,OAAO,KAAK,CAAA;IACd,CAAC;IAED,6FAA6F;IAC7F,KAAK,CAAC,SAAS,CAAC,QAAkB,EAAE,KAAwB;QAC1D,MAAM,MAAM,GAAG,KAAK,EAAE,MAAM,CAAA;QAE5B,mFAAmF;QACnF,IAAI,MAAM,EAAE,OAAO,KAAK,IAAI;YAAE,MAAM,SAAS,CAAC,IAAI,CAAC,OAAO,EAAE,MAAM,CAAC,CAAA;QAEnE,OAAO,MAAM,OAAO,CAAC,IAAI,CAAC,YAAY,CAAC,OAAO,CAAC,QAAQ,EAAE,KAAK,CAAC,EAAE,MAAM,EAAE,IAAI,CAAC,OAAO,CAAC,CAAA;IACxF,CAAC;CACF;AAED,+FAA+F;AAC/F,SAAS,OAAO,CAAC,MAA0B;IACzC,OAAO,MAAM,KAAK,SAAS,IAAI,SAAS,IAAI,MAAM,CAAC,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,CAAC,CAAC,CAAC,SAAS,CAAA;AACnF,CAAC;AAED,sFAAsF;AACtF,MAAM,WAAY,SAAQ,KAAK;IAC7B,YAAmB,KAAa;QAC9B,KAAK,EAAE,CAAA;QAEP,MAAM,CAAC,MAAM,CAAC,IAAI,EAAE,KAAK,CAAC,CAAA;IAC5B,CAAC;CACF"}
|
package/transpiled/component.js
CHANGED
|
@@ -1,6 +1,6 @@
|
|
|
1
1
|
import { console, current, decode, run } from 'openspan';
|
|
2
2
|
import { Connector } from './connector.js';
|
|
3
|
-
import { EndpointException, names, permanent } from './exceptions.js';
|
|
3
|
+
import { DisposedException, EndpointException, names, permanent } from './exceptions.js';
|
|
4
4
|
import * as measure from './measurements.js';
|
|
5
5
|
import * as trail from './trail.js';
|
|
6
6
|
/** The code a declared error refuses with, which its manifest bounds. */
|
|
@@ -22,6 +22,19 @@ export class Component extends Connector {
|
|
|
22
22
|
Object.values(operations).forEach((operation) => this.depends(operation));
|
|
23
23
|
}
|
|
24
24
|
async invoke(endpoint, request, options) {
|
|
25
|
+
/*
|
|
26
|
+
* A component that has been taken down refuses to work. What reaches it here is something
|
|
27
|
+
* the component started and did not stop — an interval, a watcher, a promise nobody
|
|
28
|
+
* awaited — calling through a context whose tree is gone, and a resume builds another tree
|
|
29
|
+
* rather than reviving this one, so it is never coming back.
|
|
30
|
+
*
|
|
31
|
+
* The client side is left alone deliberately: a `Remote` is a client to a queue rather than
|
|
32
|
+
* to an instance of anything, so its being taken down says nothing about whether what it
|
|
33
|
+
* calls is there.
|
|
34
|
+
*/
|
|
35
|
+
if (this.disposed && this.kind === 'server')
|
|
36
|
+
throw new DisposedException(`'${this.locator.id}' has been taken down, and what reached it here was started by ` +
|
|
37
|
+
'something that outlived it');
|
|
25
38
|
if (!(endpoint in this.operations))
|
|
26
39
|
throw new EndpointException(`'${endpoint}' is not provided by '${this.locator.id}'`);
|
|
27
40
|
// if the request carries no telemetry, the trace starts here
|
|
@@ -52,9 +65,12 @@ export class Component extends Connector {
|
|
|
52
65
|
}
|
|
53
66
|
/*
|
|
54
67
|
* The identity is put in scope with the chain: an operation reaches neither, and the
|
|
55
|
-
* calls it makes derive their own from what it is serving.
|
|
68
|
+
* calls it makes derive their own from what it is serving. So is whether this request may
|
|
69
|
+
* only read, which is what every call the operation makes is then held to.
|
|
56
70
|
*/
|
|
57
71
|
const scope = { hops, id: request?.id };
|
|
72
|
+
if (request?.readonly === true)
|
|
73
|
+
scope.readonly = true;
|
|
58
74
|
task = async () => trail.follow(scope, invocation);
|
|
59
75
|
}
|
|
60
76
|
if (remote === null)
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"component.js","sourceRoot":"","sources":["../source/component.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAoB,MAAM,UAAU,CAAA;AAC1E,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,iBAAiB,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;
|
|
1
|
+
{"version":3,"file":"component.js","sourceRoot":"","sources":["../source/component.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,OAAO,EAAE,MAAM,EAAE,GAAG,EAAoB,MAAM,UAAU,CAAA;AAC1E,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,iBAAiB,EAAE,iBAAiB,EAAE,KAAK,EAAE,SAAS,EAAE,MAAM,iBAAiB,CAAA;AACxF,OAAO,KAAK,OAAO,MAAM,mBAAmB,CAAA;AAC5C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AASnC,yEAAyE;AACzE,SAAS,IAAI,CAAC,KAAa;IACzB,OAAO,MAAM,CAAE,KAA4B,CAAC,IAAI,IAAI,YAAY,CAAC,CAAA;AACnE,CAAC;AAED,MAAM,OAAO,SAA2C,SAAQ,SAAS;IACvD,OAAO,CAAS;IAEb,UAAU,CAAmB;IAEtC,IAAI,GAAwB,QAAQ,CAAA;IAE9C,gCAAgC;IACvB,MAAM,GAAgC,EAAE,CAAA;IAEjD,mFAAmF;IAC1E,OAAO,GAAG,KAAK,CAAC,MAAM,EAAE,CAAA;IAEjC,YAAmB,OAAgB,EAAE,UAA6B;QAChE,KAAK,EAAE,CAAA;QAEP,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;QACtB,IAAI,CAAC,UAAU,GAAG,UAAU,CAAA;QAE5B,MAAM,CAAC,MAAM,CAAC,UAAU,CAAC,CAAC,OAAO,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,IAAI,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAA;IAC3E,CAAC;IAEM,KAAK,CAAC,MAAM,CACjB,QAAgB,EAChB,OAAiB,EACjB,OAAiB;QAEjB;;;;;;;;;WASG;QACH,IAAI,IAAI,CAAC,QAAQ,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YACzC,MAAM,IAAI,iBAAiB,CACzB,IAAI,IAAI,CAAC,OAAO,CAAC,EAAE,iEAAiE;gBAClF,4BAA4B,CAC/B,CAAA;QAEH,IAAI,CAAC,CAAC,QAAQ,IAAI,IAAI,CAAC,UAAU,CAAC;YAChC,MAAM,IAAI,iBAAiB,CAAC,IAAI,QAAQ,yBAAyB,IAAI,CAAC,OAAO,CAAC,EAAE,GAAG,CAAC,CAAA;QAEtF,6DAA6D;QAC7D,MAAM,MAAM,GAAG,OAAO,EAAE,SAAS,KAAK,SAAS,CAAC,CAAC,CAAC,IAAI,CAAC,CAAC,CAAC,MAAM,CAAC,OAAO,CAAC,SAAS,CAAC,CAAA;QAElF,MAAM,UAAU,GAAG,KAAK,IAAkB,EAAE,CAAC,IAAI,CAAC,QAAQ,CAAC,QAAQ,EAAE,OAAO,EAAE,OAAO,CAAC,CAAA;QAEtF,IAAI,IAAI,GAAG,UAAU,CAAA;QAErB;;;;;WAKG;QACH,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ,IAAI,QAAQ,CAAC,CAAC,CAAC,KAAK,GAAG,EAAE,CAAC;YAClD,IAAI,IAAc,CAAA;YAElB,IAAI,CAAC;gBACH,0EAA0E;gBAC1E,IAAI,GAAG,KAAK,CAAC,MAAM,CAAC,OAAO,EAAE,KAAK,EAAE,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAA;YAC9E,CAAC;YAAC,OAAO,SAAS,EAAE,CAAC;gBACnB,OAAO,CAAC,KAAK,CAAC,oBAAoB,EAAE;oBAClC,QAAQ,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,QAAQ,EAAE;oBAC1C,SAAS;iBACV,CAAC,CAAA;gBAEF,oFAAoF;gBACpF,qFAAqF;gBACrF,4EAA4E;gBAC5E,OAAO,EAAE,SAAS,EAAO,CAAA;YAC3B,CAAC;YAED;;;;eAIG;YACH,MAAM,KAAK,GAAqB,EAAE,IAAI,EAAE,EAAE,EAAE,OAAO,EAAE,EAAE,EAAE,CAAA;YAEzD,IAAI,OAAO,EAAE,QAAQ,KAAK,IAAI;gBAAE,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAA;YAErD,IAAI,GAAG,KAAK,IAAkB,EAAE,CAAC,KAAK,CAAC,MAAM,CAAC,KAAK,EAAE,UAAU,CAAC,CAAA;QAClE,CAAC;QAED,IAAI,MAAM,KAAK,IAAI;YAAE,OAAO,IAAI,EAAE,CAAA;;YAC7B,OAAO,GAAG,CAAC,MAAM,EAAE,IAAI,CAAC,CAAA;IAC/B,CAAC;IAED,KAAK,CAAC,QAAQ,CAAC,QAAgB,EAAE,OAAiB,EAAE,OAAiB;QACnE,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAA;QAC9E,MAAM,MAAM,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE,CAAA;QAElE,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;QAEpC,IAAI,CAAC;YACH,OAAO,MAAM,OAAO,CAAC,IAAI,CAAC,IAAI,CAAC,KAAK,CAAC,QAAQ,CAAC,EAAE,KAAK,IAAI,EAAE;gBACzD,MAAM,KAAK,GAAG,MAAM,IAAI,CAAC,UAAU,CAAC,QAAQ,CAAC,CAAC,MAAM,CAAC,OAAmB,EAAE,OAAO,CAAC,CAAA;gBAElF,IAAI,KAAK,EAAE,KAAK,KAAK,SAAS,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;oBACtD,OAAO,CAAC,SAAS,CAAC,MAAM,CAAC,GAAG,CAAC,CAAC,EAAE,EAAE,GAAG,MAAM,EAAE,IAAI,EAAE,IAAI,CAAC,KAAK,CAAC,KAAK,CAAC,EAAE,CAAC,CAAA;gBAEzE,IAAI,KAAK,EAAE,SAAS,KAAK,SAAS,EAAE,CAAC;oBACnC,MAAM,IAAI,GAAG,OAAO,EAAE,CAAA;oBAEtB,IAAI,IAAI,KAAK,SAAS;wBAAE,IAAI,CAAC,MAAM,GAAG,OAAO,CAAA;oBAE7C,IAAI,CAAC,OAAO,CAAC,MAAM,EAAE,KAAK,CAAC,SAAS,CAAC,CAAA;oBAErC,OAAO,CAAC,KAAK,CAAC,6BAA6B,EAAE;wBAC3C,QAAQ,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,QAAQ,EAAE;wBAC1C,SAAS,EAAE,KAAK,CAAC,SAAS;qBAC3B,CAAC,CAAA;gBACJ,CAAC;gBAED,OAAO,KAAK,CAAA;YACd,CAAC,CAAC,CAAA;QACJ,CAAC;gBAAS,CAAC;YACT,YAAY,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,EAAE,MAAM,CAAC,CAAA;QACvC,CAAC;IACH,CAAC;IAED;;;;OAIG;IACH,OAAO,CAAC,MAAc,EAAE,SAA4B;QAClD,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;YAAE,OAAM;QAElC,MAAM,EAAE,IAAI,GAAG,CAAC,EAAE,GAAG,SAAS,CAAA;QAE9B,OAAO,CAAC,SAAS,CAAC,UAAU,CAAC,GAAG,CAAC,CAAC,EAAE;YAClC,GAAG,MAAM;YACT,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,MAAM,CAAC,IAAI,CAAC;YACjC,OAAO,EAAE,SAAS,CAAC,SAAS,CAAC,CAAC,CAAC,CAAC,WAAW,CAAC,CAAC,CAAC,WAAW;SAC1D,CAAC,CAAA;IACJ,CAAC;IAED;;;;OAIG;IACH,KAAK,CAAC,QAAgB;QACpB,IAAI,OAAO,GAAG,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,CAAA;QAEnC,IAAI,OAAO,KAAK,SAAS,EAAE,CAAC;YAC1B,MAAM,YAAY,GAAG,IAAI,CAAC,IAAI,KAAK,QAAQ,CAAC,CAAC,CAAC,OAAO,CAAC,SAAS,CAAC,CAAC,CAAC,OAAO,CAAC,IAAI,CAAA;YAE9E,OAAO,GAAG;gBACR,IAAI,EAAE,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,IAAI,QAAQ,EAAE;gBACtC,IAAI,EAAE,IAAI,CAAC,IAAI;gBACf,OAAO,EAAE;oBACP,SAAS,EAAE,YAAY,CAAC,QAAQ;oBAChC,MAAM,EAAE,EAAE,SAAS,EAAE,IAAI,CAAC,OAAO,CAAC,EAAE,EAAE,SAAS,EAAE,QAAQ,EAAE;iBAC5D;aACF,CAAA;YAED,4EAA4E;YAC5E,kEAAkE;YAClE,IAAI,IAAI,CAAC,IAAI,KAAK,QAAQ;gBAAE,OAAO,CAAC,OAAO,GAAG,IAAI,CAAC,OAAO,CAAC,EAAE,CAAA;YAE7D,IAAI,CAAC,MAAM,CAAC,QAAQ,CAAC,GAAG,OAAO,CAAA;QACjC,CAAC;QAED,OAAO,OAAO,CAAA;IAChB,CAAC;CACF"}
|
|
@@ -46,6 +46,23 @@ export declare class Connector {
|
|
|
46
46
|
reconnect(): Promise<void>;
|
|
47
47
|
debug(node?: Record<string, any>): Record<string, any>;
|
|
48
48
|
/** Called on connection */
|
|
49
|
+
/**
|
|
50
|
+
* Stops what this tree does of its own accord, holding every connection open.
|
|
51
|
+
*
|
|
52
|
+
* The walk is what reaches a connector; what the connector does about it is `stop`. Top down,
|
|
53
|
+
* so a source is stopped before whatever it feeds, and a failure is reported rather than
|
|
54
|
+
* raised — one connector that will not stop is no reason to leave the rest working.
|
|
55
|
+
*/
|
|
56
|
+
halt(visited?: Set<Connector>): Promise<void>;
|
|
57
|
+
/**
|
|
58
|
+
* Starts again what `halt` stopped, bottom up, so nothing works before what it works through.
|
|
59
|
+
* Runs wherever the halt went, including where it failed.
|
|
60
|
+
*/
|
|
61
|
+
restore(visited?: Set<Connector>): Promise<void>;
|
|
62
|
+
/** What this stops doing of its own accord while the tree is halted. See `halt`. */
|
|
63
|
+
protected pause(): Promise<void> | void;
|
|
64
|
+
/** What it starts doing again. See `restore`. */
|
|
65
|
+
protected unpause(): Promise<void> | void;
|
|
49
66
|
protected open(): Promise<void> | void;
|
|
50
67
|
/** Called on disconnection */
|
|
51
68
|
protected close(): Promise<void> | void;
|
package/transpiled/connector.js
CHANGED
|
@@ -7,6 +7,8 @@ export class Connector {
|
|
|
7
7
|
#connecting;
|
|
8
8
|
#disconnecting;
|
|
9
9
|
#discarded = false;
|
|
10
|
+
/** Whether this has been told to stop what it does of its own accord, see `halt`. */
|
|
11
|
+
#halted = false;
|
|
10
12
|
id;
|
|
11
13
|
connected = false;
|
|
12
14
|
/**
|
|
@@ -47,6 +49,10 @@ export class Connector {
|
|
|
47
49
|
// See .#discard()
|
|
48
50
|
if (this.#disconnecting !== undefined)
|
|
49
51
|
next.#discard();
|
|
52
|
+
// and the same for a quiescence the walk has gone past already: one taken on after it
|
|
53
|
+
// would otherwise be the one thing in the tree still working
|
|
54
|
+
if (this.#halted)
|
|
55
|
+
void next.halt();
|
|
50
56
|
return next;
|
|
51
57
|
}
|
|
52
58
|
/**
|
|
@@ -182,6 +188,55 @@ export class Connector {
|
|
|
182
188
|
return node;
|
|
183
189
|
}
|
|
184
190
|
/** Called on connection */
|
|
191
|
+
/**
|
|
192
|
+
* Stops what this tree does of its own accord, holding every connection open.
|
|
193
|
+
*
|
|
194
|
+
* The walk is what reaches a connector; what the connector does about it is `stop`. Top down,
|
|
195
|
+
* so a source is stopped before whatever it feeds, and a failure is reported rather than
|
|
196
|
+
* raised — one connector that will not stop is no reason to leave the rest working.
|
|
197
|
+
*/
|
|
198
|
+
async halt(visited = new Set()) {
|
|
199
|
+
// the walk is governed by where it has been, and the flag only by whether this one has
|
|
200
|
+
// already stopped: a connector that has, with a subtree that has not, is still walked through
|
|
201
|
+
if (visited.has(this))
|
|
202
|
+
return;
|
|
203
|
+
visited.add(this);
|
|
204
|
+
if (!this.#halted) {
|
|
205
|
+
this.#halted = true;
|
|
206
|
+
try {
|
|
207
|
+
await this.pause();
|
|
208
|
+
}
|
|
209
|
+
catch (error) {
|
|
210
|
+
console.error('Connector failed to pause', { id: this.id, error });
|
|
211
|
+
}
|
|
212
|
+
}
|
|
213
|
+
for (const dependency of this.#dependencies)
|
|
214
|
+
await dependency.halt(visited);
|
|
215
|
+
}
|
|
216
|
+
/**
|
|
217
|
+
* Starts again what `halt` stopped, bottom up, so nothing works before what it works through.
|
|
218
|
+
* Runs wherever the halt went, including where it failed.
|
|
219
|
+
*/
|
|
220
|
+
async restore(visited = new Set()) {
|
|
221
|
+
if (visited.has(this))
|
|
222
|
+
return;
|
|
223
|
+
visited.add(this);
|
|
224
|
+
for (const dependency of this.#dependencies)
|
|
225
|
+
await dependency.restore(visited);
|
|
226
|
+
if (!this.#halted)
|
|
227
|
+
return;
|
|
228
|
+
this.#halted = false;
|
|
229
|
+
try {
|
|
230
|
+
await this.unpause();
|
|
231
|
+
}
|
|
232
|
+
catch (error) {
|
|
233
|
+
console.error('Connector failed to unpause', { id: this.id, error });
|
|
234
|
+
}
|
|
235
|
+
}
|
|
236
|
+
/** What this stops doing of its own accord while the tree is halted. See `halt`. */
|
|
237
|
+
pause() { }
|
|
238
|
+
/** What it starts doing again. See `restore`. */
|
|
239
|
+
unpause() { }
|
|
185
240
|
open() { }
|
|
186
241
|
/** Called on disconnection */
|
|
187
242
|
close() { }
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"connector.js","sourceRoot":"","sources":["../source/connector.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAClC,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AAG7C,qCAAqC;AACrC,MAAM,OAAO,SAAS;IACpB,aAAa,GAAgB,EAAE,CAAA;IAC/B,MAAM,GAAgB,EAAE,CAAA;IACxB,WAAW,CAA2B;IACtC,cAAc,CAA2B;IACzC,UAAU,GAAY,KAAK,CAAA;
|
|
1
|
+
{"version":3,"file":"connector.js","sourceRoot":"","sources":["../source/connector.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAClC,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AAG7C,qCAAqC;AACrC,MAAM,OAAO,SAAS;IACpB,aAAa,GAAgB,EAAE,CAAA;IAC/B,MAAM,GAAgB,EAAE,CAAA;IACxB,WAAW,CAA2B;IACtC,cAAc,CAA2B;IACzC,UAAU,GAAY,KAAK,CAAA;IAE3B,qFAAqF;IACrF,OAAO,GAAY,KAAK,CAAA;IAER,EAAE,CAAQ;IACnB,SAAS,GAAY,KAAK,CAAA;IAEjC;;;;;OAKG;IACI,QAAQ,GAAY,KAAK,CAAA;IAEhC;QACE,IAAI,CAAC,EAAE,GAAG,IAAI,CAAC,WAAW,CAAC,IAAI,GAAG,GAAG,GAAG,IAAI,CAAC,MAAM,EAAE,CAAC,QAAQ,CAAC,EAAE,CAAC,CAAC,SAAS,CAAC,CAAC,EAAE,CAAC,CAAC,CAAA;IACpF,CAAC;IAED;;;;;OAKG;IACI,OAAO,CAAC,SAAkC;QAC/C,IAAI,IAAe,CAAA;QAEnB,IAAI,SAAS,YAAY,KAAK,EAAE,CAAC;YAC/B,IAAI,SAAS,CAAC,MAAM,KAAK,CAAC;gBAAE,MAAM,IAAI,KAAK,CAAC,oCAAoC,CAAC,CAAA;YAEjF,IAAI,SAAS,CAAC,MAAM,GAAG,CAAC,EAAE,CAAC;gBACzB,IAAI,GAAG,IAAI,SAAS,EAAE,CAAA;gBAEtB,KAAK,MAAM,IAAI,IAAI,SAAS,EAAE,CAAC;oBAC7B,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;oBAC7B,IAAI,CAAC,OAAO,CAAC,IAAI,CAAC,CAAA;gBACpB,CAAC;YACH,CAAC;;gBAAM,IAAI,GAAG,SAAS,CAAC,CAAC,CAAC,CAAA;QAC5B,CAAC;;YAAM,IAAI,GAAG,SAAS,CAAA;QAEvB,IAAI,CAAC,aAAa,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAC7B,IAAI,CAAC,IAAI,CAAC,IAAI,CAAC,CAAA;QAEf,kBAAkB;QAClB,IAAI,IAAI,CAAC,cAAc,KAAK,SAAS;YAAE,IAAI,CAAC,QAAQ,EAAE,CAAA;QAEtD,sFAAsF;QACtF,6DAA6D;QAC7D,IAAI,IAAI,CAAC,OAAO;YAAE,KAAK,IAAI,CAAC,IAAI,EAAE,CAAA;QAElC,OAAO,IAAI,CAAA;IACb,CAAC;IAED;;;;;;;;;OASG;IACH,QAAQ;QACN,IAAI,CAAC,UAAU,GAAG,IAAI,CAAA;QAEtB,gFAAgF;QAChF,oFAAoF;QACpF,IAAI,IAAI,CAAC,WAAW,KAAK,SAAS;YAAE,KAAK,IAAI,CAAC,KAAK,EAAE,CAAA;IACvD,CAAC;IAED;;;;;OAKG;IACI,IAAI,CAAC,SAAoB;QAC9B,IAAI,CAAC,MAAM,CAAC,IAAI,CAAC,SAAS,CAAC,CAAA;IAC7B,CAAC;IAED;;;;;;;OAOG;IACI,KAAK,CAAC,OAAO;QAClB,IAAI,IAAI,CAAC,WAAW;YAAE,OAAO,IAAI,CAAC,WAAW,CAAA;QAE7C,IAAI,CAAC,cAAc,GAAG,SAAS,CAAA;QAE/B,MAAM,IAAI,GAAG,KAAK,IAAI,EAAE;YACtB,MAAM,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,OAAO,EAAE,CAAC,CAAC,CAAA;YAC7E,MAAM,IAAI,CAAC,IAAI,EAAE,CAAA;QACnB,CAAC,CAAA;QAED,gDAAgD;QAChD,MAAM,UAAU,GACd,UAAU,IAAI,IAAI,CAAC,WAAW,CAAC,IAAI,KAAK,WAAW;YACjD,CAAC,CAAC,OAAO,CAAC,IAAI,CACV;gBACE,IAAI,EAAE,WAAW,IAAI,CAAC,WAAW,CAAC,IAAI,EAAE;gBACxC,0EAA0E;gBAC1E,UAAU,EAAE,EAAE,EAAE,EAAG,IAA8B,CAAC,OAAO,EAAE,EAAE,IAAI,IAAI,CAAC,EAAE,EAAE;aAC3E,EACD,IAAI,CACL;YACH,CAAC,CAAC,IAAI,EAAE,CAAA;QAEZ,IAAI,CAAC,WAAW,GAAG,UAAU,CAAA;QAE7B,IAAI,CAAC;YACH,MAAM,UAAU,CAAA;YAEhB;;;;;eAKG;YACH,IAAI,IAAI,CAAC,WAAW,KAAK,UAAU;gBAAE,IAAI,CAAC,SAAS,GAAG,IAAI,CAAA;QAC5D,CAAC;QAAC,OAAO,CAAC,EAAE,CAAC;YACX,MAAM,IAAI,CAAC,UAAU,CAAC,IAAI,CAAC,CAAA;YAC3B,MAAM,CAAC,CAAA;QACT,CAAC;QAED,uFAAuF;QACvF,IAAI,IAAI,CAAC,UAAU;YAAE,MAAM,IAAI,CAAC,KAAK,EAAE,CAAA;IACzC,CAAC;IAED,mGAAmG;IACnG,KAAK,CAAC,KAAK;QACT,IAAI,CAAC,UAAU,GAAG,KAAK,CAAA;QAEvB,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,UAAU,EAAE,CAAA;QACzB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,KAAK,CAAC,0CAA0C,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAA;QACnF,CAAC;IACH,CAAC;IAED;;;;;;;OAOG;IACI,KAAK,CAAC,UAAU,CAAC,SAAmB;QACzC,yEAAyE;QACzE,wEAAwE;QACxE,MAAM,OAAO,GAAG,SAAS,KAAK,IAAI,IAAI,IAAI,CAAC,SAAS,KAAK,KAAK,CAAA;QAE9D,IAAI,CAAC,OAAO;YAAE,MAAM,IAAI,CAAC,WAAW,CAAA;QAEpC,IAAI,IAAI,CAAC,cAAc;YAAE,OAAO,IAAI,CAAC,cAAc,CAAA;QAEnD,MAAM,MAAM,GAAG,IAAI,CAAC,MAAM,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,MAAM,EAAE,EAAE,CAAC,GAAG,IAAI,MAAM,CAAC,SAAS,EAAE,KAAK,CAAC,CAAA;QAElF,IAAI,MAAM,IAAI,SAAS,KAAK,IAAI;YAAE,OAAM;QAExC,IAAI,CAAC,cAAc,GAAG,CAAC,KAAK,IAAI,EAAE;YAChC,MAAM,KAAK,GAAG,CAAC,IAAI,IAAI,EAAE,CAAA;YAEzB,MAAM,QAAQ,GAAG,WAAW,CAAC,GAAG,EAAE;gBAChC,MAAM,KAAK,GAAG,CAAC,IAAI,IAAI,EAAE,GAAG,KAAK,CAAA;gBAEjC,IAAI,KAAK,GAAG,KAAK;oBACf,OAAO,CAAC,IAAI,CAAC,aAAa,IAAI,CAAC,EAAE,yBAAyB,KAAK,GAAG,CAAC,CAAA;YACvE,CAAC,EAAE,KAAK,CAAC,CAAA;YAET,IAAI,CAAC,OAAO;gBAAE,MAAM,IAAI,CAAC,KAAK,EAAE,CAAA;YAEhC,gFAAgF;YAChF,kFAAkF;YAClF,iFAAiF;YACjF,+BAA+B;YAC/B,IAAI,CAAC,SAAS,GAAG,KAAK,CAAA;YACtB,IAAI,CAAC,WAAW,GAAG,SAAS,CAAA;YAE5B,aAAa,CAAC,QAAQ,CAAC,CAAA;YAEvB,MAAM,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,aAAa,CAAC,GAAG,CAAC,CAAC,SAAS,EAAE,EAAE,CAAC,SAAS,CAAC,UAAU,EAAE,CAAC,CAAC,CAAA;YAEhF,MAAM,IAAI,CAAC,OAAO,EAAE,CAAA;YAEpB,IAAI,CAAC,QAAQ,GAAG,IAAI,CAAA;QACtB,CAAC,CAAC,EAAE,CAAA;QAEJ,MAAM,IAAI,CAAC,cAAc,CAAA;IAC3B,CAAC;IAEM,KAAK,CAAC,SAAS;QACpB,MAAM,IAAI,CAAC,UAAU,EAAE,CAAA;QACvB,MAAM,IAAI,CAAC,OAAO,EAAE,CAAA;IACtB,CAAC;IAEM,KAAK,CAAC,IAAI,GAAwB,EAAE;QACzC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,GAAG,EAAE,SAAS,EAAE,IAAI,CAAC,SAAS,EAAE,CAAA;QAE7C,IAAI,IAAI,CAAC,aAAa,CAAC,MAAM,GAAG,CAAC;YAC/B,KAAK,MAAM,SAAS,IAAI,IAAI,CAAC,aAAa;gBAAE,SAAS,CAAC,KAAK,EAAE,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;QAE9E,OAAO,IAAI,CAAA;IACb,CAAC;IAED,2BAA2B;IAC3B;;;;;;OAMG;IACI,KAAK,CAAC,IAAI,CAAC,OAAO,GAAmB,IAAI,GAAG,EAAE;QACnD,uFAAuF;QACvF,8FAA8F;QAC9F,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAM;QAE7B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAEjB,IAAI,CAAC,IAAI,CAAC,OAAO,EAAE,CAAC;YAClB,IAAI,CAAC,OAAO,GAAG,IAAI,CAAA;YAEnB,IAAI,CAAC;gBACH,MAAM,IAAI,CAAC,KAAK,EAAE,CAAA;YACpB,CAAC;YAAC,OAAO,KAAK,EAAE,CAAC;gBACf,OAAO,CAAC,KAAK,CAAC,2BAA2B,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAA;YACpE,CAAC;QACH,CAAC;QAED,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,aAAa;YAAE,MAAM,UAAU,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;IAC7E,CAAC;IAED;;;OAGG;IACI,KAAK,CAAC,OAAO,CAAC,OAAO,GAAmB,IAAI,GAAG,EAAE;QACtD,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAM;QAE7B,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;QAEjB,KAAK,MAAM,UAAU,IAAI,IAAI,CAAC,aAAa;YAAE,MAAM,UAAU,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;QAE9E,IAAI,CAAC,IAAI,CAAC,OAAO;YAAE,OAAM;QAEzB,IAAI,CAAC,OAAO,GAAG,KAAK,CAAA;QAEpB,IAAI,CAAC;YACH,MAAM,IAAI,CAAC,OAAO,EAAE,CAAA;QACtB,CAAC;QAAC,OAAO,KAAK,EAAE,CAAC;YACf,OAAO,CAAC,KAAK,CAAC,6BAA6B,EAAE,EAAE,EAAE,EAAE,IAAI,CAAC,EAAE,EAAE,KAAK,EAAE,CAAC,CAAA;QACtE,CAAC;IACH,CAAC;IAED,oFAAoF;IAC1E,KAAK,KAA0B,CAAC;IAE1C,iDAAiD;IACvC,OAAO,KAA0B,CAAC;IAElC,IAAI,KAA0B,CAAC;IAEzC,8BAA8B;IACpB,KAAK,KAA0B,CAAC;IAE1C,iEAAiE;IACvD,OAAO,KAA0B,CAAC;CAC7C;AAED,MAAM,KAAK,GAAG,IAAI,CAAA;AAClB,MAAM,UAAU,GAAG,WAAW,CAAC,GAAG,CAAC,gBAAgB,CAAC,KAAK,GAAG,CAAA"}
|
|
@@ -38,6 +38,8 @@ export class Request extends Contract {
|
|
|
38
38
|
id: { type: 'string' },
|
|
39
39
|
authentic: { type: 'boolean' },
|
|
40
40
|
task: { type: 'boolean' },
|
|
41
|
+
// whether the call may reach only a safe operation, which every operation admits
|
|
42
|
+
readonly: { type: 'boolean' },
|
|
41
43
|
// what a caller receives of the output, which every operation admits
|
|
42
44
|
output: { type: 'array', uniqueItems: true, items: { type: 'string' } }
|
|
43
45
|
},
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"request.js","sourceRoot":"","sources":["../../source/contract/request.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAA;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAmCxC,MAAM,OAAO,OAAQ,SAAQ,QAAQ;IACnB,SAAS,GAAgB,EAAE,CAAA;IAEpC,MAAM,CAAU,SAAS,GAC9B,wBAA8C,CAAA;IAEhD,YAAmB,MAAc,EAAE,UAAsB,EAAE,MAAe;QACxE,KAAK,CAAC,MAAM,CAAC,CAAA;QAEb,KAAK,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAU;YACzF,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,SAAS;gBAC9B,IAAI,CAAC,SAAqC,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;QAEtE;;;;;;WAMG;QACH,IAAI,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;YAE5C,IAAI,QAAQ,KAAK,SAAS;gBAAE,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,QAAQ,CAAA;QAC9D,CAAC;IACH,CAAC;IAEM,MAAM,CAAC,MAAM,CAClB,UAAsB,EACtB,MAAmD;QAEnD,2FAA2F;QAC3F,6FAA6F;QAC7F,MAAM,MAAM,GAAe;YACzB,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV;;;;;;mBAMG;gBACH,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACtB,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;gBAC9B,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;gBACzB,qEAAqE;gBACrE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;aACxE;YACD,oBAAoB,EAAE,IAAI;SAC3B,CAAA;QAED,MAAM,QAAQ,GAAa,EAAE,CAAA;QAE7B,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACnC,MAAM,CAAC,UAAU,CAAC,KAAK,GAAG,UAAU,CAAC,KAAK,CAAA;YAC1C,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACxB,CAAC;;YAAM,MAAM,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QAEjD,IAAI,MAAM,KAAK,SAAS;YAAE,UAAU,CAAC,KAAK,GAAG,KAAK,CAAA;QAElD,IAAI,UAAU,CAAC,KAAK,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QAErD,IAAI,UAAU,CAAC,KAAK,KAAK,KAAK;YAAE,MAAM,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QAE1E,IAAI,UAAU,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;YAE5C,KAAK,CAAC,UAAU,CAAC,EAAE,GAAG,MAAM,EAAE,UAAU,CAAC,EAAE,CAAA;YAE3C,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa;gBAAE,OAAO,KAAK,CAAC,UAAU,CAAC,OAAO,CAAA;;gBACjE,OAAO,KAAK,CAAC,UAAU,CAAC,UAAU,CAAA;YAEvC,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxE,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,CAAA;gBAC5B,OAAO,KAAK,CAAC,UAAU,CAAC,KAAK,CAAA;YAC/B,CAAC;iBAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;gBAAE,KAAK,CAAC,QAAQ,GAAG,CAAC,OAAO,CAAC,CAAA;;gBAC9D,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YAEjC,MAAM,CAAC,UAAU,CAAC,KAAK,GAAG,KAAK,CAAA;QACjC,CAAC;QAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,QAAQ,GAAG,QAAQ,CAAA;QAEnD,OAAO,MAAM,CAAA;IACf,CAAC;CACF;AAED;;;;;;;;;;;GAWG;AACH,SAAS,OAAO,CAAC,UAAsB,EAAE,MAAe;IACtD,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAc,CAAC;QAAE,OAAO,SAAS,CAAA;IAEpF,MAAM,MAAM,GAAe;QACzB,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;KACxE,CAAA;IAED,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS;QAChC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAgB,CAAA;IAEvD,OAAO,UAAU,CAAC,KAAK,KAAK,QAAQ,IAAI,UAAU,CAAC,KAAK,KAAK,WAAW;QACtE,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,SAAS,CAAA;AACf,CAAC;AAED,mFAAmF;AACnF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC,CAAA;AAEnE,6FAA6F;AAC7F,SAAS,KAAK,CAAC,MAAqC;IAClD,OAAO,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,CAAA;AACpF,CAAC"}
|
|
1
|
+
{"version":3,"file":"request.js","sourceRoot":"","sources":["../../source/contract/request.ts"],"names":[],"mappings":"AAAA,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,EAAE,wBAAwB,EAAE,MAAM,kBAAkB,CAAA;AAC3D,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AAmCxC,MAAM,OAAO,OAAQ,SAAQ,QAAQ;IACnB,SAAS,GAAgB,EAAE,CAAA;IAEpC,MAAM,CAAU,SAAS,GAC9B,wBAA8C,CAAA;IAEhD,YAAmB,MAAc,EAAE,UAAsB,EAAE,MAAe;QACxE,KAAK,CAAC,MAAM,CAAC,CAAA;QAEb,KAAK,MAAM,GAAG,IAAI,CAAC,aAAa,EAAE,MAAM,EAAE,UAAU,EAAE,OAAO,EAAE,QAAQ,EAAE,QAAQ,CAAU;YACzF,IAAI,UAAU,CAAC,GAAG,CAAC,KAAK,SAAS;gBAC9B,IAAI,CAAC,SAAqC,CAAC,GAAG,CAAC,GAAG,UAAU,CAAC,GAAG,CAAC,CAAA;QAEtE;;;;;;WAMG;QACH,IAAI,KAAK,CAAC,IAAI,CAAC,SAAS,CAAC,MAAM,CAAC,EAAE,CAAC;YACjC,MAAM,QAAQ,GAAG,OAAO,CAAC,UAAU,EAAE,MAAM,CAAC,CAAA;YAE5C,IAAI,QAAQ,KAAK,SAAS;gBAAE,IAAI,CAAC,SAAS,CAAC,MAAM,GAAG,QAAQ,CAAA;QAC9D,CAAC;IACH,CAAC;IAEM,MAAM,CAAC,MAAM,CAClB,UAAsB,EACtB,MAAmD;QAEnD,2FAA2F;QAC3F,6FAA6F;QAC7F,MAAM,MAAM,GAAe;YACzB,IAAI,EAAE,QAAQ;YACd,UAAU,EAAE;gBACV;;;;;;mBAMG;gBACH,EAAE,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE;gBACtB,SAAS,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;gBAC9B,IAAI,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;gBACzB,iFAAiF;gBACjF,QAAQ,EAAE,EAAE,IAAI,EAAE,SAAS,EAAE;gBAC7B,qEAAqE;gBACrE,MAAM,EAAE,EAAE,IAAI,EAAE,OAAO,EAAE,WAAW,EAAE,IAAI,EAAE,KAAK,EAAE,EAAE,IAAI,EAAE,QAAQ,EAAE,EAAE;aACxE;YACD,oBAAoB,EAAE,IAAI;SAC3B,CAAA;QAED,MAAM,QAAQ,GAAa,EAAE,CAAA;QAE7B,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;YACnC,MAAM,CAAC,UAAU,CAAC,KAAK,GAAG,UAAU,CAAC,KAAK,CAAA;YAC1C,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACxB,CAAC;;YAAM,MAAM,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QAEjD,IAAI,MAAM,KAAK,SAAS;YAAE,UAAU,CAAC,KAAK,GAAG,KAAK,CAAA;QAElD,IAAI,UAAU,CAAC,KAAK,KAAK,IAAI;YAAE,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QAErD,IAAI,UAAU,CAAC,KAAK,KAAK,KAAK;YAAE,MAAM,CAAC,UAAU,CAAC,KAAK,GAAG,EAAE,IAAI,EAAE,MAAM,EAAE,CAAA;QAE1E,IAAI,UAAU,CAAC,KAAK,KAAK,KAAK,EAAE,CAAC;YAC/B,MAAM,KAAK,GAAG,eAAe,CAAC,OAAO,CAAC,KAAK,CAAC,CAAA;YAE5C,KAAK,CAAC,UAAU,CAAC,EAAE,GAAG,MAAM,EAAE,UAAU,CAAC,EAAE,CAAA;YAE3C,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa;gBAAE,OAAO,KAAK,CAAC,UAAU,CAAC,OAAO,CAAA;;gBACjE,OAAO,KAAK,CAAC,UAAU,CAAC,UAAU,CAAA;YAEvC,IAAI,UAAU,CAAC,IAAI,KAAK,aAAa,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS,EAAE,CAAC;gBACxE,OAAO,KAAK,CAAC,UAAU,CAAC,IAAI,CAAA;gBAC5B,OAAO,KAAK,CAAC,UAAU,CAAC,KAAK,CAAA;YAC/B,CAAC;iBAAM,IAAI,KAAK,CAAC,QAAQ,KAAK,SAAS;gBAAE,KAAK,CAAC,QAAQ,GAAG,CAAC,OAAO,CAAC,CAAA;;gBAC9D,KAAK,CAAC,QAAQ,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;YAEjC,MAAM,CAAC,UAAU,CAAC,KAAK,GAAG,KAAK,CAAA;QACjC,CAAC;QAED,IAAI,QAAQ,CAAC,MAAM,GAAG,CAAC;YAAE,MAAM,CAAC,QAAQ,GAAG,QAAQ,CAAA;QAEnD,OAAO,MAAM,CAAA;IACf,CAAC;CACF;AAED;;;;;;;;;;;GAWG;AACH,SAAS,OAAO,CAAC,UAAsB,EAAE,MAAe;IACtD,IAAI,MAAM,KAAK,SAAS,IAAI,CAAC,MAAM,CAAC,GAAG,CAAC,UAAU,CAAC,IAAc,CAAC;QAAE,OAAO,SAAS,CAAA;IAEpF,MAAM,MAAM,GAAe;QACzB,IAAI,EAAE,QAAQ;QACd,UAAU,EAAE,MAAM,CAAC,UAAU;QAC7B,GAAG,CAAC,MAAM,CAAC,QAAQ,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,QAAQ,EAAE,MAAM,CAAC,QAAQ,EAAE,CAAC;KACxE,CAAA;IAED,IAAI,UAAU,CAAC,KAAK,KAAK,SAAS;QAChC,OAAO,EAAE,IAAI,EAAE,OAAO,EAAE,KAAK,EAAE,MAAM,EAAgB,CAAA;IAEvD,OAAO,UAAU,CAAC,KAAK,KAAK,QAAQ,IAAI,UAAU,CAAC,KAAK,KAAK,WAAW;QACtE,CAAC,CAAC,MAAM;QACR,CAAC,CAAC,SAAS,CAAA;AACf,CAAC;AAED,mFAAmF;AACnF,MAAM,MAAM,GAAG,IAAI,GAAG,CAAC,CAAC,YAAY,EAAE,aAAa,EAAE,YAAY,CAAC,CAAC,CAAA;AAEnE,6FAA6F;AAC7F,SAAS,KAAK,CAAC,MAAqC;IAClD,OAAO,MAAM,KAAK,SAAS,IAAI,MAAM,KAAK,IAAI,IAAI,MAAM,CAAC,IAAI,CAAC,MAAM,CAAC,CAAC,MAAM,KAAK,CAAC,CAAA;AACpF,CAAC"}
|
|
@@ -0,0 +1,22 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* The messages this process has taken and not yet finished with.
|
|
3
|
+
*
|
|
4
|
+
* A binding counts one in for as long as it holds a delivery, and that is exactly what its own
|
|
5
|
+
* teardown waits for: a connection cannot close while a message it dispatched is still being
|
|
6
|
+
* handled, and a handler waiting on a call of its own holds it there. So this answers, for the
|
|
7
|
+
* process as a whole, whether a teardown has anything left to wait on.
|
|
8
|
+
*
|
|
9
|
+
* It is not `toa.call.inflight`, which counts the other side — callers waiting. That number is
|
|
10
|
+
* non-zero for a call a gateway made, which blocks no teardown, and zero for a handler held open
|
|
11
|
+
* by a database commit, which blocks one.
|
|
12
|
+
*
|
|
13
|
+
* Ambient, like the instance name and the invocation chain, and for the same reason: a process
|
|
14
|
+
* may carry two copies of this module, and a count kept in one of them answers for half a
|
|
15
|
+
* process.
|
|
16
|
+
*/
|
|
17
|
+
/** One more delivery is being handled. */
|
|
18
|
+
export declare function taken(): void;
|
|
19
|
+
/** One fewer: the handler has returned, however it returned. */
|
|
20
|
+
export declare function done(): void;
|
|
21
|
+
/** How many this process is handling now. */
|
|
22
|
+
export declare function inflight(): number;
|
|
@@ -0,0 +1,31 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* The messages this process has taken and not yet finished with.
|
|
3
|
+
*
|
|
4
|
+
* A binding counts one in for as long as it holds a delivery, and that is exactly what its own
|
|
5
|
+
* teardown waits for: a connection cannot close while a message it dispatched is still being
|
|
6
|
+
* handled, and a handler waiting on a call of its own holds it there. So this answers, for the
|
|
7
|
+
* process as a whole, whether a teardown has anything left to wait on.
|
|
8
|
+
*
|
|
9
|
+
* It is not `toa.call.inflight`, which counts the other side — callers waiting. That number is
|
|
10
|
+
* non-zero for a call a gateway made, which blocks no teardown, and zero for a handler held open
|
|
11
|
+
* by a database commit, which blocks one.
|
|
12
|
+
*
|
|
13
|
+
* Ambient, like the instance name and the invocation chain, and for the same reason: a process
|
|
14
|
+
* may carry two copies of this module, and a count kept in one of them answers for half a
|
|
15
|
+
* process.
|
|
16
|
+
*/
|
|
17
|
+
const KEY = Symbol.for('toa.core.deliveries');
|
|
18
|
+
const store = (globalThis[KEY] ??= { count: 0 });
|
|
19
|
+
/** One more delivery is being handled. */
|
|
20
|
+
export function taken() {
|
|
21
|
+
store.count++;
|
|
22
|
+
}
|
|
23
|
+
/** One fewer: the handler has returned, however it returned. */
|
|
24
|
+
export function done() {
|
|
25
|
+
store.count--;
|
|
26
|
+
}
|
|
27
|
+
/** How many this process is handling now. */
|
|
28
|
+
export function inflight() {
|
|
29
|
+
return store.count;
|
|
30
|
+
}
|
|
31
|
+
//# sourceMappingURL=deliveries.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"deliveries.js","sourceRoot":"","sources":["../source/deliveries.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;;;;GAeG;AAEH,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAA;AAI7C,MAAM,KAAK,GAAG,CAAE,UAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,KAAK,EAAE,CAAC,EAAE,CAAC,CAAA;AAE3D,0CAA0C;AAC1C,MAAM,UAAU,KAAK;IACnB,KAAK,CAAC,KAAK,EAAE,CAAA;AACf,CAAC;AAED,gEAAgE;AAChE,MAAM,UAAU,IAAI;IAClB,KAAK,CAAC,KAAK,EAAE,CAAA;AACf,CAAC;AAED,6CAA6C;AAC7C,MAAM,UAAU,QAAQ;IACtB,OAAO,KAAK,CAAC,KAAK,CAAA;AACpB,CAAC"}
|
|
@@ -5,7 +5,7 @@ interface Lookup extends Connector {
|
|
|
5
5
|
}
|
|
6
6
|
export declare class Discovery extends Connector {
|
|
7
7
|
#private;
|
|
8
|
-
constructor(lookup: (locator: Locator) => Promise<Lookup>);
|
|
8
|
+
constructor(lookup: (locator: Locator, version?: string) => Promise<Lookup>);
|
|
9
9
|
protected open(): Promise<void>;
|
|
10
10
|
/**
|
|
11
11
|
* A lookup is unbounded, so one in flight when this goes away never settles and would go on
|
|
@@ -14,6 +14,10 @@ export declare class Discovery extends Connector {
|
|
|
14
14
|
* another, and every cycle would leave a voice behind.
|
|
15
15
|
*/
|
|
16
16
|
protected close(): Promise<void>;
|
|
17
|
-
|
|
17
|
+
/**
|
|
18
|
+
* @param locator the component asked
|
|
19
|
+
* @param version which of its versions answers; absent, whichever of them takes the message
|
|
20
|
+
*/
|
|
21
|
+
lookup(locator: Locator, version?: string): Promise<any>;
|
|
18
22
|
}
|
|
19
23
|
export {};
|
package/transpiled/discovery.js
CHANGED
|
@@ -23,24 +23,34 @@ export class Discovery extends Connector {
|
|
|
23
23
|
clearInterval(warning);
|
|
24
24
|
this.#waiting.clear();
|
|
25
25
|
}
|
|
26
|
-
|
|
26
|
+
/**
|
|
27
|
+
* @param locator the component asked
|
|
28
|
+
* @param version which of its versions answers; absent, whichever of them takes the message
|
|
29
|
+
*/
|
|
30
|
+
async lookup(locator, version) {
|
|
27
31
|
const id = locator.id;
|
|
28
|
-
|
|
29
|
-
|
|
30
|
-
|
|
32
|
+
// one per version: two of them answer under names of their own, and a process that has
|
|
33
|
+
// asked one may go on to ask the other
|
|
34
|
+
const key = version === undefined ? id : id + ':' + version;
|
|
35
|
+
if (this.#lookups[key] === undefined) {
|
|
36
|
+
const lookup = await this.#lookup(locator, version);
|
|
37
|
+
this.#lookups[key] = Promise.resolve(lookup);
|
|
31
38
|
this.depends(lookup);
|
|
32
39
|
}
|
|
33
40
|
const since = Date.now();
|
|
41
|
+
// a lookup with no version is one made outside a deployment, and saying so every five
|
|
42
|
+
// seconds would say nothing
|
|
43
|
+
const asked = version === undefined ? { component: id } : { component: id, version };
|
|
34
44
|
// the wait is unbounded by design, as a dependency may still be starting,
|
|
35
45
|
// so repeating is the only way a component stuck on one stays visible
|
|
36
46
|
const warning = setInterval(() => {
|
|
37
47
|
const waiting = Math.round((Date.now() - since) / 1000);
|
|
38
|
-
console.warn('Waiting for lookup response', {
|
|
48
|
+
console.warn('Waiting for lookup response', { ...asked, waiting });
|
|
39
49
|
}, INTERVAL);
|
|
40
50
|
warning.unref();
|
|
41
51
|
this.#waiting.add(warning);
|
|
42
52
|
try {
|
|
43
|
-
return await (await this.#lookups[
|
|
53
|
+
return await (await this.#lookups[key]).invoke();
|
|
44
54
|
}
|
|
45
55
|
finally {
|
|
46
56
|
clearInterval(warning);
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"discovery.js","sourceRoot":"","sources":["../source/discovery.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAClC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAO1C,MAAM,OAAO,SAAU,SAAQ,SAAS;IAC7B,OAAO,
|
|
1
|
+
{"version":3,"file":"discovery.js","sourceRoot":"","sources":["../source/discovery.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,OAAO,EAAE,MAAM,UAAU,CAAA;AAClC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAO1C,MAAM,OAAO,SAAU,SAAQ,SAAS;IAC7B,OAAO,CAAyD;IACzE,QAAQ,GAAoC,EAAE,CAAA;IAE9C,sFAAsF;IAC7E,QAAQ,GAAG,IAAI,GAAG,EAAkB,CAAA;IAE7C,YAAmB,MAA+D;QAChF,KAAK,EAAE,CAAA;QAEP,IAAI,CAAC,OAAO,GAAG,MAAM,CAAA;IACvB,CAAC;IAEkB,KAAK,CAAC,IAAI;QAC3B,IAAI,CAAC,QAAQ,GAAG,EAAE,CAAA;IACpB,CAAC;IAED;;;;;OAKG;IACgB,KAAK,CAAC,KAAK;QAC5B,KAAK,MAAM,OAAO,IAAI,IAAI,CAAC,QAAQ;YAAE,aAAa,CAAC,OAAO,CAAC,CAAA;QAE3D,IAAI,CAAC,QAAQ,CAAC,KAAK,EAAE,CAAA;IACvB,CAAC;IAED;;;OAGG;IACI,KAAK,CAAC,MAAM,CAAC,OAAgB,EAAE,OAAgB;QACpD,MAAM,EAAE,GAAG,OAAO,CAAC,EAAE,CAAA;QAErB,uFAAuF;QACvF,uCAAuC;QACvC,MAAM,GAAG,GAAG,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,CAAC,CAAC,CAAC,EAAE,GAAG,GAAG,GAAG,OAAO,CAAA;QAE3D,IAAI,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,KAAK,SAAS,EAAE,CAAC;YACrC,MAAM,MAAM,GAAG,MAAM,IAAI,CAAC,OAAO,CAAC,OAAO,EAAE,OAAO,CAAC,CAAA;YAEnD,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,GAAG,OAAO,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;YAC5C,IAAI,CAAC,OAAO,CAAC,MAAM,CAAC,CAAA;QACtB,CAAC;QAED,MAAM,KAAK,GAAG,IAAI,CAAC,GAAG,EAAE,CAAA;QAExB,sFAAsF;QACtF,4BAA4B;QAC5B,MAAM,KAAK,GACT,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,CAAC,CAAC,CAAC,EAAE,SAAS,EAAE,EAAE,EAAE,OAAO,EAAE,CAAA;QAExE,0EAA0E;QAC1E,sEAAsE;QACtE,MAAM,OAAO,GAAG,WAAW,CAAC,GAAG,EAAE;YAC/B,MAAM,OAAO,GAAG,IAAI,CAAC,KAAK,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,KAAK,CAAC,GAAG,IAAI,CAAC,CAAA;YAEvD,OAAO,CAAC,IAAI,CAAC,6BAA6B,EAAE,EAAE,GAAG,KAAK,EAAE,OAAO,EAAE,CAAC,CAAA;QACpE,CAAC,EAAE,QAAQ,CAAC,CAAA;QAEZ,OAAO,CAAC,KAAK,EAAE,CAAA;QACf,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,OAAO,CAAC,CAAA;QAE1B,IAAI,CAAC;YACH,OAAO,MAAM,CAAC,MAAM,IAAI,CAAC,QAAQ,CAAC,GAAG,CAAC,CAAC,CAAC,MAAM,EAAE,CAAA;QAClD,CAAC;gBAAS,CAAC;YACT,aAAa,CAAC,OAAO,CAAC,CAAA;YACtB,IAAI,CAAC,QAAQ,CAAC,MAAM,CAAC,OAAO,CAAC,CAAA;QAC/B,CAAC;IACH,CAAC;CACF;AAED,MAAM,QAAQ,GAAG,IAAI,CAAA"}
|
|
@@ -24,10 +24,16 @@ export declare const codes: {
|
|
|
24
24
|
Addressee: number;
|
|
25
25
|
/** the caller stopped waiting, and what it called may still run */
|
|
26
26
|
Abandoned: number;
|
|
27
|
+
/** the tree the call was made through has been taken down, and is not coming back */
|
|
28
|
+
Disposed: number;
|
|
29
|
+
/** a call to an operation that may change state, made under a request that may only read */
|
|
30
|
+
Safety: number;
|
|
27
31
|
/** a chain that came back to where it had been, or went further than a chain goes */
|
|
28
32
|
Loop: number;
|
|
29
33
|
/** a component asked for something its manifest does not declare */
|
|
30
34
|
Misuse: number;
|
|
35
|
+
/** a run command pauses what nothing takes again: `pause` with no `resume` */
|
|
36
|
+
Irresumable: number;
|
|
31
37
|
};
|
|
32
38
|
export declare class Exception {
|
|
33
39
|
readonly code: number;
|
|
@@ -81,7 +87,10 @@ export declare const TransmissionException: Derived;
|
|
|
81
87
|
export declare const EndpointException: Derived;
|
|
82
88
|
export declare const AddresseeException: Derived;
|
|
83
89
|
export declare const AbandonedException: Derived;
|
|
90
|
+
export declare const DisposedException: Derived;
|
|
91
|
+
export declare const SafetyException: Derived;
|
|
84
92
|
export declare const MisuseException: Derived;
|
|
93
|
+
export declare const IrresumableException: Derived;
|
|
85
94
|
export declare const names: Record<string, string>;
|
|
86
95
|
/**
|
|
87
96
|
* Takes `unknown` because a caller has caught something rather than been handed an `Exception`.
|
package/transpiled/exceptions.js
CHANGED
|
@@ -24,10 +24,16 @@ export const codes = {
|
|
|
24
24
|
Addressee: 403,
|
|
25
25
|
/** the caller stopped waiting, and what it called may still run */
|
|
26
26
|
Abandoned: 404,
|
|
27
|
+
/** the tree the call was made through has been taken down, and is not coming back */
|
|
28
|
+
Disposed: 405,
|
|
29
|
+
/** a call to an operation that may change state, made under a request that may only read */
|
|
30
|
+
Safety: 406,
|
|
27
31
|
/** a chain that came back to where it had been, or went further than a chain goes */
|
|
28
32
|
Loop: 500,
|
|
29
33
|
/** a component asked for something its manifest does not declare */
|
|
30
|
-
Misuse: 600
|
|
34
|
+
Misuse: 600,
|
|
35
|
+
/** a run command pauses what nothing takes again: `pause` with no `resume` */
|
|
36
|
+
Irresumable: 601
|
|
31
37
|
};
|
|
32
38
|
export class Exception {
|
|
33
39
|
code;
|
|
@@ -121,7 +127,10 @@ export const TransmissionException = derive('Transmission');
|
|
|
121
127
|
export const EndpointException = derive('Endpoint');
|
|
122
128
|
export const AddresseeException = derive('Addressee');
|
|
123
129
|
export const AbandonedException = derive('Abandoned');
|
|
130
|
+
export const DisposedException = derive('Disposed');
|
|
131
|
+
export const SafetyException = derive('Safety');
|
|
124
132
|
export const MisuseException = derive('Misuse');
|
|
133
|
+
export const IrresumableException = derive('Irresumable');
|
|
125
134
|
export const names = swap(codes);
|
|
126
135
|
// #endregion
|
|
127
136
|
/**
|
|
@@ -165,10 +174,16 @@ const OUTCOME = {
|
|
|
165
174
|
Addressee: 'transient',
|
|
166
175
|
// what the caller gave up on may have run, and may run yet
|
|
167
176
|
Abandoned: 'transient',
|
|
177
|
+
// the tree is gone and a resume builds another, so the same context never works again
|
|
178
|
+
Disposed: 'permanent',
|
|
179
|
+
// a transition does not become an observation, and the request goes on saying it only reads
|
|
180
|
+
Safety: 'permanent',
|
|
168
181
|
// the chain is deterministic, so another attempt walks it again: a retry is another cycle
|
|
169
182
|
Loop: 'permanent',
|
|
170
183
|
// what a component did not declare, it does not declare on the next attempt either
|
|
171
|
-
Misuse: 'permanent'
|
|
184
|
+
Misuse: 'permanent',
|
|
185
|
+
// the component is refused at start, so nothing reaches it to be attempted twice
|
|
186
|
+
Irresumable: 'permanent'
|
|
172
187
|
};
|
|
173
188
|
const PERMANENT = new Set(Object.entries(OUTCOME)
|
|
174
189
|
.filter(([, outcome]) => outcome === 'permanent')
|
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"exceptions.js","sourceRoot":"","sources":["../source/exceptions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAGtC,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,MAAM,EAAE,CAAC;IAET,QAAQ,EAAE,GAAG;IACb,aAAa,EAAE,GAAG;IAClB,eAAe,EAAE,GAAG;IACpB,eAAe,EAAE,GAAG;IACpB,gBAAgB,EAAE,GAAG;IACrB,cAAc,EAAE,GAAG;IACnB,WAAW,EAAE,GAAG;IAChB,WAAW,EAAE,GAAG;IAEhB,KAAK,EAAE,GAAG;IACV,aAAa,EAAE,GAAG;IAClB,iBAAiB,EAAE,GAAG;IACtB,gBAAgB,EAAE,GAAG;IACrB,mBAAmB,EAAE,GAAG;IACxB,SAAS,EAAE,GAAG;IACd,8DAA8D;IAC9D,aAAa,EAAE,GAAG;IAElB,aAAa,EAAE,GAAG;IAClB,YAAY,EAAE,GAAG;IACjB,QAAQ,EAAE,GAAG;IACb,oDAAoD;IACpD,SAAS,EAAE,GAAG;IACd,mEAAmE;IACnE,SAAS,EAAE,GAAG;
|
|
1
|
+
{"version":3,"file":"exceptions.js","sourceRoot":"","sources":["../source/exceptions.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,IAAI,EAAE,MAAM,iBAAiB,CAAA;AAGtC,MAAM,CAAC,MAAM,KAAK,GAAG;IACnB,MAAM,EAAE,CAAC;IAET,QAAQ,EAAE,GAAG;IACb,aAAa,EAAE,GAAG;IAClB,eAAe,EAAE,GAAG;IACpB,eAAe,EAAE,GAAG;IACpB,gBAAgB,EAAE,GAAG;IACrB,cAAc,EAAE,GAAG;IACnB,WAAW,EAAE,GAAG;IAChB,WAAW,EAAE,GAAG;IAEhB,KAAK,EAAE,GAAG;IACV,aAAa,EAAE,GAAG;IAClB,iBAAiB,EAAE,GAAG;IACtB,gBAAgB,EAAE,GAAG;IACrB,mBAAmB,EAAE,GAAG;IACxB,SAAS,EAAE,GAAG;IACd,8DAA8D;IAC9D,aAAa,EAAE,GAAG;IAElB,aAAa,EAAE,GAAG;IAClB,YAAY,EAAE,GAAG;IACjB,QAAQ,EAAE,GAAG;IACb,oDAAoD;IACpD,SAAS,EAAE,GAAG;IACd,mEAAmE;IACnE,SAAS,EAAE,GAAG;IACd,qFAAqF;IACrF,QAAQ,EAAE,GAAG;IACb,4FAA4F;IAC5F,MAAM,EAAE,GAAG;IAEX,qFAAqF;IACrF,IAAI,EAAE,GAAG;IAET,oEAAoE;IACpE,MAAM,EAAE,GAAG;IACX,8EAA8E;IAC9E,WAAW,EAAE,GAAG;CACjB,CAAA;AAED,MAAM,OAAO,SAAS;IACJ,IAAI,CAAQ;IACZ,OAAO,CAAQ;IACxB,KAAK,CAAW;IAKvB,YAAmB,IAAY,EAAE,OAAe,EAAE,KAAe;QAC/D,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAChB,IAAI,CAAC,OAAO,GAAG,OAAO,CAAA;QAEtB,IAAI,KAAK,KAAK,SAAS;YAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;IAC7C,CAAC;CACF;AAED,MAAM,OAAO,eAAgB,SAAQ,SAAS;IAC5B,KAAK,CAAS;IAE9B,YAAmB,KAAqB;QACtC,KAAK,CAAC,KAAK,CAAC,MAAM,EAAE,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,KAAK,CAAC,OAAO,CAAC,CAAA;QAEtE,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,CAAC,KAAK,KAAK,SAAS;YAAE,IAAI,CAAC,KAAK,GAAG,KAAK,CAAC,KAAK,CAAA;IACtF,CAAC;CACF;AAED;;;GAGG;AACH,MAAM,OAAO,aAAc,SAAQ,SAAS;IAC1C,yEAAyE;IACzD,KAAK,CAAU;IAE/B,YAAmB,OAAe,EAAE,KAAe;QACjD,KAAK,CAAC,KAAK,CAAC,IAAI,EAAE,OAAO,CAAC,CAAA;QAE1B,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;IACpB,CAAC;CACF;AAED,MAAM,OAAO,iBAAkB,SAAQ,SAAS;IAC9C,YACE,IAAwB,EACxB,KAAkC,EAClC,KAAe;QAEf,KAAK,CACH,IAAI,IAAI,KAAK,CAAC,QAAQ,EACtB,OAAO,KAAK,KAAK,QAAQ,CAAC,CAAC,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,EAAE,OAAO,IAAI,EAAE,CAAC,EAC1D,KAAK,CACN,CAAA;QAED,IAAI,OAAO,KAAK,KAAK,QAAQ,IAAI,KAAK,KAAK,IAAI;YAC7C,KAAK,MAAM,CAAC,IAAI;gBACd,SAAS;gBACT,cAAc;gBACd,YAAY;gBACZ,QAAQ;gBACR,cAAc;aACN;gBACR,IAAI,CAAC,IAAI,KAAK;oBAAE,IAAI,CAAC,CAAC,CAAC,GAAG,KAAK,CAAC,CAAC,CAAC,CAAA;IACxC,CAAC;CACF;AAED,MAAM,OAAO,wBAAyB,SAAQ,iBAAiB;IAC7D,YAAmB,KAA2B,EAAE,KAAe;QAC7D,KAAK,CAAC,KAAK,CAAC,eAAe,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IAC5C,CAAC;CACF;AAED,MAAM,OAAO,yBAA0B,SAAQ,iBAAiB;IAC9D,YAAmB,KAA2B,EAAE,KAAe;QAC7D,KAAK,CAAC,KAAK,CAAC,gBAAgB,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IAC7C,CAAC;CACF;AAED,MAAM,OAAO,uBAAwB,SAAQ,iBAAiB;IAC5D,YAAmB,KAA2B,EAAE,KAAe;QAC7D,KAAK,CAAC,KAAK,CAAC,cAAc,EAAE,KAAK,EAAE,KAAK,CAAC,CAAA;IAC3C,CAAC;CACF;AAED,MAAM,OAAO,oBAAqB,SAAQ,iBAAiB;IACzD,YAAmB,IAAY,EAAE,KAAe;QAC9C,KAAK,CAAC,KAAK,CAAC,WAAW,EAAE,IAAI,EAAE,KAAK,CAAC,CAAA;IACvC,CAAC;CACF;AAQD,SAAS,MAAM,CAAC,IAAwB;IACtC,MAAM,SAAS,GAAG,IAAI,GAAG,WAAW,CAAA;IAEpC,MAAM,OAAO,GAAG,KAAM,SAAQ,SAAS;QACrC,YAAmB,OAAgB,EAAE,KAAe;YAClD,KAAK,CACH,KAAK,CAAC,IAAI,CAAC,EACX,OAAO,KAAK,SAAS,CAAC,CAAC,CAAC,SAAS,CAAC,CAAC,CAAC,GAAG,SAAS,KAAK,OAAO,EAAE,EAC9D,KAAK,CACN,CAAA;QACH,CAAC;KACF,CAAA;IAED,+EAA+E;IAC/E,MAAM,CAAC,cAAc,CAAC,OAAO,EAAE,MAAM,EAAE,EAAE,KAAK,EAAE,SAAS,EAAE,CAAC,CAAA;IAE5D,OAAO,OAAO,CAAA;AAChB,CAAC;AAED,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,eAAe,CAAC,CAAA;AAC7D,MAAM,CAAC,MAAM,wBAAwB,GAAG,MAAM,CAAC,iBAAiB,CAAC,CAAA;AACjE,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,aAAa,CAAC,CAAA;AACzD,MAAM,CAAC,MAAM,cAAc,GAAG,MAAM,CAAC,OAAO,CAAC,CAAA;AAC7C,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,eAAe,CAAC,CAAA;AAC7D,MAAM,CAAC,MAAM,0BAA0B,GAAG,MAAM,CAAC,mBAAmB,CAAC,CAAA;AACrE,MAAM,CAAC,MAAM,yBAAyB,GAAG,MAAM,CAAC,kBAAkB,CAAC,CAAA;AACnE,MAAM,CAAC,MAAM,4BAA4B,GAAG,MAAM,CAAC,qBAAqB,CAAC,CAAA;AACzE,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,WAAW,CAAC,CAAA;AACrD,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,eAAe,CAAC,CAAA;AAC7D,MAAM,CAAC,MAAM,sBAAsB,GAAG,MAAM,CAAC,eAAe,CAAC,CAAA;AAC7D,MAAM,CAAC,MAAM,qBAAqB,GAAG,MAAM,CAAC,cAAc,CAAC,CAAA;AAC3D,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;AACnD,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,WAAW,CAAC,CAAA;AACrD,MAAM,CAAC,MAAM,kBAAkB,GAAG,MAAM,CAAC,WAAW,CAAC,CAAA;AACrD,MAAM,CAAC,MAAM,iBAAiB,GAAG,MAAM,CAAC,UAAU,CAAC,CAAA;AACnD,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAA;AAC/C,MAAM,CAAC,MAAM,eAAe,GAAG,MAAM,CAAC,QAAQ,CAAC,CAAA;AAC/C,MAAM,CAAC,MAAM,oBAAoB,GAAG,MAAM,CAAC,aAAa,CAAC,CAAA;AAEzD,MAAM,CAAC,MAAM,KAAK,GAAG,IAAI,CAAC,KAAK,CAAC,CAAA;AAChC,aAAa;AAEb;;;;;;;;GAQG;AACH,MAAM,OAAO,GAA0D;IACrE,qFAAqF;IACrF,MAAM,EAAE,WAAW;IAEnB,QAAQ,EAAE,WAAW;IACrB,aAAa,EAAE,WAAW;IAC1B,eAAe,EAAE,WAAW;IAC5B,eAAe,EAAE,WAAW;IAC5B,gBAAgB,EAAE,WAAW;IAC7B,cAAc,EAAE,WAAW;IAC3B,WAAW,EAAE,WAAW;IACxB,WAAW,EAAE,WAAW;IAExB,KAAK,EAAE,WAAW;IAClB,sFAAsF;IACtF,aAAa,EAAE,WAAW;IAC1B,iFAAiF;IACjF,iBAAiB,EAAE,WAAW;IAC9B,0EAA0E;IAC1E,gBAAgB,EAAE,WAAW;IAC7B,mBAAmB,EAAE,WAAW;IAChC,SAAS,EAAE,WAAW;IACtB,sFAAsF;IACtF,aAAa,EAAE,WAAW;IAE1B,aAAa,EAAE,WAAW;IAC1B,sFAAsF;IACtF,YAAY,EAAE,WAAW;IACzB,8EAA8E;IAC9E,4CAA4C;IAC5C,QAAQ,EAAE,WAAW;IACrB,sFAAsF;IACtF,SAAS,EAAE,WAAW;IACtB,2DAA2D;IAC3D,SAAS,EAAE,WAAW;IAEtB,sFAAsF;IACtF,QAAQ,EAAE,WAAW;IACrB,4FAA4F;IAC5F,MAAM,EAAE,WAAW;IAEnB,0FAA0F;IAC1F,IAAI,EAAE,WAAW;IACjB,mFAAmF;IACnF,MAAM,EAAE,WAAW;IACnB,iFAAiF;IACjF,WAAW,EAAE,WAAW;CACzB,CAAA;AAED,MAAM,SAAS,GAAG,IAAI,GAAG,CACvB,MAAM,CAAC,OAAO,CAAC,OAAO,CAAC;KACpB,MAAM,CAAC,CAAC,CAAC,EAAE,OAAO,CAAC,EAAE,EAAE,CAAC,OAAO,KAAK,WAAW,CAAC;KAChD,GAAG,CAAC,CAAC,CAAC,IAAI,CAAC,EAAE,EAAE,CAAC,KAAK,CAAC,IAA0B,CAAC,CAAC,CACtD,CAAA;AAED;;;;GAIG;AACH,MAAM,UAAU,SAAS,CAAC,SAAkB;IAC1C,MAAM,IAAI,GAAI,SAAmC,EAAE,IAAI,CAAA;IAEvD,OAAO,IAAI,KAAK,SAAS,IAAI,SAAS,CAAC,GAAG,CAAC,IAAI,CAAC,CAAA;AAClD,CAAC"}
|
|
@@ -0,0 +1,40 @@
|
|
|
1
|
+
import { Connector } from './connector.ts';
|
|
2
|
+
/**
|
|
3
|
+
* A part of a tree that a halt takes down and builds again.
|
|
4
|
+
*
|
|
5
|
+
* What it holds it *owns*, rather than depends on: a connector with a live dependant refuses to
|
|
6
|
+
* disconnect, and the one way past that refusal skips `close()` with it. A subtree nobody links
|
|
7
|
+
* has neither problem, so the teardown here is the one a shutdown performs.
|
|
8
|
+
*
|
|
9
|
+
* And the subtree is discarded rather than kept, because what comes back is built anew: a sealed
|
|
10
|
+
* communication, a receiver that has stopped announcing, an algorithm that has been unmounted —
|
|
11
|
+
* none of them are asked to work a second time. Nothing outlives a halt but what is above it.
|
|
12
|
+
*/
|
|
13
|
+
export declare class Gate extends Connector {
|
|
14
|
+
private readonly build;
|
|
15
|
+
private live;
|
|
16
|
+
/** While halted, when what this holds comes back; `0` where it is not halted. */
|
|
17
|
+
private resumesAt;
|
|
18
|
+
constructor(build: () => Promise<Connector>);
|
|
19
|
+
/** Whether what this holds is up. */
|
|
20
|
+
holding(): boolean;
|
|
21
|
+
/**
|
|
22
|
+
* Seconds until what this holds is back, and `0` where it is up or is not coming back.
|
|
23
|
+
*
|
|
24
|
+
* What sits above a gate answers for it while it is down — the gateway keeps its port and
|
|
25
|
+
* replies `503` rather than closing it — and this is what such a reply says to come back
|
|
26
|
+
* after.
|
|
27
|
+
*/
|
|
28
|
+
remaining(): number;
|
|
29
|
+
/**
|
|
30
|
+
* @param seconds how long it stays down, where it is coming back
|
|
31
|
+
*/
|
|
32
|
+
down(seconds?: number): Promise<void>;
|
|
33
|
+
up(): Promise<void>;
|
|
34
|
+
/** What a gate holds is not a dependency, so the walks that stop a tree are led into it. */
|
|
35
|
+
halt(visited?: Set<Connector>): Promise<void>;
|
|
36
|
+
restore(visited?: Set<Connector>): Promise<void>;
|
|
37
|
+
debug(node?: Record<string, any>): Record<string, any>;
|
|
38
|
+
protected open(): Promise<void>;
|
|
39
|
+
protected close(): Promise<void>;
|
|
40
|
+
}
|
|
@@ -0,0 +1,84 @@
|
|
|
1
|
+
import { Connector } from './connector.js';
|
|
2
|
+
/**
|
|
3
|
+
* A part of a tree that a halt takes down and builds again.
|
|
4
|
+
*
|
|
5
|
+
* What it holds it *owns*, rather than depends on: a connector with a live dependant refuses to
|
|
6
|
+
* disconnect, and the one way past that refusal skips `close()` with it. A subtree nobody links
|
|
7
|
+
* has neither problem, so the teardown here is the one a shutdown performs.
|
|
8
|
+
*
|
|
9
|
+
* And the subtree is discarded rather than kept, because what comes back is built anew: a sealed
|
|
10
|
+
* communication, a receiver that has stopped announcing, an algorithm that has been unmounted —
|
|
11
|
+
* none of them are asked to work a second time. Nothing outlives a halt but what is above it.
|
|
12
|
+
*/
|
|
13
|
+
export class Gate extends Connector {
|
|
14
|
+
build;
|
|
15
|
+
live = null;
|
|
16
|
+
/** While halted, when what this holds comes back; `0` where it is not halted. */
|
|
17
|
+
resumesAt = 0;
|
|
18
|
+
constructor(build) {
|
|
19
|
+
super();
|
|
20
|
+
this.build = build;
|
|
21
|
+
}
|
|
22
|
+
/** Whether what this holds is up. */
|
|
23
|
+
holding() {
|
|
24
|
+
return this.live !== null;
|
|
25
|
+
}
|
|
26
|
+
/**
|
|
27
|
+
* Seconds until what this holds is back, and `0` where it is up or is not coming back.
|
|
28
|
+
*
|
|
29
|
+
* What sits above a gate answers for it while it is down — the gateway keeps its port and
|
|
30
|
+
* replies `503` rather than closing it — and this is what such a reply says to come back
|
|
31
|
+
* after.
|
|
32
|
+
*/
|
|
33
|
+
remaining() {
|
|
34
|
+
if (this.resumesAt === 0)
|
|
35
|
+
return 0;
|
|
36
|
+
return Math.max(0, Math.ceil((this.resumesAt - Date.now()) / 1000));
|
|
37
|
+
}
|
|
38
|
+
/**
|
|
39
|
+
* @param seconds how long it stays down, where it is coming back
|
|
40
|
+
*/
|
|
41
|
+
async down(seconds = 0) {
|
|
42
|
+
const live = this.live;
|
|
43
|
+
if (live === null)
|
|
44
|
+
return;
|
|
45
|
+
this.live = null;
|
|
46
|
+
this.resumesAt = seconds === 0 ? 0 : Date.now() + seconds * 1000;
|
|
47
|
+
await live.disconnect();
|
|
48
|
+
}
|
|
49
|
+
async up() {
|
|
50
|
+
this.resumesAt = 0;
|
|
51
|
+
if (this.live !== null)
|
|
52
|
+
return;
|
|
53
|
+
const live = await this.build();
|
|
54
|
+
// held only once it is up: a build that throws leaves nothing to take down
|
|
55
|
+
await live.connect();
|
|
56
|
+
this.live = live;
|
|
57
|
+
}
|
|
58
|
+
/** What a gate holds is not a dependency, so the walks that stop a tree are led into it. */
|
|
59
|
+
async halt(visited = new Set()) {
|
|
60
|
+
if (visited.has(this))
|
|
61
|
+
return;
|
|
62
|
+
await super.halt(visited);
|
|
63
|
+
await this.live?.halt(visited);
|
|
64
|
+
}
|
|
65
|
+
async restore(visited = new Set()) {
|
|
66
|
+
if (visited.has(this))
|
|
67
|
+
return;
|
|
68
|
+
await this.live?.restore(visited);
|
|
69
|
+
await super.restore(visited);
|
|
70
|
+
}
|
|
71
|
+
debug(node = {}) {
|
|
72
|
+
super.debug(node);
|
|
73
|
+
// what a gate holds is not a dependency, so the walk does not reach it on its own
|
|
74
|
+
this.live?.debug(node[this.id]);
|
|
75
|
+
return node;
|
|
76
|
+
}
|
|
77
|
+
async open() {
|
|
78
|
+
await this.up();
|
|
79
|
+
}
|
|
80
|
+
async close() {
|
|
81
|
+
await this.down();
|
|
82
|
+
}
|
|
83
|
+
}
|
|
84
|
+
//# sourceMappingURL=gate.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"gate.js","sourceRoot":"","sources":["../source/gate.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAE1C;;;;;;;;;;GAUG;AACH,MAAM,OAAO,IAAK,SAAQ,SAAS;IAChB,KAAK,CAA0B;IACxC,IAAI,GAAqB,IAAI,CAAA;IAErC,iFAAiF;IACzE,SAAS,GAAG,CAAC,CAAA;IAErB,YAAmB,KAA+B;QAChD,KAAK,EAAE,CAAA;QAEP,IAAI,CAAC,KAAK,GAAG,KAAK,CAAA;IACpB,CAAC;IAED,qCAAqC;IAC9B,OAAO;QACZ,OAAO,IAAI,CAAC,IAAI,KAAK,IAAI,CAAA;IAC3B,CAAC;IAED;;;;;;OAMG;IACI,SAAS;QACd,IAAI,IAAI,CAAC,SAAS,KAAK,CAAC;YAAE,OAAO,CAAC,CAAA;QAElC,OAAO,IAAI,CAAC,GAAG,CAAC,CAAC,EAAE,IAAI,CAAC,IAAI,CAAC,CAAC,IAAI,CAAC,SAAS,GAAG,IAAI,CAAC,GAAG,EAAE,CAAC,GAAG,IAAI,CAAC,CAAC,CAAA;IACrE,CAAC;IAED;;OAEG;IACI,KAAK,CAAC,IAAI,CAAC,OAAO,GAAG,CAAC;QAC3B,MAAM,IAAI,GAAG,IAAI,CAAC,IAAI,CAAA;QAEtB,IAAI,IAAI,KAAK,IAAI;YAAE,OAAM;QAEzB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;QAChB,IAAI,CAAC,SAAS,GAAG,OAAO,KAAK,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,CAAC,IAAI,CAAC,GAAG,EAAE,GAAG,OAAO,GAAG,IAAI,CAAA;QAEhE,MAAM,IAAI,CAAC,UAAU,EAAE,CAAA;IACzB,CAAC;IAEM,KAAK,CAAC,EAAE;QACb,IAAI,CAAC,SAAS,GAAG,CAAC,CAAA;QAElB,IAAI,IAAI,CAAC,IAAI,KAAK,IAAI;YAAE,OAAM;QAE9B,MAAM,IAAI,GAAG,MAAM,IAAI,CAAC,KAAK,EAAE,CAAA;QAE/B,2EAA2E;QAC3E,MAAM,IAAI,CAAC,OAAO,EAAE,CAAA;QAEpB,IAAI,CAAC,IAAI,GAAG,IAAI,CAAA;IAClB,CAAC;IAED,4FAA4F;IAC5E,KAAK,CAAC,IAAI,CAAC,OAAO,GAAmB,IAAI,GAAG,EAAE;QAC5D,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAM;QAE7B,MAAM,KAAK,CAAC,IAAI,CAAC,OAAO,CAAC,CAAA;QACzB,MAAM,IAAI,CAAC,IAAI,EAAE,IAAI,CAAC,OAAO,CAAC,CAAA;IAChC,CAAC;IAEe,KAAK,CAAC,OAAO,CAAC,OAAO,GAAmB,IAAI,GAAG,EAAE;QAC/D,IAAI,OAAO,CAAC,GAAG,CAAC,IAAI,CAAC;YAAE,OAAM;QAE7B,MAAM,IAAI,CAAC,IAAI,EAAE,OAAO,CAAC,OAAO,CAAC,CAAA;QACjC,MAAM,KAAK,CAAC,OAAO,CAAC,OAAO,CAAC,CAAA;IAC9B,CAAC;IAEe,KAAK,CAAC,IAAI,GAAwB,EAAE;QAClD,KAAK,CAAC,KAAK,CAAC,IAAI,CAAC,CAAA;QAEjB,kFAAkF;QAClF,IAAI,CAAC,IAAI,EAAE,KAAK,CAAC,IAAI,CAAC,IAAI,CAAC,EAAE,CAAC,CAAC,CAAA;QAE/B,OAAO,IAAI,CAAA;IACb,CAAC;IAEkB,KAAK,CAAC,IAAI;QAC3B,MAAM,IAAI,CAAC,EAAE,EAAE,CAAA;IACjB,CAAC;IAEkB,KAAK,CAAC,KAAK;QAC5B,MAAM,IAAI,CAAC,IAAI,EAAE,CAAA;IACnB,CAAC;CACF"}
|
|
@@ -0,0 +1,16 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Whether this process is halting.
|
|
3
|
+
*
|
|
4
|
+
* A halt is the one teardown that is not a shutdown: the process stays, and what it held is
|
|
5
|
+
* built again. Two things read this and act differently because of it — a connection gives up
|
|
6
|
+
* the replies it is waiting for rather than holding the teardown open for a peer that is
|
|
7
|
+
* halting too, and a rejection from a tree that has been taken down is reported rather than
|
|
8
|
+
* fatal, because the process is in exactly the state the runtime put it in.
|
|
9
|
+
*
|
|
10
|
+
* Ambient, like the instance name and the invocation chain, and for the same reason: a process
|
|
11
|
+
* may carry two copies of this module, and an answer from one of them answers for half a
|
|
12
|
+
* process.
|
|
13
|
+
*/
|
|
14
|
+
export declare function begin(): void;
|
|
15
|
+
export declare function end(): void;
|
|
16
|
+
export declare function underway(): boolean;
|
|
@@ -0,0 +1,25 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Whether this process is halting.
|
|
3
|
+
*
|
|
4
|
+
* A halt is the one teardown that is not a shutdown: the process stays, and what it held is
|
|
5
|
+
* built again. Two things read this and act differently because of it — a connection gives up
|
|
6
|
+
* the replies it is waiting for rather than holding the teardown open for a peer that is
|
|
7
|
+
* halting too, and a rejection from a tree that has been taken down is reported rather than
|
|
8
|
+
* fatal, because the process is in exactly the state the runtime put it in.
|
|
9
|
+
*
|
|
10
|
+
* Ambient, like the instance name and the invocation chain, and for the same reason: a process
|
|
11
|
+
* may carry two copies of this module, and an answer from one of them answers for half a
|
|
12
|
+
* process.
|
|
13
|
+
*/
|
|
14
|
+
const KEY = Symbol.for('toa.core.halting');
|
|
15
|
+
const store = (globalThis[KEY] ??= { underway: false });
|
|
16
|
+
export function begin() {
|
|
17
|
+
store.underway = true;
|
|
18
|
+
}
|
|
19
|
+
export function end() {
|
|
20
|
+
store.underway = false;
|
|
21
|
+
}
|
|
22
|
+
export function underway() {
|
|
23
|
+
return store.underway;
|
|
24
|
+
}
|
|
25
|
+
//# sourceMappingURL=halting.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"halting.js","sourceRoot":"","sources":["../source/halting.ts"],"names":[],"mappings":"AAAA;;;;;;;;;;;;GAYG;AAEH,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,kBAAkB,CAAC,CAAA;AAI1C,MAAM,KAAK,GAAG,CAAE,UAAoB,CAAC,GAAG,CAAC,KAAK,EAAE,QAAQ,EAAE,KAAK,EAAE,CAAC,CAAA;AAElE,MAAM,UAAU,KAAK;IACnB,KAAK,CAAC,QAAQ,GAAG,IAAI,CAAA;AACvB,CAAC;AAED,MAAM,UAAU,GAAG;IACjB,KAAK,CAAC,QAAQ,GAAG,KAAK,CAAA;AACxB,CAAC;AAED,MAAM,UAAU,QAAQ;IACtB,OAAO,KAAK,CAAC,QAAQ,CAAA;AACvB,CAAC"}
|
package/transpiled/index.d.ts
CHANGED
|
@@ -10,6 +10,7 @@ export { Encoded } from './encoded.ts';
|
|
|
10
10
|
export { Effect } from './effect.ts';
|
|
11
11
|
export { Emission } from './emission.ts';
|
|
12
12
|
export { Event } from './event.ts';
|
|
13
|
+
export { Gate } from './gate.ts';
|
|
13
14
|
export { Exposition } from './exposition.ts';
|
|
14
15
|
export { Locator } from './locator.ts';
|
|
15
16
|
export { Observation } from './observation.ts';
|
|
@@ -25,7 +26,10 @@ export { Transmission } from './transmission.ts';
|
|
|
25
26
|
export { Unmanaged } from './unmanaged.ts';
|
|
26
27
|
export { Guard } from './guard.ts';
|
|
27
28
|
export { instance } from './instance.ts';
|
|
29
|
+
export { safe } from './safety.ts';
|
|
30
|
+
export * as deliveries from './deliveries.ts';
|
|
28
31
|
export * as entities from './entities/index.ts';
|
|
32
|
+
export * as halting from './halting.ts';
|
|
29
33
|
export * as exceptions from './exceptions.ts';
|
|
30
34
|
export * as trail from './trail.ts';
|
|
31
35
|
export * as contract from './contract/index.ts';
|
package/transpiled/index.js
CHANGED
|
@@ -10,6 +10,7 @@ export { Encoded } from './encoded.js';
|
|
|
10
10
|
export { Effect } from './effect.js';
|
|
11
11
|
export { Emission } from './emission.js';
|
|
12
12
|
export { Event } from './event.js';
|
|
13
|
+
export { Gate } from './gate.js';
|
|
13
14
|
export { Exposition } from './exposition.js';
|
|
14
15
|
export { Locator } from './locator.js';
|
|
15
16
|
export { Observation } from './observation.js';
|
|
@@ -25,7 +26,10 @@ export { Transmission } from './transmission.js';
|
|
|
25
26
|
export { Unmanaged } from './unmanaged.js';
|
|
26
27
|
export { Guard } from './guard.js';
|
|
27
28
|
export { instance } from './instance.js';
|
|
29
|
+
export { safe } from './safety.js';
|
|
30
|
+
export * as deliveries from './deliveries.js';
|
|
28
31
|
export * as entities from './entities/index.js';
|
|
32
|
+
export * as halting from './halting.js';
|
|
29
33
|
export * as exceptions from './exceptions.js';
|
|
30
34
|
export * as trail from './trail.js';
|
|
31
35
|
export * as contract from './contract/index.js';
|
package/transpiled/index.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"index.js","sourceRoot":"","sources":["../source/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACtC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACtC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACtC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACtC,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxC,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAA;AAC/C,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAA"}
|
|
1
|
+
{"version":3,"file":"index.js","sourceRoot":"","sources":["../source/index.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACtC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACtC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACtC,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,IAAI,EAAE,MAAM,WAAW,CAAA;AAChC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,OAAO,EAAE,MAAM,cAAc,CAAA;AACtC,OAAO,EAAE,WAAW,EAAE,MAAM,kBAAkB,CAAA;AAC9C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,MAAM,EAAE,MAAM,aAAa,CAAA;AACpC,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,UAAU,EAAE,MAAM,iBAAiB,CAAA;AAC5C,OAAO,EAAE,YAAY,EAAE,MAAM,mBAAmB,CAAA;AAChD,OAAO,EAAE,SAAS,EAAE,MAAM,gBAAgB,CAAA;AAC1C,OAAO,EAAE,KAAK,EAAE,MAAM,YAAY,CAAA;AAClC,OAAO,EAAE,QAAQ,EAAE,MAAM,eAAe,CAAA;AACxC,OAAO,EAAE,IAAI,EAAE,MAAM,aAAa,CAAA;AAClC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAA;AAC/C,OAAO,KAAK,OAAO,MAAM,cAAc,CAAA;AACvC,OAAO,KAAK,UAAU,MAAM,iBAAiB,CAAA;AAC7C,OAAO,KAAK,KAAK,MAAM,YAAY,CAAA;AACnC,OAAO,KAAK,QAAQ,MAAM,qBAAqB,CAAA"}
|
|
@@ -0,0 +1,26 @@
|
|
|
1
|
+
/**
|
|
2
|
+
* Whether an operation of this type is incapable of changing the State. What a readonly request may
|
|
3
|
+
* reach, and nothing else; see `documentation/readonly.md`.
|
|
4
|
+
*
|
|
5
|
+
* Exhaustive on purpose, as the outcome of an exception code is: a type added later does not
|
|
6
|
+
* compile until it says which it is, because a type nobody classified would otherwise be reachable
|
|
7
|
+
* from a request that promised to read.
|
|
8
|
+
*/
|
|
9
|
+
const SAFE = {
|
|
10
|
+
transition: false,
|
|
11
|
+
observation: true,
|
|
12
|
+
assignment: false,
|
|
13
|
+
computation: true,
|
|
14
|
+
// the type for an operation that reaches outside; what it reaches is not the runtime's to read
|
|
15
|
+
effect: false,
|
|
16
|
+
// its scope is the driver's own handle, and the runtime sees nothing it does with one
|
|
17
|
+
unmanaged: false
|
|
18
|
+
};
|
|
19
|
+
/**
|
|
20
|
+
* Takes a `string` because it comes off a manifest: an operation of a type this does not know is
|
|
21
|
+
* unsafe, which is what an endpoint nothing can classify has to be.
|
|
22
|
+
*/
|
|
23
|
+
export function safe(type) {
|
|
24
|
+
return SAFE[type] === true;
|
|
25
|
+
}
|
|
26
|
+
//# sourceMappingURL=safety.js.map
|
|
@@ -0,0 +1 @@
|
|
|
1
|
+
{"version":3,"file":"safety.js","sourceRoot":"","sources":["../source/safety.ts"],"names":[],"mappings":"AAEA;;;;;;;GAOG;AACH,MAAM,IAAI,GAA0B;IAClC,UAAU,EAAE,KAAK;IACjB,WAAW,EAAE,IAAI;IACjB,UAAU,EAAE,KAAK;IACjB,WAAW,EAAE,IAAI;IACjB,+FAA+F;IAC/F,MAAM,EAAE,KAAK;IACb,sFAAsF;IACtF,SAAS,EAAE,KAAK;CACjB,CAAA;AAED;;;GAGG;AACH,MAAM,UAAU,IAAI,CAAC,IAAY;IAC/B,OAAO,IAAI,CAAC,IAAY,CAAC,KAAK,IAAI,CAAA;AACpC,CAAC"}
|
package/transpiled/trail.d.ts
CHANGED
|
@@ -7,6 +7,11 @@ export interface Invocation {
|
|
|
7
7
|
* caller from before this existed; a call made under one mints its own identity instead.
|
|
8
8
|
*/
|
|
9
9
|
id?: string;
|
|
10
|
+
/**
|
|
11
|
+
* Whether what it may reach is a safe operation and nothing else. Carried onto every call it
|
|
12
|
+
* makes, and never dropped: the request that arrived said so, and so does every one below it.
|
|
13
|
+
*/
|
|
14
|
+
readonly?: boolean;
|
|
10
15
|
/**
|
|
11
16
|
* How many calls this invocation has already made to each endpoint. Two calls to one endpoint
|
|
12
17
|
* are two calls, and their identities have to say so — without this an operation looping over
|
package/transpiled/trail.js
CHANGED
|
@@ -12,9 +12,10 @@ import { LoopException } from './exceptions.js';
|
|
|
12
12
|
* on every span and does not enter at all when the trace is unsampled — a chain that
|
|
13
13
|
* disappears under sampling is a breaker that stops breaking in production.
|
|
14
14
|
*
|
|
15
|
-
* One writer, `Component.invoke`, where the hop is appended and the identity
|
|
16
|
-
* two readers, `Call.invoke`, which puts
|
|
17
|
-
* `Outbox.row`, which writes the chain onto the row so it outlives the
|
|
15
|
+
* One writer, `Component.invoke`, where the hop is appended and the identity and the safety of
|
|
16
|
+
* what may be reached are put in scope; two readers, `Call.invoke`, which puts them on the request
|
|
17
|
+
* it is about to send, and `Outbox.row`, which writes the chain onto the row so it outlives the
|
|
18
|
+
* operation that caused it.
|
|
18
19
|
*/
|
|
19
20
|
// as openspan holds its own: a process may carry two copies of this module, and a chain that
|
|
20
21
|
// is empty because the writer sat in the other one is a breaker that never fires. The name says
|
package/transpiled/trail.js.map
CHANGED
|
@@ -1 +1 @@
|
|
|
1
|
-
{"version":3,"file":"trail.js","sourceRoot":"","sources":["../source/trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAE/C
|
|
1
|
+
{"version":3,"file":"trail.js","sourceRoot":"","sources":["../source/trail.ts"],"names":[],"mappings":"AAAA,OAAO,EAAE,iBAAiB,EAAE,MAAM,kBAAkB,CAAA;AACpD,OAAO,EAAE,WAAW,EAAE,MAAM,iBAAiB,CAAA;AAC7C,OAAO,EAAE,aAAa,EAAE,MAAM,iBAAiB,CAAA;AAE/C;;;;;;;;;;;;;;;GAeG;AAEH,6FAA6F;AAC7F,gGAAgG;AAChG,iGAAiG;AACjG,MAAM,GAAG,GAAG,MAAM,CAAC,GAAG,CAAC,qBAAqB,CAAC,CAAA;AAI7C,MAAM,OAAO,GAAG,CAAE,UAAoB,CAAC,GAAG,CAAC,KAAK,IAAI,iBAAiB,EAAc,CAAC,CAAA;AAuCpF;;;;;;;;GAQG;AACH,MAAM,UAAU,MAAM;IACpB,OAAO;QACL,OAAO,EAAE,MAAM,CAAC,mBAAmB,EAAE,CAAC,CAAC;QACvC,KAAK,EAAE,MAAM,CAAC,iBAAiB,EAAE,EAAE,CAAC;KACrC,CAAA;AACH,CAAC;AAED,sDAAsD;AACtD,MAAM,UAAU,OAAO;IACrB,OAAO,OAAO,CAAC,QAAQ,EAAE,CAAA;AAC3B,CAAC;AAED,6DAA6D;AAC7D,MAAM,CAAC,KAAK,UAAU,MAAM,CAC1B,UAAsB,EACtB,IAAsB;IAEtB,OAAO,OAAO,CAAC,GAAG,CAAC,UAAU,EAAE,IAAI,CAAC,CAAA;AACtC,CAAC;AAED;;;;GAIG;AACH,MAAM,UAAU,OAAO,CAAC,UAAsB,EAAE,QAAgB;IAC9D,MAAM,KAAK,GAAG,CAAC,UAAU,CAAC,KAAK,KAAK,IAAI,GAAG,EAAE,CAAC,CAAA;IAC9C,MAAM,IAAI,GAAG,KAAK,CAAC,GAAG,CAAC,QAAQ,CAAC,IAAI,CAAC,CAAA;IAErC,KAAK,CAAC,GAAG,CAAC,QAAQ,EAAE,IAAI,GAAG,CAAC,CAAC,CAAA;IAE7B,OAAO,IAAI,CAAA;AACb,CAAC;AAED;;;;;;;;GAQG;AACH,MAAM,UAAU,MAAM,CAAC,OAAgB,EAAE,GAAW,EAAE,MAAc;IAClE,MAAM,IAAI,GAAG,IAAI,CAAC,QAAQ,CAAC,OAAO,CAAC,EAAE,MAAM,CAAC,KAAK,CAAC,CAAA;IAClD,MAAM,KAAK,GAAG,CAAC,GAAG,IAAI,EAAE,GAAG,CAAC,CAAA;IAE5B,IAAI,MAAM,CAAC,OAAO,KAAK,CAAC;QAAE,OAAO,KAAK,CAAA;IAEtC,IAAI,KAAK,CAAC,MAAM,GAAG,MAAM,CAAC,KAAK;QAC7B,MAAM,IAAI,aAAa,CAAC,iBAAiB,KAAK,CAAC,MAAM,YAAY,EAAE,KAAK,CAAC,CAAA;IAE3E,IAAI,IAAI,GAAG,CAAC,CAAA;IAEZ,KAAK,MAAM,MAAM,IAAI,IAAI;QAAE,IAAI,MAAM,KAAK,GAAG;YAAE,IAAI,EAAE,CAAA;IAErD,IAAI,IAAI,GAAG,CAAC,IAAI,MAAM,CAAC,OAAO;QAC5B,MAAM,IAAI,aAAa,CAAC,IAAI,GAAG,YAAY,IAAI,GAAG,CAAC,gBAAgB,EAAE,KAAK,CAAC,CAAA;IAE7E,OAAO,KAAK,CAAA;AACd,CAAC;AAED;;;;;;;GAOG;AACH,MAAM,UAAU,KAAK,CAAC,WAAmB;IACvC,OAAO,GAAG,GAAG,WAAW,CAAA;AAC1B,CAAC;AAED;;;;;GAKG;AACH,MAAM,UAAU,QAAQ,CAAC,KAAc;IACrC,OAAO,KAAK,CAAC,OAAO,CAAC,KAAK,CAAC,CAAC,CAAC,CAAC,KAAK,CAAC,MAAM,CAAC,CAAC,GAAG,EAAE,EAAE,CAAC,OAAO,GAAG,KAAK,QAAQ,CAAC,CAAC,CAAC,CAAC,EAAE,CAAA;AACnF,CAAC;AAED,2FAA2F;AAC3F,yFAAyF;AACzF,SAAS,IAAI,CAAC,IAAc,EAAE,KAAa;IACzC,OAAO,IAAI,CAAC,MAAM,GAAG,KAAK,CAAC,CAAC,CAAC,IAAI,CAAC,KAAK,CAAC,CAAC,EAAE,KAAK,CAAC,CAAC,CAAC,CAAC,IAAI,CAAA;AAC1D,CAAC;AAED,SAAS,MAAM,CAAC,QAAgB,EAAE,QAAgB;IAChD,MAAM,QAAQ,GAAG,MAAM,CAAC,WAAW,CAAC,GAAG,CAAC,QAAQ,CAAC,CAAC,CAAA;IAElD,OAAO,MAAM,CAAC,KAAK,CAAC,QAAQ,CAAC,IAAI,QAAQ,GAAG,CAAC,CAAC,CAAC,CAAC,QAAQ,CAAC,CAAC,CAAC,QAAQ,CAAA;AACrE,CAAC"}
|
|
@@ -46,7 +46,9 @@ export interface Atom extends Connector {
|
|
|
46
46
|
*
|
|
47
47
|
* Rejects where there is nothing to arbitrate through.
|
|
48
48
|
*/
|
|
49
|
-
lock<T>(keys: string | string[], routine: (signal: AbortSignal
|
|
49
|
+
lock<T>(keys: string | string[], routine: (signal: AbortSignal & {
|
|
50
|
+
error: Error;
|
|
51
|
+
}, context: unknown) => Promise<T>): Promise<T>;
|
|
50
52
|
}
|
|
51
53
|
export interface Factory {
|
|
52
54
|
/** @param group what the replicas deciding together have in common */
|
|
@@ -29,6 +29,8 @@ export interface RunCommands {
|
|
|
29
29
|
settle?: Connector;
|
|
30
30
|
ready?: Connector;
|
|
31
31
|
dispose?: Connector;
|
|
32
|
+
/** what the component pauses while the process is halted, and takes again after */
|
|
33
|
+
quiescence?: Connector;
|
|
32
34
|
}
|
|
33
35
|
export interface Factory {
|
|
34
36
|
algorithm(path: string, endpoint: string, context: Context): Algorithm | Promise<Algorithm>;
|
|
@@ -1,4 +1,5 @@
|
|
|
1
1
|
import type { Connector } from '../connector.ts';
|
|
2
|
+
import type { Gate } from '../gate.ts';
|
|
2
3
|
import type { Locator } from '../locator.ts';
|
|
3
4
|
import type { Component } from '../component.ts';
|
|
4
5
|
import type { Remote } from '../remote.ts';
|
|
@@ -15,7 +16,11 @@ import type { Destination } from './outbox.ts';
|
|
|
15
16
|
*/
|
|
16
17
|
export interface Host {
|
|
17
18
|
/** a component of the context, by locator */
|
|
18
|
-
|
|
19
|
+
/**
|
|
20
|
+
* @param version which version of the component answers what it provides; absent, what the
|
|
21
|
+
* process's map says, and absent that, whichever version answers.
|
|
22
|
+
*/
|
|
23
|
+
remote(locator: Locator, source?: Source, version?: string): Promise<Remote>;
|
|
19
24
|
/** a channel of the messaging binding */
|
|
20
25
|
broadcast<L extends string = string>(channel: string, group?: string): Promise<Broadcast<L>>;
|
|
21
26
|
/** components to run inside the extension's own process */
|
|
@@ -28,6 +33,21 @@ export interface Host {
|
|
|
28
33
|
outbound(binding: string, channel: string, uris: string[]): Promise<Outbound>;
|
|
29
34
|
/** what arrives on a channel under one label */
|
|
30
35
|
inbound(binding: string, channel: string, uris: string[], label: string, sink: Inbound): Promise<Connector>;
|
|
36
|
+
/**
|
|
37
|
+
* A part of this tree a halt takes down and builds again. What is not behind one of these
|
|
38
|
+
* outlives a halt: the readiness probe does, and so does whatever answers on a port the
|
|
39
|
+
* process was already listening on.
|
|
40
|
+
*/
|
|
41
|
+
gate(build: () => Promise<Connector>): Gate;
|
|
42
|
+
/**
|
|
43
|
+
* Stops what this process does of its own accord — its gateway, its clocks, its run
|
|
44
|
+
* commands — and holds open everything it has. Nothing closes, so this is reversible.
|
|
45
|
+
*/
|
|
46
|
+
quiesce(): Promise<void>;
|
|
47
|
+
/** Undoes a quiesce: the process works again, having been rebuilt by nothing. */
|
|
48
|
+
cancel(): Promise<void>;
|
|
49
|
+
/** Stops this process for `seconds`, then builds it again. */
|
|
50
|
+
stop(seconds: number): void;
|
|
31
51
|
}
|
|
32
52
|
/**
|
|
33
53
|
* `Manifest` is a type parameter rather than an import: `@toa.io/norm` depends on core, so
|
|
@@ -65,6 +85,9 @@ export interface Factory<Manifest = unknown> {
|
|
|
65
85
|
* It connects before what the process was built with and goes after it, which is what makes it
|
|
66
86
|
* the place for something that answers for the process rather than for anything in it — the
|
|
67
87
|
* readiness probe is the one this was written for.
|
|
88
|
+
*
|
|
89
|
+
* It outlives a halt. One that must not says so by being a `Host.gate`, which is a connector
|
|
90
|
+
* like any other: the gate stays, what it holds does not.
|
|
68
91
|
*/
|
|
69
92
|
export interface Resident extends Connector {
|
|
70
93
|
/** Everything the process was built with has connected. */
|
|
@@ -66,6 +66,12 @@ export interface Request<Input = any, Entity = any> {
|
|
|
66
66
|
* response body spends nothing on reading it. What answers one encodes it once.
|
|
67
67
|
*/
|
|
68
68
|
encoded?: boolean;
|
|
69
|
+
/**
|
|
70
|
+
* Whether this call, and every call made under it, may reach only a safe operation. Stamped by
|
|
71
|
+
* the framework and carried down the chain; set and never cleared, so a call made under one is
|
|
72
|
+
* readonly whatever it says of itself. See `core/source/safety.ts`.
|
|
73
|
+
*/
|
|
74
|
+
readonly?: boolean;
|
|
69
75
|
/** the sender validated against the contract, so the recipient does not */
|
|
70
76
|
authentic?: boolean;
|
|
71
77
|
/** W3C traceparent */
|