• Home
  • Line#
  • Scopes#
  • Navigate#
  • Raw
  • Download
1 //          Copyright AlainMiniussi 20014 - 20015.
2 // Distributed under the Boost Software License, Version 1.0.
3 //    (See accompanying file LICENSE_1_0.txt or copy at
4 //          http://www.boost.org/LICENSE_1_0.txt)
5 
6 #include <vector>
7 #include "boost/mpi/communicator.hpp"
8 
9 /**
10  * @brief Extract the MPI rank to pause.
11  *
12  * Right now, just atois alla the parameters in argv....
13  */
14 std::vector<int> extract_paused_ranks(int argc, char** argv);
15 
16 /**
17  * @print Print rank pid map and wait if requested.
18  * @param processes Wait if our rank is in there.
19  * @param comm The communicator to consider.
20  *
21  * Once the debugger has attached to the process, it is expected to
22  * set the local variable 'i' to 0 to let the process restarts.
23  */
24 void wait_for_debugger(std::vector<int> const& processes, boost::mpi::communicator const& comm);
25 /** @override */
26 void wait_for_debugger(boost::mpi::communicator const& comm);
27