From 5da0e671309af37d970f86d73967c7c994df677c Mon Sep 17 00:00:00 2001
From: jjenista <jjenista>
Date: Fri, 30 Oct 2009 21:38:59 +0000
Subject: [PATCH] bug fix, class library results improved, but directto
 benchmark still shows false sharing

---
 Robust/src/Analysis/OwnershipAnalysis/OwnershipAnalysis.java | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

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 ) {
-- 
2.34.1