First pass at Network implementation
This commit is contained in:
Tony Garnock-Jones
parent
f22e228cc0
commit
e0f76b991a
|
|
@ -1,5 +1,20 @@
|
|||
function copyKeys(keys, to, from) {
|
||||
for (var i = 0; i < keys.length; i++) {
|
||||
to[keys[i]] = from[keys[i]];
|
||||
}
|
||||
}
|
||||
|
||||
module.exports = require("./syndicate.js");
|
||||
|
||||
module.exports.Route = require("./route.js");
|
||||
copyKeys(['__', '_$', '$Capture', '$Special',
|
||||
'is_emptyTrie', 'emptyTrie',
|
||||
'embeddedTrie', 'compilePattern',
|
||||
'compileProjection', 'project', 'projectObjects',
|
||||
'prettyTrie'],
|
||||
module.exports,
|
||||
module.exports.Route);
|
||||
|
||||
// module.exports.DOM = require("./dom-driver.js");
|
||||
// module.exports.JQuery = require("./jquery-driver.js");
|
||||
// module.exports.RoutingTableWidget = require("./routing-table-widget.js");
|
||||
|
|
@ -7,6 +22,15 @@ module.exports = require("./syndicate.js");
|
|||
module.exports.Reflect = require("./reflect.js");
|
||||
|
||||
module.exports.Patch = require("./patch.js");
|
||||
copyKeys(['emptyPatch',
|
||||
'observe', 'atMeta', 'advertise',
|
||||
'isObserve', 'isAtMeta', 'isAdvertise',
|
||||
'assert', 'retract', 'sub', 'unsub', 'pub', 'unpub',
|
||||
'patchSeq',
|
||||
'prettyPatch'],
|
||||
module.exports,
|
||||
module.exports.Patch);
|
||||
|
||||
// module.exports.Ground = require("./ground.js").Ground;
|
||||
// module.exports.Actor = require("./actor.js").Actor;
|
||||
// module.exports.Spy = require("./spy.js").Spy;
|
||||
|
|
|
|||
|
|
@ -20,6 +20,10 @@ function observe(p) { return [$Observe, p]; }
|
|||
function atMeta(p) { return [$AtMeta, p]; }
|
||||
function advertise(p) { return [$Advertise, p]; }
|
||||
|
||||
function isObserve(p) { return p[0] === $Observe; }
|
||||
function isAtMeta(p) { return p[0] === $AtMeta; }
|
||||
function isAdvertise(p) { return p[0] === $Advertise; }
|
||||
|
||||
function prependAtMeta(p, level) {
|
||||
while (level--) {
|
||||
p = atMeta(p);
|
||||
|
|
@ -220,6 +224,9 @@ module.exports.$Advertise = $Advertise;
|
|||
module.exports.observe = observe;
|
||||
module.exports.atMeta = atMeta;
|
||||
module.exports.advertise = advertise;
|
||||
module.exports.isObserve = isObserve;
|
||||
module.exports.isAtMeta = isAtMeta;
|
||||
module.exports.isAdvertise = isAdvertise;
|
||||
|
||||
module.exports.prependAtMeta = prependAtMeta;
|
||||
module.exports.observeAtMeta = observeAtMeta;
|
||||
|
|
|
|||
|
|
@ -1,63 +1,279 @@
|
|||
var Route = require("./route.js");
|
||||
var Patch = require("./patch.js");
|
||||
var Util = require("./util.js");
|
||||
var Immutable = require('immutable');
|
||||
var Route = require('./route.js');
|
||||
var Patch = require('./patch.js');
|
||||
var Mux = require('./mux.js');
|
||||
var Util = require('./util.js');
|
||||
|
||||
/*---------------------------------------------------------------------------*/
|
||||
/* Events and Actions */
|
||||
|
||||
var __ = Route.__;
|
||||
var _$ = Route._$;
|
||||
|
||||
function stateChange(patch) {
|
||||
return { type: "stateChange", patch: patch };
|
||||
return { type: 'stateChange', patch: patch };
|
||||
}
|
||||
|
||||
function message(body) {
|
||||
return { type: "message", message: body };
|
||||
return { type: 'message', message: body };
|
||||
}
|
||||
|
||||
function spawn(behavior) {
|
||||
return { type: "spawn", behavior: behavior };
|
||||
return { type: 'spawn', behavior: behavior };
|
||||
}
|
||||
|
||||
function terminate() {
|
||||
return { type: "terminate" };
|
||||
return { type: 'terminate' };
|
||||
}
|
||||
|
||||
function terminateNetwork() {
|
||||
return { type: "terminateNetwork" };
|
||||
return { type: 'terminateNetwork' };
|
||||
}
|
||||
|
||||
/*---------------------------------------------------------------------------*/
|
||||
/* Network */
|
||||
|
||||
function Network(bootFn) {
|
||||
|
||||
this.pendingActions = Immutable.List(); // of [pid, Action]
|
||||
this.processTable = Immutable.Map(); // pid -> Behavior
|
||||
this.runnablePids = Immutable.Set(); // of pid
|
||||
this.mux = new Mux.Mux();
|
||||
this.asChild('meta', function () { return bootFn() }, true);
|
||||
}
|
||||
|
||||
// Network
|
||||
// Class state and methods
|
||||
|
||||
// prepend-at-meta
|
||||
// assert
|
||||
// retract
|
||||
// sub
|
||||
// unsub
|
||||
// pub
|
||||
// unpub
|
||||
Network.stack = Immutable.List();
|
||||
|
||||
Network.current = function () {
|
||||
return Network.stack.last().network;
|
||||
};
|
||||
|
||||
Network.activePid = function () {
|
||||
return Network.stack.last().activePid;
|
||||
};
|
||||
|
||||
Network.withNetworkStack = function (stack, f) {
|
||||
var oldStack = Network.stack;
|
||||
Network.stack = stack;
|
||||
var result;
|
||||
try {
|
||||
result = f();
|
||||
} catch (e) {
|
||||
Network.stack = oldStack;
|
||||
throw e;
|
||||
}
|
||||
Network.stack = oldStack;
|
||||
return result;
|
||||
};
|
||||
|
||||
Network.wrap = function (f) {
|
||||
var savedStack = Network.stack;
|
||||
return function () {
|
||||
var actuals = arguments;
|
||||
return Network.withNetworkStack(savedStack, function () {
|
||||
var result = Network.current().asChild(Network.activePid(), function () {
|
||||
return f.apply(null, actuals);
|
||||
});
|
||||
Network.stack.reverse().forEach(function (entry) {
|
||||
entry.network.markRunnable(entry.activePid);
|
||||
});
|
||||
return result;
|
||||
});
|
||||
};
|
||||
};
|
||||
|
||||
Network.enqueueAction = function (action) {
|
||||
var entry = Network.stack.last();
|
||||
entry.network.enqueueAction(entry.activePid, action);
|
||||
};
|
||||
|
||||
Network.send = function (body) {
|
||||
Network.enqueueAction(message(body));
|
||||
};
|
||||
|
||||
Network.stateChange = function (patch) {
|
||||
Network.enqueueAction(stateChange(patch));
|
||||
};
|
||||
|
||||
Network.spawn = function (behavior) {
|
||||
Network.enqueueAction(spawn(behavior));
|
||||
};
|
||||
|
||||
Network.exit = function (exn) {
|
||||
Network.current().kill(Network.activePid(), exn);
|
||||
};
|
||||
|
||||
Network.terminateNetwork = function () {
|
||||
Network.enqueueAction(terminateNetwork());
|
||||
};
|
||||
|
||||
// Instance methods
|
||||
|
||||
Network.prototype.asChild = function (pid, f, omitLivenessCheck) {
|
||||
var p = this.processTable.get(pid, null);
|
||||
if (!omitLivenessCheck && (p === null)) {
|
||||
console.warn("Network.asChild eliding invocation of dead process", pid);
|
||||
return;
|
||||
}
|
||||
|
||||
return Network.withWorldStack(Network.stack.push({ network: this, activePid: pid }),
|
||||
function () {
|
||||
try {
|
||||
return f(p);
|
||||
} catch (e) {
|
||||
this.kill(pid, e);
|
||||
}
|
||||
});
|
||||
};
|
||||
|
||||
Network.prototype.kill = function (pid, exn) {
|
||||
if (exn && exn.stack) {
|
||||
console.log("Process exited", pid, exn, exn.stack);
|
||||
} else {
|
||||
console.log("Process exited", pid, exn);
|
||||
}
|
||||
var p = this.processTable.get(pid);
|
||||
this.processTable = this.processTable.remove(pid);
|
||||
if (p) {
|
||||
if (p.behavior.trapexit) {
|
||||
this.asChild(pid, function () { return p.behavior.trapexit(exn); }, true);
|
||||
}
|
||||
this.enqueueAction(pid, terminate());
|
||||
}
|
||||
};
|
||||
|
||||
Network.prototype.boot = function () {
|
||||
// Needed in order for a new Network to be marked as "runnable", so
|
||||
// its initial actions get performed.
|
||||
};
|
||||
|
||||
Network.prototype.handleEvent = function (e) {
|
||||
switch (e.type) {
|
||||
case 'stateChange':
|
||||
this.enqueueAction('meta', stateChange(e.patch.lift()));
|
||||
break;
|
||||
case 'message':
|
||||
this.enqueueAction('meta', message(Patch.atMeta(e.message)));
|
||||
break;
|
||||
default:
|
||||
var exn = new Error("Event type " + e.type + " not understood");
|
||||
exn.event = e;
|
||||
throw exn;
|
||||
}
|
||||
return true;
|
||||
};
|
||||
|
||||
Network.prototype.step = function () {
|
||||
return this.dispatchActions()
|
||||
&& this.runRunnablePids()
|
||||
&& ((this.pendingActions.size > 0) || (this.runnablePids.size > 0));
|
||||
};
|
||||
|
||||
Network.prototype.enqueueAction = function (pid, action) {
|
||||
this.pendingActions = this.pendingActions.push([pid, action]);
|
||||
};
|
||||
|
||||
Network.prototype.dispatchActions = function () {
|
||||
var actionQueue = this.pendingActions;
|
||||
this.pendingActions = Immutable.List();
|
||||
var alive = true;
|
||||
actionQueue.forEach(function (entry) {
|
||||
var pid = entry[0];
|
||||
var action = entry[1];
|
||||
if (!this.interpretAction(pid, action)) {
|
||||
alive = false;
|
||||
return false;
|
||||
}
|
||||
});
|
||||
return alive;
|
||||
};
|
||||
|
||||
Network.prototype.markRunnable = function (pid) {
|
||||
this.runnablePids = this.runnablePids.add(pid);
|
||||
};
|
||||
|
||||
Network.prototype.runRunnablePids = function () {
|
||||
var pidSet = this.runnablePids;
|
||||
this.runnablePids = Immutable.Set();
|
||||
pidSet.forEach(function (pid) {
|
||||
var childBusy = this.asChild(pid, function (p) {
|
||||
return p.behavior.step // exists, haven't called it yet
|
||||
&& p.behavior.step();
|
||||
});
|
||||
if (childBusy) this.markRunnable(pid);
|
||||
});
|
||||
return true;
|
||||
};
|
||||
|
||||
Network.prototype.interpretAction = function (pid, action) {
|
||||
switch (action.type) {
|
||||
case 'stateChange':
|
||||
var oldMux = this.mux.shallowCopy();
|
||||
this.deliverPatches(oldMux, this.mux.updateStream(pid, action.patch));
|
||||
return true;
|
||||
|
||||
case 'message':
|
||||
if (Patch.isObserve(action.message)) {
|
||||
console.warn('Process ' + pid + ' send message containing query', action.message);
|
||||
}
|
||||
if (pid !== 'meta' && Patch.isAtMeta(action.message)) {
|
||||
Network.send(action.message[1]);
|
||||
} else {
|
||||
this.mux.routeMessage(action.message).forEach(function (pid) {
|
||||
this.deliverEvent(pid, action);
|
||||
});
|
||||
}
|
||||
return true;
|
||||
|
||||
case 'spawn':
|
||||
var oldMux = this.mux.shallowCopy();
|
||||
var p = { behavior: action.behavior };
|
||||
var pid = this.mux.nextPid;
|
||||
this.processTable = this.processTable.set(pid, p);
|
||||
var initialPatch = Patch.emptyPatch;
|
||||
if (p.behavior.boot) {
|
||||
initialPatch = this.asChild(pid, function () { return p.behavior.boot() });
|
||||
initialPatch = initialPatch || Patch.emptyPatch;
|
||||
this.markRunnable(pid);
|
||||
}
|
||||
this.deliverPatches(oldMux, this.mux.addStream(initialPatch));
|
||||
return true;
|
||||
|
||||
case 'terminate':
|
||||
var oldMux = this.mux.shallowCopy();
|
||||
this.deliverPatches(oldMux, this.mux.removeStream(pid));
|
||||
return true;
|
||||
|
||||
case 'terminateNetwork':
|
||||
Network.exit();
|
||||
return false;
|
||||
|
||||
default:
|
||||
var exn = new Error("Action type " + action.type + " not understood");
|
||||
exn.action = action;
|
||||
throw exn;
|
||||
}
|
||||
};
|
||||
|
||||
Network.prototype.deliverPatches = function (oldMux, updateStreamResult) {
|
||||
var events = Mux.computeEvents(oldMux, this.mux, updateStreamResult);
|
||||
events.eventMap.forEach(function (patch, pid) {
|
||||
this.deliverEvent(pid, stateChange(patch));
|
||||
});
|
||||
events.metaEvents.forEach(Network.stateChange);
|
||||
};
|
||||
|
||||
Network.prototype.deliverEvent = function (pid, event) {
|
||||
var childBusy = this.asChild(pid, function (p) { return p.handleEvent(event); });
|
||||
if (childBusy) this.markRunnable(pid);
|
||||
};
|
||||
|
||||
///////////////////////////////////////////////////////////////////////////
|
||||
|
||||
module.exports.__ = __;
|
||||
module.exports._$ = _$;
|
||||
module.exports.stateChange = stateChange;
|
||||
module.exports.message = message;
|
||||
module.exports.spawn = spawn;
|
||||
module.exports.terminate = terminate;
|
||||
module.exports.terminateNetwork = terminateNetwork;
|
||||
|
||||
// module.exports.sub = sub;
|
||||
// module.exports.pub = pub;
|
||||
// module.exports.spawn = spawn;
|
||||
// module.exports.updateRoutes = updateRoutes;
|
||||
// module.exports.sendMessage = sendMessage;
|
||||
// module.exports.shutdownWorld = shutdownWorld;
|
||||
|
||||
// module.exports.World = World;
|
||||
module.exports.Network = Network;
|
||||
// module.exports.DemandMatcher = DemandMatcher;
|
||||
// module.exports.Deduplicator = Deduplicator;
|
||||
module.exports.Route = Route;
|
||||
|
|
|
|||
Loading…
Reference in New Issue