Write a Blog >>
PLDI 2020
Mon 15 - Fri 19 June 2020
Thu 18 Jun 2020 06:20 - 06:40 at PLDI Research Papers live stream - Performance Chair(s): Fredrik Kjolstad

Achieving peak performance in a computer system requires optimizations in every layer of the system, be it hardware or software. A detailed understanding of the underlying hardware, and especially the processor, is crucial to optimize software. One key criterion for the performance of a processor is its ability to exploit instruction-level parallelism. This ability is determined by the port mapping of the processor, which describes the execution units of the processor for each instruction.

Processor manufacturers usually do not share the port mappings of their microarchitectures. While approaches to automatically infer port mappings from experiments exist, they are based on processor-specific hardware performance counters that are not available on every platform.

We present PMEvo, a framework to automatically infer port mappings solely based on the measurement of the execution time of short instruction sequences. PMEvo uses an evolutionary algorithm that evaluates the fitness of candidate mappings with an analytical throughput model formulated as a linear program. Our prototype implementation infers a port mapping for Intel's Skylake architecture that predicts measured instruction throughput with an accuracy that is competitive to existing work. Furthermore, it finds port mappings for AMD's Zen+ architecture and the ARM Cortex-A72 architecture, which are out of scope of existing techniques.

Thu 18 Jun

Displayed time zone: Pacific Time (US & Canada) change

06:20 - 07:40
06:20
20m
Talk
PMEvo: Portable Inference of Port Mappings for Out-of-Order Processors by Evolutionary Optimization
PLDI Research Papers
Fabian Ritter Saarland University, Germany, Sebastian Hack Saarland University, Germany
06:40
20m
Talk
PMThreads: Persistent Memory Threads Harnessing Versioned Shadow Copies
PLDI Research Papers
Zhenwei Wu National University of Defense Technology, China / University of Manchester, UK, Kai Lu National University of Defense Technology, China, Andrew Nisbet University of Manchester, UK, Wenzhe Zhang National University of Defense Technology, China, Mikel Luján University of Manchester, UK
07:00
20m
Talk
SympleGraph: Distributed Graph Processing with Precise Loop-Carried Dependency Guarantee
PLDI Research Papers
Youwei Zhuo University of Southern California, USA, Jingji Chen University of Southern California, USA, Qinyi Luo University of Southern California, USA, Yanzhi Wang Northeastern University, USA, Hailong Yang Beihang University, China, Depei Qian Beihang University, China, Xuehai Qian University of Southern California, USA
07:20
20m
Talk
SCAF: A Speculation-Aware Collaborative Dependence Analysis Framework
PLDI Research Papers
Sotiris Apostolakis Princeton University, USA, Ziyang Xu Princeton University, USA, Zujun Tan Princeton University, USA, Greg Chan Princeton University, USA, Simone Campanoni Northwestern University, USA, David I. August Princeton University, USA
DOI Pre-print Media Attached