A key step in the design of cyclo-static real-time systems is the determination of buffer capacities. In our multiprocessor system, we apply back-pressure, which means that tasks wait for space in output buffers. Consequently buffer capacities affect the throughput. This requires the derivation of buffer capacities that both result in a satisfaction of the throughput constraint, and also satisfy the constraints on the maximum buffer capacities. Existing exact solutions suffer from the computational complexity that is associated with the required conversion from a cyclo-static dataflow graph to a single-rate dataflow graph. In this paper we present an algorithm, with linear computational complexity, that does not require this conversion and that strives to obtain close to minimal buffer capacities. The algorithm is applied to an MP3 playback application that is mapped on our multi-processor system.
|Place of Publication||Enschede|
|Publisher||Centre for Telematics and Information Technology (CTIT)|
|Number of pages||10|
|Publication status||Published - 17 Oct 2006|
|Name||CTIT technical reports series|
|Publisher||Centre for Telematics and Information Technology, University of Twente|
- CAES-EEA: Efficient Embedded Architectures
Wiggers, M. H., Bekooij, M., Bekooij, M. J. G., Jansen, P. G., & Smit, G. J. M. (2006). Efcient Computation of Buffer Capacities for Cyclo-Static Real-Time Systems with Back-Pressure. (CTIT technical reports series; No. 06-64). Enschede: Centre for Telematics and Information Technology (CTIT).