results show all visit methods roughly equal now, still sharing difference for MapRed...

diff --git a/Robust/src/Benchmarks/disjoint/expectedSharing.tex b/Robust/src/Benchmarks/disjoint/expectedSharing.tex
index 0c6ffa5c9a4b5c9e029eff7a822970d5ff4b13d4..9fb940a1236f05b8adc13acdf1f4a275f5e9f346 100644 (file)
--- a/Robust/src/Benchmarks/disjoint/expectedSharing.tex
+++ b/Robust/src/Benchmarks/disjoint/expectedSharing.tex
@@ -11,28 +11,28 @@
 \hline
 Benchmark & Sharing & Time (s) & Lines & Methods \\
 \hline
-Bank & 0 & 4.66 & 2059 & 67 \\
-Chat & 3 & 3.71 & 1744 & 71 \\
-WebPortal & 0 & 2.95 & 2213 & 93 \\
-jHTTPp2 & 0 & 3.95 & 2679 & 122 \\
-MapReduce1 & 1 & 38.28 & 2370 & 114 \\
-MultiGame & 10 & 225.76 & 3099 & 46 \\
-PERT & 0 & 0.95 & 2184 & 61 \\
-FilterBank & 0 & 0.15 & 1555 & 9 \\
-Fractal & 1 & 0.11 & 1568 & 8 \\
-MolDyn & 2 & 2.04 & 2136 & 31 \\
-MonteCarlo & 0 & 1.73 & 3638 & 49 \\
-Series & 0 & 0.35 & 1639 & 10 \\
-KMeans-Bamboo & 2 & 5.92 & 2893 & 45 \\
-MapReduce2    & 0 & 54.28 & 2314 & 95 \\
-FluidAnimate  & 2 & 12479.20 & 3821 & 82 \\
-Spider1       & 0 & 8.28 & 1827 & 80 \\
-Spider2       & 0 & 9.24 & 1831 & 83 \\
-TileSearch    & 0 & 5.76 & 2284 & 34 \\
-TicTacToe     & 0 & 1.76 & 1766 & 68 \\
-WebServer1    & 0 & 14.69 & 2090 & 97 \\
-WebServer2    & 0 & 14.15 & 2089 & 100 \\
-Tracking      & 0 & 16.29 & 5218 & 158 \\
+Bank          & 0  & 4.66     & 2059 & 67 \\
+Chat          & 3  & 3.71     & 1744 & 71 \\
+WebPortal     & 0  & 2.95     & 2213 & 93 \\
+jHTTPp2       & 0  & 3.95     & 2679 & 122 \\
+MapReduce1    & 1  & 38.28    & 2370 & 114 \\
+MultiGame     & 10 & 225.76   & 3099 & 46 \\
+PERT          & 0  & 0.95     & 2184 & 61 \\
+FilterBank    & 0  & 0.15     & 1555 & 9 \\
+Fractal       & 1  & 0.11     & 1568 & 8 \\
+MolDyn        & 2  & 2.04     & 2136 & 31 \\
+MonteCarlo    & 0  & 1.73     & 3638 & 49 \\
+Series        & 0  & 0.35     & 1639 & 10 \\
+KMeans-Bamboo & 2  & 5.92     & 2893 & 45 \\
+MapReduce2    & 0  & 54.28    & 2314 & 95 \\
+FluidAnimate  & 2  & 12479.20 & 3821 & 82 \\
+Spider1       & 0  & 8.28     & 1827 & 80 \\
+Spider2       & 0  & 9.24     & 1831 & 83 \\
+TileSearch    & 0  & 5.76     & 2284 & 34 \\
+TicTacToe     & 0  & 1.76     & 1766 & 68 \\
+WebServer1    & 0  & 14.69    & 2090 & 97 \\
+WebServer2    & 0  & 14.15    & 2089 & 100 \\
+Tracking      & 0  & 16.29    & 5218 & 158 \\
 \hline
 \end{tabular}
 
@@ -44,28 +44,28 @@ Tracking      & 0 & 16.29 & 5218 & 158 \\
 \hline
 Benchmark & Sharing & Time (s) & Lines & Methods \\
 \hline
-Bank & 0 & 4.70 & 2059 & 67 \\
-Chat & 3 & 3.66 & 1744 & 71 \\
-WebPortal & 0 & 3.15 & 2213 & 93 \\
-jHTTPp2 & 0 & 4.44 & 2679 & 122 \\
-MapReduce1 & 1 & 37.95 & 2370 & 114 \\
-MultiGame & 10 & 227.62 & 3099 & 46 \\
-PERT & 0 & 0.88 & 2184 & 61 \\
-FilterBank & 0 & 0.18 & 1555 & 9 \\
-Fractal & 1 & 0.11 & 1568 & 8 \\
-MolDyn & 2 & 2.19 & 2136 & 31 \\
-MonteCarlo & 0 & 1.72 & 3638 & 49 \\
-Series & 0 & 0.35 & 1639 & 10 \\
-KMeans-Bamboo & 2 & 6.02 & 2893 & 45 \\
-MapReduce2 & 0 & 52.59 & 2314 & 95 \\
-FluidAnimate & 2 & 11416.19 & 3821 & 82 \\
-Spider1 & 0 & 8.30 & 1827 & 80 \\
-Spider2 & 0 & 9.15 & 1831 & 83 \\
-TileSearch & 0 & 5.26 & 2284 & 34 \\
-TicTacToe & 0 & 1.84 & 1766 & 68 \\
-WebServer1 & 0 & 14.62 & 2090 & 97 \\
-WebServer2 & 0 & 14.02 & 2089 & 100 \\
-Tracking & 0 & 15.79 & 5218 & 158 \\
+Bank          & 0  & 4.70     & 2059 & 67 \\
+Chat          & 3  & 3.66     & 1744 & 71 \\
+WebPortal     & 0  & 3.15     & 2213 & 93 \\
+jHTTPp2       & 0  & 4.44     & 2679 & 122 \\
+MapReduce1    & 1  & 37.95    & 2370 & 114 \\
+MultiGame     & 10 & 227.62   & 3099 & 46 \\
+PERT          & 0  & 0.88     & 2184 & 61 \\
+FilterBank    & 0  & 0.18     & 1555 & 9 \\
+Fractal       & 1  & 0.11     & 1568 & 8 \\
+MolDyn        & 2  & 2.19     & 2136 & 31 \\
+MonteCarlo    & 0  & 1.72     & 3638 & 49 \\
+Series        & 0  & 0.35     & 1639 & 10 \\
+KMeans-Bamboo & 2  & 6.02     & 2893 & 45 \\
+MapReduce2    & 0  & 52.59    & 2314 & 95 \\
+FluidAnimate  & 2  & 11416.19 & 3821 & 82 \\
+Spider1       & 0  & 8.30     & 1827 & 80 \\
+Spider2       & 0  & 9.15     & 1831 & 83 \\
+TileSearch    & 0  & 5.26     & 2284 & 34 \\
+TicTacToe     & 0  & 1.84     & 1766 & 68 \\
+WebServer1    & 0  & 14.62    & 2090 & 97 \\
+WebServer2    & 0  & 14.02    & 2089 & 100 \\
+Tracking      & 0  & 15.79    & 5218 & 158 \\
 \hline
 \end{tabular}
 
@@ -77,28 +77,28 @@ Tracking & 0 & 15.79 & 5218 & 158 \\
 \hline
 Benchmark & Sharing & Time (s) & Lines & Methods \\
 \hline
-Bank & 0 & 5.02 & 2059 & 67 \\
-Chat & 3 & 3.68 & 1744 & 71 \\
-WebPortal & 0 & 3.17 & 2213 & 93 \\
-jHTTPp2 & 0 & 3.96 & 2679 & 122 \\
-MapReduce1 & 1 & 40.36 & 2370 & 114 \\
-MultiGame & 10 & 226.91 & 3099 & 46 \\
-PERT & 0 & 0.87 & 2184 & 61 \\
-FilterBank & 0 & 0.15 & 1555 & 9 \\
-Fractal & 1 & 0.11 & 1568 & 8 \\
-MolDyn & 2 & 2.87 & 2136 & 31 \\
-MonteCarlo & 0 & 1.72 & 3638 & 49 \\
-Series & 0 & 0.33 & 1639 & 10 \\
-KMeans-Bamboo & 2 & 6.05 & 2893 & 45 \\
-MapReduce2 & 0 & 52.83 & 2314 & 95 \\
-FluidAnimate & 2 & 12298.70 & 3821 & 82 \\
-Spider1 & 0 & 6.70 & 1827 & 80 \\
-Spider2 & 0 & 12.10 & 1831 & 83 \\
-TileSearch & 0 & 7.13 & 2284 & 34 \\
-TicTacToe & 0 & 2.08 & 1766 & 68 \\
-WebServer1 & 0 & 13.91 & 2090 & 97 \\
-WebServer2 & 0 & 14.46 & 2089 & 100 \\
-Tracking & 0 & 17.78 & 5218 & 158 \\
+Bank          & 0  & 5.02     & 2059 & 67 \\
+Chat          & 3  & 3.68     & 1744 & 71 \\
+WebPortal     & 0  & 3.17     & 2213 & 93 \\
+jHTTPp2       & 0  & 3.96     & 2679 & 122 \\
+MapReduce1    & 1  & 40.36    & 2370 & 114 \\
+MultiGame     & 10 & 226.91   & 3099 & 46 \\
+PERT          & 0  & 0.87     & 2184 & 61 \\
+FilterBank    & 0  & 0.15     & 1555 & 9 \\
+Fractal       & 1  & 0.11     & 1568 & 8 \\
+MolDyn        & 2  & 2.87     & 2136 & 31 \\
+MonteCarlo    & 0  & 1.72     & 3638 & 49 \\
+Series        & 0  & 0.33     & 1639 & 10 \\
+KMeans-Bamboo & 2  & 6.05     & 2893 & 45 \\
+MapReduce2    & 0  & 52.83    & 2314 & 95 \\
+FluidAnimate  & 2  & 12298.70 & 3821 & 82 \\
+Spider1       & 0  & 6.70     & 1827 & 80 \\
+Spider2       & 0  & 12.10    & 1831 & 83 \\
+TileSearch    & 0  & 7.13     & 2284 & 34 \\
+TicTacToe     & 0  & 2.08     & 1766 & 68 \\
+WebServer1    & 0  & 13.91    & 2090 & 97 \\
+WebServer2    & 0  & 14.46    & 2089 & 100 \\
+Tracking      & 0  & 17.78    & 5218 & 158 \\
 \hline
 \end{tabular}
 
@@ -111,33 +111,37 @@ Tracking & 0 & 17.78 & 5218 & 158 \\
 
 \section{Current Sharing}
 
+
+% \color{red}{}
+
+
 \begin{tabular}{|l|c|c|c|c|}
 \hline
 Benchmark     & Ownership & Disjoint & Disjoint & Disjoint Stack \\
               & Sharing   & Stack    & Queue    & Callees on top \\
 \hline
-Bank          & 0         & 0                 & 0             &         \\
-Chat          & 3         & 0                 & 3             &         \\
-WebPortal     & 0         & 0                 & 0             &         \\
-jHTTPp2       & 0         & 0                 & 0             &         \\
-MapReduce1    & 2         & \color{red}{1}    & \color{red}{1}&         \\
-MultiGame     & 10        & 10                & 10            &         \\
-PERT          & 0         & 0                 & 0             &         \\
-FilterBank    & 0         & 0                 & 0             &         \\
-Fractal       & 1         & 1                 & 1             &         \\
-MolDyn        & 2         & 2                 & 2             &         \\
-MonteCarlo    & 0         & 0                 & 0             &         \\
-Series        & 0         & 0                 & 0             &         \\
-KMeans-Bamboo & 2         & 2                 & 2             &         \\
-MapReduce2    & 3         & \color{red}{0}    & \color{red}{0}&         \\
-FluidAnimate  & 2         & \color{red}{error}& 2             &         \\
-Spider1       & 0         & 0                 & 0             &         \\
-Spider2       & 0         & \color{red}{error}& 0             &         \\
-TileSearch    & 0         & 0                 & 0             &         \\
-TicTacToe     & 0         & \color{red}{error}& 0             &         \\
-WebServer1    & 0         & 0                 & 0             &         \\
-WebServer2    & 0         & \color{red}{error}& 0             &         \\
-Tracking      & 0         & 0                 & 0             &         \\
+Bank          & 0         & 0  & 0  &  0          \\
+Chat          & 3         & 3  & 3  &  3          \\
+WebPortal     & 0         & 0  & 0  &  0          \\
+jHTTPp2       & 0         & 0  & 0  &  0          \\
+MapReduce1    & 2         & \color{red}{1}  & \color{red}{1}  &  \color{red}{1}          \\
+MultiGame     & 10        & 10 & 10 &  10         \\
+PERT          & 0         & 0  & 0  &  0          \\
+FilterBank    & 0         & 0  & 0  &  0          \\
+Fractal       & 1         & 1  & 1  &  1          \\
+MolDyn        & 2         & 2  & 2  &  2          \\
+MonteCarlo    & 0         & 0  & 0  &  0          \\
+Series        & 0         & 0  & 0  &  0          \\
+KMeans-Bamboo & 2         & 2  & 2  &  2          \\
+MapReduce2    & 3         & \color{red}{0}  & \color{red}{0}  &  \color{red}{0}          \\
+FluidAnimate  & 2         & 2  & 2  &  2          \\
+Spider1       & 0         & 0  & 0  &  0          \\
+Spider2       & 0         & 0  & 0  &  0          \\
+TileSearch    & 0         & 0  & 0  &  0          \\
+TicTacToe     & 0         & 0  & 0  &  0          \\
+WebServer1    & 0         & 0  & 0  &  0          \\
+WebServer2    & 0         & 0  & 0  &  0          \\
+Tracking      & 0         & 0  & 0  &  0          \\
 \hline
 \end{tabular}
 
@@ -151,28 +155,28 @@ These times were measured on DC-11.
 Benchmark     & Ownership & Disjoint & Disjoint & Disjoint Stack \\
               & Sharing   & Stack    & Queue    & Callees on top \\
 \hline
-Bank          &        &      &      &        \\
-Chat          &        &      &      &        \\
-WebPortal     &        &      &      &        \\
-jHTTPp2       &        &      &      &        \\
-MapReduce1    &        &      &      &        \\
-MultiGame     &        &      &      &        \\
-PERT          &        &      &      &        \\
-FilterBank    &        &      &      &        \\
-Fractal       &        &      &      &        \\
-MolDyn        &        &      &      &        \\
-MonteCarlo    &        &      &      &        \\
-Series        &        &      &      &        \\
-KMeans-Bamboo &        &      &      &        \\
-MapReduce2    &        &      &      &        \\
-FluidAnimate  &        &      &      &        \\
-Spider1       &        &      &      &        \\
-Spider2       &        &      &      &        \\
-TileSearch    &        &      &      &        \\
-TicTacToe     &        &      &      &        \\
-WebServer1    &        &      &      &        \\
-WebServer2    &        &      &      &        \\
-Tracking      &        &      &      &        \\
+Bank          &  & 4.66     & 4.70     &  5.02           \\
+Chat          &  & 3.71     & 3.66     &  3.68           \\
+WebPortal     &  & 2.95     & 3.15     &  3.17           \\
+jHTTPp2       &  & 3.95     & 4.44     &  3.96           \\
+MapReduce1    &  & 38.28    & 37.95    &  40.36          \\
+MultiGame     &  & 225.76   & 227.62   &  226.91         \\
+PERT          &  & 0.95     & 0.88     &  0.87           \\
+FilterBank    &  & 0.15     & 0.18     &  0.15           \\
+Fractal       &  & 0.11     & 0.11     &  0.11           \\
+MolDyn        &  & 2.04     & 2.19     &  2.87           \\
+MonteCarlo    &  & 1.73     & 1.72     &  1.72           \\
+Series        &  & 0.35     & 0.35     &  0.33           \\
+KMeans-Bamboo &  & 5.92     & 6.02     &  6.05           \\
+MapReduce2    &  & 54.28    & 52.59    &  52.83          \\
+FluidAnimate  &  & 12479.20 & 11416.19 &  12298.70       \\
+Spider1       &  & 8.28     & 8.30     &  6.70           \\
+Spider2       &  & 9.24     & 9.15     &  12.10          \\
+TileSearch    &  & 5.76     & 5.26     &  7.13           \\
+TicTacToe     &  & 1.76     & 1.84     &  2.08           \\
+WebServer1    &  & 14.69    & 14.62    &  13.91          \\
+WebServer2    &  & 14.15    & 14.02    &  14.46          \\
+Tracking      &  & 16.29    & 15.79    &  17.78          \\
 \hline
 \end{tabular}