Pabble: parameterised Scribble

File Description SizeFormat 
Service Oriented Computing and Applications_Dec_2014.pdfPublished version832.76 kBAdobe PDFView/Open
Title: Pabble: parameterised Scribble
Authors: Ng, N
Yoshida, N
Item Type: Journal Article
Abstract: © 2014, The Author(s).Many parallel and distributed message-passing programs are written in a parametric way over available resources, in particular the number of nodes and their topologies, so that a single parallel program can scale over different environments. This article presents a parameterised protocol description language, Pabble, which can guarantee safety and progress in a large class of practical, complex parameterised message-passing programs through static checking. Pabble can describe an overall interaction topology, using a concise and expressive notation, designed for a variable number of participants arranged in multiple dimensions. These parameterised protocols in turn automatically generate local protocols for type checking parameterised MPI programs for communication safety and deadlock freedom. In spite of undecidability of endpoint projection and type checking in the underlying parameterised session type theory, our method guarantees the termination of end point projection and type checking.
Issue Date: 20-Dec-2014
URI: http://hdl.handle.net/10044/1/19623
DOI: http://dx.doi.org/10.1007/s11761-014-0172-8
ISSN: 1863-2386
Publisher: Springer-Verlag London Ltd
Journal / Book Title: Service Oriented Computing and Applications
Copyright Statement: © 2014, The Author(s). This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
Publication Status: Accepted
Appears in Collections:Computing



This item is licensed under a Creative Commons License Creative Commons