The version of dmtcp and openmpi about dmtcp

[gc00]

@GoodKairos ,
We don't support Open MPI right now. We have s new implementation here:
https://github.com/mpickpt/mana

Is been tested on MPICH for CentOS. We do intend to support Open MPI in the future. But maybe not on the near term unless there is enough demand.

[antoinetran]

Linked to #910

Hi @gc00 , thank you for the answer.

However I have been led to believe that DMTCP officially support OpenMPI, because this is what is written in doc:
https://dmtcp.sourceforge.io/FAQ.html#mpiCkpt

Does DMTCP support checkpointing of MPI programs?
Yes. And to restart on different hosts, edit the 'ssh' lines in dmtcp_restart_script.sh . DMTCP operates by checkpointing the sockets (or InfiniBand connections, if using --infiniband) created by the MPI library. Hence, it is transparent to MPI and doesn't require any particular MPI configuration or hooks. In principle, DMTCP should run on any MPI over TCP/IP. We usually test on [Open MPI](http://www.open-mpi.org/), [MVAPICH-2](http://mvapich.cse.ohio-state.edu/) and[ MPICH-2](http://www.mcs.anl.gov/research/projects/mpich2/). If you find an MPI that we don't support, this is a bug in DMTCP. We would be appreciative if you can file a bug report. For further details on using MPI, see [QUICK-START.md](http://github.com/dmtcp/dmtcp/tree/master/QUICK-START.md).

    As of DMTCP-2.4, DMTCP should offer robust support for popular implementations of MPI, along with support for the SLURM batch queue. (See the [example SLURM scripts for using DMTCP](https://github.com/dmtcp/dmtcp/tree/master/plugin/batch-queue/job_examples).)

I can also see examples of Slurm batch launching dmtcp with OpenMPI so I thought it would work. I spent quite a lot of time trying, only to find out that I should focus on Mana instead. Can someone fix the official doc? Thank you.