• 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