2. 程式人生 > >【linux】Valgrind工具集詳解（十二）：DHAT：動態堆分析器

【linux】Valgrind工具集詳解（十二）：DHAT：動態堆分析器

阿新 • • 發佈：2018-11-22

一、概述

DHAT動態堆分析器。Massif（堆分析器）是在程式結束後輸出分析結果，而DHAT是實時輸出結果，所以叫做動態堆分析器。Massif只記錄堆記憶體的申請和釋放，DHAT還會分析堆空間的使用率、使用週期等資訊。
DHAT的功能：它首先記錄在堆上分配的塊，通過分析每次記憶體訪問時所指定的塊判斷是否是之前已經記錄過的塊，並收集統計這些資訊，最終輸入如下結果：

  1. 總共分配的堆記憶體數（位元組數和塊數）；
  2. 程式執行中堆記憶體的最大數（位元組數和塊數）；
  3. 塊平均壽命（從分配到釋放之間的指令數）；
  4. 塊中每個位元組的平均讀寫次數（“訪問率”）；
  5. 對於總是僅分配一個大小的塊的分配點，該大小為4096位元組或更少：計數表示訪問塊內每個位元組偏移的頻率。

使用這些統計資訊可以得出以下結果：

  1. 潛在的洩漏（程序生命週期內）：由該點分配的塊只是累積，並且僅在執行結束時釋放；
  2. 過度浪費記憶體（英文原文excessive turnover）：由該點分配的塊只是累積，吞噬很多堆記憶體，但會釋放，不會保持很長時間；
  3. 過度瞬態記憶體：從分配到釋放的時間非常短；
  4. 無用或未充分利用的記憶體：已分配但未完全使用的記憶體，或只寫到記憶體中但隨後並沒有讀的記憶體；
  5. 使用效率低的塊

二、使用

1、例子原始碼
#include <stdio.h>
#include <stdlib.h>
 


int main()
{
	char *x = (char *)malloc(100000);

	int *i = (int*) malloc(sizeof(int));
	int *arr[1000];
	for(*i=0; *i<1000; ++(*i))
	{
		arr[*i] = (int*)malloc(sizeof(int));
		*arr[*i] = *i;
	}
	int *j = (int*) malloc(sizeof(int));
	for(*i=0; *i<1000; ++(*i))
	{
		(*j) += *arr[*i];
		free(arr[*i]);
	}

	int
 
 *arr1[1000];
	for(*i=0; *i<1000; ++(*i))
	{
		arr1[*i] = (int*)malloc(sizeof(int));
		*arr1[*i] = *i;
	}
	for(*i=0; *i<1000; ++(*i))
	{
		free(arr1[*i]);
	}

	free(i);
	free(j);
	free(x);

	return 0;
}
2、編譯
gcc -g main.c
3、分析

執行命令：valgrind --tool=exp-dhat ./a.out
輸出結果如下：

$ valgrind --tool=exp-dhat ./a.out
==14000== DHAT, a dynamic heap analysis tool
==14000== NOTE: This is an Experimental-Class Valgrind Tool
==14000== Copyright (C) 2010-2013, and GNU GPL'd, by Mozilla Inc
==14000== Using Valgrind-3.10.1 and LibVEX; rerun with -h for copyright info
==14000== Command: ./a.out
==14000== 
==14000== 
==14000== ======== SUMMARY STATISTICS ========
==14000== 
==14000== guest_insns:  333,340
==14000== 
==14000== max_live:     104,008 in 1,003 blocks
==14000== 
==14000== tot_alloc:    108,008 in 2,003 blocks
==14000== 
==14000== insns per allocated byte: 3
==14000== 
==14000== 
==14000== ======== ORDERED BY decreasing "max-bytes-live": top 10 allocators ========
==14000== 
==14000== -------------------- 1 of 10 --------------------
==14000== max-live:    100,000 in 1 blocks
==14000== tot-alloc:   100,000 in 1 blocks (avg size 100000.00)
==14000== deaths:      1, at avg age 209,049 (62.71% of prog lifetime)
==14000== acc-ratios:  0.00 rd, 0.00 wr  (0 b-read, 0 b-written)
==14000==    at 0x4C28EF0: malloc (vg_replace_malloc.c:296)
==14000==    by 0x400592: main (main.c:6)
==14000== 
==14000== -------------------- 2 of 10 --------------------
==14000== max-live:    4,000 in 1,000 blocks
==14000== tot-alloc:   4,000 in 1,000 blocks (avg size 4.00)
==14000== deaths:      1,000, at avg age 55,405 (16.62% of prog lifetime)
==14000== acc-ratios:  1.00 rd, 1.00 wr  (4,000 b-read, 4,000 b-written)
==14000==    at 0x4C28EF0: malloc (vg_replace_malloc.c:296)
==14000==    by 0x4005CC: main (main.c:12)
==14000== 
==14000== Aggregated access counts by offset:
==14000== 
==14000== [   0]  2000 2000 2000 2000 
==14000== 
==14000== -------------------- 3 of 10 --------------------
==14000== max-live:    4,000 in 1,000 blocks
==14000== tot-alloc:   4,000 in 1,000 blocks (avg size 4.00)
==14000== deaths:      1,000, at avg age 49,514 (14.85% of prog lifetime)
==14000== acc-ratios:  0.00 rd, 1.00 wr  (0 b-read, 4,000 b-written)
==14000==    at 0x4C28EF0: malloc (vg_replace_malloc.c:296)
==14000==    by 0x4006C8: main (main.c:25)
==14000== 
==14000== Aggregated access counts by offset:
==14000== 
==14000== [   0]  1000 1000 1000 1000 
==14000== 
==14000== -------------------- 4 of 10 --------------------
==14000== max-live:    4 in 1 blocks
==14000== tot-alloc:   4 in 1 blocks (avg size 4.00)
==14000== deaths:      1, at avg age 208,950 (62.68% of prog lifetime)
==14000== acc-ratios:  17004.00 rd, 4004.00 wr  (68,016 b-read, 16,016 b-written)
==14000==    at 0x4C28EF0: malloc (vg_replace_malloc.c:296)
==14000==    by 0x4005A3: main (main.c:8)
==14000== 
==14000== Aggregated access counts by offset:
==14000== 
==14000== [   0]  21008 21008 21008 21008 
==14000== 
==14000== -------------------- 5 of 10 --------------------
==14000== max-live:    4 in 1 blocks
==14000== tot-alloc:   4 in 1 blocks (avg size 4.00)
==14000== deaths:      1, at avg age 153,940 (46.18% of prog lifetime)
==14000== acc-ratios:  1000.00 rd, 1000.00 wr  (4,000 b-read, 4,000 b-written)
==14000==    at 0x4C28EF0: malloc (vg_replace_malloc.c:296)
==14000==    by 0x400627: main (main.c:15)
==14000== 
==14000== Aggregated access counts by offset:
==14000== 
==14000== [   0]  2000 2000 2000 2000 
==14000== 
==14000== 
==14000== 
==14000== ==============================================================
==14000== 
==14000== Some hints: (see --help for command line option details):
==14000== 
==14000== * summary stats for whole program are at the top of this output
==14000== 
==14000== * --show-top-n=  controls how many alloc points are shown.
==14000==                  You probably want to set it much higher than
==14000==                  the default value (10)
==14000== 
==14000== * --sort-by=     specifies the sort key for output.
==14000==                  See --help for details.
==14000== 
==14000== * Each allocation stack, by default 12 frames, counts as
==14000==   a separate alloc point.  This causes the data to be spread out
==14000==   over far too many alloc points.  I strongly suggest using
==14000==   --num-callers=4 or some such, to reduce the spreading.
==14000==

三、結果分析

1、概要資訊
==14000== ======== SUMMARY STATISTICS ========
==14000== guest_insns:  333,340
==14000== max_live:     104,008 in 1,003 blocks
==14000== tot_alloc:    108,008 in 2,003 blocks
==14000== insns per allocated byte: 3

guest_insns：程式執行的指令總數；
max_live：程式執行期間堆記憶體最大值；
tot_alloc：程式執行期間堆記憶體累計值；
insns per allocated byte：平均每到每條指令分配的堆記憶體數

2、每次分配的堆記憶體的資訊

如果程式很大，分配堆記憶體的點很多，一般會不列出點的資訊，DHAT會按照分配記憶體的數量由多到少的順序列出前n個，n預設是10，可以由選項–show-top-n=來設定，一般情況下會設定幾百個。
下面是其中一個堆記憶體分配點的的詳細資訊：

==14000== ======== ORDERED BY decreasing "max-bytes-live": top 10 allocators ========
==14000== -------------------- 1 of 10 --------------------
==14000== max-live:    100,000 in 1 blocks
==14000== tot-alloc:   100,000 in 1 blocks (avg size 100000.00)
==14000== deaths:      1, at avg age 209,049 (62.71% of prog lifetime)
==14000== acc-ratios:  0.00 rd, 0.00 wr  (0 b-read, 0 b-written)
==14000==    at 0x4C28EF0: malloc (vg_replace_malloc.c:296)
==14000==    by 0x400592: main (main.c:6)
==14000==

max-live：程式執行期間堆記憶體最大值
tot-alloc：程式執行期間堆記憶體累計值
deaths：釋放次數
acc-ratios：分配的塊中的每個位元組平均讀寫次數

四、命令列選項

–show-top-n= [default: 10]
設定顯示的條目，預設是10，這個值比較小，一般情況下至少要設定為幾百。

–sort-by= [default: max-bytes-live]
在執行結束時，DHAT根據某個指標對累積的分配點進行排序，並顯示最高得分條目。 --sort-by 選擇用於排序的指標：

  1. max-bytes-live 程式執行期間堆記憶體最大值，按位元組計算[預設]；
  2. tot-bytes-allocd 程式執行期間堆記憶體累計值，按位元組計算；
  3. max-blocks-live 程式執行期間堆記憶體最大值，按塊計算；
  4. tot-blocks-allocd 程式執行期間堆記憶體累計值，按塊計算

友情提示：

  1. 按max-blocks-live排序往往會顯示建立大量小物件的分配點。
  2. –num-callers = 4或更小，更容易的分析分配點。

相關推薦

【linux】Valgrind工具集詳解（十二）：DHAT：動態堆分析器

一、概述 DHAT動態堆分析器。Massif（堆分析器）是在程式結束後輸出分析結果，而DHAT是實時輸出結果，所以叫做動態堆分析器。Massif只記錄堆記憶體的申請和釋放，DHAT還會分析堆空間的使用率、使用週期等資訊。 DHAT的功能：它首先記錄在堆上分配的塊，通過分析每次記憶體訪

【linux】Valgrind工具集詳解（十五）：Callgrind（效能分析圖）

一、概述 1、Callgrind Callgrind用於記錄程式中函式之間的呼叫歷史資訊，對程式效能分析。預設情況下，收集的資料包括執行的指令數，它們與原始碼行的關係，函式之間的呼叫者、被呼叫者關係以及此類呼叫的數量。可選項是，對快取記憶體模擬和分支預測（類似於Cachegrin

【linux】Valgrind工具集詳解（十四）：Cachegrind（快取和分支預測分析器）

一、概述 Cachegrind，它模擬CPU中的一級快取I1，Dl和二級快取，能夠精確地指出程式中cache的丟失和命中。如果需要，它還能夠為我們提供cache丟失次數，記憶體引用次數，以及每行程式碼，每個函式，每個模組，整個程式產生的指令數。這對優化程式有很大的幫助。 Cach

【linux】Valgrind工具集詳解（十一）：Massif（堆分析器）

一、概述 Massif是一個堆分析器。它統計程式使用的堆記憶體大小（由malloc等函式分配的記憶體）。預設情況下不統計程式所使用的所有記憶體，如果想統計所有記憶體，需要使用選項–pages-as-heap=yes。 堆分析可以幫助減少程式使用的記憶體。如果分配的記憶體還沒有釋放

【linux】Valgrind工具集詳解（十）：SGCheck（檢查棧和全域性陣列溢位）

一、概述 SGCheck是一種用於檢查棧中和全域性陣列溢位的工具。它的工作原理是使用一種啟發式方法，該方法源於對可能的堆疊形式和全域性陣列訪問的觀察。 棧中的資料：例如函式內宣告陣列int a[10]，而不是malloc分配的，malloc分配的記憶體是在堆中。 SGCheck和Me

【linux】Valgrind工具集詳解（十三）：DRD（執行緒錯誤檢測器）

一、概述 多執行緒程式設計需要注意的問題： 資料競爭；鎖競爭；POSIX執行緒API使用不當；死鎖； 二、使用 1、例子main.c原始碼 #include <stdio.h> #include <pthread.h> #include <s

【linux】Valgrind工具集詳解（十三）：Helgrind（執行緒錯誤檢測器）

一、概述 Helgrind用於檢測C、C ++和Fortran程式中使用符合POSIX標準的執行緒函式造成的同步錯誤。 POSIX中關於執行緒的主要抽象描述有：共享公共地址空間的一組執行緒、執行緒建立、執行緒連線、執行緒退出、互斥（鎖）、條件變數（執行緒間事件通知）、讀寫器鎖、自

【linux】Valgrind工具集詳解（九）：Memcheck檢查的內容和方法

一、值的有效性 1、什麼是值的有效性？ 英文原文是Valid-value (V) bits，直譯過來就是有效值（V）位。 我將它理解為值的有效性，就是判斷在記憶體或CPU的實體地址中儲存的資料是否有效，比如在記憶體中變數（int i）代表的物理位置（不是地址），沒有初始化，就去使用它

【linux】Valgrind工具集詳解（八）：Memcheck命令列引數詳解

【linux】Valgrind工具集詳解（五）：命令列詳解中不夠全，在此專門針對Memcheck工具中的命令列引數做一次詳細的解釋。 Memcheck命令列選項 –leak-check=<no|summary|yes|full> [default: summary]

【linux】Valgrind工具集詳解（七）：Memcheck（記憶體錯誤檢測器）

一、概述 Memcheck是一個記憶體錯誤檢測器。它可以檢測C和C ++程式中常見的以下問題： 1、非法記憶體：如越界、釋放後繼續訪問； 2、使用未初始化的值； 3、釋放記憶體錯誤：如double-free（同一記憶體上執行了兩次free）、或者 malloc、new、new[] 與

【linux】Valgrind工具集詳解（六）：使用Valgrind gdbserver和GDB除錯程式

一、概述 在Valgrind下執行的程式不是由CPU直接執行的。相反，它執行在Valgrind提供的合成CPU上。這就是偵錯程式在Valgrind上執行時無法除錯程式的原因。 二、快速入門 在使用Memcheck工具時使用GDB除錯程式，啟動方式如下： 1、valgrind

【linux】Valgrind工具集詳解（五）：命令列詳解

一、使用方法 usage: valgrind [options] prog-and-args 使用方法：valgrind [引數選項] 程式和引數 二、選擇工具 tool-selection option, with default in [ ]: 工具選擇選項，預設值在[]

【linux】Valgrind工具集詳解（三）：列印資訊說明

一、列印資訊格式 Valgrind列印資訊的格式如下，很容易和程式輸出資訊區分出來 == 程序ID ==Valgrind的列印資訊 二、列印到何處 1、列印到檔案描述符中 主要是設定列印到終端上，預設情況下為2（stderr標準錯誤輸出）。如果要想列印到其他檔

Pygame詳解（十二）：Surface 物件

pygame.Surface Pygame 中用於表示影象的物件。 Surface((width, height), flags=0, depth=0, masks=None) -> Surface Surface((width, height), flags=0, Surfa

Java資料結構詳解（十二）- HashMap

HashMap 基於雜湊表的 Map 介面的實現。此實現提供所有可選的對映操作，並允許使用 null 值和 null 鍵。（除了非同步和允許使用 null 之外，HashMap 類與 Hashtable 大致相同。）此類不保證對映的順序，特別是它不保證該順序恆

SpringBoot開發詳解（十二） -- SpringBoot中執行定時任務

最近在專案中一直使用定時任務完成一些業務邏輯，比如天氣介面的資料獲取，定時傳送簡訊，郵件。以及商城中每天使用者的限額，定時自動收貨等等。定時器在專案中是我們常常會使用到的一個手段，今天我們就來看下在SpringBoot中如何整合定時任務。 定時任務在Sprin

Redis詳解（十二）------ 快取穿透、快取擊穿、快取雪崩

　　本篇部落格我們來介紹Redis使用過程中需要注意的三種問題：快取穿透、快取擊穿、快取雪崩。 1、快取穿透 一、概念 　　快取穿透：快取和資料庫中都沒有的資料，可使用者還是源源不斷的發起請求，導致每次請求都會到資料庫，從而壓垮資料庫。 　　如下圖紅色的流程： 　　    　　比如客戶查

【linux】ssh配置檔案詳解

nux中/etc/hosts.deny檔案可以配置限制訪問ip等資訊，它同apache中order deny,allow 差不多，不過寫法有些不同。只允許192.168.1.1訪問，這樣寫： sshd: ALL EXCEPT 192.168.1.1 同理在/etc/下有

【Java入門提高篇】Day34 Java容器類詳解（十五）WeakHashMap詳解

public class WeakHashMapTest { public static void main(String[] args){ testWeakHashMap(); } private static void testWeakHashMap

【Django】模型 欄位詳解（五）

欄位： EmailField和TextField：這可能是你會遇到的最常用的變數型別，作用基本一致儲存文字，區別在於CharField是定長的，TextField是無限長的EmailField，URLField和IPAddressField ：這三個變數其實是在CharFi