Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
bcf43c46bd12c2a66707d638e8b369c92979bc79
[simgrid.git] / 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 #ifndef SIMGRID_MC_HASH_HPP
8 #define SIMGRID_MC_HASH_HPP
9
10 #include <stdio.h>
11 #include <stdint.h>
12
13 #include <vector>
14
15 #include "xbt/misc.h"
16 #include "mc_snapshot.h"
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