benchmark.pl

   1 #!/usr/bin/perl
   2
   3 # Process the raw output from benchmark.sh into Javascript-ified HTML.
   4
   5 use strict;
   6 use warnings;
   7
   8 my @presets = ();
   9 my %presets = ();
  10 my $maxval = 0;
  11
  12 while (<>) {
  13     chomp;
  14     if (/^(.*)(#.*): ([\d\.]+)$/) {
  15         push @presets, $1 unless defined $presets{$1};
  16         push @{$presets{$1}}, $3;
  17         $maxval = $3 if $maxval < $3;
  18     }
  19 }
  20
  21 print <<EOF;
  22 <!DOCTYPE html>
  23 <html>
  24 <head>
  25 <meta http-equiv="Content-Type" content="text/html; charset=ASCII" />
  26 <title>Puzzle generation-time benchmarks</title>
  27 <script type="text/javascript">
  28 //<![CDATA[
  29 function choose_scale_ticks(scale) {
  30     var nscale = 1, j = 0, factors = [2,2.5,2];
  31     while (scale / nscale > 20) {
  32         nscale *= factors[j];
  33         j = (j+1) % factors.length;
  34     }
  35     return nscale;
  36 }
  37 function initPlots() {
  38     var canvases = document.getElementsByTagName('canvas');
  39     for (var i = 0; i < canvases.length; i++) {
  40         var canvas = canvases[i];
  41         var scale = eval(canvas.getAttribute("data-scale"));
  42         var add = 20.5, mult = (canvas.width - 2*add) / scale;
  43         var data = eval(canvas.getAttribute("data-points"));
  44         var ctx = canvas.getContext('2d');
  45         ctx.lineWidth = '1px';
  46         ctx.lineCap = 'round';
  47         ctx.lineJoin = 'round';
  48         ctx.strokeStyle = ctx.fillStyle = '#000000';
  49         if (data === "scale") {
  50             // Draw scale.
  51             ctx.font = "16px sans-serif";
  52             ctx.textAlign = "center";
  53             ctx.textBaseline = "alphabetic";
  54             var nscale = choose_scale_ticks(scale);
  55             for (var x = 0; x <= scale; x += nscale) {
  56                 ctx.beginPath();
  57                 ctx.moveTo(add+mult*x, canvas.height);
  58                 ctx.lineTo(add+mult*x, canvas.height - 3);
  59                 ctx.stroke();
  60                 ctx.fillText(x + "s", add+mult*x, canvas.height - 6);
  61             }
  62         } else {
  63             // Draw a box plot.
  64             function quantile(x) {
  65                 var n = (data.length * x) | 0;
  66                 return (data[n-1] + data[n]) / 2;
  67             }
  68
  69             var q1 = quantile(0.25), q2 = quantile(0.5), q3 = quantile(0.75);
  70             var iqr = q3 - q1;
  71             var top = 0.5, bot = canvas.height - 1.5, mid = (top+bot)/2;
  72             var wlo = null, whi = null; // whisker ends
  73
  74             ctx.strokeStyle = '#bbbbbb';
  75             var nscale = choose_scale_ticks(scale);
  76             for (var x = 0; x <= scale; x += nscale) {
  77                 ctx.beginPath();
  78                 ctx.moveTo(add+mult*x, 0);
  79                 ctx.lineTo(add+mult*x, canvas.height);
  80                 ctx.stroke();
  81             }
  82             ctx.strokeStyle = '#000000';
  83
  84             for (var j in data) {
  85                 var x = data[j];
  86                 if (x >= q1 - 1.5 * iqr && x <= q3 + 1.5 * iqr) {
  87                     if (wlo === null || wlo > x)
  88                         wlo = x;
  89                     if (whi === null || whi < x)
  90                         whi = x;
  91                 } else {
  92                     ctx.beginPath();
  93                     ctx.arc(add+mult*x, mid, 2, 0, 2*Math.PI);
  94                     ctx.stroke();
  95                     if (x >= q1 - 3 * iqr && x <= q3 + 3 * iqr)
  96                         ctx.fill();
  97                 }
  98             }
  99
 100             ctx.beginPath();
 101
 102             // Box
 103             ctx.moveTo(add+mult*q1, top);
 104             ctx.lineTo(add+mult*q3, top);
 105             ctx.lineTo(add+mult*q3, bot);
 106             ctx.lineTo(add+mult*q1, bot);
 107             ctx.closePath();
 108
 109             // Line at median
 110             ctx.moveTo(add+mult*q2, top);
 111             ctx.lineTo(add+mult*q2, bot);
 112
 113             // Lower whisker
 114             ctx.moveTo(add+mult*q1, mid);
 115             ctx.lineTo(add+mult*wlo, mid);
 116             ctx.moveTo(add+mult*wlo, top);
 117             ctx.lineTo(add+mult*wlo, bot);
 118
 119             // Upper whisker
 120             ctx.moveTo(add+mult*q3, mid);
 121             ctx.lineTo(add+mult*whi, mid);
 122             ctx.moveTo(add+mult*whi, top);
 123             ctx.lineTo(add+mult*whi, bot);
 124
 125             ctx.stroke();
 126         }
 127     }
 128 }
 129 //]]>
 130 </script>
 131 </head>
 132 <body onLoad="initPlots();">
 133 <h1 align=center>Puzzle generation-time benchmarks</h1>
 134 <table>
 135 <tr><th>Preset</th><td><canvas width=700 height=30 data-points='"scale"' data-scale="$maxval"></td></tr>
 136 EOF
 137
 138 for my $preset (@presets) {
 139     print "<tr><td>", &escape($preset), "</td><td><canvas width=700 height=15 data-points=\"[";
 140     print join ",", sort { $a <=> $b } @{$presets{$preset}};
 141     print "]\" data-scale=\"$maxval\"></td></tr>\n";
 142 }
 143
 144 print <<EOF;
 145 </body>
 146 </html>
 147 EOF
 148
 149 sub escape {
 150     my ($text) = @_;
 151     $text =~ s/&/&amp;/g;
 152     $text =~ s/</&lt;/g;
 153     $text =~ s/>/&gt;/g;
 154     return $text;
 155 }