[Mpi-forum] MPI One-Sided Communication

Simone Atzeni simone.at at gmail.com
Thu Apr 23 14:28:22 CDT 2009

Hi, I'm an italian student and I'm doing a thesis about Formal  
Verification. Now, I'm looking for information about mpi one-sided  
communication to see who uses one-sided and for what (user  
applications or implementing library). My target would be to implement  
a software to do model checking on mpi one-sided communication  
programs. But before begin my work, I'd like to know if this can be  
useful in the scientific world or if mpi one-sided communications is  
an obsolete standard doesn't use anymore, so it could be a work not  
much useful. I'd like to hear your idea about this topic. Sorry for my  
bad english, I hope that you understand me. Thanks for your attention.  
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.mpi-forum.org/pipermail/mpi-forum/attachments/20090423/fff0a383/attachment.html>

More information about the mpi-forum mailing list