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
13 #include "simgrid/forward.h"
17 #include <simgrid/simix.hpp>
22 XBT_PUBLIC_CLASS Synchro {
26 e_smx_state_t state = SIMIX_WAITING; /* State of the synchro */
27 std::string name; /* synchro name if any */
28 std::list<smx_simcall_t> simcalls; /* List of simcalls waiting for this synchro */
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