本文關(guān)鍵詞：基于SMP的離散事件執(zhí)行驅(qū)動性能模擬器設計與實現(xiàn)　出處：《國防科學技術(shù)大學》2012年碩士論文　論文類型：學位論文

  更多相關(guān)文章： 高性能計算 性能模擬 MPICH2 SMP-SIM 離散事件模擬 執(zhí)行驅(qū)動

【摘要】：近十幾年來，生物分子模擬，航空宇宙計算，颶風預測等科學、工程和社會領(lǐng)域的超高計算能力的大型應用的進展，推動著高性能計算系統(tǒng)的持續(xù)發(fā)展。為了降低成本，系統(tǒng)開發(fā)和設計人員需要對系統(tǒng)性能進行全面深入的性能分析，評測應用在他們計劃研制的系統(tǒng)上的性能能否達到預期，以指導軟硬件選型和系統(tǒng)平衡設計，為系統(tǒng)的設計、實現(xiàn)以及優(yōu)化提供參考。由于相對建模分析等其它方法，在預測精度、時間開銷以及靈活性等方面的優(yōu)勢，模擬方法已成為當前并行系統(tǒng)性能分析與預測的主流技術(shù)。 本文針對性能模擬技術(shù)展開研究，主要研究內(nèi)容包括離散事件執(zhí)行驅(qū)動的性能模擬器設計、實現(xiàn)以及實驗驗證。 本文首先分析了基于對稱多處理機的離散事件模擬器設計中面臨的關(guān)鍵問題，然后提出對應的解決辦法。基于SMP統(tǒng)一編址的存儲結(jié)構(gòu)，SMP-SIM模擬器事件處理的核心思想包括兩個方面，一是以CPU為粒度對事件進行全局管理，在共享段存放全局數(shù)據(jù)結(jié)構(gòu)，統(tǒng)一管理所有綁定在該CPU上運行的進程所產(chǎn)生的事件。其基本思想是每次選擇產(chǎn)生時間最小的事件進行處理。二是采用虛實結(jié)合的方法處理被選擇的事件：選中某個事件進行處理時，如果該事件是通信開始事件，則采用虛處理，通信開銷通過通信模型計算；如果事件是串行計算開始事件，則采用實處理，串行計算的時間通過直接運行獲得。 然后基于對關(guān)鍵問題的分析，提出了基于SMP的離散事件模擬器SMP-SIM的設計方案，并對其中關(guān)鍵功能模塊的原理進行了詳細分析。SMP-SIM模擬器的功能是通過在MPI庫層次結(jié)構(gòu)中引入模擬API層來實現(xiàn)的，模擬API層包含3個功能模塊：通信原語分解模塊，通信模型模塊和事件管理模塊。在通信原語分解模塊中，所有的通信原語通過核心點對點通信原語重新構(gòu)造。當目標程序在宿主機上執(zhí)行到某個通信原語時，該通信原語會被通信原語分解模塊分解為核心原語，從而調(diào)用核心點對點通信原語。核心點對點通信原語的調(diào)用和返回產(chǎn)生相應的事件。事件管理模塊統(tǒng)一調(diào)度事件，，對其進行處理，并更新對應進程的模擬時間。在處理通信類事件時，事件管理模塊將會和通信模型模塊進行交互，負責對通信類事件的相關(guān)時間進行計算。 最后，基于MPICH2通信庫實現(xiàn)了SMP-SIM原型系統(tǒng)，并從模擬精度、執(zhí)行效率和可擴展性三個方面對模擬器進行了全面的測試與分析。實驗結(jié)果表明該模擬器具有較高的精度和良好的可擴展性，初步驗證了設計方案的正確性和有效性。
[Abstract]:In the last decade, biomolecular simulation, aerospace computing, hurricane prediction and other scientific, engineering and social fields of ultra-high computing power of large-scale applications. In order to reduce the cost, system developers and designers need to conduct a comprehensive and in-depth performance analysis of the system performance. To evaluate the performance of the system they plan to develop can meet the expectations to guide the hardware and software selection and system balance design for the design of the system. Compared with other methods, such as modeling and analysis, it has advantages in prediction accuracy, time cost and flexibility. Simulation method has become the mainstream technology of parallel system performance analysis and prediction. In this paper, the performance simulation technology is studied, including discrete event execution driven performance simulator design, implementation and experimental verification. In this paper, the key problems in the design of discrete event simulator based on multiprocessor are analyzed, and the corresponding solutions are proposed. The storage structure is based on SMP unified addressing. The core idea of event handling in SMP-SIM simulator includes two aspects. One is to manage the event globally with the granularity of CPU and store the global data structure in the shared segment. Unifies the management of events generated by all processes that are bound to run on the CPU. The basic idea is to select the event that has the minimum generation time to handle the event at a time. The second is to process the selected event using a combination of virtual and real methods:. When an event is selected for processing. If the event is a communication start event, it uses virtual processing, and the communication overhead is calculated by the communication model. If the event is a serial computing start event, it uses real processing, and the time of serial calculation is obtained by running directly. Then, based on the analysis of the key problems, the design scheme of discrete event simulator SMP-SIM based on SMP is proposed. And the principle of the key function modules is analyzed in detail. The function of SMP-SIM simulator is realized by introducing the simulated API layer into the hierarchy of MPI library. The simulation API layer consists of three functional modules: communication primitive decomposition module, communication model module and event management module. All communication primitives are reconstructed by core point-to-point communication primitives. When the target program executes a communication primitive on the host, the communication primitive is decomposed into the core primitive by the communication primitive decomposition module. Thus the core point-to-point communication primitive is called. The call and return of the core point-to-point communication primitive produce the corresponding events. The event management module schedules the events uniformly and processes them. When dealing with communication class events, the event management module will interact with the communication model module and be responsible for calculating the relative time of communication class events. Finally, the prototype system of SMP-SIM is implemented based on MPICH2 communication library, and the simulation precision is obtained. The performance efficiency and extensibility of the simulator are tested and analyzed. The experimental results show that the simulator has high accuracy and good scalability. The correctness and validity of the design scheme are preliminarily verified.
【學位授予單位】：國防科學技術(shù)大學
【學位級別】：碩士
【學位授予年份】：2012
【分類號】：TP391.9;TP302.7

【參考文獻】

相關(guān)期刊論文 前1條

1 孫亦嘉,張岳,陳渝;基于VIA的MPICH2研究與實現(xiàn)[J];計算機工程與應用;2005年01期

本文編號：1381446