Published 2017
Table of Contents:
“...15.2 Pabble: Parameterised Scribble -- 15.3 MPI Backbone -- 15.3.1 MPI Backbone Generation from Ring Protocol -- 15.4
Computation Kernels -- 15.4.1 Writing a Kernel -- 15.4.1.1 Initialisation -- 15.4.1.2 Passing
data between backbone and kernel through queues -- 15.4.1.3 Predicates -- 15.5 The Pabble Language -- 15.5.1 Global Protocols Syntax -- 15.5.1.1 Restriction on constants -- 15.5.2 Local Protocols -- 15.6 MPI Backbone Generation -- 15.6.1 Interaction -- 15.6.2 Parallel Interaction -- 15.6.3 Internal Interaction -- 15.6.4 Control-flow: Iteration and For-loop -- 15.6.5 Control-flow: Choice -- 15.6.6 Collective Operations: Scatter, Gather and All-to-all -- 15.6.7
Process Scaling -- 15.7 Merging MPI Backbone and Kernels -- 15.7.1 Annotation-Guided Merging
Process -- 15.7.2 Kernel Function -- 15.7.3 Datatypes -- 15.7.4 Conditionals -- 15.8 Related Work -- 15.9 Conclusion -- References -- Chapter 16 -- Deductive Verification of MPI Protocols -- 16.1 Introduction -- 16.2 The Finite Differences Algorithm and Common Coding Faults -- 16.3 The Protocol Language -- 16.4 Overview of the Verification Procedure -- 16.5 The Marking
Process -- 16.6 Related Work -- 16.7 Conclusion -- References -- Index -- About the Editors -- Back Cover....
”
Call Number:
Loading...
Located:
Loading...
Connect to the full text of this electronic book
eBook