Robust/src/Benchmarks/Ownership/summary.tex

   1 \documentclass{article}
   2 \begin{document}
   3
   4 All versions run with $k=1$ on dw-8.
   5
   6 Average of 64.4 methods per benchmark.
   7
   8
   9 \section{Alias Context Histogram}
  10 Histogram of alias contexts per method over all programs analyzed.
  11
  12 \begin{tabular}{|r|r|r|}
  13 \hline
  14 num unique alias contexts & num methods \\
  15 \hline
  16 1 & 1324 \\
  17 2 & 37   \\
  18 3 & 16   \\
  19 4 & 6    \\
  20 5 & 11   \\
  21 6 & 0    \\
  22 7 & 1    \\
  23 \hline
  24 \end{tabular}
  25
  26
  27
  28 \section{All Improvement On}
  29 \begin{tabular}{|l|l|r|r|r|}
  30 \hline
  31 Benchmark & Sharing & Time (s) & Lines & Methods \\
  32 \hline
  33 Bank & 0 & 3.49 & 1825 & 67 \\
  34 Chat & 3 & 3.58 & 1510 & 71 \\
  35 Conglomerator & 0 & 3.11 & 1979 & 93 \\
  36 jHTTPp2 & 0 & 5.57 & 2583 & 122 \\
  37 MapReduce1 & 2 & 10.43 & 2274 & 114 \\
  38 MultiGame & 10 & 35.11 & 3003 & 46 \\
  39 Performance & 0 & 1.43 & 1760 & 30 \\
  40 PERT & 0 & 2.16 & 1950 & 61 \\
  41 FilterBank & 0 & 0.79 & 1321 & 9 \\
  42 Fractal & 1 & 0.68 & 1334 & 8 \\
  43 MolDynamics & 2 & 8.29 & 1902 & 31 \\
  44 MonteCarlo & 0 & 2.07 & 3542 & 49 \\
  45 Series & 0 & 0.77 & 1405 & 10 \\
  46 KMeans & 2 & 2.92 & 2659 & 45 \\
  47 MapReduce2 & 3 & 11.35 & 2218 & 95 \\
  48 FluidAnimate & 2 & 312.60 & 3587 & 82 \\
  49 Spider1 & 0 & 5.09 & 1593 & 80 \\
  50 Spider2 & 0 & 4.77 & 1597 & 83 \\
  51 TileSearch & 0 & 7.10 & 2050 & 34 \\
  52 TicTacToe & 0 & 2.31 & 1532 & 68 \\
  53 WebServer1 & 0 & 5.38 & 1856 & 97 \\
  54 WebServer2 & 0 & 6.62 & 1855 & 100 \\
  55 \hline
  56 \end{tabular}
  57
  58
  59
  60
  61 \section{Strong Updates Off}
  62 \begin{tabular}{|l|l|r|r|r|}
  63 \hline
  64 Benchmark & Sharing & Time (s) & Lines & Methods \\
  65 \hline
  66 Bank & 0 & 3.99 & 1825 & 67 \\
  67 Chat & 3 & 5.70 & 1510 & 71 \\
  68 Conglomerator & 0 & 3.11 & 1979 & 93 \\
  69 jHTTPp2 & 0 & 4.89 & 2583 & 122 \\
  70 MapReduce1 & 2 & 12.48 & 2274 & 114 \\
  71 MultiGame & 10 & 35.61 & 3003 & 46 \\
  72 Performance & 0 & 1.30 & 1760 & 30 \\
  73 PERT & 0 & 1.60 & 1950 & 61 \\
  74 FilterBank & 0 & 0.83 & 1321 & 9 \\
  75 Fractal & 1 & 0.61 & 1334 & 8 \\
  76 MolDynamics & 2 & 5.85 & 1902 & 31 \\
  77 MonteCarlo & 0 & 2.24 & 3542 & 49 \\
  78 Series & 0 & 0.86 & 1405 & 10 \\
  79 KMeans & 2 & 2.90 & 2659 & 45 \\
  80 MapReduce2 & 3 & 10.62 & 2218 & 95 \\
  81 FluidAnimate & 2 & 461.38 & 3587 & 82 \\
  82 Spider1 & 0 & 6.03 & 1593 & 80 \\
  83 Spider2 & 0 & 5.26 & 1597 & 83 \\
  84 TileSearch & 0 & 5.51 & 2050 & 34 \\
  85 TicTacToe & 0 & 2.12 & 1532 & 68 \\
  86 WebServer1 & 0 & 7.87 & 1856 & 97 \\
  87 WebServer2 & 0 & 6.23 & 1855 & 100 \\
  88 \hline
  89 \end{tabular}
  90
  91
  92
  93
  94 \section{Global Sweep Off}
  95 \begin{tabular}{|l|l|r|r|r|}
  96 \hline
  97 Benchmark & Sharing & Time (s) & Lines & Methods \\
  98 \hline
  99 Bank & 0 & 2.86 & 1825 & 67 \\
 100 Chat & 3 & 3.69 & 1510 & 71 \\
 101 Conglomerator & 0 & 2.61 & 1979 & 93 \\
 102 jHTTPp2 & 0 & 4.95 & 2583 & 122 \\
 103 MapReduce1 & 2 & 12.04 & 2274 & 114 \\
 104 MultiGame & 10 & 51.11 & 3003 & 46 \\
 105 Performance & 0 & 0.94 & 1760 & 30 \\
 106 PERT & 0 & 1.81 & 1950 & 61 \\
 107 FilterBank & 0 & 0.68 & 1321 & 9 \\
 108 Fractal & 1 & 0.57 & 1334 & 8 \\
 109 MolDynamics & 2 & 6.06 & 1902 & 31 \\
 110 MonteCarlo & 0 & 2.02 & 3542 & 49 \\
 111 Series & 0 & 0.61 & 1405 & 10 \\
 112 KMeans & 2 & 3.08 & 2659 & 45 \\
 113 MapReduce2 & 3 & 26.79 & 2218 & 95 \\
 114 FluidAnimate & 2 & 562.32 & 3587 & 82 \\
 115 Spider1 & 0 & 4.14 & 1593 & 80 \\
 116 Spider2 & 0 & 4.15 & 1597 & 83 \\
 117 TileSearch & 0 & 6.63 & 2050 & 34 \\
 118 TicTacToe & 0 & 1.77 & 1532 & 68 \\
 119 WebServer1 & 0 & 4.57 & 1856 & 97 \\
 120 WebServer2 & 0 & 5.27 & 1855 & 100 \\
 121 \hline
 122 \end{tabular}
 123
 124
 125
 126 \section{Strong Updates AND Global Sweep Off}
 127 \begin{tabular}{|l|l|r|r|r|}
 128 \hline
 129 Benchmark & Sharing & Time (s) & Lines & Methods \\
 130 \hline
 131 Bank & 0 & 3.28 & 1825 & 67 \\
 132 Chat & 3 & 4.22 & 1510 & 71 \\
 133 Conglomerator & 0 & 2.44 & 1979 & 93 \\
 134 jHTTPp2 & 0 & 4.74 & 2583 & 122 \\
 135 MapReduce1 & 2 & 10.88 & 2274 & 114 \\
 136 MultiGame & 10 & 41.70 & 3003 & 46 \\
 137 Performance & 0 & 1.14 & 1760 & 30 \\
 138 PERT & 0 & 1.71 & 1950 & 61 \\
 139 FilterBank & 0 & 0.71 & 1321 & 9 \\
 140 Fractal & 1 & 0.65 & 1334 & 8 \\
 141 MolDynamics & 2 & 6.24 & 1902 & 31 \\
 142 MonteCarlo & 0 & 2.16 & 3542 & 49 \\
 143 Series & 0 & 0.62 & 1405 & 10 \\
 144 KMeans & 2 & 3.12 & 2659 & 45 \\
 145 MapReduce2 & 3 & 24.33 & 2218 & 95 \\
 146 FluidAnimate & 2 & 509.12 & 3587 & 82 \\
 147 Spider1 & 0 & 4.02 & 1593 & 80 \\
 148 Spider2 & 0 & 4.21 & 1597 & 83 \\
 149 TileSearch & 0 & 6.40 & 2050 & 34 \\
 150 TicTacToe & 0 & 1.84 & 1532 & 68 \\
 151 WebServer1 & 0 & 6.06 & 1856 & 97 \\
 152 WebServer2 & 0 & 5.68 & 1855 & 100 \\
 153 \hline
 154 \end{tabular}
 155
 156
 157
 158 \end{document}