UPCommons està en procés de migració del dia 10 fins al 14 Juliol. L’autentificació està deshabilitada per evitar canvis durant aquesta migració.
A mathematical formulation of the loop pipelining problem

View/Open
Cita com:
hdl:2117/129946
Document typeConference report
Defense date1996
PublisherUniversitat Politècnica de Catalunya (UPC)
Rights accessOpen Access
All rights reserved. This work is protected by the corresponding intellectual and industrial
property rights. Without prejudice to any existing legal exemptions, reproduction, distribution, public
communication or transformation of this work are prohibited without permission of the copyright holder
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.
CitationCortadella, 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
Collections
- Departament de Ciències de la Computació - Ponències/Comunicacions de congressos [1.331]
- ALBCOM - Algorísmia, Bioinformàtica, Complexitat i Mètodes Formals - Ponències/Comunicacions de congressos [345]
- CAP - Grup de Computació d'Altes Prestacions - Ponències/Comunicacions de congressos [784]
- Departament d'Arquitectura de Computadors - Ponències/Comunicacions de congressos [2.055]
Files | Description | Size | Format | View |
---|---|---|---|---|
dcis96_loop.pdf | 118,8Kb | View/Open |