|
From: <sv...@va...> - 2008-04-06 15:02:58
|
Author: bart
Date: 2008-04-06 16:02:58 +0100 (Sun, 06 Apr 2008)
New Revision: 7857
Log:
More statistics are now printed about DRD's behavior.
Modified:
trunk/exp-drd/drd_main.c
Modified: trunk/exp-drd/drd_main.c
===================================================================
--- trunk/exp-drd/drd_main.c 2008-04-06 15:02:17 UTC (rev 7856)
+++ trunk/exp-drd/drd_main.c 2008-04-06 15:02:58 UTC (rev 7857)
@@ -1055,12 +1055,24 @@
// thread_print_all();
if (VG_(clo_verbosity) > 1 || s_drd_print_stats)
{
+ ULong update_danger_set_count;
+ ULong dsnsc;
+ ULong dscvc;
+
+ update_danger_set_count
+ = thread_get_update_danger_set_count(&dsnsc, &dscvc);
+
VG_(message)(Vg_UserMsg,
" thread: %lld context switches"
- " / %lld updates of the danger set.",
+ " / %lld updates of the danger set",
thread_get_context_switch_count(),
- thread_get_update_danger_set_count());
+ update_danger_set_count);
VG_(message)(Vg_UserMsg,
+ " (%lld new sg + %lld combine vc + %lld csw).",
+ dsnsc,
+ dscvc,
+ update_danger_set_count - dsnsc - dscvc);
+ VG_(message)(Vg_UserMsg,
" segments: created %lld segments, max %lld alive,"
" %lld discard points.",
sg_get_created_segments_count(),
|