Please use this identifier to cite or link to this item: doi:10.22028/D291-39955
Title: AnICA: Analyzing Inconsistencies in Microarchitectural Code Analyzers
Author(s): Ritter, Fabian
Hack, Sebastian
Language: English
Title: Proceedings of the ACM on Programming Languages
Volume: 6
Issue: OOPSLA2
Pages: 1-29
Publisher/Platform: Association for Computing Machinery
Year of Publication: 2022
Free key words: Throughput Prediction
Basic Blocks
Differential Testing
DDC notations: 004 Computer science, internet
Publikation type: Conference Paper
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 of the first publication: 10.1145/3563288
URL of the first publication:
Link to this record: urn:nbn:de:bsz:291--ds-399557
ISSN: 2475-1421
Date of registration: 12-Jun-2023
Faculty: MI - Fakultät für Mathematik und Informatik
Department: MI - Informatik
Professorship: MI - Prof. Dr. Sebastian Hack
Collections:SciDok - Der Wissenschaftsserver der Universität des Saarlandes

Files for this record:
File Description SizeFormat 
3563288.pdf343,07 kBAdobe PDFView/Open

This item is licensed under a Creative Commons License Creative Commons