1 /* Copyright (c) 2007-2016. The SimGrid Team. All rights reserved. */
3 /* This program is free software; you can redistribute it and/or modify it
4 * under the terms of the license (GNU LGPL) which comes with this package. */
6 #ifndef _SIMIX_SYNCHRO_HPP
7 #define _SIMIX_SYNCHRO_HPP
12 #include "simgrid/forward.h"
16 #include <simgrid/simix.hpp>
21 XBT_PUBLIC_CLASS Synchro {
25 e_smx_state_t state; /* State of the synchro */
26 std::string name; /* synchro name if any */
27 xbt_fifo_t simcalls; /* List of simcalls waiting for this synchro */
28 char *category = nullptr; /* For instrumentation */
30 virtual void suspend()=0;
31 virtual void resume()=0;
32 virtual void post() =0; // What to do when a simcall terminates
39 }} // namespace simgrid::simix