1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
|
//
// A framework to make building Emscripten easier. Lets you write modular
// code to handle specific issues.
//
// Actor - Some code that processes items.
// Item - Some data that is processed by actors.
// Substrate - A 'world' with some actors and some items.
//
// The idea is to create a substrate, fill it with the proper items
// and actors, and then run it to completion. Actors will process
// the items they are given, and forward the results to other actors,
// until we are finished. Some of the results are then the final
// output of the entire calculation done in the substrate.
//
DEBUG = false;
Substrate = function(name_) {
this.name_ = name_;
this.actors = {};
this.currUid = 1;
};
Substrate.prototype = {
addItem: function(item, targetActor) {
if (targetActor == '/dev/null') return;
if (targetActor == '/dev/stdout') {
this.results.push(item);
return;
}
this.actors[targetActor].inbox.push(item);
},
addItems: function(items, targetActor) {
if (targetActor == '/dev/null') return;
if (targetActor == '/dev/stdout') {
this.results = this.results.concat(items);
return;
}
this.actors[targetActor].inbox = this.actors[targetActor].inbox.concat(items);
},
checkInbox: function(actor) {
var items = actor.inbox;
for (var i = 0; i < items.length; i++) {
var item = items[i];
if (!item.__uid__) {
item.__uid__ = this.currUid;
this.currUid ++;
}
}
actor.inbox = [];
actor.items = actor.items.concat(items);
},
addActor: function(name_, actor) {
assert(name_ && actor);
actor.name_ = name_;
actor.items = [];
actor.inbox = [];
actor.forwardItem = bind(this, this.addItem);
actor.forwardItems = bind(this, this.addItems);
this.actors[name_] = actor;
if (!actor.process) actor.process = Actor.prototype.process;
return actor;
},
solve: function() {
dprint('framework', "// Solving " + this.name_ + "...");
var startTime = Date.now();
var midTime = startTime;
var that = this;
function midComment(force) {
var curr = Date.now();
if (curr - midTime > 1000 || force) {
dprint('framework', '// Working on ' + that.name_ + ', so far ' + ((curr-startTime)/1000).toString().substr(0,10) + ' seconds.');
midTime = curr;
}
}
function finalComment() {
dprint('framework', '// Completed ' + that.name_ + ' in ' + ((Date.now() - startTime)/1000).toString().substr(0,10) + ' seconds.');
}
var finalResult = null;
this.results = [];
var finished = false;
var that = this;
while (!finished) {
dprint('framework', "Cycle start, items: ");// + values(this.actors).map(function(actor) actor.items).reduce(function(x,y) x+y, 0));
var hadProcessing = false;
values(this.actors).forEach(function(actor) {
midComment();
that.checkInbox(actor);
if (actor.items.length == 0) return;
var inputs = actor.items.slice(0);
var outputs;
var currResultCount = that.results.length;
dprint('framework', 'Processing using ' + actor.name_ + ': ' + inputs.length);
actor.items = []; // More may be added in process(); we'll get to them next time
//var t = Date.now();
outputs = actor.process(inputs);
//t = (Date.now()-t)/1000;
//dprint('framework', 'Took ' + t + ' seconds.');
dprint('framework', 'New results: ' + (outputs.length + that.results.length - currResultCount) + ' out of ' + (that.results.length + outputs.length));
hadProcessing = true;
if (outputs) {
if (outputs.length === 1 && outputs[0].__finalResult__) {
if (DEBUG) print("Solving complete: __finalResult__");
delete outputs[0].__finalResult__; // Might recycle this
delete outputs[0].__uid__;
finalComment();
finished = true;
finalResult = outputs[0];
} else {
outputs.forEach(function(output) { delete output.tokens }); // clean up tokens to save memory
that.results = that.results.concat(outputs);
}
}
});
if (!hadProcessing) {
if (DEBUG) print("Solving complete: no remaining items");
finalComment();
this.results.forEach(function(output) {
delete output.__uid__; // Might recycle these
});
return this.results;
}
if (finalResult) {
return finalResult;
}
midComment();
}
return null;
}
};
// Global access to the currently-being processed item.
// Note that if you overload process in Actor, this will need to be set if you rely on it.
var Framework = {
currItem: null
};
Actor = function() { };
Actor.prototype = {
process: function(items) {
var ret = [];
for (var i = 0; i < items.length; i++) {
var item = items[i];
dprint('frameworkLines', 'Processing item for llvm line ' + item.lineNum);
Framework.currItem = item;
var outputs = this.processItem(item);
Framework.currItem = null;
if (outputs) {
ret = ret.concat(outputs);
}
}
return ret;
}
};
|
