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
72 Consultations
123 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More