skip to main content
10.1145/2593069.2593223acmotherconferencesArticle/Chapter ViewAbstractPublication PagesdacConference Proceedingsconference-collections
research-article

Symbolic Analysis of Dataflow Applications Mapped onto Shared Heterogeneous Resources

Published:01 June 2014Publication History

ABSTRACT

Embedded streaming applications require design-time temporal analysis to verify real-time constraints such as throughput and latency. In this paper, we introduce a new analytical technique to compute temporal bounds of streaming applications mapped onto a shared multiprocessor platform. We use an expressively rich application model that supports adaptive applications where graph structure, execution times and data rates may change dynamically. The analysis technique combines symbolic simulation in (max, +) algebra with worst-case resource availability curves. It further enables a tighter performance guarantee by improving the WCRTs of service requests that arrive in the same busy time. Evaluation on real-life application graphs shows that the technique is tens of times faster than the state-of-the-art and enables tighter throughput guarantees, up to a factor of 4, compared to the typical worst-case analysis.

References

  1. F. Baccelli et. al. Synchronization and Linearity: An Algebra for Discrete Event Systems. 1993.Google ScholarGoogle Scholar
  2. S. Chakraborty et. al. A general framework for analysing system properties in embedded system designs. In DATE, 2003. Google ScholarGoogle ScholarDigital LibraryDigital Library
  3. M. Damavandpeyma et. al. Modeling static-order schedules in synchronous dataflow graphs. In DATE, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  4. A. Dasdan. Experimental analysis of the fastest optimum cycle ratio and mean algorithms. ACM Trans. Des. Autom. Electron. Syst., 2004. Google ScholarGoogle ScholarDigital LibraryDigital Library
  5. M. Geilen and S. Stuijk. Worst-case performance analysis of synchronous dataflow scenarios. In CODES/ISSS, 2010. Google ScholarGoogle ScholarDigital LibraryDigital Library
  6. A. Ghamarian et. al. Throughput analysis of synchronous data flow graphs. In ACSD, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  7. R. Henia et. al. System level performance analysis-the SymTA/S approach. Computers and Digital Techniques, IEEE Proc., 2005.Google ScholarGoogle Scholar
  8. J. Kim et. al. A novel analytical method for worst case response time estimation of distributed embedded systems. In DAC, 2013. Google ScholarGoogle ScholarDigital LibraryDigital Library
  9. E. Lee and D. Messerschmitt. Synchronous dataflow. Proceedings of IEEE, 1987.Google ScholarGoogle Scholar
  10. A. Lele et. al. A new data flow analysis model for TDM. In EMSOFT, 2012. Google ScholarGoogle ScholarDigital LibraryDigital Library
  11. O. Moreira. Temporal Analysis and Scheduling of Hard-Real-Time Radios running on a Multi-Processor. PhD thesis, Eindhoven University of Technology, 2011.Google ScholarGoogle Scholar
  12. S. Schliecker et. al. Providing accurate event models for the analysis of heterogeneous multiprocessor systems. In CODES+ISSS, 2008. Google ScholarGoogle ScholarDigital LibraryDigital Library
  13. S. Stuijk et. al. SDF3: SDF For Free. In ACSD, 2006. Google ScholarGoogle ScholarDigital LibraryDigital Library
  14. L. Thiele and N. Stoimenov. Modular performance analysis of cyclic dataflow graphs. EMSOFT, 2009. Google ScholarGoogle ScholarDigital LibraryDigital Library
  15. K. W. Tindell et. al. An extendible approach for analyzing fixed priority hard real-time tasks. Real-Time Syst., 1994. Google ScholarGoogle ScholarDigital LibraryDigital Library
  16. M. H. Wiggers et al. Modelling run-time arbitration by latency-rate servers in dataflow graphs. In SCOPES, 2007. Google ScholarGoogle ScholarDigital LibraryDigital Library
  17. H. Wu et. al. A Model-Based Schedule Representation for Heterogeneous Mapping of Dataflow Graphs. IPDPSW, 2011. Google ScholarGoogle ScholarDigital LibraryDigital Library

Recommendations

Comments

Login options

Check if you have access through your login credentials or your institution to get full access on this article.

Sign in
  • Published in

    cover image ACM Other conferences
    DAC '14: Proceedings of the 51st Annual Design Automation Conference
    June 2014
    1249 pages
    ISBN:9781450327305
    DOI:10.1145/2593069

    Copyright © 2014 ACM

    Permission to make digital or hard copies of all or part of this work for personal or classroom use is granted without fee provided that copies are not made or distributed for profit or commercial advantage and that copies bear this notice and the full citation on the first page. Copyrights for components of this work owned by others than ACM must be honored. Abstracting with credit is permitted. To copy otherwise, or republish, to post on servers or to redistribute to lists, requires prior specific permission and/or a fee. Request permissions from [email protected]

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    • Published: 1 June 2014

    Permissions

    Request permissions about this article.

    Request Permissions

    Check for updates

    Qualifiers

    • research-article
    • Research
    • Refereed limited

    Acceptance Rates

    Overall Acceptance Rate1,770of5,499submissions,32%

PDF Format

View or Download as a PDF file.

PDF

eReader

View online with eReader.

eReader