Нужны три статьи из ScienceDirect:
1. William Gropp and Rajeev Thakur, Thread-safety in an MPI implementation: Requirements and analysis, Parallel Computing, Vol. 33, Issue 9, 2007, Pages 595-604.
Код: Выделить всё
http://dx.doi.org/10.1016/j.parco.2007.07.002
2. Ganesh Gopalakrishnan Robert M. Kirby, Formal Methods for MPI Programs, Electronic Notes in Theoretical Computer Science, Vol. 193, 2007, Pages 19-27.
Код: Выделить всё
http://dx.doi.org/10.1016/j.entcs.2007.10.005
3. Boris V. Protopopov Anthony Skjellum, A Multithreaded Message Passing Interface (MPI) Architecture: Performance and Program Issues, Journal of Parallel and Distributed Computing, Vol. 61, Issue 4, 2001, Pages 449-466.
Спасибо!
