85 lines
3.5 KiB
TypeScript
85 lines
3.5 KiB
TypeScript
#!/usr/bin/env -S npx ts-node -O '{"module": "commonjs"}'
|
|
/// SPDX-License-Identifier: GPL-3.0-or-later
|
|
/// SPDX-FileCopyrightText: Copyright © 2016-2021 Tony Garnock-Jones <tonyg@leastfixedpoint.com>
|
|
|
|
import { bootModule, Skeleton, Record, Discard, Capture, Observe, Facet, Value } from '..';
|
|
const __ = Discard._instance;
|
|
const _$ = Capture(__);
|
|
|
|
// The current pattern representation puts Capture and Discard record
|
|
// instances into Record fields, so those record fields have to be
|
|
// prepared to type them, which is why we see `number | Pattern` here
|
|
// rather than the ideal `number`.
|
|
//
|
|
type Pattern = ReturnType<typeof Capture> | ReturnType<typeof Discard>;
|
|
const BoxState = Record.makeConstructor<{value: number | Pattern}>()(Symbol.for('BoxState'), ['value']);
|
|
const SetBox = Record.makeConstructor<{newValue: number | Pattern}>()(Symbol.for('SetBox'), ['newValue']);
|
|
|
|
const N = 100000;
|
|
|
|
console.time('box-and-client-' + N.toString());
|
|
|
|
function boot(thisFacet: Facet<{}>) {
|
|
thisFacet.spawn<{ value: number }>('box', function (thisFacet) {
|
|
thisFacet.declareField(this, 'value', 0);
|
|
thisFacet.addEndpoint(function () {
|
|
// console.log('recomputing published BoxState', this.value);
|
|
return { assertion: BoxState(this.value), analysis: null };
|
|
});
|
|
thisFacet.addDataflow(function () {
|
|
// console.log('dataflow saw new value', this.value);
|
|
if (this.value === N) {
|
|
thisFacet.stop(function () {
|
|
console.log('terminated box root facet');
|
|
});
|
|
}
|
|
});
|
|
thisFacet.addEndpoint(function () {
|
|
let analysis = Skeleton.analyzeAssertion(SetBox(_$));
|
|
analysis.callback = thisFacet.wrap(function (thisFacet, evt, [v]) {
|
|
if (evt === Skeleton.EventType.MESSAGE) {
|
|
if (typeof v !== 'number') return;
|
|
thisFacet.scheduleScript(function () {
|
|
this.value = v;
|
|
// console.log('box updated value', v);
|
|
});
|
|
}
|
|
});
|
|
return { assertion: Observe(SetBox(_$)), analysis };
|
|
});
|
|
});
|
|
|
|
thisFacet.spawn('client', function (thisFacet: Facet<{}>) {
|
|
thisFacet.addEndpoint(function () {
|
|
let analysis = Skeleton.analyzeAssertion(BoxState(_$));
|
|
analysis.callback = thisFacet.wrap(function (thisFacet, evt, [v]) {
|
|
if (evt === Skeleton.EventType.ADDED) {
|
|
if (typeof v !== 'number') return;
|
|
thisFacet.scheduleScript(function () {
|
|
// console.log('client sending SetBox', v + 1);
|
|
thisFacet.send(SetBox(v + 1));
|
|
});
|
|
}
|
|
});
|
|
return { assertion: Observe(BoxState(_$)), analysis };
|
|
});
|
|
thisFacet.addEndpoint(function () {
|
|
let analysis = Skeleton.analyzeAssertion(BoxState(__));
|
|
analysis.callback = thisFacet.wrap(function (thisFacet, evt, _vs) {
|
|
if (evt === Skeleton.EventType.REMOVED) {
|
|
thisFacet.scheduleScript(function () {
|
|
console.log('box gone');
|
|
});
|
|
}
|
|
});
|
|
return { assertion: Observe(BoxState(__)), analysis };
|
|
});
|
|
});
|
|
|
|
thisFacet.actor.dataspace.ground().addStopHandler(function () {
|
|
console.timeEnd('box-and-client-' + N.toString());
|
|
});
|
|
}
|
|
|
|
bootModule(boot);
|