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öße | Format | |
---|---|---|---|---|
3563288.pdf | 343,07 kB | Adobe PDF | Öffnen/Anzeigen |
Diese Ressource wurde unter folgender Copyright-Bestimmung veröffentlicht: Lizenz von Creative Commons