Author: sewardj
Date: 2008-03-04 19:42:28 +0000 (Tue, 04 Mar 2008)
New Revision: 7563

Log:
Disable the last-lock-lossage mechanism.  It can be very slow with
MSMProp1, and there have been multiple reports of it generating
confusing results.



Modified:
   branches/HGDEV/helgrind/hg_main.c


Modified: branches/HGDEV/helgrind/hg_main.c
===================================================================
--- branches/HGDEV/helgrind/hg_main.c   2008-03-04 19:11:38 UTC (rev 7562)
+++ branches/HGDEV/helgrind/hg_main.c   2008-03-04 19:42:28 UTC (rev 7563)
@@ -1336,7 +1336,7 @@
       SegmentSet ss = get_SHVAL_SS(sv);
       LockSet    ls = get_SHVAL_LS(sv);
       UWord n_segments = SS_get_size(ss);
-      int n_locks    = HG_(cardinalityWS)(univ_lsets, ls);
+      Int n_locks    = HG_(cardinalityWS)(univ_lsets, ls);
       VG_(sprintf)(buf, "%c #SS=%d #LS=%d ", 
                    is_w ? 'W' : 'R', n_segments, n_locks);
 
@@ -1348,7 +1348,7 @@
          }
          S = SS_get_element(ss, i);
          VG_(sprintf)(buf + VG_(strlen)(buf), "S%d/T%d ", 
-                      (int)S, SEG_get(S)->thr->errmsg_index);
+                      (Int)S, SEG_get(S)->thr->errmsg_index);
       }
    } else {
       VG_(sprintf)(buf, "Invalid-shadow-word(%u)", sv);
@@ -3142,7 +3142,9 @@
 
       if (oldLS != newLS) { 
          // if the lockset changed, remember when it happened
-         record_last_lock_lossage(a, oldLS, newLS);
+         if (0) // FIXME.  Do we want this functionality?  If so,
+            // it can be very slow.
+            record_last_lock_lossage(a, oldLS, newLS);
       }
       goto done;
    }


-------------------------------------------------------------------------
This SF.net email is sponsored by: Microsoft
Defy all challenges. Microsoft(R) Visual Studio 2008.
http://clk.atdmt.com/MRT/go/vse0120000070mrt/direct/01/
_______________________________________________
Valgrind-developers mailing list
Valgrind-developers@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/valgrind-developers

Reply via email to