Robust/src/Benchmarks/Ownership/evalNullifyDead.tex

   1 \documentclass{article}
   2 \begin{document}
   3
   4 Nullfy dead means to remove references from variables when they are no
   5 longer live.
   6
   7 \section{Analysis without Nullify Dead}
   8 \begin{tabular}{|l|l|r|r|r|}
   9 \hline
  10 Benchmark & Sharing & Time (s) & Lines & Methods \\
  11 \hline
  12 Bank & 0 & 6.20 & 1827 & 67 \\
  13 Chat & 3 & 5.84 & 1512 & 71 \\
  14 Conglomerator & 0 & 3.84 & 1981 & 93 \\
  15 jHTTPp2 & 0 & 5.65 & 2585 & 122 \\
  16 MapReduce1 & 2 & 11.96 & 2276 & 114 \\
  17 MultiGame & 10 & 30.89 & 3005 & 46 \\
  18 Performance & 0 & 2.65 & 1762 & 30 \\
  19 PERT & 0 & 3.20 & 1952 & 61 \\
  20 FilterBank & 0 & 1.23 & 1323 & 9 \\
  21 Fractal & 1 & 1.43 & 1336 & 8 \\
  22 MolDynamics & 2 & 7.96 & 1904 & 31 \\
  23 MonteCarlo & 0 & 4.10 & 3544 & 49 \\
  24 Series & 0 & 1.24 & 1407 & 10 \\
  25 KMeans & 2 & 5.24 & 2661 & 45 \\
  26 MapReduce2 & 3 & 20.39 & 2220 & 95 \\
  27 FluidAnimate & 2 & 1045.30 & 3589 & 82 \\
  28 Spider1 & 0 & 7.01 & 1595 & 80 \\
  29 Spider2 & 0 & 7.62 & 1599 & 83 \\
  30 TileSearch & 0 & 8.24 & 2052 & 34 \\
  31 TicTacToe & 0 & 4.15 & 1534 & 68 \\
  32 WebServer1 & 0 & 7.81 & 1858 & 97 \\
  33 WebServer2 & 0 & 8.03 & 1857 & 100 \\
  34 \hline
  35 \end{tabular}
  36
  37
  38 \section{Using Nullify Dead}
  39 \begin{tabular}{|l|l|r|r|r|}
  40 \hline
  41 Benchmark & Sharing & Time (s) & Lines & Methods \\
  42 \hline
  43 Bank & 0 & 5.70 & 1827 & 67 \\
  44 Chat & 3 & 5.60 & 1512 & 71 \\
  45 Conglomerator & 0 & 5.42 & 1981 & 93 \\
  46 jHTTPp2 & 0 & 6.45 & 2585 & 122 \\
  47 MapReduce1 & 2 & 11.68 & 2276 & 114 \\
  48 MultiGame & 10 & 22.27 & 3005 & 46 \\
  49 Performance & 0 & 2.74 & 1762 & 30 \\
  50 PERT & 0 & 4.24 & 1952 & 61 \\
  51 FilterBank & 0 & 1.56 & 1323 & 9 \\
  52 Fractal & 1 & 1.26 & 1336 & 8 \\
  53 MolDynamics & 2 & 6.58 & 1904 & 31 \\
  54 MonteCarlo & 0 & 4.24 & 3544 & 49 \\
  55 Series & 0 & 1.70 & 1407 & 10 \\
  56 KMeans & 2 & 5.51 & 2661 & 45 \\
  57 MapReduce2 & 3 & 17.76 & 2220 & 95 \\
  58 FluidAnimate & 2 & 164.37 & 3589 & 82 \\
  59 Spider1 & 0 & 6.58 & 1595 & 80 \\
  60 Spider2 & 0 & 6.24 & 1599 & 83 \\
  61 TileSearch & 0 & 8.18 & 2052 & 34 \\
  62 TicTacToe & 0 & 5.16 & 1534 & 68 \\
  63 WebServer1 & 0 & 6.79 & 1858 & 97 \\
  64 WebServer2 & 0 & 6.45 & 1857 & 100 \\
  65 \hline
  66 \end{tabular}
  67
  68
  69 \end{document}