Kamyar Mirzazad Barijough, Matin Hashemi, Volodymyr Khibin, Soheil Ghiasi, "Implementation-Aware Model Analysis: The Case of Buffer-Throughput Tradeoff in Streaming Applications", Proceedings of the ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems (LCTES), June 2015.
Models of computation abstract away a number of implementation details in favor of well-defined semantics. While this has unquestionable benefits, we argue that analysis of models solely based on operational semantics (implementation-oblivious analysis) is unfit to drive implementation design space exploration. Specifically, we study the tradeoff between buffer size and streaming throughput in applications modeled as synchronous data flow (SDF) graphs. We demonstrate the inherent inaccuracy of implementation-oblivious approach, which only considers SDF operational semantic. We propose a rigorous transformation, which equips the state of the art buffer-throughput tradeoff analysis technique with implementation awareness. Extensive empirical evaluation show that our approach results in significantly more accurate estimates in streaming throughput at the model level, while running two orders of magnitude faster than cycle-accurate simulation of implementations.
Benchmark applications include synchronous dataflow (SDF) graphs in both StreamIt and SDF3 formats. To download the benchmarks click here.
To download presentation slides click here.
Use the following entry to cite our work in your publications:
@article{barijough2015lctes,
author = {Barijough, Kamyar Mirzazad and Hashemi, Matin and Khibin, Volodymyr and Ghiasi, Soheil},
title = {Implementation-Aware Model Analysis: The Case of Buffer-Throughput Tradeoff in Streaming Applications},
booktitle = {Proceedings of the 16th ACM SIGPLAN/SIGBED Conference on Languages, Compilers and Tools for Embedded Systems},
year = {2015},
location = {Portland, OR, USA},
pages = {11:1--11:10},
}