Skip to Main content Skip to Navigation
Conference papers

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

Claude Jard 1 Jean-Marc Jézéquel 1
1 ADP - Distributed Algorithms and Protocols
IRISA - Institut de Recherche en Informatique et Systèmes Aléatoires, INRIA Rennes
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [15 references]  Display  Hide  Download

https://hal.inria.fr/hal-00765072
Contributor : Jean-Marc Jézéquel <>
Submitted on : Tuesday, March 12, 2019 - 11:43:39 AM
Last modification on : Thursday, February 11, 2021 - 2:48:04 PM
Long-term archiving on: : Thursday, June 13, 2019 - 2:27:04 PM

File

ifip89.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00765072, version 1

Citation

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⟩

Share

Metrics

Record views

275

Files downloads

56