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
   7 \section{Normal}
   8 \begin{tabular}{|l|l|r|r|}
   9 \hline
  10 Benchmark     & Sharing & Time (s) & Lines & Methods \\
  11 \hline
  12 Bank          & 0       &   6.87   & 1,825 &      \\
  13 Chat          & 3       &   6.45   & 1,510 &      \\
  14 Conglomerator & 0       &   4.55   & 1,979 &      \\
  15 MapReduce(1)  & 2       &  11.83   & 2,274 &      \\
  16 Performance   & 0       &   2.10   & 1,760 &      \\
  17 PERT          & 0       &   2.77   & 1,950 &      \\
  18 MapReduce(Sc) & 3       &  17.12   & 2,218 &      \\
  19 Spider(1)     & 0       &   7.66   & 1,593 &      \\
  20 Spider(2)     & 0       &   6.90   & 1,597 &      \\
  21 TileSearch    & 0       &   9.47   & 2,050 &      \\
  22 TicTacToe     & 0       &   3.80   & 1,532 &      \\
  23 WebServer(1)  & 0       &   9.28   & 1,856 &      \\
  24 WebServer(2)  & 0       &   8.27   & 1,855 &      \\
  25 \hline
  26 jHTTPp2       & 0       &   6.73   & 2,583 &      \\
  27 FluidAnimate  & 2       & 368.61   & 3,587 &      \\
  28 FilterBank    & 0       &   1.83   & 1,321 &      \\
  29 KMeans        & 2       &   5.60   & 2,659 &      \\
  30 MonteCarlo    & 0       &   3.69   & 3,542 &      \\
  31 Moldyn        & 2       &   6.03   & 1,902 &      \\
  32 Series        & 0       &   1.99   & 1,405 &      \\
  33 MultiGame     & 10      &  25.57   & 3,003 &      \\
  34 Fractal       & 1       &   2.13   & 1,334 &      \\
  35 \hline
  36 \end{tabular}
  37
  38
  39 Histogram of alias contexts per method over all programs analyzed.
  40
  41 \begin{tabular}{|r|r|}
  42 \hline
  43 # unique alias contexts & counting(not important) & # methods \\
  44 \hline
  45 1 & 65+66+91+115+109+44+28+59+9+8+30+49+10+42+88+73+76+79+28+66+93+96 & \\
  46 2 & 4+2+2+2+1+1+3+4+5+3+3+5+1+1 & \\
  47 3 & 1+1+4+1+1+1+2+1+2+2 & \\
  48 4 & 1+1+1+1+1+1 & \\
  49 5 & 1+1+2+1+2+1+1+1+1 & \\
  50 6 & & \\
  51 7 & 1 & \\
  52 \hline
  53 \end{tabular}
  54
  55
  56
  57
  58 \end{document}