Inferring Types for Parallel Programs

Inferring Types for Parallel Programs

The Message Passing Interface (MPI) framework is widely used in implementing imperative pro- grams that exhibit a high degree of parallelism. The PARTYPES approach proposes a behavioural type discipline for MPI-like programs in which a type describes the communication protocol followed by the entire...

Full description

Bibliographic Details
Main Authors: Francisco Martins, Vasco Thudichum Vasconcelos, Hans Hüttel
Format: Article
Language:English
Published: Open Publishing Association 2017-04-01
Series:Electronic Proceedings in Theoretical Computer Science
Online Access:http://arxiv.org/pdf/1704.03096v1
id doaj-ba5fc7a5cefe4d0d93a0c81e5e0916ff
record_format Article
spelling doaj-ba5fc7a5cefe4d0d93a0c81e5e0916ff2020-11-25T02:12:44ZengOpen Publishing AssociationElectronic Proceedings in Theoretical Computer Science2075-21802017-04-01246Proc. PLACES 2017283610.4204/EPTCS.246.6:9Inferring Types for Parallel ProgramsFrancisco Martins0Vasco Thudichum Vasconcelos1Hans Hüttel2 LaSIGE, Faculty of Sciences, University of Lisbon LaSIGE, Faculty of Sciences, University of Lisbon Department of Computer Science, Aalborg University The Message Passing Interface (MPI) framework is widely used in implementing imperative pro- grams that exhibit a high degree of parallelism. The PARTYPES approach proposes a behavioural type discipline for MPI-like programs in which a type describes the communication protocol followed by the entire program. Well-typed programs are guaranteed to be exempt from deadlocks. In this paper we describe a type inference algorithm for a subset of the original system; the algorithm allows to statically extract a type for an MPI program from its source code.http://arxiv.org/pdf/1704.03096v1
collection DOAJ
language English
format Article
sources DOAJ
author Francisco Martins
Vasco Thudichum Vasconcelos
Hans Hüttel
spellingShingle Francisco Martins
Vasco Thudichum Vasconcelos
Hans Hüttel
Inferring Types for Parallel Programs
Electronic Proceedings in Theoretical Computer Science
author_facet Francisco Martins
Vasco Thudichum Vasconcelos
Hans Hüttel
author_sort Francisco Martins
title Inferring Types for Parallel Programs
title_short Inferring Types for Parallel Programs
title_full Inferring Types for Parallel Programs
title_fullStr Inferring Types for Parallel Programs
title_full_unstemmed Inferring Types for Parallel Programs
title_sort inferring types for parallel programs
publisher Open Publishing Association
series Electronic Proceedings in Theoretical Computer Science
issn 2075-2180
publishDate 2017-04-01
description The Message Passing Interface (MPI) framework is widely used in implementing imperative pro- grams that exhibit a high degree of parallelism. The PARTYPES approach proposes a behavioural type discipline for MPI-like programs in which a type describes the communication protocol followed by the entire program. Well-typed programs are guaranteed to be exempt from deadlocks. In this paper we describe a type inference algorithm for a subset of the original system; the algorithm allows to statically extract a type for an MPI program from its source code.
url http://arxiv.org/pdf/1704.03096v1
work_keys_str_mv AT franciscomartins inferringtypesforparallelprograms
AT vascothudichumvasconcelos inferringtypesforparallelprograms
AT hanshuttel inferringtypesforparallelprograms
_version_ 1724908577186906112

Similar Items