From: jjenista <jjenista>
Date: Fri, 30 Oct 2009 21:38:59 +0000 (+0000)
Subject: bug fix, class library results improved, but directto benchmark still shows false... 
X-Git-Url: http://demsky.eecs.uci.edu/git/?a=commitdiff_plain;h=5da0e671309af37d970f86d73967c7c994df677c;p=IRC.git

bug fix, class library results improved, but directto benchmark still shows false sharing
---

diff --git a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
index 17f9c02d..7c140d05 100644
--- a/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
+++ b/Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java
@@ -956,6 +956,7 @@ public class OwnershipAnalysis {
 
       if( arrayReferencees.doesNotCreateNewReaching( fsen ) ) {
         System.out.println( "Skipping no-heap-effect: "+fsen );
+        break;
       }
 
       lhs = fsen.getDst();
@@ -1461,7 +1462,7 @@ public class OwnershipAnalysis {
   // insert a call to debugSnapshot() somewhere in the analysis 
   // to get successive captures of the analysis state
   boolean takeDebugSnapshots = false;
-  String mcDescSymbolDebug = "addFirst";
+  String mcDescSymbolDebug = "insertElementAt";
   boolean stopAfterCapture = true;
 
   // increments every visit to debugSnapshot, don't fiddle with it
@@ -1478,7 +1479,7 @@ public class OwnershipAnalysis {
   int iterStartCapture = 0;
 
   // the number of snapshots to take
-  int numIterToCapture = 40;
+  int numIterToCapture = 300;
 
   void debugSnapshot(OwnershipGraph og, FlatNode fn) {
     if( debugCounter > iterStartCapture + numIterToCapture ) {