A mathematical formulation of the loop pipelining problem
Visualitza/Obre
Estadístiques de LA Referencia / Recolecta
Inclou dades d'ús des de 2022
Cita com:
hdl:2117/129946
Tipus de documentText en actes de congrés
Data publicació1996
EditorUniversitat Politècnica de Catalunya (UPC)
Condicions d'accésAccés obert
Tots els drets reservats. Aquesta obra està protegida pels drets de propietat intel·lectual i
industrial corresponents. Sense perjudici de les exempcions legals existents, queda prohibida la seva
reproducció, distribució, comunicació pública o transformació sense l'autorització del titular dels drets
Abstract
This paper presents a mathematical model for the loop pipelining problem that considers several parameters for optimization and supports any combination of resource and timing constraints. The unrolling degree of the loop is one of the variables explored by the model. By using Farey’s series, an optimal exploration of the unrolling degree is performed and optimal solutions not considered by other methods are obtained. Finding an optimal schedule that minimizes resource and register requirements is solved by using an Integer linear programming (ILP) model. A novel paradigm called branch and prune is proposed to eficiently converge towards the optimal schedule and prune the search tree for integer solutions, thus drastically reducing the running time. This is the first formulation that combines the unrolling degree of the loop with timing and resource constraints in a mathematical model that guarantees optimal solutions.
CitacióCortadella, J.; Badia, R.M.; Sánchez, F. A mathematical formulation of the loop pipelining problem. A: Conference on Design of Circuits and Integrated Systems. "DCIS96, XI Design of Integrated Circuits and Systems Conference: proceedings". Barcelona: Universitat Politècnica de Catalunya (UPC), 1996, p. 355-360.
ISBN84-89349-83-5
Col·leccions
- Departament de Ciències de la Computació - Ponències/Comunicacions de congressos [1.274]
- ALBCOM - Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals - Ponències/Comunicacions de congressos [334]
- CAP - Grup de Computació d'Altes Prestacions - Ponències/Comunicacions de congressos [784]
- Departament d'Arquitectura de Computadors - Ponències/Comunicacions de congressos [1.954]
Fitxers | Descripció | Mida | Format | Visualitza |
---|---|---|---|---|
dcis96_loop.pdf | 118,8Kb | Visualitza/Obre |