]>
Commit | Line | Data |
---|---|---|
7c673cae FG |
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); | |
92f5a8d4 TL |
25 | /** @override */ |
26 | void wait_for_debugger(boost::mpi::communicator const& comm); |