skip to main content
10.1145/3323439.3323979acmotherconferencesArticle/Chapter ViewAbstractPublication PagesscopesConference Proceedingsconference-collections
research-article

On the Analytic Evaluation of Schedules via Max-Plus Algebra for DSE of Multi-Core Architectures

Published: 27 May 2019 Publication History

Abstract

Dataflow modeling is well suited for a wide variety of applications for multi-core architectures, e.g. signal processing and control domain. Additionally, Design Space Exploration (DSE) can be used to explore the distribution of tasks to resources and their scheduling to obtain optimized trade-off solutions between throughput and resource costs. However, the performance evaluation of an implementation candidate in particular via compilation and throughput measurement on the target hardware is prohibitively time-consuming. Thus, we propose to use a max-plus algebra-based analytic throughput calculation method in the initial DSE phase where a fast evaluation with low accuracy is sufficient to guide the search through the design space. However, this analysis neglects some real-world concerns like cache effects and scheduling overhead. Thus, a hybrid DSE is proposed where throughput measurements are taken later in the DSE to get more accurate throughput results for real-world platforms. Results show that our approach is able to find much higher throughput multi-core solutions within a given exploration time compared to a state-of-the-art DSE approach.

References

[1]
T. Blickle, J. Teich, and L. Thiele, "System-level synthesis using evolutionary algorithms," Design Automation for Embedded Systems, vol. 3, no. 1, pp. 23--58, 1998.
[2]
A. D. Pimentel, "Exploring exploration: A tutorial introduction to embedded systems design space exploration," IEEE Design Test, vol. 34, pp. 77--90, Feb 2017.
[3]
J. Falk, C. Zebelein, J. Keinert, C. Haubelt, J. Teich, and S. S. Bhattacharyya, "Analysis of SystemC Actor Networks for Efficient Synthesis," ACM Transactions on Embedded Computing Systems, vol. 10, pp. 18:1--18:34, Jan. 2011.
[4]
S. Tripakis, D. Bui, M. Geilen, B. Rodiers, and E. A. Lee, "Compositionality in Synchronous Data Flow: Modular Code Generation from Hierarchical SDF Graphs," ACM Transactions on Embedded Computing Systems, vol. 12, no. 3, p. 83, 2013.
[5]
G. Cedersjö and J. W. Janneck, "Software Code Generation for Dynamic Dataflow Programs," in Proc. of SCOPES, pp. 31--39, ACM, 2014.
[6]
M. Geilen, J. Falk, C. Haubelt, T. Basten, B. Theelen, and S. Stuijk, "Performance analysis of weakly-consistent scenario-aware dataflow graphs," Journal of Signal Processing Systems, vol. 87, pp. 157--175, Apr. 2017.
[7]
M. Streubühr, J. Gladigau, C. Haubelt, and J. Teich, "Efficient Approximately-Timed Performance Modeling for Architectural Exploration of MPSoCs," in Forum on Specification Design Languages, pp. 1--6, Sept. 2009.
[8]
R. Rosales, M. Glaß, J. Teich, B. Wang, Y. Xu, and R. Hasholzner, "MAESTRO - holistic actor-oriented modeling of nonfunctional properties and firmware behavior for mpsocs," ACM Trans. on Design Automation of Electronic Systems, vol. 19, no. 3, pp. 23:1--23:26, 2014.
[9]
T. Schwarzer, J. Falk, M. Glaß, J. Teich, C. Zebelein, and C. Haubelt, "Throughput-optimizing Compilation of Dataflow Applications for Multi-Cores using Quasi-Static Scheduling," in Proc. of SCOPES, pp. 68--75, ACM, June 2015.
[10]
T. E. Carlson, W. Heirmant, and L. Eeckhout, "Sniper: Exploring the level of abstraction for scalable and accurate parallel multi-core simulation," in SC '11: Proceedings of 2011 International Conference for High Performance Computing, Networking, Storage and Analysis, pp. 1--12, Nov 2011.
[11]
Y. Jin, M. Olhofer, and B. Sendhoff, "Managing Approximate Models in Evolutionary Aerodynamic Design Optimization," in Proceedings of IEEE Congress on Evolutionary Computation, vol. 1, pp. 592--599, 2001.
[12]
G. Mariani, G. Palermo, V. Zaccaria, and C. Silvano, "Design-space Exploration and Runtime Resource Management for Multicores," ACM Trans. Embed. Comput. Syst., vol. 13, pp. 20:1--20:27, Sept. 2013.
[13]
E. Paone, N. Vahabi, V. Zaccaria, C. Silvano, D. Melpignano, G. Haugou, and T. Lepley, "Improving Simulation Speed and Accuracy for Many-core Embedded Platforms with Ensemble Models," in Proceedings of the Design, Automation and Test in Europe (DATE), pp. 671--676, March 2013.
[14]
A. D. Pimentel, C. Erbas, and S. Polstra, "A systematic approach to exploring embedded system architectures at multiple abstraction levels," IEEE Transactions on Computers, vol. 55, pp. 99--112, Feb 2006.
[15]
A. H. Ghamarian, M. C. W. Geilen, S. Stuijk, T. Basten, B. D. Theelen, M. R. Mousavi, A.J. M. Moonen, and M.J. G. Bekooij, "Throughput analysis of synchronous data flow graphs," in Proceedings of International Conference on Application of Concurrency to System Design (ACSD), pp. 25--36, June 2006.
[16]
R. de Groote, J. Kuper, H. Broersma, and G. J. M. Smit, "Max-plus algebraic throughput analysis of synchronous dataflow graphs," in Proceedings of Euromicro Conference on Software Engineering and Advanced Applications, pp. 29--38, Sept 2012.
[17]
M. Geilen, J. Falk, C. Haubelt, T. Basten, B. Theelen, and S. Stuijk, "Performance analysis of weakly-consistent scenario-aware dataflow graphs," Journal of Signal Processing Systems, vol. 87, pp. 157--175, Apr 2017.
[18]
J. L. Pino, S. S. Bhattacharyya, and E. A. Lee, "A Hierarchical Multiprocessor Scheduling System for DSP Applications," in Proceedings of Asilomar Conference on Signals, Systems and Computers, vol. 1, pp. 122--126, IEEE, 1995.
[19]
J. Falk, J. Keinert, C. Haubelt, J. Teich, and S. Bhattacharyya, "A Generalized Static Data Flow Clustering Algorithm for MPSoC Scheduling of Multimedia Applications," in Proceedings of ACM International Conference on Embedded Software, pp. 189--198, Oct. 2008.
[20]
A. Dasdan, S.S. Irani, and R. K. Gupta, "Efficient algorithms for optimum cycle mean and optimum cost to time ratio problems," in Proceedings of Design Automation Conference (DAC), pp. 37--42, IEEE, 1999.
[21]
S. Stuijk, M. Geilen, and T. Basten, "SDF3: SDF For Free," in Proceedings of International Conference on Application of Concurrency to System Design (ACSD), pp. 276--278, IEEE, 2006.
[22]
OpenDSE, ""Open Design Space Exploration Framework"," http://opendse.sf.net/, 2018.
[23]
K. Deb, A. Pratap, S. Agarwal, and T. Meyarivan, "A Fast and Elitist Multiobjective Genetic Algorithm: NSGA-II," Trans. Evol. Comp, vol. 6, pp. 182--197, Apr. 2002.
[24]
M. Lukasiewycz, M. Glaß, F. Reimann, and J. Teich, "Opt4J: A Modular Framework for Meta-heuristic Optimization," in GECCO, GECCO '11, (New York, NY, USA), pp. 1723--1730, ACM, 2011.

Cited By

View all
  • (2020)Multi-objective Optimization of Mapping Dataflow Applications to MPSoCs Using a Hybrid Evaluation Combining Analytic Models and MeasurementsACM Transactions on Design Automation of Electronic Systems10.1145/343181426:3(1-33)Online publication date: 31-Dec-2020

Index Terms

  1. On the Analytic Evaluation of Schedules via Max-Plus Algebra for DSE of Multi-Core Architectures

    Recommendations

    Comments

    Information & Contributors

    Information

    Published In

    cover image ACM Other conferences
    SCOPES '19: Proceedings of the 22nd International Workshop on Software and Compilers for Embedded Systems
    May 2019
    100 pages
    ISBN:9781450367622
    DOI:10.1145/3323439
    • Editor:
    • Sander Stuijk
    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 the author(s) 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].

    Sponsors

    • EDAA: European Design Automation Association

    In-Cooperation

    Publisher

    Association for Computing Machinery

    New York, NY, United States

    Publication History

    Published: 27 May 2019

    Permissions

    Request permissions for this article.

    Check for updates

    Author Tags

    1. Clustering
    2. Dataflow
    3. Design Space Exploration
    4. Max-Plus algebra

    Qualifiers

    • Research-article
    • Research
    • Refereed limited

    Conference

    SCOPES '19
    Sponsor:
    • EDAA

    Acceptance Rates

    Overall Acceptance Rate 38 of 79 submissions, 48%

    Contributors

    Other Metrics

    Bibliometrics & Citations

    Bibliometrics

    Article Metrics

    • Downloads (Last 12 months)7
    • Downloads (Last 6 weeks)0
    Reflects downloads up to 19 Feb 2025

    Other Metrics

    Citations

    Cited By

    View all
    • (2020)Multi-objective Optimization of Mapping Dataflow Applications to MPSoCs Using a Hybrid Evaluation Combining Analytic Models and MeasurementsACM Transactions on Design Automation of Electronic Systems10.1145/343181426:3(1-33)Online publication date: 31-Dec-2020

    View Options

    Login options

    View options

    PDF

    View or Download as a PDF file.

    PDF

    eReader

    View online with eReader.

    eReader

    Figures

    Tables

    Media

    Share

    Share

    Share this Publication link

    Share on social media