A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
better handling of blocking simcalls in the generated popping
[simgrid.git]
/
src
/
simix
/
smx_synchro.c
diff --git
a/src/simix/smx_synchro.c
b/src/simix/smx_synchro.c
index
22e7180
..
66005c3
100644
(file)
--- a/
src/simix/smx_synchro.c
+++ b/
src/simix/smx_synchro.c
@@
-120,7
+120,7
@@
static void SIMIX_synchro_finish(smx_action_t action)
}
/*********************************** Mutex ************************************/
}
/*********************************** Mutex ************************************/
-smx_mutex_t
SIMIX_pre
_mutex_init(smx_simcall_t simcall){
+smx_mutex_t
simcall_HANDLER
_mutex_init(smx_simcall_t simcall){
return SIMIX_mutex_init();
}
/**
return SIMIX_mutex_init();
}
/**
@@
-145,7
+145,7
@@
smx_mutex_t SIMIX_mutex_init(void)
* \brief Handles a mutex lock simcall.
* \param simcall the simcall
*/
* \brief Handles a mutex lock simcall.
* \param simcall the simcall
*/
-void
SIMIX_pre
_mutex_lock(smx_simcall_t simcall, smx_mutex_t mutex)
+void
simcall_HANDLER
_mutex_lock(smx_simcall_t simcall, smx_mutex_t mutex)
{
XBT_IN("(%p)",simcall);
/* FIXME: check where to validate the arguments */
{
XBT_IN("(%p)",simcall);
/* FIXME: check where to validate the arguments */
@@
-168,7
+168,7
@@
void SIMIX_pre_mutex_lock(smx_simcall_t simcall, smx_mutex_t mutex)
XBT_OUT();
}
XBT_OUT();
}
-int
SIMIX_pre
_mutex_trylock(smx_simcall_t simcall, smx_mutex_t mutex){
+int
simcall_HANDLER
_mutex_trylock(smx_simcall_t simcall, smx_mutex_t mutex){
return SIMIX_mutex_trylock(mutex, simcall->issuer);
}
/**
return SIMIX_mutex_trylock(mutex, simcall->issuer);
}
/**
@@
-194,7
+194,7
@@
int SIMIX_mutex_trylock(smx_mutex_t mutex, smx_process_t issuer)
return 1;
}
return 1;
}
-void
SIMIX_pre
_mutex_unlock(smx_simcall_t simcall, smx_mutex_t mutex){
+void
simcall_HANDLER
_mutex_unlock(smx_simcall_t simcall, smx_mutex_t mutex){
SIMIX_mutex_unlock(mutex, simcall->issuer);
}
/**
SIMIX_mutex_unlock(mutex, simcall->issuer);
}
/**
@@
-231,7
+231,7
@@
void SIMIX_mutex_unlock(smx_mutex_t mutex, smx_process_t issuer)
XBT_OUT();
}
XBT_OUT();
}
-void
SIMIX_pre
_mutex_destroy(smx_simcall_t simcall, smx_mutex_t mutex){
+void
simcall_HANDLER
_mutex_destroy(smx_simcall_t simcall, smx_mutex_t mutex){
SIMIX_mutex_destroy(mutex);
}
/**
SIMIX_mutex_destroy(mutex);
}
/**
@@
-252,7
+252,7
@@
void SIMIX_mutex_destroy(smx_mutex_t mutex)
/********************************* Condition **********************************/
/********************************* Condition **********************************/
-smx_cond_t
SIMIX_pre
_cond_init(smx_simcall_t simcall){
+smx_cond_t
simcall_HANDLER
_cond_init(smx_simcall_t simcall){
return SIMIX_cond_init();
}
/**
return SIMIX_cond_init();
}
/**
@@
-277,7
+277,7
@@
smx_cond_t SIMIX_cond_init(void)
* \brief Handle a condition waiting simcall without timeouts
* \param simcall the simcall
*/
* \brief Handle a condition waiting simcall without timeouts
* \param simcall the simcall
*/
-void
SIMIX_pre
_cond_wait(smx_simcall_t simcall, smx_cond_t cond, smx_mutex_t mutex)
+void
simcall_HANDLER
_cond_wait(smx_simcall_t simcall, smx_cond_t cond, smx_mutex_t mutex)
{
XBT_IN("(%p)",simcall);
smx_process_t issuer = simcall->issuer;
{
XBT_IN("(%p)",simcall);
smx_process_t issuer = simcall->issuer;
@@
-290,7
+290,7
@@
void SIMIX_pre_cond_wait(smx_simcall_t simcall, smx_cond_t cond, smx_mutex_t mut
* \brief Handle a condition waiting simcall with timeouts
* \param simcall the simcall
*/
* \brief Handle a condition waiting simcall with timeouts
* \param simcall the simcall
*/
-void
SIMIX_pre
_cond_wait_timeout(smx_simcall_t simcall, smx_cond_t cond,
+void
simcall_HANDLER
_cond_wait_timeout(smx_simcall_t simcall, smx_cond_t cond,
smx_mutex_t mutex, double timeout)
{
XBT_IN("(%p)",simcall);
smx_mutex_t mutex, double timeout)
{
XBT_IN("(%p)",simcall);
@@
-323,7
+323,7
@@
static void _SIMIX_cond_wait(smx_cond_t cond, smx_mutex_t mutex, double timeout,
XBT_OUT();
}
XBT_OUT();
}
-void
SIMIX_pre
_cond_signal(smx_simcall_t simcall, smx_cond_t cond){
+void
simcall_HANDLER
_cond_signal(smx_simcall_t simcall, smx_cond_t cond){
SIMIX_cond_signal(cond);
}
/**
SIMIX_cond_signal(cond);
}
/**
@@
-358,12
+358,12
@@
void SIMIX_cond_signal(smx_cond_t cond)
mutex = simcall_cond_wait_timeout__get__mutex(simcall);
simcall->call = SIMCALL_MUTEX_LOCK;
mutex = simcall_cond_wait_timeout__get__mutex(simcall);
simcall->call = SIMCALL_MUTEX_LOCK;
-
SIMIX_pre
_mutex_lock(simcall, mutex);
+
simcall_HANDLER
_mutex_lock(simcall, mutex);
}
XBT_OUT();
}
}
XBT_OUT();
}
-void
SIMIX_pre
_cond_broadcast(smx_simcall_t simcall, smx_cond_t cond){
+void
simcall_HANDLER
_cond_broadcast(smx_simcall_t simcall, smx_cond_t cond){
SIMIX_cond_broadcast(cond);
}
/**
SIMIX_cond_broadcast(cond);
}
/**
@@
-385,7
+385,7
@@
void SIMIX_cond_broadcast(smx_cond_t cond)
XBT_OUT();
}
XBT_OUT();
}
-void
SIMIX_pre
_cond_destroy(smx_simcall_t simcall, smx_cond_t cond){
+void
simcall_HANDLER
_cond_destroy(smx_simcall_t simcall, smx_cond_t cond){
SIMIX_cond_destroy(cond);
}
/**
SIMIX_cond_destroy(cond);
}
/**
@@
-411,7
+411,7
@@
void SIMIX_cond_destroy(smx_cond_t cond)
/******************************** Semaphores **********************************/
#define SMX_SEM_NOLIMIT 99999
/******************************** Semaphores **********************************/
#define SMX_SEM_NOLIMIT 99999
-smx_sem_t
SIMIX_pre
_sem_init(smx_simcall_t simcall, unsigned int value){
+smx_sem_t
simcall_HANDLER
_sem_init(smx_simcall_t simcall, unsigned int value){
return SIMIX_sem_init(value);
}
/** @brief Initialize a semaphore */
return SIMIX_sem_init(value);
}
/** @brief Initialize a semaphore */
@@
-427,7
+427,7
@@
smx_sem_t SIMIX_sem_init(unsigned int value)
return sem;
}
return sem;
}
-void
SIMIX_pre
_sem_destroy(smx_simcall_t simcall, smx_sem_t sem){
+void
simcall_HANDLER
_sem_destroy(smx_simcall_t simcall, smx_sem_t sem){
SIMIX_sem_destroy(sem);
}
/** @brief Destroys a semaphore */
SIMIX_sem_destroy(sem);
}
/** @brief Destroys a semaphore */
@@
-444,7
+444,7
@@
void SIMIX_sem_destroy(smx_sem_t sem)
XBT_OUT();
}
XBT_OUT();
}
-void
SIMIX_pre
_sem_release(smx_simcall_t simcall, smx_sem_t sem){
+void
simcall_HANDLER
_sem_release(smx_simcall_t simcall, smx_sem_t sem){
SIMIX_sem_release(sem);
}
/** @brief release the semaphore
SIMIX_sem_release(sem);
}
/** @brief release the semaphore
@@
-476,7
+476,7
@@
int SIMIX_sem_would_block(smx_sem_t sem)
return (sem->value <= 0);
}
return (sem->value <= 0);
}
-int
SIMIX_pre
_sem_get_capacity(smx_simcall_t simcall, smx_sem_t sem){
+int
simcall_HANDLER
_sem_get_capacity(smx_simcall_t simcall, smx_sem_t sem){
return SIMIX_sem_get_capacity(sem);
}
/** @brief Returns the current capacity of the semaphore */
return SIMIX_sem_get_capacity(sem);
}
/** @brief Returns the current capacity of the semaphore */
@@
-510,7
+510,7
@@
static void _SIMIX_sem_wait(smx_sem_t sem, double timeout, smx_process_t issuer,
* \brief Handles a sem acquire simcall without timeout.
* \param simcall the simcall
*/
* \brief Handles a sem acquire simcall without timeout.
* \param simcall the simcall
*/
-void
SIMIX_pre
_sem_acquire(smx_simcall_t simcall, smx_sem_t sem)
+void
simcall_HANDLER
_sem_acquire(smx_simcall_t simcall, smx_sem_t sem)
{
XBT_IN("(%p)",simcall);
_SIMIX_sem_wait(sem, -1, simcall->issuer, simcall);
{
XBT_IN("(%p)",simcall);
_SIMIX_sem_wait(sem, -1, simcall->issuer, simcall);
@@
-521,9
+521,12
@@
void SIMIX_pre_sem_acquire(smx_simcall_t simcall, smx_sem_t sem)
* \brief Handles a sem acquire simcall with timeout.
* \param simcall the simcall
*/
* \brief Handles a sem acquire simcall with timeout.
* \param simcall the simcall
*/
-void
SIMIX_pre
_sem_acquire_timeout(smx_simcall_t simcall, smx_sem_t sem, double timeout)
+void
simcall_HANDLER
_sem_acquire_timeout(smx_simcall_t simcall, smx_sem_t sem, double timeout)
{
XBT_IN("(%p)",simcall);
_SIMIX_sem_wait(sem, timeout, simcall->issuer, simcall);
XBT_OUT();
}
{
XBT_IN("(%p)",simcall);
_SIMIX_sem_wait(sem, timeout, simcall->issuer, simcall);
XBT_OUT();
}
+int simcall_HANDLER_sem_would_block(smx_simcall_t simcall, smx_sem_t sem) {
+ return SIMIX_sem_would_block(sem);
+}