Bitte benutzen Sie diese Referenz, um auf diese Ressource zu verweisen: doi:10.22028/D291-39955
Titel: AnICA: Analyzing Inconsistencies in Microarchitectural Code Analyzers
VerfasserIn: Ritter, Fabian
Hack, Sebastian
Sprache: Englisch
Titel: Proceedings of the ACM on Programming Languages
Bandnummer: 6
Heft: OOPSLA2
Seiten: 1-29
Verlag/Plattform: Association for Computing Machinery
Erscheinungsjahr: 2022
Freie Schlagwörter: Throughput Prediction
Basic Blocks
Abstraction
Differential Testing
DDC-Sachgruppe: 004 Informatik
Dokumenttyp: Konferenzbeitrag (in einem Konferenzband / InProceedings erschienener Beitrag)
Abstract: Microarchitectural code analyzers, i.e., tools that estimate the throughput of machine code basic blocks, are important utensils in the tool belt of performance engineers. Recent tools like llvm-mca, uiCA, and Ithemal use a variety of techniques and different models for their throughput predictions. When put to the test, it is common to see these state-of-the-art tools give very different results. These inconsistencies are either errors, or they point to different and rarely documented assumptions made by the tool designers. In this paper, we present AnICA, a tool taking inspiration from differential testing and abstract interpretation to systematically analyze inconsistencies among these code analyzers. Our evaluation shows that AnICA can summarize thousands of inconsistencies in a few dozen descriptions that directly lead to high-level insights into the different behavior of the tools. In several case studies, we further demonstrate how AnICA automatically finds and characterizes known and unknown bugs in llvm-mca, as well as a quirk in AMD’s Zen microarchitectures.
DOI der Erstveröffentlichung: 10.1145/3563288
URL der Erstveröffentlichung: https://dl.acm.org/doi/10.1145/3563288
Link zu diesem Datensatz: urn:nbn:de:bsz:291--ds-399557
hdl:20.500.11880/35949
http://dx.doi.org/10.22028/D291-39955
ISSN: 2475-1421
Datum des Eintrags: 12-Jun-2023
Fakultät: MI - Fakultät für Mathematik und Informatik
Fachrichtung: MI - Informatik
Professur: MI - Prof. Dr. Sebastian Hack
Sammlung:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Dateien zu diesem Datensatz:
Datei Beschreibung GrößeFormat 
3563288.pdf343,07 kBAdobe PDFÖffnen/Anzeigen


Diese Ressource wurde unter folgender Copyright-Bestimmung veröffentlicht: Lizenz von Creative Commons Creative Commons