A formal semantics of the MULTI-ML language

Abstract : 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.
Keywords : Semantics MULTI-BSP ML
Type de document :
Communication dans un congrès
International Symposium on Parallel and Distributed Computing (ISPDC 2018), Jun 2018, Genève, Switzerland
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01835315
Contributeur : Victor Allombert <>
Soumis le : mercredi 11 juillet 2018 - 12:09:49
Dernière modification le : jeudi 26 juillet 2018 - 01:08:04
Document(s) archivé(s) le : vendredi 12 octobre 2018 - 23:31:03

Fichier

main.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : hal-01835315, version 1

Collections

Citation

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〉

Partager

Métriques

Consultations de la notice

28

Téléchargements de fichiers

22