X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/a92d7b716f51a53dea7f59db8524d4add713b910..3f88afa7ab43c9ff2d4c4d0cece067863998ad68:/src/mc/mc_base.h diff --git a/src/mc/mc_base.h b/src/mc/mc_base.h index 1f94f1b94b..44347c0a25 100644 --- a/src/mc/mc_base.h +++ b/src/mc/mc_base.h @@ -1,4 +1,4 @@ -/* Copyright (c) 2008-2017. The SimGrid Team. All rights reserved. */ +/* Copyright (c) 2008-2020. 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. */ @@ -15,15 +15,6 @@ namespace simgrid { namespace mc { -/** Can this requests can be executed? - * - * 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). - */ -XBT_PRIVATE bool request_is_enabled(smx_simcall_t req); - /** Execute everything which is invisible * * Execute all the processes that are ready to run and all invisible simcalls @@ -37,12 +28,19 @@ XBT_PRIVATE extern std::vector processes_time; /** Execute a given simcall */ XBT_PRIVATE void handle_simcall(smx_simcall_t req, int req_num); -/** Check if the given simcall is visible +/** Is the process ready to execute its simcall? + * + * This is true if the request associated with the process is ready. * - * \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 enabled in SimGridMC). */ -XBT_PRIVATE bool request_is_visible(smx_simcall_t req); +XBT_PRIVATE bool actor_is_enabled(smx_actor_t process); +/** Check if the given simcall is visible */ +XBT_PRIVATE bool request_is_visible(const s_smx_simcall* req); } }