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
Liste complète des métadonnées

https://hal.archives-ouvertes.fr/hal-01835315
Contributor : Victor Allombert <>
Submitted on : Wednesday, July 11, 2018 - 12:09:49 PM
Last modification on : Thursday, July 26, 2018 - 1:08:04 AM
Document(s) archivé(s) le : Friday, October 12, 2018 - 11:31:03 PM

File

main.pdf
Files produced by the author(s)

Identifiers

  • 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〉

Share

Metrics

Record views

35

Files downloads

29