A multi-processor Estelle to C compiler to experiment distributed algorithms on parallel machines - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 1989

A multi-processor Estelle to C compiler to experiment distributed algorithms on parallel machines

Claude Jard

Résumé

This paper presents a first attempt to generate parallel code from Estelle descriptions. We have dealt with a simple context in which only a static subset of Estelle and an homogeneous target machine are considered. We begin to present and justify the concept of experimentation on distributed algorithms for which our Estelle compiler has been designed. Then we discuss how the Estelle constructs are mapped onto C structures and how they are interpreted by a distributed runtime kernel. A technical annex gives an idea of the current version of the tool, named Echidna.
Fichier principal
Vignette du fichier
ifip89.pdf (140.38 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-00765072 , version 1 (12-03-2019)

Identifiants

  • HAL Id : hal-00765072 , version 1

Citer

Claude Jard, Jean-Marc Jézéquel. A multi-processor Estelle to C compiler to experiment distributed algorithms on parallel machines. 9th IFIP International Workshop on Protocol Specification, Testing and Verification, University of Twente, 1989, The Netherlands, Netherlands. ⟨hal-00765072⟩
169 Consultations
50 Téléchargements

Partager

More