Towards Automated Variant Selection for Heterogeneous Tiled Architectures

Publikation: Beitrag in Buch/Konferenzbericht/Sammelband/GutachtenBeitrag in Buch/Sammelband/GutachtenBeigetragenBegutachtung

Abstract

Heterogeneous hardware/software systems that include many components with different characteristics offer great potential for high performance and energy-efficient computing. To exploit this potential, adaptive allocation and scheduling algorithms are needed for selecting software variants and mapping them to processing elements that attempt to achieve a good balance between resource-awareness and performance. The evaluation is typically carried out using simulation techniques. However, the space spanned by the possible combinations of hardware/software variants and management strategies is huge, which makes it nearly impossible to find an optimum using simulation-based methods. The purpose of the paper is to illustrate the general feasibility of an alternative approach using probabilistic model checking for families of systems that are obtained by varying, e.g., the hardware-software combinations or the resource management strategies. More precisely, we consider heterogeneous multi-processor systems based on tiled architectures and provide a tool chain that yields a flexible and comfortable way to specify families of concrete systems and to analyze them using the probabilistic model checker PRISM and ProFeat as a front end. We illustrate how the family-based approach can be used to analyze the potential of heterogeneous hardware elements, software variants and adaptive resource management and scheduling strategies by applying our framework to a simplified model of the multi-processor Tomahawk platform that has been designed for integrating heterogeneous devices.

Details

OriginalspracheEnglisch
TitelModels, Algorithms, Logics and Tools
Redakteure/-innenLuca Aceto, Giorgio Bacci, Giovanni Bacci, Anna Ingólfsdóttir, Axel Legay, Radu Mardare
Herausgeber (Verlag)Springer, Berlin [u. a.]
Seiten382-399
Seitenumfang18
ISBN (Print)978-3-319-63120-2
PublikationsstatusVeröffentlicht - 2017
Peer-Review-StatusJa

Publikationsreihe

ReiheLecture Notes in Computer Science, Volume 10460
ISSN0302-9743

Externe IDs

Scopus 85028056880
ORCID /0000-0002-5321-9343/work/142236672
ORCID /0000-0003-1724-2586/work/165453579

Schlagworte

Schlagwörter

  • Automated Variant Selection, Heterogeneous Tiled Architectures

Bibliotheksschlagworte