/** @brief Register a stack in the model checker
*
* The stacks are allocated in the heap. The MC handle them especially
* when we analyse/compare the content of the heap so it must be told where
* they are with this function.
*
* @param stack
* @param process Process owning the stack
* @param context
* @param size Size of the stack
*/
void MC_register_stack_area(void *stack, smx_process_t process, void *context, size_t size)
{
if (mc_mode != MC_MODE_CLIENT)
return;
xbt_mheap_t heap = mmalloc_get_current_heap();
s_stack_region_t region;
memset(®ion, 0, sizeof(region));
region.address = stack;
region.context = context;
region.size = size;
region.block =
((char *) stack -
(char *) heap->heapbase) / BLOCKSIZE + 1;
#ifdef HAVE_SMPI
if (smpi_privatize_global_variables && process) {
region.process_index = smpi_process_index_of_smx_process(process);
} else
#endif
region.process_index = -1;
s_mc_stack_region_message_t message;
message.type = MC_MESSAGE_STACK_REGION;
message.stack_region = region;
MC_client_send_message(&message, sizeof(message));
}
void Client::declareStack(void *stack, size_t size, smx_actor_t process, ucontext_t* context)
{
xbt_mheap_t heap = mmalloc_get_current_heap();
s_stack_region_t region;
memset(®ion, 0, sizeof(region));
region.address = stack;
region.context = context;
region.size = size;
region.block =
((char *) stack -
(char *) heap->heapbase) / BLOCKSIZE + 1;
#if HAVE_SMPI
if (smpi_privatize_global_variables && process)
region.process_index = smpi_process_index_of_smx_process(process);
else
#endif
region.process_index = -1;
s_mc_stack_region_message_t message;
message.type = MC_MESSAGE_STACK_REGION;
message.stack_region = region;
if (channel_.send(message))
xbt_die("Coule not send STACK_REGION to model-checker");
}
void smpi_process_init(int *argc, char ***argv)
{
int index=-1;
smpi_process_data_t data;
smx_process_t proc;
if (argc && argv) {
proc = SIMIX_process_self();
//FIXME: dirty cleanup method to avoid using msg cleanup functions on these processes when using MSG+SMPI
SIMIX_process_set_cleanup_function(proc, MSG_process_cleanup_from_SIMIX);
char* instance_id = (*argv)[1];
int rank = xbt_str_parse_int((*argv)[2], "Invalid rank: %s");
index = smpi_process_index_of_smx_process(proc);
if(!index_to_process_data){
index_to_process_data=(int*)xbt_malloc(SIMIX_process_count()*sizeof(int));
}
if(smpi_privatize_global_variables){
/* Now using segment index of the process */
index = proc->segment_index;
/* Done at the process's creation */
SMPI_switch_data_segment(index);
}
MPI_Comm* temp_comm_world;
xbt_bar_t temp_bar;
smpi_deployment_register_process(instance_id, rank, index, &temp_comm_world, &temp_bar);
data = smpi_process_remote_data(index);
data->comm_world = temp_comm_world;
if(temp_bar != NULL) data->finalization_barrier = temp_bar;
data->index = index;
data->instance_id = instance_id;
data->replaying = 0;
//xbt_free(simcall_process_get_data(proc));
simdata_process_t simdata = static_cast<simdata_process_t>(simcall_process_get_data(proc));
simdata->data = data;
if (*argc > 3) {
free((*argv)[1]);
memmove(&(*argv)[0], &(*argv)[2], sizeof(char *) * (*argc - 2));
(*argv)[(*argc) - 1] = NULL;
(*argv)[(*argc) - 2] = NULL;
}
(*argc)-=2;
data->argc = argc;
data->argv = argv;
// set the process attached to the mailbox
simcall_mbox_set_receiver(data->mailbox_small, proc);
XBT_DEBUG("<%d> New process in the game: %p", index, proc);
}
xbt_assert(smpi_process_data(),
"smpi_process_data() returned NULL. You probably gave a NULL parameter to MPI_Init. Although it's required by "
"MPI-2, this is currently not supported by SMPI.");
}
