);
}
+static void hg_print_stats (void)
+{
+
+ if (1) {
+ VG_(printf)("\n");
+ HG_(ppWSUstats)( univ_lsets, "univ_lsets" );
+ if (HG_(clo_track_lockorders)) {
+ VG_(printf)("\n");
+ HG_(ppWSUstats)( univ_laog, "univ_laog" );
+ }
+ }
+
+ //zz VG_(printf)("\n");
+ //zz VG_(printf)(" hbefore: %'10lu queries\n", stats__hbefore_queries);
+ //zz VG_(printf)(" hbefore: %'10lu cache 0 hits\n", stats__hbefore_cache0s);
+ //zz VG_(printf)(" hbefore: %'10lu cache > 0 hits\n", stats__hbefore_cacheNs);
+ //zz VG_(printf)(" hbefore: %'10lu graph searches\n", stats__hbefore_gsearches);
+ //zz VG_(printf)(" hbefore: %'10lu of which slow\n",
+ //zz stats__hbefore_gsearches - stats__hbefore_gsearchFs);
+ //zz VG_(printf)(" hbefore: %'10lu stack high water mark\n",
+ //zz stats__hbefore_stk_hwm);
+ //zz VG_(printf)(" hbefore: %'10lu cache invals\n", stats__hbefore_invals);
+ //zz VG_(printf)(" hbefore: %'10lu probes\n", stats__hbefore_probes);
+
+ VG_(printf)("\n");
+ VG_(printf)(" locksets: %'8d unique lock sets\n",
+ (Int)HG_(cardinalityWSU)( univ_lsets ));
+ if (HG_(clo_track_lockorders)) {
+ VG_(printf)(" univ_laog: %'8d unique lock sets\n",
+ (Int)HG_(cardinalityWSU)( univ_laog ));
+ }
+
+ //VG_(printf)("L(ast)L(ock) map: %'8lu inserts (%d map size)\n",
+ // stats__ga_LL_adds,
+ // (Int)(ga_to_lastlock ? VG_(sizeFM)( ga_to_lastlock ) : 0) );
+
+ VG_(printf)(" LockN-to-P map: %'8llu queries (%llu map size)\n",
+ HG_(stats__LockN_to_P_queries),
+ HG_(stats__LockN_to_P_get_map_size)() );
+
+ VG_(printf)("string table map: %'8llu queries (%llu map size)\n",
+ HG_(stats__string_table_queries),
+ HG_(stats__string_table_get_map_size)() );
+ if (HG_(clo_track_lockorders)) {
+ VG_(printf)(" LAOG: %'8d map size\n",
+ (Int)(laog ? VG_(sizeFM)( laog ) : 0));
+ VG_(printf)(" LAOG exposition: %'8d map size\n",
+ (Int)(laog_exposition ? VG_(sizeFM)( laog_exposition ) : 0));
+ }
+
+ VG_(printf)(" locks: %'8lu acquires, "
+ "%'lu releases\n",
+ stats__lockN_acquires,
+ stats__lockN_releases
+ );
+ VG_(printf)(" sanity checks: %'8lu\n", stats__sanity_checks);
+
+ VG_(printf)("\n");
+ libhb_shutdown(True); // This in fact only print stats.
+}
+
static void hg_fini ( Int exitcode )
{
if (VG_(clo_verbosity) == 1 && !VG_(clo_xml)) {
if (HG_(clo_sanity_flags))
all__sanity_check("SK_(fini)");
- if (VG_(clo_stats)) {
-
- if (1) {
- VG_(printf)("\n");
- HG_(ppWSUstats)( univ_lsets, "univ_lsets" );
- if (HG_(clo_track_lockorders)) {
- VG_(printf)("\n");
- HG_(ppWSUstats)( univ_laog, "univ_laog" );
- }
- }
-
- //zz VG_(printf)("\n");
- //zz VG_(printf)(" hbefore: %'10lu queries\n", stats__hbefore_queries);
- //zz VG_(printf)(" hbefore: %'10lu cache 0 hits\n", stats__hbefore_cache0s);
- //zz VG_(printf)(" hbefore: %'10lu cache > 0 hits\n", stats__hbefore_cacheNs);
- //zz VG_(printf)(" hbefore: %'10lu graph searches\n", stats__hbefore_gsearches);
- //zz VG_(printf)(" hbefore: %'10lu of which slow\n",
- //zz stats__hbefore_gsearches - stats__hbefore_gsearchFs);
- //zz VG_(printf)(" hbefore: %'10lu stack high water mark\n",
- //zz stats__hbefore_stk_hwm);
- //zz VG_(printf)(" hbefore: %'10lu cache invals\n", stats__hbefore_invals);
- //zz VG_(printf)(" hbefore: %'10lu probes\n", stats__hbefore_probes);
-
- VG_(printf)("\n");
- VG_(printf)(" locksets: %'8d unique lock sets\n",
- (Int)HG_(cardinalityWSU)( univ_lsets ));
- if (HG_(clo_track_lockorders)) {
- VG_(printf)(" univ_laog: %'8d unique lock sets\n",
- (Int)HG_(cardinalityWSU)( univ_laog ));
- }
-
- //VG_(printf)("L(ast)L(ock) map: %'8lu inserts (%d map size)\n",
- // stats__ga_LL_adds,
- // (Int)(ga_to_lastlock ? VG_(sizeFM)( ga_to_lastlock ) : 0) );
-
- VG_(printf)(" LockN-to-P map: %'8llu queries (%llu map size)\n",
- HG_(stats__LockN_to_P_queries),
- HG_(stats__LockN_to_P_get_map_size)() );
-
- VG_(printf)("string table map: %'8llu queries (%llu map size)\n",
- HG_(stats__string_table_queries),
- HG_(stats__string_table_get_map_size)() );
- if (HG_(clo_track_lockorders)) {
- VG_(printf)(" LAOG: %'8d map size\n",
- (Int)(laog ? VG_(sizeFM)( laog ) : 0));
- VG_(printf)(" LAOG exposition: %'8d map size\n",
- (Int)(laog_exposition ? VG_(sizeFM)( laog_exposition ) : 0));
- }
-
- VG_(printf)(" locks: %'8lu acquires, "
- "%'lu releases\n",
- stats__lockN_acquires,
- stats__lockN_releases
- );
- VG_(printf)(" sanity checks: %'8lu\n", stats__sanity_checks);
-
- VG_(printf)("\n");
- libhb_shutdown(True);
- }
+ if (VG_(clo_stats))
+ hg_print_stats();
}
/* FIXME: move these somewhere sane */
//VG_(needs_sanity_checks) (hg_cheap_sanity_check,
// hg_expensive_sanity_check);
+ VG_(needs_print_stats) (hg_print_stats);
+
VG_(needs_malloc_replacement) (hg_cli__malloc,
hg_cli____builtin_new,
hg_cli____builtin_vec_new,
n_SMs * sizeof(SecMap) / (1024 * 1024UL) );
}
+static void mc_print_stats (void)
+{
+ SizeT max_secVBit_szB, max_SMs_szB, max_shmem_szB;
+
+ VG_(message)(Vg_DebugMsg,
+ " memcheck: sanity checks: %d cheap, %d expensive\n",
+ n_sanity_cheap, n_sanity_expensive );
+ VG_(message)(Vg_DebugMsg,
+ " memcheck: auxmaps: %lld auxmap entries (%lldk, %lldM) in use\n",
+ n_auxmap_L2_nodes,
+ n_auxmap_L2_nodes * 64,
+ n_auxmap_L2_nodes / 16 );
+ VG_(message)(Vg_DebugMsg,
+ " memcheck: auxmaps_L1: %lld searches, %lld cmps, ratio %lld:10\n",
+ n_auxmap_L1_searches, n_auxmap_L1_cmps,
+ (10ULL * n_auxmap_L1_cmps)
+ / (n_auxmap_L1_searches ? n_auxmap_L1_searches : 1)
+ );
+ VG_(message)(Vg_DebugMsg,
+ " memcheck: auxmaps_L2: %lld searches, %lld nodes\n",
+ n_auxmap_L2_searches, n_auxmap_L2_nodes
+ );
+
+ print_SM_info("n_issued ", n_issued_SMs);
+ print_SM_info("n_deissued ", n_deissued_SMs);
+ print_SM_info("max_noaccess ", max_noaccess_SMs);
+ print_SM_info("max_undefined", max_undefined_SMs);
+ print_SM_info("max_defined ", max_defined_SMs);
+ print_SM_info("max_non_DSM ", max_non_DSM_SMs);
+
+ // Three DSMs, plus the non-DSM ones
+ max_SMs_szB = (3 + max_non_DSM_SMs) * sizeof(SecMap);
+ // The 3*sizeof(Word) bytes is the AVL node metadata size.
+ // The VG_ROUNDUP is because the OSet pool allocator will/must align
+ // the elements on pointer size.
+ // Note that the pool allocator has some additional small overhead
+ // which is not counted in the below.
+ // Hardwiring this logic sucks, but I don't see how else to do it.
+ max_secVBit_szB = max_secVBit_nodes *
+ (3*sizeof(Word) + VG_ROUNDUP(sizeof(SecVBitNode), sizeof(void*)));
+ max_shmem_szB = sizeof(primary_map) + max_SMs_szB + max_secVBit_szB;
+
+ VG_(message)(Vg_DebugMsg,
+ " memcheck: max sec V bit nodes: %d (%ldk, %ldM)\n",
+ max_secVBit_nodes, max_secVBit_szB / 1024,
+ max_secVBit_szB / (1024 * 1024));
+ VG_(message)(Vg_DebugMsg,
+ " memcheck: set_sec_vbits8 calls: %llu (new: %llu, updates: %llu)\n",
+ sec_vbits_new_nodes + sec_vbits_updates,
+ sec_vbits_new_nodes, sec_vbits_updates );
+ VG_(message)(Vg_DebugMsg,
+ " memcheck: max shadow mem size: %ldk, %ldM\n",
+ max_shmem_szB / 1024, max_shmem_szB / (1024 * 1024));
+
+ if (MC_(clo_mc_level) >= 3) {
+ VG_(message)(Vg_DebugMsg,
+ " ocacheL1: %'12lu refs %'12lu misses (%'lu lossage)\n",
+ stats_ocacheL1_find,
+ stats_ocacheL1_misses,
+ stats_ocacheL1_lossage );
+ VG_(message)(Vg_DebugMsg,
+ " ocacheL1: %'12lu at 0 %'12lu at 1\n",
+ stats_ocacheL1_find - stats_ocacheL1_misses
+ - stats_ocacheL1_found_at_1
+ - stats_ocacheL1_found_at_N,
+ stats_ocacheL1_found_at_1 );
+ VG_(message)(Vg_DebugMsg,
+ " ocacheL1: %'12lu at 2+ %'12lu move-fwds\n",
+ stats_ocacheL1_found_at_N,
+ stats_ocacheL1_movefwds );
+ VG_(message)(Vg_DebugMsg,
+ " ocacheL1: %'12lu sizeB %'12u useful\n",
+ (UWord)sizeof(OCache),
+ 4 * OC_W32S_PER_LINE * OC_LINES_PER_SET * OC_N_SETS );
+ VG_(message)(Vg_DebugMsg,
+ " ocacheL2: %'12lu refs %'12lu misses\n",
+ stats__ocacheL2_refs,
+ stats__ocacheL2_misses );
+ VG_(message)(Vg_DebugMsg,
+ " ocacheL2: %'9lu max nodes %'9lu curr nodes\n",
+ stats__ocacheL2_n_nodes_max,
+ stats__ocacheL2_n_nodes );
+ VG_(message)(Vg_DebugMsg,
+ " niacache: %'12lu refs %'12lu misses\n",
+ stats__nia_cache_queries, stats__nia_cache_misses);
+ } else {
+ tl_assert(ocacheL1 == NULL);
+ tl_assert(ocacheL2 == NULL);
+ }
+}
+
+
static void mc_fini ( Int exitcode )
{
MC_(print_malloc_stats)();
done_prof_mem();
- if (VG_(clo_stats)) {
- SizeT max_secVBit_szB, max_SMs_szB, max_shmem_szB;
-
- VG_(message)(Vg_DebugMsg,
- " memcheck: sanity checks: %d cheap, %d expensive\n",
- n_sanity_cheap, n_sanity_expensive );
- VG_(message)(Vg_DebugMsg,
- " memcheck: auxmaps: %lld auxmap entries (%lldk, %lldM) in use\n",
- n_auxmap_L2_nodes,
- n_auxmap_L2_nodes * 64,
- n_auxmap_L2_nodes / 16 );
- VG_(message)(Vg_DebugMsg,
- " memcheck: auxmaps_L1: %lld searches, %lld cmps, ratio %lld:10\n",
- n_auxmap_L1_searches, n_auxmap_L1_cmps,
- (10ULL * n_auxmap_L1_cmps)
- / (n_auxmap_L1_searches ? n_auxmap_L1_searches : 1)
- );
- VG_(message)(Vg_DebugMsg,
- " memcheck: auxmaps_L2: %lld searches, %lld nodes\n",
- n_auxmap_L2_searches, n_auxmap_L2_nodes
- );
-
- print_SM_info("n_issued ", n_issued_SMs);
- print_SM_info("n_deissued ", n_deissued_SMs);
- print_SM_info("max_noaccess ", max_noaccess_SMs);
- print_SM_info("max_undefined", max_undefined_SMs);
- print_SM_info("max_defined ", max_defined_SMs);
- print_SM_info("max_non_DSM ", max_non_DSM_SMs);
-
- // Three DSMs, plus the non-DSM ones
- max_SMs_szB = (3 + max_non_DSM_SMs) * sizeof(SecMap);
- // The 3*sizeof(Word) bytes is the AVL node metadata size.
- // The VG_ROUNDUP is because the OSet pool allocator will/must align
- // the elements on pointer size.
- // Note that the pool allocator has some additional small overhead
- // which is not counted in the below.
- // Hardwiring this logic sucks, but I don't see how else to do it.
- max_secVBit_szB = max_secVBit_nodes *
- (3*sizeof(Word) + VG_ROUNDUP(sizeof(SecVBitNode), sizeof(void*)));
- max_shmem_szB = sizeof(primary_map) + max_SMs_szB + max_secVBit_szB;
-
- VG_(message)(Vg_DebugMsg,
- " memcheck: max sec V bit nodes: %d (%ldk, %ldM)\n",
- max_secVBit_nodes, max_secVBit_szB / 1024,
- max_secVBit_szB / (1024 * 1024));
- VG_(message)(Vg_DebugMsg,
- " memcheck: set_sec_vbits8 calls: %llu (new: %llu, updates: %llu)\n",
- sec_vbits_new_nodes + sec_vbits_updates,
- sec_vbits_new_nodes, sec_vbits_updates );
- VG_(message)(Vg_DebugMsg,
- " memcheck: max shadow mem size: %ldk, %ldM\n",
- max_shmem_szB / 1024, max_shmem_szB / (1024 * 1024));
-
- if (MC_(clo_mc_level) >= 3) {
- VG_(message)(Vg_DebugMsg,
- " ocacheL1: %'12lu refs %'12lu misses (%'lu lossage)\n",
- stats_ocacheL1_find,
- stats_ocacheL1_misses,
- stats_ocacheL1_lossage );
- VG_(message)(Vg_DebugMsg,
- " ocacheL1: %'12lu at 0 %'12lu at 1\n",
- stats_ocacheL1_find - stats_ocacheL1_misses
- - stats_ocacheL1_found_at_1
- - stats_ocacheL1_found_at_N,
- stats_ocacheL1_found_at_1 );
- VG_(message)(Vg_DebugMsg,
- " ocacheL1: %'12lu at 2+ %'12lu move-fwds\n",
- stats_ocacheL1_found_at_N,
- stats_ocacheL1_movefwds );
- VG_(message)(Vg_DebugMsg,
- " ocacheL1: %'12lu sizeB %'12u useful\n",
- (UWord)sizeof(OCache),
- 4 * OC_W32S_PER_LINE * OC_LINES_PER_SET * OC_N_SETS );
- VG_(message)(Vg_DebugMsg,
- " ocacheL2: %'12lu refs %'12lu misses\n",
- stats__ocacheL2_refs,
- stats__ocacheL2_misses );
- VG_(message)(Vg_DebugMsg,
- " ocacheL2: %'9lu max nodes %'9lu curr nodes\n",
- stats__ocacheL2_n_nodes_max,
- stats__ocacheL2_n_nodes );
- VG_(message)(Vg_DebugMsg,
- " niacache: %'12lu refs %'12lu misses\n",
- stats__nia_cache_queries, stats__nia_cache_misses);
- } else {
- tl_assert(ocacheL1 == NULL);
- tl_assert(ocacheL2 == NULL);
- }
- }
+ if (VG_(clo_stats))
+ mc_print_stats();
if (0) {
VG_(message)(Vg_DebugMsg,
VG_(needs_client_requests) (mc_handle_client_request);
VG_(needs_sanity_checks) (mc_cheap_sanity_check,
mc_expensive_sanity_check);
+ VG_(needs_print_stats) (mc_print_stats);
VG_(needs_malloc_replacement) (MC_(malloc),
MC_(__builtin_new),
MC_(__builtin_vec_new),
projects / thirdparty / valgrind.git / commitdiff
