X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/18c57b27dd71ee7839c6a90368c845886a87d638..b3ca3a517af21780e88cc89869b16927d1fea68a:/src/simix/smx_synchro_private.h diff --git a/src/simix/smx_synchro_private.h b/src/simix/smx_synchro_private.h index f3ec15c14b..9907e4176c 100644 --- a/src/simix/smx_synchro_private.h +++ b/src/simix/smx_synchro_private.h @@ -1,3 +1,9 @@ +/* Copyright (c) 2012, 2014. 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 _SIMIX_SYNCHRO_PRIVATE_H #define _SIMIX_SYNCHRO_PRIVATE_H @@ -20,29 +26,24 @@ typedef struct s_smx_sem { xbt_swag_t sleeping; /* list of sleeping process */ } s_smx_sem_t; -void SIMIX_post_synchro(smx_action_t action); +void SIMIX_post_synchro(smx_synchro_t synchro); void SIMIX_synchro_stop_waiting(smx_process_t process, smx_simcall_t simcall); -void SIMIX_synchro_destroy(smx_action_t action); +void SIMIX_synchro_destroy(smx_synchro_t synchro); smx_mutex_t SIMIX_mutex_init(void); void SIMIX_mutex_destroy(smx_mutex_t mutex); -void SIMIX_pre_mutex_lock(smx_simcall_t simcall); int SIMIX_mutex_trylock(smx_mutex_t mutex, smx_process_t issuer); void SIMIX_mutex_unlock(smx_mutex_t mutex, smx_process_t issuer); smx_cond_t SIMIX_cond_init(void); void SIMIX_cond_destroy(smx_cond_t cond); void SIMIX_cond_signal(smx_cond_t cond); -void SIMIX_pre_cond_wait(smx_simcall_t simcall); -void SIMIX_pre_cond_wait_timeout(smx_simcall_t simcall); void SIMIX_cond_broadcast(smx_cond_t cond); smx_sem_t SIMIX_sem_init(unsigned int value); void SIMIX_sem_destroy(smx_sem_t sem); void SIMIX_sem_release(smx_sem_t sem); int SIMIX_sem_would_block(smx_sem_t sem); -void SIMIX_pre_sem_acquire(smx_simcall_t simcall); -void SIMIX_pre_sem_acquire_timeout(smx_simcall_t simcall); int SIMIX_sem_get_capacity(smx_sem_t sem); #endif