本页使用了标题或全文手工转换

性能分析

维基百科,自由的百科全书
跳转至: 导航搜索

软件工程中,性能分析performance analysis也称为profiling),是以收集程序运行时信息为手段研究程序行为的分析方法,是一種動態程式分析英语Dynamic program analysis的方法。

性能分析量測像是程式的空間或時間複雜度特定指令的使用情形英语instruction set simulator、函式呼叫的頻率及執行時間等。性能分析的目的在于决定程序的哪个部分应该被优化英语Program optimization,从而提高程序的速度或者内存使用效率。

性能分析可以由程式的源代碼或是可執行檔進行.一般會使用稱為性能分析工具(profiler)的工具進行。性能分析工具會使用許多不同的技術,可能是以事件為基礎(Event-based)的、統計的、指令導向的,以及仿真的方法。性能分析工具常用在性能工程英语Performance engineering过程中使用。

性能分析工具[编辑]

CodeAnalyst英语CodeAnalyst性能分析工具的圖像輸出

"若要了解程式行為,程式分析工具非常重要。電腦架構分析師需要這類工具來評估程式在新的系统结构中運作的情形。軟體撰寫者需要這類工具來分析程式,並分析出其中關鍵的區塊。編譯器撰寫者需要這類工具來評估其指令排程英语instruction scheduling分支預測演算法運作的情形" -- (ATOM, PLDI, '94)

性能分析工具使用广泛的技术手段收集数据,包括硬件中断代码指令英语Instrumentation (computer programming)作業系统hooking英语hooking,CPU内置的性能计数寄存器英语Hardware performance counter等等。

性能分析输出會是:

  • 統計性的事件滙總(轮廓,profile)
滙總的轮廓資訊一般會標示在程式碼後面.用一個計數器表示此事件發生的次數,因此滙總的轮廓資訊和程式碼長度成正比。
/* ------------ 源代碼------------------------- 發行次數 */            
0001             IF X = "A"                     0055
0002                THEN DO                      
0003                  ADD 1 to XCOUNT           0032
0004                ELSE
0005             IF X = "B"                     0055


  • 所有事件的记录流(踪迹,trace)
事件的踪迹(trace)则与指令路徑長度英语Instruction path length成线性关系,也就是和运行时长成线性关系。由於資料量大,有時會不切實際。有些程式分析工具可以設定.在某特殊條件下才啟動事件踪迹的記錄,在另外特殊條件下結束事件踪迹的記錄。
对于顺序执行的程序,通常轮廓就足够了。但并行计算程序的性能问题(等待消息或者同步问题)和事件的時間順序有關,因此需要全部的踪迹才能找到问题。
  • hypervisor持續性的互動監控(針對事件連續性或週期性顯示在螢幕上)
在觀看在執行程式的相關度量時.可在任意時刻啟動或結束事件踪迹的記錄,也可以在一些關鍵的點上暫停非同步的程式來看和其他平行處理程式之間的互動關係。

历史[编辑]

早在1970年代,IBM System/360IBM System/370英语IBM/370的平台就有性能分析工具,一般是用計時器中斷在固定的時間紀錄程式狀態字英语Program status word(PSW)來偵測程式執行時的「過熱點」(hot spots)。這是早期使用抽樣方式進行性能分析的範例之一。在1974年時,指令集仿真器英语instruction set simulator就允許完整的事件踪迹,以及其他性能監控的機能。

以性能分析工具為主的UNIX程式分析至少可以回溯到1979年,當時Unix系統有一個基礎工具prof,可以列出每一個函式,也列出此函式總共花了多少時間。1982年時gprof工具延伸此概念,可以列出完整的函式調用圖英语Call graph[1]

1994年時,迪吉多的Amitabh Srivastava和Alan Eustace提出了描述ATOM的論文[2]。ATOM是一個平台,可以將程式配合其性能分析工具調整,在編譯期間英语compile time,ATOM會在要分析的程式中加入程式碼,而加入的程式碼會輸出分析資料,這種修改程式,輸出自身分析資料的技術,稱為邏輯注入英语Instrumentation (computer programming)

2004年時.gprof和ATOM論文都出現在前50個最具影響力的程式語言設計和實現會議英语Conference on Programming Language Design and Implementation(PLDI)論文中[3]

以输出方式分类[编辑]

一般性能分析器[编辑]

一般性能分析器(flat profiler)根據函式呼叫計算平均的函式呼叫次數,而且不會根據被呼叫函數或是執行脈絡(context)細分函式呼叫次數。

函式調用圖性能分析器[编辑]

函式調用圖英语Call graph會顯示函數被呼叫的次數及頻率,也會列出函式調用鏈(call-chains),有些軟體會列完整的調用鏈,有些不會。

以分析方式的分類[编辑]

性能分析器本身也是程式,可以在被分析程式執行時收集相關資訊,來分析該程式。根據收集到資訊的細微度,以及收集資訊的方式,可以分為事件為基礎的性能分析器,或是統計式的性能分析器。有些性能分析器為了收集資訊,會中斷程式的執行,因此在時間量測上有一定的解析度限制。

事件為基礎的性能分析器[编辑]

以下列出的程式語言有事件為基礎的性能分析器:

  • JavaJVMTI英语Java Virtual Machine Tools Interface(JVM工具介面)API,以前稱為JVMPI(JVM性能分析介面),提供給性能分析器的hook,可以抓到像函式呼叫、類別載入、卸載、線程的進入及離開等事件。
  • .NET框架:利用性能分析的API,可以連接到像是COM伺服器的性能分析代理器(profiling agent)。像Java一様,在執行會提供許多回调函式給代理器,可以捕捉到像是方法JIT/進入/離開,物件創建及其他。特別的是性能分析代理器可以用任意方式改寫目的應用程式的位元組碼。
  • Python:Python的性能分析包括profile模組,以調用函式圖為基礎的hotshot,以及用'sys.setprofile'函式來捕捉像c_{call,return,exception}及python_{call,return,exception}的事件。
  • Ruby:Ruby也用類似Python的性能分析界面。目前有在profile.rb中的一般效能分析器及相關模組。

統計式的性能分析器[编辑]

有些性能分析器是用取様的方式運作。取様式的性能分析器利用作業系統中斷,在固定時間取様目的程式的程式計數器。取様式的性能分析器在數值上較不精準,但對目的程式執行時間的影響最小,允許目的程式可以在接近全速的速度下運作。

所得到的資料不是精準值,只是統計上的近似值而已。「實際誤差的量一般會大於一個取樣時間.若芋某一數值是取様時間的n倍,其誤差約為n倍取様時間的平方根」[4]

在實務上統計式的性能分析器會比其他的分析方式更能知道目的程式各部份占的比例,而且相較之下有較少的邊際效應(例如記憶體快取或是指令解碼的管道線等),由於統計式的性能分析器對程式執行速度的影響較小.因此可以偵測到一些其他方式偵測不到的問題。這種方式可以看出使用者模式及可中斷系統模式(例如系統呼叫)分別佔的時間。

不過由於系統程式需處理中斷,仍然會花一些CPU的執行周期,分散快取的讀取,而且無法分辨在不可中斷核心模式下的行為。

有些特製的硬體可以克服這類的問題:有些最近MIPS微理器中,JTAG介面有一個PCSAMPLE暫存器,可以用一種無法偵測到的方式來取様程式計數器。

最常用的統計式的性能分析器包括AMDCodeAnalyst蘋果公司Shark(OSX)、IntelVTune英语及Parallel Amplifier(Intel Parallel Studio英语Intel Parallel Studio的一部份)。

插裝型的性能分析器[编辑]

有些性能分析可以用插裝英语instrumenting(也稱為邏輯注入)的方式處理目的程式,也就是在目的程式中加入額外指令來收集需要的資訊。

程式的插裝會影響程式的效能,可能會出現不精確的結果及 heisenbug英语heisenbug(捉摸不定,不易重現的bug)。插裝一定會對程式執行有些影響,常見的情形是使程式變慢。不過插裝可以特定只針對部份程式,而且可以小心控制以使影響降到最低。其對於特定程式的影響是看插裝放置的位置,以及捕捉蹤跡(trace)的機制。有些處理器有硬體支持可以捕捉蹤跡,插裝可以只佔一個机器语言週期的時間。一般可以從結果中移除插裝的影響。

gprof是一個同時用插裝及取様的性能分析器的例子。插裝用來取得被呼叫函式的資訊,而實際花的時間則是由取様方式來獲得。

插裝是決定性能分析器可控制程度及時間解析度的關鍵。以下是一些方式的分類。

直譯器式的插裝[编辑]

  • 直譯器式除錯選項,可以在直譯器處理每個目的指令時,收集性能量度的相關資訊。像字节码控制表JIT的直譯器都在目的碼執行時有完整的控制能力,因此有機會收集到非常全面的資料。

hypervisor或仿真器[编辑]

相關條目[编辑]

參考資料[编辑]

  1. ^ gprof: a Call Graph Execution Profiler // Proceedings of the SIGPLAN '82 Symposium on Compiler Construction, SIGPLAN Notices, Vol. 17, No 6, pp. 120-126; doi:10.1145/800230.806987
  2. ^ Amitabh Srivastava and Alan Eustace, "Atom: A system for building customized program analysis tools", 1994 (download) // Proceeding PLDI '94 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation. Pages 196 - 205, doi:10.1145/773473.178260
  3. ^ 20 Years of PLDI (1979–1999): A Selection, Kathryn S. McKinley, Editor
  4. ^ Statistical Inaccuracy of gprof Output

外部連結[编辑]