X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/7a25b8e6a7aae6d40849189e58495aee0d8f726f..8498a654bd5379c957de389f3dbf4fc015e8b0b1:/src/simix/smx_smurf.c diff --git a/src/simix/smx_smurf.c b/src/simix/smx_smurf.c index 3f2045d8af..aec3439312 100644 --- a/src/simix/smx_smurf.c +++ b/src/simix/smx_smurf.c @@ -1,565 +1,75 @@ -#include "private.h" +#include "smx_private.h" #include "xbt/fifo.h" #include "xbt/xbt_os_thread.h" +#include "../mc/mc_private.h" XBT_LOG_NEW_DEFAULT_SUBCATEGORY(simix_smurf, simix, "Logging specific to SIMIX (SMURF)"); -/* Requests to handle at the end of this round of scheduling user processes */ -static xbt_heap_t req_todo; -/* to protect the write actions in the heap */ -static xbt_os_mutex_t sync_req_positions; - -void SIMIX_request_init(void) -{ - req_todo = xbt_heap_new(5,NULL); - sync_req_positions = xbt_os_mutex_init(); -} - -void SIMIX_request_destroy(void) +XBT_INLINE smx_simcall_t SIMIX_simcall_mine() { - xbt_heap_free(req_todo); - xbt_os_mutex_destroy(sync_req_positions); -} - -/* FIXME: we may want to save the initialization of issuer... */ -XBT_INLINE smx_req_t SIMIX_req_mine() { smx_process_t issuer = SIMIX_process_self(); - return &issuer->request; + return &issuer->simcall; } -void SIMIX_request_push() +/** + * \brief Makes the current process do a simcall to the kernel and yields + * until completion. If the current thread is maestro, we don't yield and + * execute the simcall directly. + * \param self the current process + */ +void SIMIX_simcall_push(smx_process_t self) { - smx_process_t issuer = SIMIX_process_self(); - if (issuer != simix_global->maestro_process){ - issuer->request.issuer = issuer; - - if (smx_parallel_contexts) - xbt_os_mutex_acquire(sync_req_positions); - xbt_heap_push(req_todo,&issuer->request,issuer->pid); - DEBUG4("Pushed request %s (%d) of %s; now %d requests waiting", - SIMIX_request_name(issuer->request.call), issuer->request.call, - issuer->name,xbt_heap_size(req_todo)); - if (smx_parallel_contexts) - xbt_os_mutex_release(sync_req_positions); - - DEBUG3("Yield process '%s' on request of type %s (%d)", issuer->name, - SIMIX_request_name(issuer->request.call), issuer->request.call); - SIMIX_process_yield(); + if (self != simix_global->maestro_process) { + XBT_DEBUG("Yield process '%s' on simcall %s (%d)", self->name, + SIMIX_simcall_name(self->simcall.call), (int)self->simcall.call); + SIMIX_process_yield(self); } else { - SIMIX_request_pre(&issuer->request, 0); - } -} - -smx_req_t SIMIX_request_pop(void) -{ - smx_req_t req = xbt_heap_pop(req_todo); - if(req) - DEBUG4("Popped request %s (%d) of %s; now %d requests waiting", - SIMIX_request_name(req->issuer->request.call), - req->issuer->request.call, - req->issuer->name,xbt_heap_size(req_todo)); - return req; -} - -void SIMIX_request_answer(smx_req_t req) -{ - if (req->issuer != simix_global->maestro_process){ - DEBUG2("Answer request %s (%d)", SIMIX_request_name(req->call), req->call); - req->issuer->request.call = REQ_NO_REQ; - xbt_dynar_push_as(simix_global->process_to_run, smx_process_t, req->issuer); - } -} - -int SIMIX_request_is_visible(smx_req_t req) -{ - return req->call == REQ_COMM_ISEND - || req->call == REQ_COMM_IRECV - || req->call == REQ_COMM_WAIT - || req->call == REQ_COMM_WAITANY - || req->call == REQ_COMM_TEST - || req->call == REQ_COMM_TESTANY; -} - -int SIMIX_request_is_enabled(smx_req_t req) -{ - unsigned int index = 0; - smx_action_t act; - - switch (req->call) { - - case REQ_COMM_WAIT: - /* FIXME: check also that src and dst processes are not suspended */ - act = req->comm_wait.comm; - return (act->comm.src_proc && act->comm.dst_proc); - break; - - case REQ_COMM_WAITANY: - xbt_dynar_foreach(req->comm_waitany.comms, index, act) { - if (act->comm.src_proc && act->comm.dst_proc){ - return TRUE; - } - } - return FALSE; - break; - - default: - return TRUE; + XBT_DEBUG("I'm the maestro, execute the simcall directly"); + SIMIX_simcall_pre(&self->simcall, 0); } } -int SIMIX_request_is_enabled_by_idx(smx_req_t req, unsigned int idx) +void SIMIX_simcall_answer(smx_simcall_t simcall) { - smx_action_t act; - - switch (req->call) { - - case REQ_COMM_WAIT: - /* FIXME: check also that src and dst processes are not suspended */ - act = req->comm_wait.comm; - return (act->comm.src_proc && act->comm.dst_proc); - break; - - case REQ_COMM_WAITANY: - act = xbt_dynar_get_as(req->comm_waitany.comms, idx, smx_action_t); - return (act->comm.src_proc && act->comm.dst_proc); - break; - - default: - return TRUE; + if (simcall->issuer != simix_global->maestro_process){ + XBT_DEBUG("Answer simcall %s (%d) issued by %s (%p)", SIMIX_simcall_name(simcall->call), (int)simcall->call, + simcall->issuer->name, simcall->issuer); + simcall->issuer->simcall.call = SIMCALL_NONE; +/* This check should be useless and slows everyone. Reactivate if you see something + * weird in process scheduling. + */ +/* if(!xbt_dynar_member(simix_global->process_to_run, &(simcall->issuer))) */ + xbt_dynar_push_as(simix_global->process_to_run, smx_process_t, simcall->issuer); +/* else DIE_IMPOSSIBLE; */ } } -void SIMIX_request_pre(smx_req_t req, unsigned int value) +void SIMIX_simcall_pre(smx_simcall_t simcall, int value) { - switch (req->call) { - case REQ_NO_REQ: - THROW2(arg_error,0,"Asked to do the noop syscall on %s@%s", - SIMIX_process_get_name(req->issuer), - SIMIX_host_get_name(SIMIX_process_get_host(req->issuer)) - ); - break; - - case REQ_HOST_GET_BY_NAME: - req->host_get_by_name.result = - SIMIX_host_get_by_name(req->host_get_by_name.name); - SIMIX_request_answer(req); - break; - - case REQ_HOST_GET_NAME: - req->host_get_name.result = SIMIX_host_get_name(req->host_get_name.host); - SIMIX_request_answer(req); - break; - - case REQ_HOST_GET_PROPERTIES: - req->host_get_properties.result = - SIMIX_host_get_properties(req->host_get_properties.host); - SIMIX_request_answer(req); - break; - - case REQ_HOST_GET_SPEED: - req->host_get_speed.result = - SIMIX_host_get_speed(req->host_get_speed.host); - SIMIX_request_answer(req); - break; - - case REQ_HOST_GET_AVAILABLE_SPEED: - req->host_get_available_speed.result = - SIMIX_host_get_available_speed(req->host_get_available_speed.host); - SIMIX_request_answer(req); - break; - - case REQ_HOST_GET_STATE: - req->host_get_state.result = - SIMIX_host_get_state(req->host_get_state.host); - SIMIX_request_answer(req); - break; - - case REQ_HOST_GET_DATA: - req->host_get_data.result = SIMIX_host_get_data(req->host_get_data.host); - SIMIX_request_answer(req); - break; - - case REQ_HOST_SET_DATA: - SIMIX_host_set_data(req->host_set_data.host, req->host_set_data.data); - SIMIX_request_answer(req); - break; - - case REQ_HOST_EXECUTE: - req->host_execute.result = SIMIX_host_execute( - req->host_execute.name, - req->host_execute.host, - req->host_execute.computation_amount); - SIMIX_request_answer(req); - break; - - case REQ_HOST_PARALLEL_EXECUTE: - req->host_parallel_execute.result = SIMIX_host_parallel_execute( - req->host_parallel_execute.name, - req->host_parallel_execute.host_nb, - req->host_parallel_execute.host_list, - req->host_parallel_execute.computation_amount, - req->host_parallel_execute.communication_amount, - req->host_parallel_execute.amount, - req->host_parallel_execute.rate); - SIMIX_request_answer(req); - break; - - case REQ_HOST_EXECUTION_DESTROY: - SIMIX_host_execution_destroy(req->host_execution_destroy.execution); - SIMIX_request_answer(req); - break; - - case REQ_HOST_EXECUTION_CANCEL: - SIMIX_host_execution_cancel(req->host_execution_cancel.execution); - SIMIX_request_answer(req); - break; - - case REQ_HOST_EXECUTION_GET_REMAINS: - req->host_execution_get_remains.result = - SIMIX_host_execution_get_remains(req->host_execution_get_remains.execution); - SIMIX_request_answer(req); - break; - - case REQ_HOST_EXECUTION_GET_STATE: - req->host_execution_get_state.result = - SIMIX_host_execution_get_state(req->host_execution_get_state.execution); - SIMIX_request_answer(req); - break; - - case REQ_HOST_EXECUTION_SET_PRIORITY: - SIMIX_host_execution_set_priority( - req->host_execution_set_priority.execution, - req->host_execution_set_priority.priority); - SIMIX_request_answer(req); - break; - - case REQ_HOST_EXECUTION_WAIT: - SIMIX_pre_host_execution_wait(req); - break; - - case REQ_PROCESS_CREATE: - req->process_create.result = SIMIX_process_create( - req->process_create.name, - req->process_create.code, - req->process_create.data, - req->process_create.hostname, - req->process_create.argc, - req->process_create.argv, - req->process_create.properties); - SIMIX_request_answer(req); - break; - - case REQ_PROCESS_KILL: - SIMIX_process_kill(req->process_kill.process, req->issuer); - SIMIX_request_answer(req); - break; - - case REQ_PROCESS_CHANGE_HOST: - SIMIX_process_change_host( - req->process_change_host.process, - req->process_change_host.source, - req->process_change_host.dest); - SIMIX_request_answer(req); - break; - - case REQ_PROCESS_SUSPEND: - SIMIX_pre_process_suspend(req); - break; - - case REQ_PROCESS_RESUME: - SIMIX_process_resume(req->process_resume.process, req->issuer); - SIMIX_request_answer(req); - break; - - case REQ_PROCESS_COUNT: - req->process_count.result = SIMIX_process_count(); - SIMIX_request_answer(req); - break; - - case REQ_PROCESS_GET_DATA: - req->process_get_data.result = - SIMIX_process_get_data(req->process_get_data.process); - SIMIX_request_answer(req); - break; - - case REQ_PROCESS_SET_DATA: - SIMIX_process_set_data( - req->process_set_data.process, - req->process_set_data.data); - SIMIX_request_answer(req); - break; - - case REQ_PROCESS_GET_HOST: - req->process_get_host.result = SIMIX_process_get_host(req->process_get_host.process); - SIMIX_request_answer(req); - break; - - case REQ_PROCESS_GET_NAME: - req->process_get_name.result = SIMIX_process_get_name(req->process_get_name.process); - SIMIX_request_answer(req); - break; - - case REQ_PROCESS_IS_SUSPENDED: - req->process_is_suspended.result = - SIMIX_process_is_suspended(req->process_is_suspended.process); - SIMIX_request_answer(req); - break; - - case REQ_PROCESS_GET_PROPERTIES: - req->process_get_properties.result = - SIMIX_process_get_properties(req->process_get_properties.process); - SIMIX_request_answer(req); - break; - - case REQ_PROCESS_SLEEP: - SIMIX_pre_process_sleep(req); + XBT_DEBUG("Handling simcall %p: %s", simcall, SIMIX_simcall_name(simcall->call)); + simcall->mc_value = value; + switch (simcall->call) { +SIMCALL_LIST(SIMCALL_CASE, SIMCALL_SEP_NOTHING) + case NUM_SIMCALLS:; break; - - case REQ_RDV_CREATE: - req->rdv_create.result = SIMIX_rdv_create(req->rdv_create.name); - SIMIX_request_answer(req); - break; - - case REQ_RDV_DESTROY: - SIMIX_rdv_destroy(req->rdv_destroy.rdv); - SIMIX_request_answer(req); - break; - - case REQ_RDV_GEY_BY_NAME: - req->rdv_get_by_name.result = - SIMIX_rdv_get_by_name(req->rdv_get_by_name.name); - SIMIX_request_answer(req); - break; - - case REQ_RDV_COMM_COUNT_BY_HOST: - req->rdv_comm_count_by_host.result = SIMIX_rdv_comm_count_by_host( - req->rdv_comm_count_by_host.rdv, - req->rdv_comm_count_by_host.host); - SIMIX_request_answer(req); - break; - - case REQ_RDV_GET_HEAD: - req->rdv_get_head.result = SIMIX_rdv_get_head(req->rdv_get_head.rdv); - SIMIX_request_answer(req); - break; - - case REQ_COMM_ISEND: - req->comm_isend.result = SIMIX_comm_isend( - req->issuer, - req->comm_isend.rdv, - req->comm_isend.task_size, - req->comm_isend.rate, - req->comm_isend.src_buff, - req->comm_isend.src_buff_size, - req->comm_isend.match_fun, - req->comm_isend.data); - SIMIX_request_answer(req); - break; - - case REQ_COMM_IRECV: - req->comm_irecv.result = SIMIX_comm_irecv( - req->issuer, - req->comm_irecv.rdv, - req->comm_irecv.dst_buff, - req->comm_irecv.dst_buff_size, - req->comm_irecv.match_fun, - req->comm_irecv.data); - SIMIX_request_answer(req); - break; - - case REQ_COMM_DESTROY: - SIMIX_comm_destroy(req->comm_destroy.comm); - SIMIX_request_answer(req); - break; - - case REQ_COMM_CANCEL: - SIMIX_comm_cancel(req->comm_cancel.comm); - SIMIX_request_answer(req); - break; - - case REQ_COMM_WAITANY: - SIMIX_pre_comm_waitany(req, value); - break; - - case REQ_COMM_WAIT: - SIMIX_pre_comm_wait(req); - break; - - case REQ_COMM_TEST: - SIMIX_pre_comm_test(req); - break; - - case REQ_COMM_TESTANY: - SIMIX_pre_comm_testany(req, value); - break; - - case REQ_COMM_GET_REMAINS: - req->comm_get_remains.result = - SIMIX_comm_get_remains(req->comm_get_remains.comm); - SIMIX_request_answer(req); - break; - - case REQ_COMM_GET_STATE: - req->comm_get_state.result = - SIMIX_comm_get_state(req->comm_get_state.comm); - SIMIX_request_answer(req); - break; - - case REQ_COMM_GET_SRC_DATA: - req->comm_get_src_data.result = SIMIX_comm_get_src_data(req->comm_get_src_data.comm); - SIMIX_request_answer(req); - break; - - case REQ_COMM_GET_DST_DATA: - req->comm_get_dst_data.result = SIMIX_comm_get_dst_data(req->comm_get_dst_data.comm); - SIMIX_request_answer(req); - break; - - case REQ_COMM_GET_SRC_BUFF: - req->comm_get_src_buff.result = - SIMIX_comm_get_src_buff(req->comm_get_src_buff.comm); - SIMIX_request_answer(req); - break; - - case REQ_COMM_GET_DST_BUFF: - req->comm_get_dst_buff.result = - SIMIX_comm_get_dst_buff(req->comm_get_dst_buff.comm); - SIMIX_request_answer(req); - break; - - case REQ_COMM_GET_SRC_BUFF_SIZE: - req->comm_get_src_buff_size.result = - SIMIX_comm_get_src_buff_size(req->comm_get_src_buff_size.comm); - SIMIX_request_answer(req); - break; - - case REQ_COMM_GET_DST_BUFF_SIZE: - req->comm_get_dst_buff_size.result = - SIMIX_comm_get_dst_buff_size(req->comm_get_dst_buff_size.comm); - SIMIX_request_answer(req); - break; - - case REQ_COMM_GET_SRC_PROC: - req->comm_get_src_proc.result = - SIMIX_comm_get_src_proc(req->comm_get_src_proc.comm); - SIMIX_request_answer(req); - break; - - case REQ_COMM_GET_DST_PROC: - req->comm_get_dst_proc.result = - SIMIX_comm_get_dst_proc(req->comm_get_dst_proc.comm); - SIMIX_request_answer(req); - break; - -#ifdef HAVE_LATENCY_BOUND_TRACKING - case REQ_COMM_IS_LATENCY_BOUNDED: - req->comm_is_latency_bounded.result = - SIMIX_comm_is_latency_bounded(req->comm_is_latency_bounded.comm); - SIMIX_request_answer(req); - break; -#endif - -#ifdef HAVE_TRACING - case REQ_SET_CATEGORY: - SIMIX_set_category( - req->set_category.action, - req->set_category.category); - SIMIX_request_answer(req); - break; -#endif - - case REQ_MUTEX_INIT: - req->mutex_init.result = SIMIX_mutex_init(); - SIMIX_request_answer(req); - break; - - case REQ_MUTEX_DESTROY: - SIMIX_mutex_destroy(req->mutex_destroy.mutex); - SIMIX_request_answer(req); - break; - - case REQ_MUTEX_LOCK: - SIMIX_pre_mutex_lock(req); - break; - - case REQ_MUTEX_TRYLOCK: - req->mutex_trylock.result = - SIMIX_mutex_trylock(req->mutex_trylock.mutex, req->issuer); - SIMIX_request_answer(req); - break; - - case REQ_MUTEX_UNLOCK: - SIMIX_mutex_unlock(req->mutex_unlock.mutex, req->issuer); - SIMIX_request_answer(req); - break; - - case REQ_COND_INIT: - req->cond_init.result = SIMIX_cond_init(); - SIMIX_request_answer(req); - break; - - case REQ_COND_DESTROY: - SIMIX_cond_destroy(req->cond_destroy.cond); - SIMIX_request_answer(req); - break; - - case REQ_COND_SIGNAL: - SIMIX_cond_signal(req->cond_signal.cond); - SIMIX_request_answer(req); - break; - - case REQ_COND_WAIT: - SIMIX_pre_cond_wait(req); - break; - - case REQ_COND_WAIT_TIMEOUT: - SIMIX_pre_cond_wait_timeout(req); + case SIMCALL_NONE:; + THROWF(arg_error,0,"Asked to do the noop syscall on %s@%s", + SIMIX_process_get_name(simcall->issuer), + SIMIX_host_get_name(SIMIX_process_get_host(simcall->issuer)) + ); break; - case REQ_COND_BROADCAST: - SIMIX_cond_broadcast(req->cond_broadcast.cond); - SIMIX_request_answer(req); - break; - - case REQ_SEM_INIT: - req->sem_init.result = SIMIX_sem_init(req->sem_init.capacity); - SIMIX_request_answer(req); - break; - - case REQ_SEM_DESTROY: - SIMIX_sem_destroy(req->sem_destroy.sem); - SIMIX_request_answer(req); - break; - - case REQ_SEM_RELEASE: - SIMIX_sem_release(req->sem_release.sem); - SIMIX_request_answer(req); - break; - - case REQ_SEM_WOULD_BLOCK: - req->sem_would_block.result = - SIMIX_sem_would_block(req->sem_would_block.sem); - SIMIX_request_answer(req); - break; - - case REQ_SEM_ACQUIRE: - SIMIX_pre_sem_acquire(req); - break; - - case REQ_SEM_ACQUIRE_TIMEOUT: - SIMIX_pre_sem_acquire_timeout(req); - break; - - case REQ_SEM_GET_CAPACITY: - req->sem_get_capacity.result = - SIMIX_sem_get_capacity(req->sem_get_capacity.sem); - SIMIX_request_answer(req); + /* ****************************************************************************************** */ + /* TUTORIAL: New API */ + /* ****************************************************************************************** */ + case SIMCALL_NEW_API_INIT: + SIMIX_pre_new_api_fct(simcall); break; } } -void SIMIX_request_post(smx_action_t action) +void SIMIX_simcall_post(smx_action_t action) { switch (action->type) { @@ -581,6 +91,41 @@ void SIMIX_request_post(smx_action_t action) break; case SIMIX_ACTION_IO: + SIMIX_post_io(action); + break; + + /* ****************************************************************************************** */ + /* TUTORIAL: New API */ + /* ****************************************************************************************** */ + case SIMIX_ACTION_NEW_API: + SIMIX_post_new_api(action); break; } } + +/* New Simcal interface */ + +/* FIXME: add types for every simcall */ +//const char *simcall_types[NUM_SIMCALLS] = { [SIMCALL_HOST_EXECUTE] = "%s%p%f%f%p" }; +/* FIXME find a way to make this work +simcall_handler_t simcall_table[NUM_SIMCALLS] = { +#undef SIMCALL_ENUM_ELEMENT +#define SIMCALL_ENUM_ELEMENT(x,y) &y // generate strings from the enumeration values +SIMCALL_LIST +#undef SIMCALL_ENUM_ELEMENT +};*/ + +/* New Simcal interface */ + +/* FIXME: add types for every simcall */ +//const char *simcall_types[NUM_SIMCALLS] = { [SIMCALL_HOST_EXECUTE] = "%s%p%f%f%p", [SIMCALL_HOST_EXECUTION_WAIT] = "%p%p" }; + + +/*TOFIX find a way to make this work +simcall_handler_t simcall_table[NUM_SIMCALLS] = { +#undef SIMCALL_ENUM_ELEMENT +#define SIMCALL_ENUM_ELEMENT(x,y) &y // generate strings from the enumeration values +SIMCALL_LIST +#undef SIMCALL_ENUM_ELEMENT +};*/ +