Tesis doctoral de Dmitry Bufistov
An elastic system (es) is a set of interconnected computational nodes. The main property of the computational nodes in an es is that they synchronize their behavior by local hand-shake protocols. That is, the behavior of a particular node depends only on its neighbors. If some input data is not available, the node waits for it as long as necessary. most computational systems one can imagine are elastic: a computer program, a microprocessor or an asynchronous circuit are elastic, while conventional synchronous circuits are not. In synchronous design (sd) it has to be guaranteed that all data are available at the end of the clock period. If some node fails to finish the computation, the result of the operation can be wrong. The advantage of the sd approach is that design process is more simple. as technology continues to scale down, the uncertainty of delays of communications increases. To meet the timing requirements for some communications a the late design stages, the cycle period may need to be increased degrading the performance of the circuit. One solution for this problem is to substitute the global clock by local hand-shakes, leading to asynchronous design. However, contemporary computer aided design tools are mostly oriented to the sd since it has predominated for more than twenty years. sd can be elasticized by associating control information with the data path of the circuit. The control information indicates the validity of the data that is being transferred or computed and coordinates the flow of valid and non-valid data. ess accept a set of correct-by-construction transformations. Usually, such transformations can be totally automated. For example, in the es the long interconnection wires can be pipe-lined with empty registers (bubbles). a lot of investigation has been done in this area. However, most of the work is focused either on design aspects or on a local transformation that can potentially improve the performance of an es and there are quite few publications about global performance optimization of ess using proposed local transformations. the main goal of this work is to show how the performance of an es can be estimated and enhanced using a set of correct-by-construction transformations. This work uses a simple abstract model to represent an es. This model is a graph with several properties attached to its vertices and edges. The simple models allow using rigorous mathematical methods for performance analysis and optimization. the first contribution of this work combines retiming with recycling (insertion of bubbles) to optimize the performance of ess. An optimization technique is proposed based on mixed integer linear programming. For this, the performance of ess is modeled with a set of linear inequalities. The experimental results showed that the simultaneous application of both techniques allows achieve better performance/area trade-offs that their separate application. there are situations when a computational node of an es may produce new valid data having only some valid inputs. A special evaluation rule which is called early evaluation (ee) may improve the global performance of an es when applied to multiplexer like nodes. The second contribution extends the first contribution to the ess with ee nodes. The extension is based on the guarded marked graphs. The retiming and recycling applied to ess with ee nodes improves their performance far beyond both retiming and clock skew optimization techniques. the first and the second contributions assume that all buffers of the es have infinite capacity. The third contribution shows how the reasonable sizes for these buffers can be found. To do this, slack matching and buffer sizing were combined in a mixed integer programming based model. Even, in general case, being np-hard problem, slack-matching and buffer sizing can be applied within a few seconds to the major part of ess.
Datos académicos de la tesis doctoral «Perfomance optimization of elastic systems«
- Título de la tesis: Perfomance optimization of elastic systems
- Autor: Dmitry Bufistov
- Universidad: Politécnica de catalunya
- Fecha de lectura de la tesis: 01/12/2010
Dirección y tribunal
- Director de la tesis
- Jordi Cortadella Fortuny
- Tribunal
- Presidente del tribunal: robert lukas mario Nieuwenhuis
- alex Yakovlev (vocal)
- Javier Campos laclaustra (vocal)
- luciano Lavagno (vocal)