A formal semantics of the MULTI-ML language - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 2018

A formal semantics of the MULTI-ML language

Résumé

In the context of high performance computing, it is important to avoid indeterminism and deadlocks. MULTI-ML is a functional parallel programming language " à la ML " , designed to program hierarchical architectures in a structured way. It is based of the MULTI-BSP bridging model. To ensure that a program " cannot go wrong " , we first need to define how a program " goes ". To do so, we propose a formal operational semantics of the MULTI-ML language to ensure the properties of the MULTI-BSP model. We first describe a core-language and then introduce the big step's semantics evaluation rules. Then, we propose a set of evaluation rules that describe the behaviour of the MULTI-ML language. The memory model is also precisely defined, as the MULTI-BSP model deals with multiple level of nested memories.
Fichier principal
Vignette du fichier
main.pdf (377.26 Ko) Télécharger le fichier
Origine : Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

hal-01835315 , version 1 (11-07-2018)

Identifiants

  • HAL Id : hal-01835315 , version 1

Citer

Victor Allombert, Frédéric Gava, Julien Tesson. A formal semantics of the MULTI-ML language. International Symposium on Parallel and Distributed Computing (ISPDC 2018), Jun 2018, Genève, Switzerland. ⟨hal-01835315⟩

Collections

CNRS LACL UPEC
71 Consultations
122 Téléchargements

Partager

Gmail Facebook X LinkedIn More