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
8 #include "simgrid/forward.h"
12 #include <simgrid/simix.hpp>
21 e_smx_state_t state; /* State of the synchro */
22 char *name = nullptr; /* synchro name if any */
23 xbt_fifo_t simcalls; /* List of simcalls waiting for this synchro */
24 char *category = nullptr; /* For instrumentation */
26 virtual void suspend()=0;
27 virtual void resume()=0;
28 virtual void post() =0; // What to do when a simcall terminates
35 }} // namespace simgrid::simix