Run-time Requirement Enforcement for Loop Programs on Processor Arrays

Witterauf M, Teich J (2018)

Publication Language: English

Publication Type: Conference contribution, Conference Contribution

Publication year: 2018

Pages Range: 1-11

Conference Proceedings Title: Proceedings of the 16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE)

Event location: Peking CN

DOI: 10.1109/MEMCOD.2018.8556911

Abstract

Loop bounds are often unknown until run time, making it difficult to analyze non-functional properties such as latency at compile-time.
Similarly, static allocations of processing resources to loop computations might be too conservative with respect to given performance requirements, or not optimal with respect to the energy consumption.

To still satisfy requirements when accelerating loop nests under this uncertainty of loop bounds, we formalize and propose an approach to run-time requirement enforcement:
at run time, select a mapping among a set of candidates that satisfies a given set of requirements while optimizing secondary objectives.
Because the candidate search space of suitable mappings might be prohibitively large to evaluate at run time, we further introduce two approaches to reduce its cardinality:
1) architecture-specific reduction by solving for parts of the mapping from the requirements, and
2) design-time reduction by finding a k-subset of mappings that maximizes the number of loop bounds where the requirements are satisfied.

We implemented our proposed run-time requirement enforcement techniques for a representative class of programmable processor array architecture called Tightly Coupled Procesor Array and demonstrate their effectiveness with a case study.
The case study shows the effectiveness of our approach: We can satisfy given latency requirements while easily saving up to 10% in energy.

Authors with CRIS profile

Michael Witterauf Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design) Jürgen Teich Lehrstuhl für Informatik 12 (Hardware-Software-Co-Design)

How to cite

APA:

Witterauf, M., & Teich, J. (2018). Run-time Requirement Enforcement for Loop Programs on Processor Arrays. In ACM, IEEE (Eds.), Proceedings of the 16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE) (pp. 1-11). Peking, CN.

MLA:

Witterauf, Michael, and Jürgen Teich. "Run-time Requirement Enforcement for Loop Programs on Processor Arrays." Proceedings of the 16th ACM-IEEE International Conference on Formal Methods and Models for System Design (MEMOCODE), Peking Ed. ACM, IEEE, 2018. 1-11.

BibTeX: Download