CISPA
Browse
cispa_all_3333.pdf (2.01 MB)

Type-Directed Scheduling of Streaming Accelerators

Download (2.01 MB)
conference contribution
posted on 2023-11-29, 18:14 authored by David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross Daly, Gilbert Louis Bernstein, Marco Patrignani
Designing efficient, application-specialized hardware accelerators requires assessing trade-offs between a hardware module’s performance and resource requirements. To facilitate hardware design space exploration, we describe Aetherling, a system for automatically compiling data-parallel programs into statically scheduled, streaming hardware circuits. Aetherling contributes a space- and time-aware intermediate language featuring data-parallel operators that represent parallel or sequential hardware modules, and sequence data types that encode a module’s throughput by specifying when sequence elements are produced or consumed. As a result, well-typed operator composition in the space-time language corresponds to connecting hardware modules via statically scheduled, streaming interfaces. We provide rules for transforming programs written in a standard data-parallel language (that carries no information about hardware implementation) into equivalent space-time language programs. We then provide a scheduling algorithm that searches over the space of transformations to quickly generate area-efficient hardware designs that achieve a programmer-specified throughput. Using benchmarks from the image processing domain, we demonstrate that Aetherling enables rapid exploration of hardware designs with different throughput and area characteristics, and yields results that require 1.8-7.9× fewer FPGA slices than those of prior hardware generation systems.

History

Preferred Citation

David Durst, Matthew Feldman, Dillon Huff, David Akeley, Ross Daly, Gilbert Bernstein and Marco Patrignani. Type-Directed Scheduling of Streaming Accelerators. In: ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI). 2020.

Primary Research Area

  • Reliable Security Guarantees

Name of Conference

ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI)

Legacy Posted Date

2020-12-14

Open Access Type

  • Unknown

BibTeX

@inproceedings{cispa_all_3333, title = "Type-Directed Scheduling of Streaming Accelerators", author = "Durst, David and Feldman, Matthew and Huff, Dillon and Akeley, David and Daly, Ross and Bernstein, Gilbert Louis and Patrignani, Marco", booktitle="{ACM-SIGPLAN Conference on Programming Language Design and Implementation (PLDI)}", year="2020", }

Usage metrics

    Categories

    No categories selected

    Exports

    RefWorks
    BibTeX
    Ref. manager
    Endnote
    DataCite
    NLM
    DC