Add activate; remove ground dataspace

This commit is contained in:
Tony Garnock-Jones 2018-11-02 00:19:00 +00:00
parent 882eb5d3dc
commit 8fb5892010
3 changed files with 88 additions and 37 deletions

View File

@ -18,30 +18,36 @@
//---------------------------------------------------------------------------
const Protocol = require("./protocol.js");
const Dataspace = require("@syndicate-lang/core").Dataspace;
activate require("./ticker.js");
const N = 10;
console.time('box-and-client-' + N.toString());
ground dataspace G {
spawn named 'box' {
field this.value = 0;
assert Protocol.BoxState(this.value);
stop on (this.value === N);
on message Protocol.SetBox($newValue) {
this.value = newValue;
console.log('box updated value', newValue);
}
}
spawn named 'client' {
on asserted Protocol.BoxState($v) {
console.log('client sending SetBox', v + 1);
<< Protocol.SetBox(v + 1);
}
spawn named 'box' {
field this.value = 0;
assert Protocol.BoxState(this.value);
stop on (this.value === N);
on message Protocol.SetBox($newValue) {
this.value = newValue;
console.log('box updated value', newValue);
}
}
G.stopHandler = () => {
console.timeEnd('box-and-client-' + N.toString());
};
spawn named 'client' {
on asserted Protocol.BoxState($v) {
console.log('client sending SetBox', v + 1);
<< Protocol.SetBox(v + 1);
}
on retracted Protocol.BoxState(_) {
console.log('box gone');
}
}
console.time('box-and-client-' + N.toString());
spawn {
Dataspace.currentFacet().actor.dataspace.container.addStopHandler(() => {
console.timeEnd('box-and-client-' + N.toString());
});
}

View File

@ -21,23 +21,22 @@ var Dataspace = require('@syndicate-lang/core').Dataspace;
const N = 100000;
console.time('msgspeed-' + N.toString());
ground dataspace G {
spawn {
on start {
<< 0;
}
on message $v {
if (v === N) {
Dataspace.currentFacet().stop(() => { });
} else {
<< v + 1;
}
spawn {
on start {
<< 0;
}
on message $v {
if (v === N) {
Dataspace.currentFacet().stop(() => { });
} else {
<< v + 1;
}
}
}
G.stopHandler = () => {
console.timeEnd('msgspeed-' + N.toString());
};
console.time('msgspeed-' + N.toString());
spawn {
Dataspace.currentFacet().actor.dataspace.container.addStopHandler(() => {
console.timeEnd('msgspeed-' + N.toString());
});
}

46
src/ticker.js Normal file
View File

@ -0,0 +1,46 @@
//---------------------------------------------------------------------------
// @syndicate-lang/syntax-test, a demo of Syndicate extensions to JS.
// Copyright (C) 2016-2018 Tony Garnock-Jones <tonyg@leastfixedpoint.com>
//
// This program is free software: you can redistribute it and/or modify
// it under the terms of the GNU General Public License as published by
// the Free Software Foundation, either version 3 of the License, or
// (at your option) any later version.
//
// This program is distributed in the hope that it will be useful,
// but WITHOUT ANY WARRANTY; without even the implied warranty of
// MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
// GNU General Public License for more details.
//
// You should have received a copy of the GNU General Public License
// along with this program. If not, see <https://www.gnu.org/licenses/>.
//---------------------------------------------------------------------------
import { Dataspace } from "@syndicate-lang/core";
message type Tick();
spawn named 'ticker' {
field this.counter = 0;
on start { console.log('ticker starting'); }
on stop { console.log('ticker stopping'); }
on message Tick() {
this.counter++;
console.log('tick', new Date(), this.counter);
if (this.counter < 5) {
Dataspace.backgroundTask((finish) => {
setTimeout(Dataspace.wrapExternal(() => {
<< Tick();
finish();
}), 1000);
});
}
}
on start {
console.log('sending first tick');
<< Tick();
}
}