An infrastructure for multi-level optimisation through property annotation and aggregation

Authors:
Frank Penczek;Raimund Kirner;Raphael Poss;Clemens Grelck;Alex Shafarenko
Affiliations:
University of Hertfordshire, UK;University of Hertfordshire, UK;University of Amsterdam, Netherlands;University of Amsterdam, Netherlands;University of Hertfordshire, UK
Venue:
Proceedings of the Fourth International Workshop on Nonfunctional System Properties in Domain Specific Modeling Languages
Year:
2012

Citing 4
Cited 0

Software Component Models

IEEE Transactions on Software Engineering
Review: coordination models and languages: From parallel computing to self-organisation

The Knowledge Engineering Review
Compilers must speak properties, not just code: CAL: constraint aggregation language for declarative component-coordination

DAMP '12 Proceedings of the 7th workshop on Declarative aspects and applications of multicore programming
Optimized composition of performance-aware parallel components

Concurrency and Computation: Practice & Experience

Quantified Score

Hi-index	0.00

Visualization

Abstract

Optimising software for efficiency on a parallel hardware platform by analysing the performance of the application is often a complex and time-consuming task. In this paper we present a constraint annotation and aggregation system that allows programmers to annotate code by using a dedicated language for describing functional and extrafunctional properties, such as for example algorithmic complexity, scaling factors or the number of required cores. The goal is to derive properties of the entire application that are parametrised over characteristics of the execution platform to assist programmers in better understanding the behaviour of an application and to assist the execution platform in making informed mapping and scheduling decisions.