X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/ffe8ce65fd9a8e18a0469f26f067c3ea6d5d60d4..9692d43fa911bdc2d6d0263a3cb3e22d5e3167fe:/src/mc/mc_base.h diff --git a/src/mc/mc_base.h b/src/mc/mc_base.h index c21a00bc26..095b6992fd 100644 --- a/src/mc/mc_base.h +++ b/src/mc/mc_base.h @@ -1,30 +1,32 @@ -/* Copyright (c) 2008-2014. The SimGrid Team. +/* Copyright (c) 2008-2015. The SimGrid Team. * All rights reserved. */ /* This program is free software; you can redistribute it and/or modify it * under the terms of the license (GNU LGPL) which comes with this package. */ -#ifndef MC_BASE_H -#define MC_BASE_H +#ifndef SIMGRID_MC_BASE_H +#define SIMGRID_MC_BASE_H -#include -#include "simgrid_config.h" -#include "internal_config.h" -#include "../simix/smx_private.h" +#ifdef __cplusplus +#include +#endif -SG_BEGIN_DECL() +#include +#include -/** Check if the given simcall can be resolved - * - * \return `TRUE` or `FALSE` - */ -int MC_request_is_enabled(smx_simcall_t req); +#ifdef __cplusplus -/** Check if the given simcall is visible +namespace simgrid { +namespace mc { + +/** Can this requests can be executed? * - * \return `TRUE` or `FALSE` + * Most requests are always enabled but WAIT and WAITANY + * are not always enabled: a WAIT where the communication does not + * have both a source and a destination yet is not enabled + * (unless timeout is enabled in the wait and enabeld in SimGridMC). */ -int MC_request_is_visible(smx_simcall_t req); +XBT_PRIVATE bool request_is_enabled(smx_simcall_t req); /** Execute everything which is invisible * @@ -32,10 +34,22 @@ int MC_request_is_visible(smx_simcall_t req); * iteratively until there doesn't remain any. At this point, the function * returns to the caller which can handle the visible (and ready) simcalls. */ -void MC_wait_for_requests(void); +XBT_PRIVATE void wait_for_requests(); + +XBT_PRIVATE extern std::vector processes_time; -extern double *mc_time; +/** Execute a given simcall */ +XBT_PRIVATE void handle_simcall(smx_simcall_t req, int req_num); -SG_END_DECL() +/** Check if the given simcall is visible + * + * \return `TRUE` or `FALSE` + */ +XBT_PRIVATE bool request_is_visible(smx_simcall_t req); + +} +} + +#endif #endif