|
From: <sv...@va...> - 2009-05-23 19:09:31
|
Author: bart
Date: 2009-05-23 20:09:24 +0100 (Sat, 23 May 2009)
New Revision: 10125
Log:
More parameter tuning: changed default segment merging interval from 32 to 64.
Modified:
branches/DRDDEV/drd/drd_main.c
branches/DRDDEV/drd/drd_thread.c
branches/DRDDEV/drd/drd_thread.h
Modified: branches/DRDDEV/drd/drd_main.c
===================================================================
--- branches/DRDDEV/drd/drd_main.c 2009-05-23 18:58:58 UTC (rev 10124)
+++ branches/DRDDEV/drd/drd_main.c 2009-05-23 19:09:24 UTC (rev 10125)
@@ -190,7 +190,7 @@
" improve the accuracy of the so-called 'other segments' displayed\n"
" in race reports but can also trigger an out of memory error.\n"
" --segment-merging-interval=<n> Perform segment merging every time n new\n"
-" segments have been created. Default: 32.\n"
+" segments have been created. Default: %d.\n"
" --shared-threshold=<n> Print an error message if a reader lock\n"
" is held longer than the specified time (in milliseconds).\n"
" --show-confl-seg=yes|no Show conflicting segments in race reports [yes].\n"
@@ -209,7 +209,8 @@
" --trace-fork-join=yes|no Trace all thread fork/join activity [no].\n"
" --trace-mutex=yes|no Trace all mutex activity [no].\n"
" --trace-rwlock=yes|no Trace all reader-writer lock activity[no].\n"
-" --trace-semaphore=yes|no Trace all semaphore activity [no].\n"
+" --trace-semaphore=yes|no Trace all semaphore activity [no].\n",
+DRD_(thread_get_segment_merge_interval)()
);
VG_(replacement_malloc_print_usage)();
}
Modified: branches/DRDDEV/drd/drd_thread.c
===================================================================
--- branches/DRDDEV/drd/drd_thread.c 2009-05-23 18:58:58 UTC (rev 10124)
+++ branches/DRDDEV/drd/drd_thread.c 2009-05-23 19:09:24 UTC (rev 10125)
@@ -73,7 +73,7 @@
static Bool s_trace_fork_join = False;
static Bool s_segment_merging = True;
static Bool s_new_segments_since_last_merge;
-static int s_segment_merge_interval = 32;
+static int s_segment_merge_interval = 64;
/* Function definitions. */
@@ -112,6 +112,12 @@
s_segment_merging = m;
}
+/** Get the segment merging interval. */
+int DRD_(thread_get_segment_merge_interval)(void)
+{
+ return s_segment_merge_interval;
+}
+
/** Set the segment merging interval. */
void DRD_(thread_set_segment_merge_interval)(const int i)
{
Modified: branches/DRDDEV/drd/drd_thread.h
===================================================================
--- branches/DRDDEV/drd/drd_thread.h 2009-05-23 18:58:58 UTC (rev 10124)
+++ branches/DRDDEV/drd/drd_thread.h 2009-05-23 19:09:24 UTC (rev 10125)
@@ -116,6 +116,7 @@
Bool DRD_(thread_get_trace_fork_join)(void);
void DRD_(thread_set_trace_fork_join)(const Bool t);
void DRD_(thread_set_segment_merging)(const Bool m);
+int DRD_(thread_get_segment_merge_interval)(void);
void DRD_(thread_set_segment_merge_interval)(const int i);
DrdThreadId DRD_(VgThreadIdToDrdThreadId)(const ThreadId tid);
|