Implementation-aware model analysis: The case of buffer-throughput tradeoff in streaming applications

Barijough, K. M ; Sharif University of Technology | 2015

637 Viewed
  1. Type of Document: Article
  2. DOI: 10.1145/2670529.2754968
  3. Publisher: Association for Computing Machinery , 2015
  4. Abstract:
  5. 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 (implementationoblivious 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 implementationoblivious 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
  6. Keywords:
  7. Buffer-throughput tradeoff analysis ; Embedded multi-processor ; Synchronous data flow (SDF) ; Data transfer ; Digital storage ; Flow graphs ; Multiprocessing systems ; Response time (computer systems) ; Semantics ; Throughput ; Cycle-accurate simulation ; Empirical evaluations ; Implementation design ; Multi-processors ; Operational semantics ; Streaming applications ; Trade-off analysis ; Data flow analysis
  8. Source: ACM SIGPLAN Notices ; Volume 50, Issue 5 , May , 2015 , Pages 103-112 ; 15232867 (ISSN)
  9. URL: http://dl.acm.org/citation.cfm?doid=2670529.2754968