summary |
shortlog |
log |
commit | commitdiff |
tree
raw |
patch |
inline | side by side (from parent 1:
9fd3af3)
-> Avoid keeping a pointer to an invalid object.
#include "smx_private.h"
#include "mc/mc.h"
#include "smx_private.h"
#include "mc/mc.h"
XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix);
XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(simix);
smx_mutex_t mutex,
double timeout)
{
smx_mutex_t mutex,
double timeout)
{
xbt_assert(isfinite(timeout), "timeout is not finite!");
smx_simcall_t simcall = SIMIX_simcall_mine();
xbt_assert(isfinite(timeout), "timeout is not finite!");
smx_simcall_t simcall = SIMIX_simcall_mine();
simcall->cond_wait_timeout.mutex = mutex;
simcall->cond_wait_timeout.timeout = timeout;
simcall->cond_wait_timeout.mutex = mutex;
simcall->cond_wait_timeout.timeout = timeout;
- SIMIX_simcall_push(simcall->issuer);
+ TRY {
+ SIMIX_simcall_push(simcall->issuer);
+ }
+ CATCH(e) {
+ switch (e.category) {
+ case timeout_error:
+ simcall->issuer->waiting_action = NULL; // FIXME: should clean ?
+ break;
+ default:
+ break;
+ }
+ RETHROW;
+ xbt_ex_free(e);
+ }
}
void simcall_cond_broadcast(smx_cond_t cond)
}
void simcall_cond_broadcast(smx_cond_t cond)