DOE Patents title logo U.S. Department of Energy
Office of Scientific and Technical Information

Title: Static versioning in the polyhedral model

Abstract

An approach is presented to enhancing the optimization process in a polyhedral compiler by introducing compile-time versioning, i.e., the production of several versions of optimized code under varying assumptions on its run-time parameters. We illustrate this process by enabling versioning in the polyhedral processor placement pass. We propose an efficient code generation method and validate that versioning can be useful in a polyhedral compiler by performing benchmarking on a small set of deep learning layers defined for dynamically-sized tensors.

Inventors:
;
Issue Date:
Research Org.:
Reservoir Labs Inc., San Diego, CA (United States)
Sponsoring Org.:
USDOE Office of Science (SC), Advanced Scientific Computing Research (ASCR)
OSTI Identifier:
2221950
Patent Number(s):
11693636
Application Number:
17/526,611
Assignee:
Reservoir Labs, Inc. (San Diego, CA)
DOE Contract Number:  
SC0017071; SC0018480; SC0019522
Resource Type:
Patent
Resource Relation:
Patent File Date: 11/15/2021
Country of Publication:
United States
Language:
English

Citation Formats

Meister, Benoit J., and Dattatri, Adithya. Static versioning in the polyhedral model. United States: N. p., 2023. Web.
Meister, Benoit J., & Dattatri, Adithya. Static versioning in the polyhedral model. United States.
Meister, Benoit J., and Dattatri, Adithya. Tue . "Static versioning in the polyhedral model". United States. https://www.osti.gov/servlets/purl/2221950.
@article{osti_2221950,
title = {Static versioning in the polyhedral model},
author = {Meister, Benoit J. and Dattatri, Adithya},
abstractNote = {An approach is presented to enhancing the optimization process in a polyhedral compiler by introducing compile-time versioning, i.e., the production of several versions of optimized code under varying assumptions on its run-time parameters. We illustrate this process by enabling versioning in the polyhedral processor placement pass. We propose an efficient code generation method and validate that versioning can be useful in a polyhedral compiler by performing benchmarking on a small set of deep learning layers defined for dynamically-sized tensors.},
doi = {},
journal = {},
number = ,
volume = ,
place = {United States},
year = {2023},
month = {7}
}

Works referenced in this record:

Runtime multi-versioning and specialization inside a memoized speculative loop optimizer
conference, February 2020


Polyhedral Source-to-Source Compiler
conference, June 2016


Unified optimization of iterative analytical query processing
patent, February 2021


CAnDL: a domain specific language for compiler analysis
conference, February 2018


System and Method for Advanced Polyhedral Loop Transformations of Source Code in a Compiler
patent-application, March 2009