|
From: <sv...@va...> - 2009-08-02 10:16:16
|
Author: sewardj
Date: 2009-08-02 11:16:03 +0100 (Sun, 02 Aug 2009)
New Revision: 10688
Log:
Change name of H1 history flag from --history-level=partial (which I can
never remember) to --history-level=approx.
Modified:
trunk/helgrind/hg_basics.h
trunk/helgrind/hg_main.c
Modified: trunk/helgrind/hg_basics.h
===================================================================
--- trunk/helgrind/hg_basics.h 2009-08-02 10:15:07 UTC (rev 10687)
+++ trunk/helgrind/hg_basics.h 2009-08-02 10:16:03 UTC (rev 10688)
@@ -78,7 +78,7 @@
0: "none": don't collect any history. Fastest, but means we can
only show one of the two stacks in a race.
- 1: "partial": collect one stack trace per (notional) segment, that
+ 1: "approx": collect one stack trace per (notional) segment, that
is, collect a stack trace for a thread every time its vector
clock changes. This faciliates showing the bounds of the
conflicting segment(s), with relatively small overhead.
Modified: trunk/helgrind/hg_main.c
===================================================================
--- trunk/helgrind/hg_main.c 2009-08-02 10:15:07 UTC (rev 10687)
+++ trunk/helgrind/hg_main.c 2009-08-02 10:16:03 UTC (rev 10688)
@@ -4169,7 +4169,7 @@
else if VG_XACT_CLO(arg, "--history-level=none",
HG_(clo_history_level), 0);
- else if VG_XACT_CLO(arg, "--history-level=partial",
+ else if VG_XACT_CLO(arg, "--history-level=approx",
HG_(clo_history_level), 1);
else if VG_XACT_CLO(arg, "--history-level=full",
HG_(clo_history_level), 2);
@@ -4211,9 +4211,9 @@
VG_(printf)(
" --track-lockorders=no|yes show lock ordering errors? [yes]\n"
" --history-level=none|partial|full [full]\n"
-" full: show both stack traces for a data race (can be very slow)\n"
-" partial: full trace for one thread, approx for the other (faster)\n"
-" none: only show trace for one thread in a race (fastest)\n"
+" full: show both stack traces for a data race (can be very slow)\n"
+" approx: full trace for one thread, approx for the other (faster)\n"
+" none: only show trace for one thread in a race (fastest)\n"
" --conflict-cache-size=N size of 'full' history cache [1000000]\n"
);
VG_(replacement_malloc_print_usage)();
|