MPI, RDMA and one sided communication
This issue aims to sum up the first steps of your internship
The goal is to implement the paper "One-Sided Communications for more Efficient Parallel State Space Exploration over RDMA Clusters" .
In order to achieve this:
-
Read carefully the paper. You must be able to understand it and to understand all the details inside of it. Do not hesitate to ask me if you have some problem (for this kind of question, prefer mail which is asynchronous since I can check things before giving an answer) -
Download [MPI] (https://www.open-mpi.org) -
Have tutorials. This one even if somehow dated, have a good looking.
This is it for now. Once you have done that we will talk about integration into spot :)