src/mc/mc_hash.hpp

   1 /* Copyright (c) 2007-2015. The SimGrid Team.
   2  * All rights reserved.                                                     */
   3
   4 /* This program is free software; you can redistribute it and/or modify it
   5  * under the terms of the license (GNU LGPL) which comes with this package. */
   6
   7 #include <stdio.h>
   8 #include <stdint.h>
   9
  10 #include <vector>
  11
  12 #include "xbt/misc.h"
  13 #include "mc_snapshot.h"
  14
  15 #ifndef SIMGRID_MC_HASH_HPP
  16 #define SIMGRID_MC_HASH_HPP
  17
  18 /** \brief Hash the current state
  19  *  \param num_state number of states
  20  *  \param stacks stacks (mc_snapshot_stak_t) used fot the stack unwinding informations
  21  *  \result resulting hash
  22  * */
  23 XBT_INTERNAL uint64_t mc_hash_processes_state(
  24   int num_state, std::vector<s_mc_snapshot_stack_t> const& stacks);
  25
  26 /** @brief Dump the stacks of the application processes
  27  *
  28  *   This functions is currently not used but it is quite convenient
  29  *   to call from the debugger.
  30  *
  31  *   Does not work when an application thread is running.
  32  */
  33
  34 #endif