(No Subject)

[chamskiz@cs.man.ac.uk (Zbigniew Chamski)]

>  Etudiant en Maitrise d'Informatique a Brest (Universite de Bretagne Occidentale - U.B.O),
>  je suis a la recherche de renseignements sur CENTAUR.
>  Le sujet de mon projet de Maitrise concerne le portage UNITY sur CENTAUR.
>  Actuellement, UNITY est en cours d'evaluation en tant que langage de description
>  des algorithmes implantes dans le reseau logique d'ARMEN.
>  Cette derniere etant une realisation experimentale constituee d'une machine M.I.M.D.
>  couplee a une ressource logique reconfigurable partagee a base de F.P.G.A.
>  developpee au LIBr sous la direction de Bernard Pottier.

>  Il s'est avere que de nombreuses transformations de programme sont necessaires
>  afin de pouvoir garantir l'integrite semantique du langage face aux contraintes
>  imposees par le materiel (probleme de synchronisations, atomicite, delai de propagation
>  du signal, etc ...).
>  Le portage UNITY sur CENTAUR, devait permettre la mise en place de ces transformations.
>  
>  Afin de pouvoir faire une presentation exhaustive de CENTAUR, il me faudrait
>  les informations suivantes :
>  
>  	. references de theses, rapport de D.E.A., ou autres travaux qui ont utilises plus
>            ou moins directement CENTAUR.

Tout ce qui touche au co^te' Centaur du projet Alpha du Centaur (Irisa,
Rennes, contact: Patrice Quinton, <quinton@irisa.fr>, te'l. 99 84 71 83 (a` ve'rifier)).

The`se de Christophe Mauras:
@PhdThesis{Maur89,
        author          = "Mauras, Ch.",
        title           = "Alpha : un langage \'{e}quationnel pour la
     conception et la programmation d'architectures parall\`{e}les synchrones",
        school          = "Univ. Rennes I",
        year            = "1989",
        address         = "Rennes, France",
        month           = dec
}

The`se d'Herve' Le Verge
@PhdThesis{LeVe92c,
        author          = "Le~Verge, H.",
        title           = "Un environnement de transformation de programmes
     pour la synth\`{e}se d'architectures r\'{e}guli\`{e}res",
        school          = "Universit\'{e} de Rennes~I",
        year            = "1992",
        address         = "Rennes, France",
        month           = oct
}

The`se de Catherine Dezan, actuellement a` l'ENST Bretagne (email
<dezan@ubolib.univ-brest.fr).
@PhdThesis{Deza93,
        author          = "Dezan, C.",
        title           = "G\'{e}n\'{e}ration automatique de circuits avec
     {{\sc Alpha du Centaur}}",
        school          = "Universit\'{e} de Rennes~I",
        year            = "1993",
        address         = "Rennes, France",
        month           = feb
}

Ma the`se:
@PhdThesis{Cham93,
        author          = "Chamski, Z.",
        title           = "Environnement logiciel de programmation d'un
     acc\'{e}l\'{e}rateur de calcul parall\`{e}le",
        school          = "Universit\'{e} de Rennes~I",
        year            = "1993",
        month           = feb
}

>  
>  	. comparatifs entre CENTAUR et d'autres outils de meme type.

Il y a aussi des approches totalement de'tourne'es, e.g., l'utilisation du
logiciel Mathematica comme base de l'environnement.  Contacte P. Quinton pour
l'e'tat courant de cette approche pour le langage (de'claratif !) ALPHA, et
moi-me^me pour des de'tails plus techniques et les raisons des choix qui ont
e'te' faits et les limitations identifie'es a` ce jour (j'ai travaille' sur ce
projet pendant six mois comme inge'nieur expert Inria ...).

Mon opinion personnelle, et qui n'engage personne d'autre, est que Centaur est
un outil trop lourd, aussi bien en termes de taille (et prix) que de
maintenance. Sur un projet de dure'e conse'quente (3 ans) il faut compter un
changement de version par an, avec toutes les resynchronisations (rechargements
de configuration, recompilations, mises au point) que cela impose. Un autre
argument en sa de'faveur est le nombre de langages a` utiliser pour inte'grer
des me'canismes de'finis par l'utilisateur :

* Le_Lisp pour l'interaction avec Centaur
* Prolog pour raffiner les spe'cifications TYPOL
* ASF, SDF / Me'tal, TYPOL et PPML pour les spe'cifications "standard"
* C pour interfacer les applications externes a` Le_Lisp ou Prolog.

Ca fait de'ja` six langages (!). De plus, un programme TYPOL faisant appel a`
des ope'rations complexes et cou^teuses en temps de calcul peut conduire a`
utiliser quatre couches de logiciel pour arriver au noyau de calcul : TYPOL ->
Prolog -> Le_Lisp -> C. Les pertes en performance peuvent e^tre assez
significatives.

Par conse'quent il faut e^tre conscient que l'effort demande' ne se justifie
que dans le cas d'une e'quipe de taille conse'quente et disponible sur
l'ensemble de la dure'e du projet. 

>  	. conferences ou seminaires a venir sur le sujet.
>  
>  	. etc ...
>  
>  Voici mon adresse personnelle pour l'envoi de documents (le cas echeant) :

Pour les the`ses, contacte les bibliothe`ques les plus proches (UBO ou Irisa).
Je pense que tu ne manqueras pas de documentation ...

Bonne chance

	Zbigniew