JSC should have a "microbenchmarks" directory instead of "regress" directory
[WebKit-https.git] / JSTests / microbenchmarks / deltablue-for-of.js
1 // Copyright 2008 the V8 project authors. All rights reserved.
2 // Copyright 1996 John Maloney and Mario Wolczko.
3
4 // This program is free software; you can redistribute it and/or modify
5 // it under the terms of the GNU General Public License as published by
6 // the Free Software Foundation; either version 2 of the License, or
7 // (at your option) any later version.
8 //
9 // This program is distributed in the hope that it will be useful,
10 // but WITHOUT ANY WARRANTY; without even the implied warranty of
11 // MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
12 // GNU General Public License for more details.
13 //
14 // You should have received a copy of the GNU General Public License
15 // along with this program; if not, write to the Free Software
16 // Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
17
18
19 // This implementation of the DeltaBlue benchmark is derived
20 // from the Smalltalk implementation by John Maloney and Mario
21 // Wolczko. Some parts have been translated directly, whereas
22 // others have been modified more aggresively to make it feel
23 // more like a JavaScript program.
24
25 /**
26  * A JavaScript implementation of the DeltaBlue constraint-solving
27  * algorithm, as described in:
28  *
29  * "The DeltaBlue Algorithm: An Incremental Constraint Hierarchy Solver"
30  *   Bjorn N. Freeman-Benson and John Maloney
31  *   January 1990 Communications of the ACM,
32  *   also available as University of Washington TR 89-08-06.
33  *
34  * Beware: this benchmark is written in a grotesque style where
35  * the constraint model is built by side-effects from constructors.
36  * I've kept it this way to avoid deviating too much from the original
37  * implementation.
38  */
39
40
41 /* --- O b j e c t   M o d e l --- */
42
43 Object.prototype.inheritsFrom = function (shuper) {
44   function Inheriter() { }
45   Inheriter.prototype = shuper.prototype;
46   this.prototype = new Inheriter();
47   this.superConstructor = shuper;
48 }
49
50 function OrderedCollection() {
51   this.elms = new Array();
52 }
53
54 OrderedCollection.prototype.add = function (elm) {
55   this.elms.push(elm);
56 }
57
58 OrderedCollection.prototype.at = function (index) {
59   return this.elms[index];
60 }
61
62 OrderedCollection.prototype.size = function () {
63   return this.elms.length;
64 }
65
66 OrderedCollection.prototype.removeFirst = function () {
67   return this.elms.pop();
68 }
69
70 OrderedCollection.prototype.remove = function (elm) {
71   var index = 0, skipped = 0;
72   for (var value of this.elms) {
73     if (value != elm) {
74       this.elms[index] = value;
75       index++;
76     } else {
77       skipped++;
78     }
79   }
80   for (var i = 0; i < skipped; i++)
81     this.elms.pop();
82 }
83
84 /* --- *
85  * S t r e n g t h
86  * --- */
87
88 /**
89  * Strengths are used to measure the relative importance of constraints.
90  * New strengths may be inserted in the strength hierarchy without
91  * disrupting current constraints.  Strengths cannot be created outside
92  * this class, so pointer comparison can be used for value comparison.
93  */
94 function Strength(strengthValue, name) {
95   this.strengthValue = strengthValue;
96   this.name = name;
97 }
98
99 Strength.stronger = function (s1, s2) {
100   return s1.strengthValue < s2.strengthValue;
101 }
102
103 Strength.weaker = function (s1, s2) {
104   return s1.strengthValue > s2.strengthValue;
105 }
106
107 Strength.weakestOf = function (s1, s2) {
108   return this.weaker(s1, s2) ? s1 : s2;
109 }
110
111 Strength.strongest = function (s1, s2) {
112   return this.stronger(s1, s2) ? s1 : s2;
113 }
114
115 Strength.prototype.nextWeaker = function () {
116   switch (this.strengthValue) {
117     case 0: return Strength.WEAKEST;
118     case 1: return Strength.WEAK_DEFAULT;
119     case 2: return Strength.NORMAL;
120     case 3: return Strength.STRONG_DEFAULT;
121     case 4: return Strength.PREFERRED;
122     case 5: return Strength.REQUIRED;
123   }
124 }
125
126 // Strength constants.
127 Strength.REQUIRED        = new Strength(0, "required");
128 Strength.STONG_PREFERRED = new Strength(1, "strongPreferred");
129 Strength.PREFERRED       = new Strength(2, "preferred");
130 Strength.STRONG_DEFAULT  = new Strength(3, "strongDefault");
131 Strength.NORMAL          = new Strength(4, "normal");
132 Strength.WEAK_DEFAULT    = new Strength(5, "weakDefault");
133 Strength.WEAKEST         = new Strength(6, "weakest");
134
135 /* --- *
136  * C o n s t r a i n t
137  * --- */
138
139 /**
140  * An abstract class representing a system-maintainable relationship
141  * (or "constraint") between a set of variables. A constraint supplies
142  * a strength instance variable; concrete subclasses provide a means
143  * of storing the constrained variables and other information required
144  * to represent a constraint.
145  */
146 function Constraint(strength) {
147   this.strength = strength;
148 }
149
150 /**
151  * Activate this constraint and attempt to satisfy it.
152  */
153 Constraint.prototype.addConstraint = function () {
154   this.addToGraph();
155   planner.incrementalAdd(this);
156 }
157
158 /**
159  * Attempt to find a way to enforce this constraint. If successful,
160  * record the solution, perhaps modifying the current dataflow
161  * graph. Answer the constraint that this constraint overrides, if
162  * there is one, or nil, if there isn't.
163  * Assume: I am not already satisfied.
164  */
165 Constraint.prototype.satisfy = function (mark) {
166   this.chooseMethod(mark);
167   if (!this.isSatisfied()) {
168     if (this.strength == Strength.REQUIRED)
169       alert("Could not satisfy a required constraint!");
170     return null;
171   }
172   this.markInputs(mark);
173   var out = this.output();
174   var overridden = out.determinedBy;
175   if (overridden != null) overridden.markUnsatisfied();
176   out.determinedBy = this;
177   if (!planner.addPropagate(this, mark))
178     alert("Cycle encountered");
179   out.mark = mark;
180   return overridden;
181 }
182
183 Constraint.prototype.destroyConstraint = function () {
184   if (this.isSatisfied()) planner.incrementalRemove(this);
185   else this.removeFromGraph();
186 }
187
188 /**
189  * Normal constraints are not input constraints.  An input constraint
190  * is one that depends on external state, such as the mouse, the
191  * keybord, a clock, or some arbitraty piece of imperative code.
192  */
193 Constraint.prototype.isInput = function () {
194   return false;
195 }
196
197 /* --- *
198  * U n a r y   C o n s t r a i n t
199  * --- */
200
201 /**
202  * Abstract superclass for constraints having a single possible output
203  * variable.
204  */
205 function UnaryConstraint(v, strength) {
206   UnaryConstraint.superConstructor.call(this, strength);
207   this.myOutput = v;
208   this.satisfied = false;
209   this.addConstraint();
210 }
211
212 UnaryConstraint.inheritsFrom(Constraint);
213
214 /**
215  * Adds this constraint to the constraint graph
216  */
217 UnaryConstraint.prototype.addToGraph = function () {
218   this.myOutput.addConstraint(this);
219   this.satisfied = false;
220 }
221
222 /**
223  * Decides if this constraint can be satisfied and records that
224  * decision.
225  */
226 UnaryConstraint.prototype.chooseMethod = function (mark) {
227   this.satisfied = (this.myOutput.mark != mark)
228     && Strength.stronger(this.strength, this.myOutput.walkStrength);
229 }
230
231 /**
232  * Returns true if this constraint is satisfied in the current solution.
233  */
234 UnaryConstraint.prototype.isSatisfied = function () {
235   return this.satisfied;
236 }
237
238 UnaryConstraint.prototype.markInputs = function (mark) {
239   // has no inputs
240 }
241
242 /**
243  * Returns the current output variable.
244  */
245 UnaryConstraint.prototype.output = function () {
246   return this.myOutput;
247 }
248
249 /**
250  * Calculate the walkabout strength, the stay flag, and, if it is
251  * 'stay', the value for the current output of this constraint. Assume
252  * this constraint is satisfied.
253  */
254 UnaryConstraint.prototype.recalculate = function () {
255   this.myOutput.walkStrength = this.strength;
256   this.myOutput.stay = !this.isInput();
257   if (this.myOutput.stay) this.execute(); // Stay optimization
258 }
259
260 /**
261  * Records that this constraint is unsatisfied
262  */
263 UnaryConstraint.prototype.markUnsatisfied = function () {
264   this.satisfied = false;
265 }
266
267 UnaryConstraint.prototype.inputsKnown = function () {
268   return true;
269 }
270
271 UnaryConstraint.prototype.removeFromGraph = function () {
272   if (this.myOutput != null) this.myOutput.removeConstraint(this);
273   this.satisfied = false;
274 }
275
276 /* --- *
277  * S t a y   C o n s t r a i n t
278  * --- */
279
280 /**
281  * Variables that should, with some level of preference, stay the same.
282  * Planners may exploit the fact that instances, if satisfied, will not
283  * change their output during plan execution.  This is called "stay
284  * optimization".
285  */
286 function StayConstraint(v, str) {
287   StayConstraint.superConstructor.call(this, v, str);
288 }
289
290 StayConstraint.inheritsFrom(UnaryConstraint);
291
292 StayConstraint.prototype.execute = function () {
293   // Stay constraints do nothing
294 }
295
296 /* --- *
297  * E d i t   C o n s t r a i n t
298  * --- */
299
300 /**
301  * A unary input constraint used to mark a variable that the client
302  * wishes to change.
303  */
304 function EditConstraint(v, str) {
305   EditConstraint.superConstructor.call(this, v, str);
306 }
307
308 EditConstraint.inheritsFrom(UnaryConstraint);
309
310 /**
311  * Edits indicate that a variable is to be changed by imperative code.
312  */
313 EditConstraint.prototype.isInput = function () {
314   return true;
315 }
316
317 EditConstraint.prototype.execute = function () {
318   // Edit constraints do nothing
319 }
320
321 /* --- *
322  * B i n a r y   C o n s t r a i n t
323  * --- */
324
325 var Direction = new Object();
326 Direction.NONE     = 0;
327 Direction.FORWARD  = 1;
328 Direction.BACKWARD = -1;
329
330 /**
331  * Abstract superclass for constraints having two possible output
332  * variables.
333  */
334 function BinaryConstraint(var1, var2, strength) {
335   BinaryConstraint.superConstructor.call(this, strength);
336   this.v1 = var1;
337   this.v2 = var2;
338   this.direction = Direction.NONE;
339   this.addConstraint();
340 }
341
342 BinaryConstraint.inheritsFrom(Constraint);
343
344 /**
345  * Decides if this constraint can be satisfied and which way it
346  * should flow based on the relative strength of the variables related,
347  * and record that decision.
348  */
349 BinaryConstraint.prototype.chooseMethod = function (mark) {
350   if (this.v1.mark == mark) {
351     this.direction = (this.v2.mark != mark && Strength.stronger(this.strength, this.v2.walkStrength))
352       ? Direction.FORWARD
353       : Direction.NONE;
354   }
355   if (this.v2.mark == mark) {
356     this.direction = (this.v1.mark != mark && Strength.stronger(this.strength, this.v1.walkStrength))
357       ? Direction.BACKWARD
358       : Direction.NONE;
359   }
360   if (Strength.weaker(this.v1.walkStrength, this.v2.walkStrength)) {
361     this.direction = Strength.stronger(this.strength, this.v1.walkStrength)
362       ? Direction.BACKWARD
363       : Direction.NONE;
364   } else {
365     this.direction = Strength.stronger(this.strength, this.v2.walkStrength)
366       ? Direction.FORWARD
367       : Direction.BACKWARD
368   }
369 }
370
371 /**
372  * Add this constraint to the constraint graph
373  */
374 BinaryConstraint.prototype.addToGraph = function () {
375   this.v1.addConstraint(this);
376   this.v2.addConstraint(this);
377   this.direction = Direction.NONE;
378 }
379
380 /**
381  * Answer true if this constraint is satisfied in the current solution.
382  */
383 BinaryConstraint.prototype.isSatisfied = function () {
384   return this.direction != Direction.NONE;
385 }
386
387 /**
388  * Mark the input variable with the given mark.
389  */
390 BinaryConstraint.prototype.markInputs = function (mark) {
391   this.input().mark = mark;
392 }
393
394 /**
395  * Returns the current input variable
396  */
397 BinaryConstraint.prototype.input = function () {
398   return (this.direction == Direction.FORWARD) ? this.v1 : this.v2;
399 }
400
401 /**
402  * Returns the current output variable
403  */
404 BinaryConstraint.prototype.output = function () {
405   return (this.direction == Direction.FORWARD) ? this.v2 : this.v1;
406 }
407
408 /**
409  * Calculate the walkabout strength, the stay flag, and, if it is
410  * 'stay', the value for the current output of this
411  * constraint. Assume this constraint is satisfied.
412  */
413 BinaryConstraint.prototype.recalculate = function () {
414   var ihn = this.input(), out = this.output();
415   out.walkStrength = Strength.weakestOf(this.strength, ihn.walkStrength);
416   out.stay = ihn.stay;
417   if (out.stay) this.execute();
418 }
419
420 /**
421  * Record the fact that this constraint is unsatisfied.
422  */
423 BinaryConstraint.prototype.markUnsatisfied = function () {
424   this.direction = Direction.NONE;
425 }
426
427 BinaryConstraint.prototype.inputsKnown = function (mark) {
428   var i = this.input();
429   return i.mark == mark || i.stay || i.determinedBy == null;
430 }
431
432 BinaryConstraint.prototype.removeFromGraph = function () {
433   if (this.v1 != null) this.v1.removeConstraint(this);
434   if (this.v2 != null) this.v2.removeConstraint(this);
435   this.direction = Direction.NONE;
436 }
437
438 /* --- *
439  * S c a l e   C o n s t r a i n t
440  * --- */
441
442 /**
443  * Relates two variables by the linear scaling relationship: "v2 =
444  * (v1 * scale) + offset". Either v1 or v2 may be changed to maintain
445  * this relationship but the scale factor and offset are considered
446  * read-only.
447  */
448 function ScaleConstraint(src, scale, offset, dest, strength) {
449   this.direction = Direction.NONE;
450   this.scale = scale;
451   this.offset = offset;
452   ScaleConstraint.superConstructor.call(this, src, dest, strength);
453 }
454
455 ScaleConstraint.inheritsFrom(BinaryConstraint);
456
457 /**
458  * Adds this constraint to the constraint graph.
459  */
460 ScaleConstraint.prototype.addToGraph = function () {
461   ScaleConstraint.superConstructor.prototype.addToGraph.call(this);
462   this.scale.addConstraint(this);
463   this.offset.addConstraint(this);
464 }
465
466 ScaleConstraint.prototype.removeFromGraph = function () {
467   ScaleConstraint.superConstructor.prototype.removeFromGraph.call(this);
468   if (this.scale != null) this.scale.removeConstraint(this);
469   if (this.offset != null) this.offset.removeConstraint(this);
470 }
471
472 ScaleConstraint.prototype.markInputs = function (mark) {
473   ScaleConstraint.superConstructor.prototype.markInputs.call(this, mark);
474   this.scale.mark = this.offset.mark = mark;
475 }
476
477 /**
478  * Enforce this constraint. Assume that it is satisfied.
479  */
480 ScaleConstraint.prototype.execute = function () {
481   if (this.direction == Direction.FORWARD) {
482     this.v2.value = this.v1.value * this.scale.value + this.offset.value;
483   } else {
484     this.v1.value = (this.v2.value - this.offset.value) / this.scale.value;
485   }
486 }
487
488 /**
489  * Calculate the walkabout strength, the stay flag, and, if it is
490  * 'stay', the value for the current output of this constraint. Assume
491  * this constraint is satisfied.
492  */
493 ScaleConstraint.prototype.recalculate = function () {
494   var ihn = this.input(), out = this.output();
495   out.walkStrength = Strength.weakestOf(this.strength, ihn.walkStrength);
496   out.stay = ihn.stay && this.scale.stay && this.offset.stay;
497   if (out.stay) this.execute();
498 }
499
500 /* --- *
501  * E q u a l i t  y   C o n s t r a i n t
502  * --- */
503
504 /**
505  * Constrains two variables to have the same value.
506  */
507 function EqualityConstraint(var1, var2, strength) {
508   EqualityConstraint.superConstructor.call(this, var1, var2, strength);
509 }
510
511 EqualityConstraint.inheritsFrom(BinaryConstraint);
512
513 /**
514  * Enforce this constraint. Assume that it is satisfied.
515  */
516 EqualityConstraint.prototype.execute = function () {
517   this.output().value = this.input().value;
518 }
519
520 /* --- *
521  * V a r i a b l e
522  * --- */
523
524 /**
525  * A constrained variable. In addition to its value, it maintain the
526  * structure of the constraint graph, the current dataflow graph, and
527  * various parameters of interest to the DeltaBlue incremental
528  * constraint solver.
529  **/
530 function Variable(name, initialValue) {
531   this.value = initialValue || 0;
532   this.constraints = new OrderedCollection();
533   this.determinedBy = null;
534   this.mark = 0;
535   this.walkStrength = Strength.WEAKEST;
536   this.stay = true;
537   this.name = name;
538 }
539
540 /**
541  * Add the given constraint to the set of all constraints that refer
542  * this variable.
543  */
544 Variable.prototype.addConstraint = function (c) {
545   this.constraints.add(c);
546 }
547
548 /**
549  * Removes all traces of c from this variable.
550  */
551 Variable.prototype.removeConstraint = function (c) {
552   this.constraints.remove(c);
553   if (this.determinedBy == c) this.determinedBy = null;
554 }
555
556 /* --- *
557  * P l a n n e r
558  * --- */
559
560 /**
561  * The DeltaBlue planner
562  */
563 function Planner() {
564   this.currentMark = 0;
565 }
566
567 /**
568  * Attempt to satisfy the given constraint and, if successful,
569  * incrementally update the dataflow graph.  Details: If satifying
570  * the constraint is successful, it may override a weaker constraint
571  * on its output. The algorithm attempts to resatisfy that
572  * constraint using some other method. This process is repeated
573  * until either a) it reaches a variable that was not previously
574  * determined by any constraint or b) it reaches a constraint that
575  * is too weak to be satisfied using any of its methods. The
576  * variables of constraints that have been processed are marked with
577  * a unique mark value so that we know where we've been. This allows
578  * the algorithm to avoid getting into an infinite loop even if the
579  * constraint graph has an inadvertent cycle.
580  */
581 Planner.prototype.incrementalAdd = function (c) {
582   var mark = this.newMark();
583   var overridden = c.satisfy(mark);
584   while (overridden != null)
585     overridden = overridden.satisfy(mark);
586 }
587
588 /**
589  * Entry point for retracting a constraint. Remove the given
590  * constraint and incrementally update the dataflow graph.
591  * Details: Retracting the given constraint may allow some currently
592  * unsatisfiable downstream constraint to be satisfied. We therefore collect
593  * a list of unsatisfied downstream constraints and attempt to
594  * satisfy each one in turn. This list is traversed by constraint
595  * strength, strongest first, as a heuristic for avoiding
596  * unnecessarily adding and then overriding weak constraints.
597  * Assume: c is satisfied.
598  */
599 Planner.prototype.incrementalRemove = function (c) {
600   var out = c.output();
601   c.markUnsatisfied();
602   c.removeFromGraph();
603   var unsatisfied = this.removePropagateFrom(out);
604   var strength = Strength.REQUIRED;
605   do {
606     for (var u of unsatisfied.elms) {
607       if (u.strength == strength)
608         this.incrementalAdd(u);
609     }
610     strength = strength.nextWeaker();
611   } while (strength != Strength.WEAKEST);
612 }
613
614 /**
615  * Select a previously unused mark value.
616  */
617 Planner.prototype.newMark = function () {
618   return ++this.currentMark;
619 }
620
621 /**
622  * Extract a plan for resatisfaction starting from the given source
623  * constraints, usually a set of input constraints. This method
624  * assumes that stay optimization is desired; the plan will contain
625  * only constraints whose output variables are not stay. Constraints
626  * that do no computation, such as stay and edit constraints, are
627  * not included in the plan.
628  * Details: The outputs of a constraint are marked when it is added
629  * to the plan under construction. A constraint may be appended to
630  * the plan when all its input variables are known. A variable is
631  * known if either a) the variable is marked (indicating that has
632  * been computed by a constraint appearing earlier in the plan), b)
633  * the variable is 'stay' (i.e. it is a constant at plan execution
634  * time), or c) the variable is not determined by any
635  * constraint. The last provision is for past states of history
636  * variables, which are not stay but which are also not computed by
637  * any constraint.
638  * Assume: sources are all satisfied.
639  */
640 Planner.prototype.makePlan = function (sources) {
641   var mark = this.newMark();
642   var plan = new Plan();
643   var todo = sources;
644   while (todo.size() > 0) {
645     var c = todo.removeFirst();
646     if (c.output().mark != mark && c.inputsKnown(mark)) {
647       plan.addConstraint(c);
648       c.output().mark = mark;
649       this.addConstraintsConsumingTo(c.output(), todo);
650     }
651   }
652   return plan;
653 }
654
655 /**
656  * Extract a plan for resatisfying starting from the output of the
657  * given constraints, usually a set of input constraints.
658  */
659 Planner.prototype.extractPlanFromConstraints = function (constraints) {
660   var sources = new OrderedCollection();
661   for (var c of constraints.elms) {
662     if (c.isInput() && c.isSatisfied())
663       // not in plan already and eligible for inclusion
664       sources.add(c);
665   }
666   return this.makePlan(sources);
667 }
668
669 /**
670  * Recompute the walkabout strengths and stay flags of all variables
671  * downstream of the given constraint and recompute the actual
672  * values of all variables whose stay flag is true. If a cycle is
673  * detected, remove the given constraint and answer
674  * false. Otherwise, answer true.
675  * Details: Cycles are detected when a marked variable is
676  * encountered downstream of the given constraint. The sender is
677  * assumed to have marked the inputs of the given constraint with
678  * the given mark. Thus, encountering a marked node downstream of
679  * the output constraint means that there is a path from the
680  * constraint's output to one of its inputs.
681  */
682 Planner.prototype.addPropagate = function (c, mark) {
683   var todo = new OrderedCollection();
684   todo.add(c);
685   while (todo.size() > 0) {
686     var d = todo.removeFirst();
687     if (d.output().mark == mark) {
688       this.incrementalRemove(c);
689       return false;
690     }
691     d.recalculate();
692     this.addConstraintsConsumingTo(d.output(), todo);
693   }
694   return true;
695 }
696
697
698 /**
699  * Update the walkabout strengths and stay flags of all variables
700  * downstream of the given constraint. Answer a collection of
701  * unsatisfied constraints sorted in order of decreasing strength.
702  */
703 Planner.prototype.removePropagateFrom = function (out) {
704   out.determinedBy = null;
705   out.walkStrength = Strength.WEAKEST;
706   out.stay = true;
707   var unsatisfied = new OrderedCollection();
708   var todo = new OrderedCollection();
709   todo.add(out);
710   while (todo.size() > 0) {
711     var v = todo.removeFirst();
712     for (var c of v.constraints.elms) {
713       if (!c.isSatisfied())
714         unsatisfied.add(c);
715     }
716     var determining = v.determinedBy;
717     for (var next of v.constraints.elms) {
718       if (next != determining && next.isSatisfied()) {
719         next.recalculate();
720         todo.add(next.output());
721       }
722     }
723   }
724   return unsatisfied;
725 }
726
727 Planner.prototype.addConstraintsConsumingTo = function (v, coll) {
728   var determining = v.determinedBy;
729   var cc = v.constraints;
730   for (var c of cc.elms) {
731     if (c != determining && c.isSatisfied())
732       coll.add(c);
733   }
734 }
735
736 /* --- *
737  * P l a n
738  * --- */
739
740 /**
741  * A Plan is an ordered list of constraints to be executed in sequence
742  * to resatisfy all currently satisfiable constraints in the face of
743  * one or more changing inputs.
744  */
745 function Plan() {
746   this.v = new OrderedCollection();
747 }
748
749 Plan.prototype.addConstraint = function (c) {
750   this.v.add(c);
751 }
752
753 Plan.prototype.size = function () {
754   return this.v.size();
755 }
756
757 Plan.prototype.constraintAt = function (index) {
758   return this.v.at(index);
759 }
760
761 Plan.prototype.execute = function () {
762   for (var c of this.v.elms) {
763     c.execute();
764   }
765 }
766
767 /* --- *
768  * M a i n
769  * --- */
770
771 /**
772  * This is the standard DeltaBlue benchmark. A long chain of equality
773  * constraints is constructed with a stay constraint on one end. An
774  * edit constraint is then added to the opposite end and the time is
775  * measured for adding and removing this constraint, and extracting
776  * and executing a constraint satisfaction plan. There are two cases.
777  * In case 1, the added constraint is stronger than the stay
778  * constraint and values must propagate down the entire length of the
779  * chain. In case 2, the added constraint is weaker than the stay
780  * constraint so it cannot be accomodated. The cost in this case is,
781  * of course, very low. Typical situations lie somewhere between these
782  * two extremes.
783  */
784 function chainTest(n) {
785   planner = new Planner();
786   var prev = null, first = null, last = null;
787
788   // Build chain of n equality constraints
789   for (var i = 0; i <= n; i++) {
790     var name = "v" + i;
791     var v = new Variable(name);
792     if (prev != null)
793       new EqualityConstraint(prev, v, Strength.REQUIRED);
794     if (i == 0) first = v;
795     if (i == n) last = v;
796     prev = v;
797   }
798
799   new StayConstraint(last, Strength.STRONG_DEFAULT);
800   var edit = new EditConstraint(first, Strength.PREFERRED);
801   var edits = new OrderedCollection();
802   edits.add(edit);
803   var plan = planner.extractPlanFromConstraints(edits);
804   for (var i = 0; i < 100; i++) {
805     first.value = i;
806     plan.execute();
807     if (last.value != i)
808       alert("Chain test failed.");
809   }
810 }
811
812 /**
813  * This test constructs a two sets of variables related to each
814  * other by a simple linear transformation (scale and offset). The
815  * time is measured to change a variable on either side of the
816  * mapping and to change the scale and offset factors.
817  */
818 function projectionTest(n) {
819   planner = new Planner();
820   var scale = new Variable("scale", 10);
821   var offset = new Variable("offset", 1000);
822   var src = null, dst = null;
823
824   var dests = new OrderedCollection();
825   for (var i = 0; i < n; i++) {
826     src = new Variable("src" + i, i);
827     dst = new Variable("dst" + i, i);
828     dests.add(dst);
829     new StayConstraint(src, Strength.NORMAL);
830     new ScaleConstraint(src, scale, offset, dst, Strength.REQUIRED);
831   }
832
833   change(src, 17);
834   if (dst.value != 1170) alert("Projection 1 failed");
835   change(dst, 1050);
836   if (src.value != 5) alert("Projection 2 failed");
837   change(scale, 5);
838   for (var i = 0; i < n - 1; i++) {
839     if (dests.at(i).value != i * 5 + 1000)
840       alert("Projection 3 failed");
841   }
842   change(offset, 2000);
843   for (var i = 0; i < n - 1; i++) {
844     if (dests.at(i).value != i * 5 + 2000)
845       alert("Projection 4 failed");
846   }
847 }
848
849 function change(v, newValue) {
850   var edit = new EditConstraint(v, Strength.PREFERRED);
851   var edits = new OrderedCollection();
852   edits.add(edit);
853   var plan = planner.extractPlanFromConstraints(edits);
854   for (var i = 0; i < 10; i++) {
855     v.value = newValue;
856     plan.execute();
857   }
858   edit.destroyConstraint();
859 }
860
861 // Global variable holding the current planner.
862 var planner = null;
863
864 function deltaBlue() {
865   chainTest(50);
866   projectionTest(50);
867 }
868
869 for (var i = 0; i < 100; ++i)
870     deltaBlue();