A Framework for Proving Correctness of Adjoint Message-Passing Programs
Proceedings of the 15th European PVM/MPI Users' Group Meeting on Recent Advances in Parallel Virtual Machine and Message Passing Interface
| Hi-index | 0.00 |
This chapter describes the problems met while extending ADIFOR 3.0 to handle programs coming form the MPI datatypes. To give a complete picture of the design space, this chapter first explains why creating a differentiated interface for MPI is preferable to differentiating MPI source itself. Next, we identify the two main problems that MPI datatypes present and present two potential solution techniques. In conclusion, we give some preliminary implementation results.