Work

PipeGen: Automated Transformation of a Single-Core Pipeline into a Multicore Pipeline for a Given Memory Consistency Model

Year: 2024

Type: conference-paper

Abstract: Designing a pipeline for a multicore processor is difficult. One major challenge is designing it such that the pipeline correctly enforces the intended memory consistency model (MCM). We have developed the PipeGen design automation tool to allow architects to start with a single core pipeline that only enforces single-threaded correctness and automatically transform it to enforce a given MCM. Our key innovation is a set of compiler-like transformations that codify three different ways of enforcing memory ordering at the pipeline. We have validated that PipeGen correctly enforces the ARMv8 and x86TSO MCMs on three distinct pipeline implementations, using litmus tests with the Murphi model checker.

Source: International Conference on Parallel Architectures and Compilation Techniques

DOI: 10.1145/3656019.3676889

Authors: An Qi Zhang, Andrés Goens, Nicolai Oswald, Tobias Grosser, Daniel Sorin, Vijay Nagarajan