Loading...
 
[Show/Hide Left Column]

Sujets Help

View Item

Domain Parallelism-High Performance Computing-Grid
Domain - extra hardware architecture
Year 2010
Starting october 2010
Status Open
Subject Hardware Architecture Generation from High-Level Algorithmic Specifications
Thesis advisor FALCOU Joël
Co-advisors Lionel Lacassagne, IEF, University Paris XI
Dominique Ginhac, LE2I, University of Burgundy
Laboratory LRI ParSys
Collaborations Collaboration with LE2I in the framework of ANR PARADIS project
Abstract This thesis is a joint work in the framework of the PARADIS project which aims at providing high-level tools for hardware architecture generation. In collaboration with LE2I and LASMEA for the hardware part, the PhD student will have to perform generic analysis of hardware component, build formal rules to maps application structure on a FPGA like platform and incorporate it into an existing algorithmic skeletons based tools – QUAFF – to build a software/hardware tools for parallel computing.
Context Generic and Generative programming proved themselves to be valuable techniques for developing high performance, customizable software system. Various applications to parallel programming have been proposed but most tackle the problem of generating an optimal program for a given architecture. This PhD thesis, in the framework of the PARADIS project, aims at investigating Generic programming applied to the dual problem: for a given application, find the optimal hardware to run it. This exploration is mainly doable by the use of constrained parallel constructs –like algorithmic skeletons- that reduces the exploration space size.
Objectives The thesis will focus on building the software environment needed to specify, simulate, debug and generate, for a given application, the architecture specification (in terms of reusable components from Task 3) and the application code itself. This integrated flow will leverage the classic difficulties of such development by using Quaff, a C++ meta-programming based skeleton library, as a base for the tools. Basically, we’ll focus on extending Quaff handling for architectural specifications by providing new back-end and code generators. The main challenge is to be able to define a comprehensive set of skeletons and to adapt their formal semantic and production rules to the hardware layer. This is basically the dual process of what’s Quaff is doing at the moment: instead of generating the optimal code for a fixed architecture, we have to find the proper architecture for a given application.
Work program The work is subdivised in four parts:
  • Analyzing and proposing a set of skeletons suited for image and vision applications
  • Define the kind of hardware components to use for such applications
  • Define rules and program them as meta-programs inside QUAFF
  • Develop applications within this framework

Extra information References:
  • Une bibliothèque métaprogrammée pour la programmation parallèle, Joel Falcou et Jocelyn Sérot, in Technique et Science Informatique, Volume 28(5), pp 645 – 675
  • Formal semantics applied to the implementation of a skeleton-based parallel programming library.", J. Falcou and J. Serot, In Parallel Computing: Architectures, Algorithms and Applications (Proc. of PARCO 2007)
Prerequisite The student will ideally have experience in software development, mainly modern C++ idioms and generative techniques, or experience in hardware design.
Details
Expected funding Research contract
Status of funding Expected
Candidates
user
Created Tuesday 23 of February, 2010 22:22:15 CET
LastModif Wednesday 24 of February, 2010 11:04:15 CET


Ecole Doctorale Informatique Paris-Sud


Directrice
Nicole Bidoit
Assistante
Stéphanie Druetta
Conseiller aux thèses
Dominique Gouyou-Beauchamps

ED 427 - Université Paris-Sud
UFR Sciences Orsay
Bat 650 - aile nord - 417
Tel : 01 69 15 63 19
Fax : 01 69 15 63 87
courriel: ed-info at lri.fr