Formal semantics of DRMA-style programming in BSPlib
作者： Julien Tesson , Frédéric Loulergue
DOI: 10.1007/978-3-540-68111-3_119
关键词:
摘要: BSPlib is a programming library for C and Fortran which supports bulk synchronous parallelism (BSP). This paper about formal semantics the DRMA style of library. The aim to study behavior programs propose some syntactic characterizations used provide guarantees on semantic properties. work basis future tools dedicated validation programs.
springer.com
archives-ouvertes.fr
sci-hub.st 参考文章(17)
Anish Arora, Book Review: Verification of Sequential and Concurrent Programs by Krzysztof R. Apt and Ernst-Riidiger Olderog (Springer-Verlag New York, 1997) Sigact News. ,vol. 29, pp. 46- 48 ,(1998) , 10.1145/300307.1040357
E.R. Olderog, K.R. Apt, Verification of sequential and concurrent programs Graduate texts in computer science. ,(1997)
Glynn Winskel, The Formal Semantics of Programming Languages: An Introduction ,(1993)
He Jifeng, Quentin Miller, Lei Chen, Algebraic Laws for BSP Programming european conference on parallel processing. pp. 359- 368 ,(1996) , 10.1007/BFB0024724
M. F. P. O'Boyle, R. W. Ford, A. P. Nisbet, Compiler Reduction of Invalidation Traffic in Virtual Shared Memory Systems european conference on parallel processing. pp. 432- 440 ,(1996) , 10.1007/3-540-61626-8_58
Frédéric Loulergue, Frédéric Gava, David Billiet, Bulk Synchronous Parallel ML: Modular Implementation and Performance Prediction Lecture Notes in Computer Science. pp. 1046- 1054 ,(2005) , 10.1007/11428848_132
Jack Dongarra, Steven Huss-Lederman, David W. Walker, Steve W. Otto, Marc Snir, MPI: The Complete Reference ,(1996)
FRÉDÉRIC GAVA, FORMAL PROOFS OF FUNCTIONAL BSP PROGRAMS Parallel Processing Letters. ,vol. 13, pp. 365- 376 ,(2003) , 10.1142/S0129626403001343
D.B. Skillicorn, Jonathan M.D. Hill, W.F. McColl, Questions and Answers about BSP Scientific Programming. ,vol. 6, pp. 249- 274 ,(1997) , 10.1155/1997/532130
Yan Gu, Bu-Sung Lee, Wentong Cai, JBSP: A BSP Programming Library in Java Journal of Parallel and Distributed Computing. ,vol. 61, pp. 1126- 1142 ,(2001) , 10.1006/JPDC.2001.1735