Semi-automatic validation of cycle-accurate simulation infrastructures: The case for gem5-x86
Visualitza/Obre
10.1016/j.future.2020.06.035
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/329999
Tipus de documentArticle
Data publicació2020-11
EditorElsevier
Condicions d'accésAccés obert
Llevat que s'hi indiqui el contrari, els
continguts d'aquesta obra estan subjectes a la llicència de Creative Commons
:
Reconeixement-NoComercial-SenseObraDerivada 4.0 Internacional
ProjecteCOMPUTACION DE ALTAS PRESTACIONES VII (MINECO-TIN2015-65316-P)
Mont-Blanc 2020 - Mont-Blanc 2020, European scalable, modular and power efficient HPC processor (EC-H2020-779877)
ROMOL - Riding on Moore's Law (EC-FP7-321253)
MONT-BLANC 2 - Mont-Blanc 2, European scalable and power efficient HPC platform based on low-power embedded technology (EC-FP7-610402)
Mont-Blanc 2020 - Mont-Blanc 2020, European scalable, modular and power efficient HPC processor (EC-H2020-779877)
ROMOL - Riding on Moore's Law (EC-FP7-321253)
MONT-BLANC 2 - Mont-Blanc 2, European scalable and power efficient HPC platform based on low-power embedded technology (EC-FP7-610402)
Abstract
Since the early 70s, simulation infrastructures have been a keystone in computer architecture research, providing a fast and reliable way to prototype and evaluate ideas for future computing systems. There are different types of simulators, from most detailed (cycle-accurate) to time-based/functional and analytical modeling. Increasing accuracy translates into several orders of magnitude in terms of simulation speed. Yet, a question remains open: are the results derived from the simulation infrastructure representative of a real machine?
Validation of these infrastructures is complex and costly, usually performed upon release. However, most simulators do not provide the appropriate means to verify or validate new architectural models. In this paper, we introduce a semi-automatic validation framework based on real-hardware performance counter information. The framework provides two levels of abstraction: (a) a high level definition of the processor behavior (Top-Down model) and (b) detailed per-structure and per-pipeline-stage usage breakdown to pinpoint simulator issues. We used this framework to validate the latest available gem5-x86 simulation environment, and found several sources of error that alter the expected behavior of the simulated processor, which we were later to document and correct.
CitacióCebrián, J.M. [et al.]. Semi-automatic validation of cycle-accurate simulation infrastructures: The case for gem5-x86. "Future generation computer systems", Novembre 2020, vol. 112, p. 832-847.
ISSN0167-739X
Versió de l'editorhttps://www.sciencedirect.com/science/article/pii/S0167739X19304972
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
Cebrian.pdf | 442,1Kb | Visualitza/Obre |