The ParaPhrase project: parallel patterns for adaptive heterogeneous multicore systems

Kevin Hammond, Marco Aldinucci, Christopher Mark Brown, Francesco Cesarini, Marco Danelutto, Horacio González-Vélez, Peter Kilpatrick, Rainer Keller, Michael Rossbory, Gilad Shainer

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

This paper describes the ParaPhrase project, a new 3-year targeted research project funded under EU Framework 7 Objective 3.4 (Computer Systems), starting in October 2011. ParaPhrase aims to follow a new approach to introducing parallelism using advanced refactoring techniques coupled with high-level parallel design patterns. The refactoring approach will use these design patterns to restructure programs defined as networks of software components into other forms that are more suited to parallel execution. The programmer will be aided by high-level cost information that will be integrated into the refactoring tools. The implementation of these patterns will then use a well-understood algorithmic skeleton approach to achieve good parallelism.

A key ParaPhrase design goal is that parallel components are intended to match heterogeneous architectures, defined in terms of CPU/GPU combinations, for example. In order to achieve this, the ParaPhrase approach will map components at link time to the available hardware, and will then re-map them during program execution, taking account of multiple applications, changes in hardware resource availability, the desire to reduce communication costs etc. In this way, we aim to develop a new approach to programming that will be able to produce software that can adapt to dynamic changes in the system environment. Moreover, by using a strong component basis for parallelism, we can achieve potentially significant gains in terms of reducing sharing at a high level of abstraction, and so in reducing or even eliminating the costs that are usually associated with cache management, locking, and synchronisation.
Original languageEnglish
Title of host publicationFormal Methods for Components and Objects
Subtitle of host publication10th International Symposium, FMCO 2011, Turin, Italy, October 3-5, 2011, Revised Selected Papers
EditorsBernhard Beckert, Ferruccio Damiani, Frank S. de Boer, Marcello M. Bonsangue
Place of PublicationBerlin, Heidelberg
PublisherSpringer
Pages218-236
Number of pages19
ISBN (Electronic)9783642358876
ISBN (Print)9783642358869
DOIs
Publication statusPublished - 2013
Event10th Symposium on Formal Methods for Components and Objects - Turin, Italy
Duration: 3 Oct 20115 Oct 2011
Conference number: 10

Publication series

NameLecture Notes in Computer Science (Programming and Software Engineering)
PublisherSpringer
Volume7542
ISSN (Print)0302-9743

Conference

Conference10th Symposium on Formal Methods for Components and Objects
Abbreviated titleFMCO
Country/TerritoryItaly
CityTurin
Period3/10/115/10/11

Fingerprint

Dive into the research topics of 'The ParaPhrase project: parallel patterns for adaptive heterogeneous multicore systems'. Together they form a unique fingerprint.

Cite this