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 Access content directly
Conference Papers Year : 1989

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

Claude Jard

Abstract

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
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : hal-00765072 , version 1

Cite

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⟩
158 View
35 Download

Share

Gmail Facebook Twitter LinkedIn More