Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
[mc] Remove standalone mode and remove MC_do_the_modelcheck_for_real()
[simgrid.git] / src / smpi / smpi_global.c
1 /* Copyright (c) 2007-2014. The SimGrid Team.
2  * All rights reserved.                                                     */
3
4 /* This program is free software; you can redistribute it and/or modify it
5  * under the terms of the license (GNU LGPL) which comes with this package. */
6
7 #include "private.h"
8 #include "smpi_mpi_dt_private.h"
9 #include "mc/mc.h"
10 #include "mc/mc_record.h"
11 #include "xbt/replay.h"
12 #include "surf/surf.h"
13 #include "simix/smx_private.h"
14 #include "simgrid/sg_config.h"
15 #include "mc/mc_replay.h"
16
17 #include <float.h>              /* DBL_MAX */
18 #include <stdint.h>
19 #include <stdio.h>
20 #include <stdlib.h>
21
22 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(smpi_kernel, smpi,
23                                 "Logging specific to SMPI (kernel)");
24
25 typedef struct s_smpi_process_data {
26   double simulated;
27   int *argc;
28   char ***argv;
29   smx_rdv_t mailbox;
30   smx_rdv_t mailbox_small;
31   xbt_mutex_t mailboxes_mutex;
32   xbt_os_timer_t timer;
33   MPI_Comm comm_self;
34   MPI_Comm comm_intra;
35   MPI_Comm* comm_world;
36   void *data;                   /* user data */
37   int index;
38   char state;
39   int sampling;                 /* inside an SMPI_SAMPLE_ block? */
40   char* instance_id;
41   int replaying;                /* is the process replaying a trace */
42   xbt_bar_t finalization_barrier;
43 } s_smpi_process_data_t;
44
45 static smpi_process_data_t *process_data = NULL;
46 int process_count = 0;
47 int* index_to_process_data = NULL;
48 extern double smpi_total_benched_time;
49 xbt_os_timer_t global_timer;
50 MPI_Comm MPI_COMM_WORLD = MPI_COMM_UNINITIALIZED;
51 int MPI_UNIVERSE_SIZE;
52
53 MPI_Errhandler *MPI_ERRORS_RETURN = NULL;
54 MPI_Errhandler *MPI_ERRORS_ARE_FATAL = NULL;
55 MPI_Errhandler *MPI_ERRHANDLER_NULL = NULL;
56
57 #define MAILBOX_NAME_MAXLEN (5 + sizeof(int) * 2 + 1)
58
59 static char *get_mailbox_name(char *str, int index)
60 {
61   snprintf(str, MAILBOX_NAME_MAXLEN, "SMPI-%0*x", (int) (sizeof(int) * 2),
62            index);
63   return str;
64 }
65
66 static char *get_mailbox_name_small(char *str, int index)
67 {
68   snprintf(str, MAILBOX_NAME_MAXLEN, "small%0*x", (int) (sizeof(int) * 2),
69            index);
70   return str;
71 }
72
73 void smpi_process_init(int *argc, char ***argv)
74 {
75   int index=-1;
76   smpi_process_data_t data;
77   smx_process_t proc;
78
79   if (argc && argv) {
80     proc = SIMIX_process_self();
81     //FIXME: dirty cleanup method to avoid using msg cleanup functions on these processes when using MSG+SMPI
82     proc->context->cleanup_func=SIMIX_process_cleanup;
83     char* instance_id = (*argv)[1];
84     int rank = atoi((*argv)[2]);
85     index = smpi_process_index_of_smx_process(proc);
86
87     if(!index_to_process_data){
88         index_to_process_data=(int*)xbt_malloc(SIMIX_process_count()*sizeof(int));
89     }
90     MPI_Comm* temp_comm_world;
91     xbt_bar_t temp_bar;
92     smpi_deployment_register_process(instance_id, rank, index, &temp_comm_world ,&temp_bar);
93     data = smpi_process_remote_data(index);
94     data->comm_world = temp_comm_world;
95     if(temp_bar != NULL) data->finalization_barrier = temp_bar;
96     data->index = index;
97     data->instance_id = instance_id;
98     data->replaying = 0;
99     xbt_free(simcall_process_get_data(proc));
100     simcall_process_set_data(proc, data);
101     if (*argc > 3) {
102       free((*argv)[1]);
103       memmove(&(*argv)[0], &(*argv)[2], sizeof(char *) * (*argc - 2));
104       (*argv)[(*argc) - 1] = NULL;
105       (*argv)[(*argc) - 2] = NULL;
106     }
107     (*argc)-=2;
108     data->argc = argc;
109     data->argv = argv;
110     // set the process attached to the mailbox
111     simcall_rdv_set_receiver(data->mailbox_small, proc);
112     XBT_DEBUG("<%d> New process in the game: %p", index, proc);
113
114     if(smpi_privatize_global_variables){
115       smpi_switch_data_segment(index);
116     }
117
118   }
119   if (smpi_process_data() == NULL)
120     xbt_die("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.");
121 }
122
123 void smpi_process_destroy(void)
124 {
125   int index = smpi_process_index();
126   if(smpi_privatize_global_variables){
127     smpi_switch_data_segment(index);
128   }
129   process_data[index_to_process_data[index]]->state = SMPI_FINALIZED;
130   XBT_DEBUG("<%d> Process left the game", index);
131 }
132
133 /**
134  * @brief Prepares the current process for termination.
135  */
136 void smpi_process_finalize(void)
137 {
138     // This leads to an explosion of the search graph
139     // which cannot be reduced:
140     if(MC_is_active() || MC_record_replay_is_active())
141       return;
142
143     int index = smpi_process_index();
144     // wait for all pending asynchronous comms to finish
145     xbt_barrier_wait(process_data[index_to_process_data[index]]->finalization_barrier);
146 }
147
148 /**
149  * @brief Check if a process is finalized
150  */
151 int smpi_process_finalized()
152 {
153   int index = smpi_process_index();
154     if (index != MPI_UNDEFINED)
155       return (process_data[index_to_process_data[index]]->state == SMPI_FINALIZED);
156     else
157       return 0;
158 }
159
160 /**
161  * @brief Check if a process is initialized
162  */
163 int smpi_process_initialized(void)
164 {
165   int index = smpi_process_index();
166   return ( (index != MPI_UNDEFINED)
167           && (process_data[index_to_process_data[index]]->state == SMPI_INITIALIZED));
168 }
169
170 /**
171  * @brief Mark a process as initialized (=MPI_Init called)
172  */
173 void smpi_process_mark_as_initialized(void)
174 {
175   int index = smpi_process_index();
176   if ((index != MPI_UNDEFINED) && (process_data[index_to_process_data[index]]->state != SMPI_FINALIZED))
177     process_data[index_to_process_data[index]]->state = SMPI_INITIALIZED;
178 }
179
180 void smpi_process_set_replaying(int value){
181   int index = smpi_process_index();
182   if ((index != MPI_UNDEFINED) && (process_data[index_to_process_data[index]]->state != SMPI_FINALIZED))
183     process_data[index_to_process_data[index]]->replaying = value;
184 }
185
186 int smpi_process_get_replaying(){
187   int index = smpi_process_index();
188   if (index != MPI_UNDEFINED)
189     return process_data[index_to_process_data[index]]->replaying;
190   else return _xbt_replay_is_active();
191 }
192
193
194 int smpi_global_size(void)
195 {
196   char *value = getenv("SMPI_GLOBAL_SIZE");
197
198   if (!value) {
199     fprintf(stderr,
200             "Please set env var SMPI_GLOBAL_SIZE to expected number of processes.\n");
201     xbt_abort();
202   }
203   return atoi(value);
204 }
205
206 smpi_process_data_t smpi_process_data(void)
207 {
208   return SIMIX_process_self_get_data(SIMIX_process_self());
209 }
210
211 smpi_process_data_t smpi_process_remote_data(int index)
212 {
213   return process_data[index_to_process_data[index]];
214 }
215
216 void smpi_process_set_user_data(void *data)
217 {
218   smpi_process_data_t process_data = smpi_process_data();
219   process_data->data = data;
220 }
221
222 void *smpi_process_get_user_data()
223 {
224   smpi_process_data_t process_data = smpi_process_data();
225   return process_data->data;
226 }
227
228 int smpi_process_count(void)
229 {
230   return process_count;
231 }
232
233 int smpi_process_index(void)
234 {
235   smpi_process_data_t data = smpi_process_data();
236   //return -1 if not initialized
237   return data ? data->index : MPI_UNDEFINED;
238 }
239
240 MPI_Comm smpi_process_comm_world(void)
241 {
242   smpi_process_data_t data = smpi_process_data();
243   //return MPI_COMM_NULL if not initialized
244   return data ? *data->comm_world : MPI_COMM_NULL;
245 }
246
247 smx_rdv_t smpi_process_mailbox(void)
248 {
249   smpi_process_data_t data = smpi_process_data();
250   return data->mailbox;
251 }
252
253 smx_rdv_t smpi_process_mailbox_small(void)
254 {
255   smpi_process_data_t data = smpi_process_data();
256   return data->mailbox_small;
257 }
258
259 xbt_mutex_t smpi_process_mailboxes_mutex(void)
260 {
261   smpi_process_data_t data = smpi_process_data();
262   return data->mailboxes_mutex;
263 }
264
265 smx_rdv_t smpi_process_remote_mailbox(int index)
266 {
267   smpi_process_data_t data = smpi_process_remote_data(index);
268   return data->mailbox;
269 }
270
271
272 smx_rdv_t smpi_process_remote_mailbox_small(int index)
273 {
274   smpi_process_data_t data = smpi_process_remote_data(index);
275   return data->mailbox_small;
276 }
277
278 xbt_mutex_t smpi_process_remote_mailboxes_mutex(int index)
279 {
280   smpi_process_data_t data = smpi_process_remote_data(index);
281   return data->mailboxes_mutex;
282 }
283
284 xbt_os_timer_t smpi_process_timer(void)
285 {
286   smpi_process_data_t data = smpi_process_data();
287   return data->timer;
288 }
289
290 void smpi_process_simulated_start(void)
291 {
292   smpi_process_data_t data = smpi_process_data();
293   data->simulated = SIMIX_get_clock();
294 }
295
296 double smpi_process_simulated_elapsed(void)
297 {
298   smpi_process_data_t data = smpi_process_data();
299   return SIMIX_get_clock() - data->simulated;
300 }
301
302 MPI_Comm smpi_process_comm_self(void)
303 {
304   smpi_process_data_t data = smpi_process_data();
305   if(data->comm_self==MPI_COMM_NULL){
306     MPI_Group group = smpi_group_new(1);
307     data->comm_self = smpi_comm_new(group, NULL);
308     smpi_group_set_mapping(group, smpi_process_index(), 0);
309   }
310
311   return data->comm_self;
312 }
313
314 MPI_Comm smpi_process_get_comm_intra(void)
315 {
316   smpi_process_data_t data = smpi_process_data();
317   return data->comm_intra;
318 }
319
320 void smpi_process_set_comm_intra(MPI_Comm comm)
321 {
322   smpi_process_data_t data = smpi_process_data();
323   data->comm_intra = comm;
324 }
325
326 void smpi_process_set_sampling(int s)
327 {
328   smpi_process_data_t data = smpi_process_data();
329   data->sampling = s;
330 }
331
332 int smpi_process_get_sampling(void)
333 {
334   smpi_process_data_t data = smpi_process_data();
335   return data->sampling;
336 }
337
338
339 void print_request(const char *message, MPI_Request request)
340 {
341   XBT_VERB
342       ("%s  request %p  [buf = %p, size = %zu, src = %d, dst = %d, tag = %d, flags = %x]",
343        message, request, request->buf, request->size, request->src,
344        request->dst, request->tag, request->flags);
345 }
346
347 void smpi_comm_copy_buffer_callback(smx_synchro_t comm,
348                                            void *buff, size_t buff_size)
349 {
350   XBT_DEBUG("Copy the data over");
351   void* tmpbuff=buff;
352
353   if((smpi_privatize_global_variables)
354       && ((char*)buff >= smpi_start_data_exe)
355       && ((char*)buff < smpi_start_data_exe + smpi_size_data_exe )
356     ){
357        XBT_DEBUG("Privatization : We are copying from a zone inside global memory... Saving data to temp buffer !");
358        smpi_switch_data_segment(((smpi_process_data_t)SIMIX_process_get_data(comm->comm.src_proc))->index);
359        tmpbuff = (void*)xbt_malloc(buff_size);
360        memcpy(tmpbuff, buff, buff_size);
361   }
362
363
364   if((smpi_privatize_global_variables)
365       && ((char*)comm->comm.dst_buff >= smpi_start_data_exe)
366       && ((char*)comm->comm.dst_buff < smpi_start_data_exe + smpi_size_data_exe )
367     ){
368        XBT_DEBUG("Privatization : We are copying to a zone inside global memory - Switch data segment");
369        smpi_switch_data_segment(((smpi_process_data_t)SIMIX_process_get_data(comm->comm.dst_proc))->index);
370   }
371
372
373   memcpy(comm->comm.dst_buff, tmpbuff, buff_size);
374   if (comm->comm.detached) {
375     // if this is a detached send, the source buffer was duplicated by SMPI
376     // sender to make the original buffer available to the application ASAP
377     xbt_free(buff);
378     //It seems that the request is used after the call there this should
379     //be free somewhereelse  but where???
380     //xbt_free(comm->comm.src_data);// inside SMPI the request is keep
381     //inside the user data and should be free
382     comm->comm.src_buff = NULL;
383   }
384
385   if(tmpbuff!=buff)xbt_free(tmpbuff);
386
387 }
388
389
390 void smpi_comm_null_copy_buffer_callback(smx_synchro_t comm,
391                                            void *buff, size_t buff_size)
392 {
393   return;
394 }
395
396 static void smpi_check_options(){
397   //check correctness of MPI parameters
398
399    xbt_assert(sg_cfg_get_int("smpi/async_small_thres") <=
400               sg_cfg_get_int("smpi/send_is_detached_thres"));
401
402    if (sg_cfg_is_default_value("smpi/running_power")) {
403      XBT_INFO("You did not set the power of the host running the simulation.  "
404               "The timings will certainly not be accurate.  "
405               "Use the option \"--cfg=smpi/running_power:<flops>\" to set its value."
406               "Check http://simgrid.org/simgrid/latest/doc/options.html#options_smpi_bench for more information.");
407    }
408 }
409
410 int smpi_enabled(void) {
411   return process_data != NULL;
412 }
413
414 void smpi_global_init(void)
415 {
416   int i;
417   MPI_Group group;
418   char name[MAILBOX_NAME_MAXLEN];
419   int smpirun=0;
420
421   if (!MC_is_active()) {
422     global_timer = xbt_os_timer_new();
423     xbt_os_walltimer_start(global_timer);
424   }
425   if (process_count == 0){
426     process_count = SIMIX_process_count();
427     smpirun=1;
428   }
429   process_data = xbt_new0(smpi_process_data_t, process_count);
430   for (i = 0; i < process_count; i++) {
431     process_data[i] = xbt_new(s_smpi_process_data_t, 1);
432     //process_data[i]->index = i;
433     process_data[i]->argc = NULL;
434     process_data[i]->argv = NULL;
435     process_data[i]->mailbox = simcall_rdv_create(get_mailbox_name(name, i));
436     process_data[i]->mailbox_small =
437         simcall_rdv_create(get_mailbox_name_small(name, i));
438     process_data[i]->mailboxes_mutex=xbt_mutex_init();
439     process_data[i]->timer = xbt_os_timer_new();
440     if (MC_is_active())
441       MC_ignore_heap(process_data[i]->timer, xbt_os_timer_size());
442     process_data[i]->comm_self = MPI_COMM_NULL;
443     process_data[i]->comm_intra = MPI_COMM_NULL;
444     process_data[i]->comm_world = NULL;
445     process_data[i]->state = SMPI_UNINITIALIZED;
446     process_data[i]->sampling = 0;
447     process_data[i]->finalization_barrier = NULL;
448   }
449   //if the process was launched through smpirun script
450   //we generate a global mpi_comm_world
451   //if not, we let MPI_COMM_NULL, and the comm world
452   //will be private to each mpi instance
453   if(smpirun){
454     group = smpi_group_new(process_count);
455     MPI_COMM_WORLD = smpi_comm_new(group, NULL);
456     xbt_bar_t bar=xbt_barrier_init(process_count);
457
458     MPI_UNIVERSE_SIZE = smpi_comm_size(MPI_COMM_WORLD);
459     for (i = 0; i < process_count; i++) {
460       smpi_group_set_mapping(group, i, i);
461       process_data[i]->finalization_barrier = bar;
462     }
463   }
464 }
465
466 void smpi_global_destroy(void)
467 {
468   int count = smpi_process_count();
469   int i;
470
471   smpi_bench_destroy();
472   if (MPI_COMM_WORLD != MPI_COMM_UNINITIALIZED){
473       while (smpi_group_unuse(smpi_comm_group(MPI_COMM_WORLD)) > 0);
474       xbt_free(MPI_COMM_WORLD);
475       xbt_barrier_destroy(process_data[0]->finalization_barrier);
476   }else{
477       smpi_deployment_cleanup_instances();
478   }
479   MPI_COMM_WORLD = MPI_COMM_NULL;
480   for (i = 0; i < count; i++) {
481     if(process_data[i]->comm_self!=MPI_COMM_NULL){
482       smpi_group_unuse(smpi_comm_group(process_data[i]->comm_self));
483       smpi_comm_destroy(process_data[i]->comm_self);
484     }
485     if(process_data[i]->comm_intra!=MPI_COMM_NULL){
486       smpi_group_unuse(smpi_comm_group(process_data[i]->comm_intra));
487       smpi_comm_destroy(process_data[i]->comm_intra);
488     }
489     xbt_os_timer_free(process_data[i]->timer);
490     simcall_rdv_destroy(process_data[i]->mailbox);
491     simcall_rdv_destroy(process_data[i]->mailbox_small);
492     xbt_mutex_destroy(process_data[i]->mailboxes_mutex);
493     xbt_free(process_data[i]);
494   }
495   xbt_free(process_data);
496   process_data = NULL;
497
498   xbt_free(index_to_process_data);
499   if(smpi_privatize_global_variables)
500     smpi_destroy_global_memory_segments();
501   smpi_free_static();
502 }
503
504 #ifndef WIN32
505 void __attribute__ ((weak)) user_main_()
506 {
507   xbt_die("Should not be in this smpi_simulated_main");
508   return;
509 }
510
511 int __attribute__ ((weak)) smpi_simulated_main_(int argc, char **argv)
512 {
513   smpi_process_init(&argc, &argv);
514   user_main_();
515   return 0;
516 }
517
518 int __attribute__ ((weak)) main(int argc, char **argv)
519 {
520   return smpi_main(smpi_simulated_main_, argc, argv);
521 }
522
523 #endif
524
525 static void smpi_init_logs(){
526
527   /* Connect log categories.  See xbt/log.c */
528   XBT_LOG_CONNECT(smpi);        /* Keep this line as soon as possible in this
529                                    function: xbt_log_appender_file.c depends on it
530                                    DO NOT connect this in XBT or so, or it will be
531                                    useless to xbt_log_appender_file.c */
532   XBT_LOG_CONNECT(instr_smpi);
533   XBT_LOG_CONNECT(smpi_base);
534   XBT_LOG_CONNECT(smpi_bench);
535   XBT_LOG_CONNECT(smpi_coll);
536   XBT_LOG_CONNECT(smpi_colls);
537   XBT_LOG_CONNECT(smpi_comm);
538   XBT_LOG_CONNECT(smpi_dvfs);
539   XBT_LOG_CONNECT(smpi_group);
540   XBT_LOG_CONNECT(smpi_kernel);
541   XBT_LOG_CONNECT(smpi_mpi);
542   XBT_LOG_CONNECT(smpi_mpi_dt);
543   XBT_LOG_CONNECT(smpi_pmpi);
544   XBT_LOG_CONNECT(smpi_replay);
545   XBT_LOG_CONNECT(smpi_rma);
546
547 }
548
549
550 static void smpi_init_options(){
551   int gather_id = find_coll_description(mpi_coll_gather_description,
552                                           sg_cfg_get_string("smpi/gather"),"gather");
553     mpi_coll_gather_fun = (int (*)(void *, int, MPI_Datatype,
554                                    void *, int, MPI_Datatype, int, MPI_Comm))
555         mpi_coll_gather_description[gather_id].coll;
556
557     int allgather_id = find_coll_description(mpi_coll_allgather_description,
558                                              sg_cfg_get_string("smpi/allgather"),"allgather");
559     mpi_coll_allgather_fun = (int (*)(void *, int, MPI_Datatype,
560                                       void *, int, MPI_Datatype, MPI_Comm))
561         mpi_coll_allgather_description[allgather_id].coll;
562
563     int allgatherv_id = find_coll_description(mpi_coll_allgatherv_description,
564                                               sg_cfg_get_string("smpi/allgatherv"),"allgatherv");
565     mpi_coll_allgatherv_fun = (int (*)(void *, int, MPI_Datatype, void *, int *,
566                                        int *, MPI_Datatype, MPI_Comm))
567         mpi_coll_allgatherv_description[allgatherv_id].coll;
568
569     int allreduce_id = find_coll_description(mpi_coll_allreduce_description,
570                                              sg_cfg_get_string("smpi/allreduce"),"allreduce");
571     mpi_coll_allreduce_fun = (int (*)(void *sbuf, void *rbuf, int rcount,
572                                       MPI_Datatype dtype, MPI_Op op,
573                                       MPI_Comm comm))
574         mpi_coll_allreduce_description[allreduce_id].coll;
575
576     int alltoall_id = find_coll_description(mpi_coll_alltoall_description,
577                                             sg_cfg_get_string("smpi/alltoall"),"alltoall");
578     mpi_coll_alltoall_fun = (int (*)(void *, int, MPI_Datatype,
579                                      void *, int, MPI_Datatype, MPI_Comm))
580         mpi_coll_alltoall_description[alltoall_id].coll;
581
582     int alltoallv_id = find_coll_description(mpi_coll_alltoallv_description,
583                                              sg_cfg_get_string("smpi/alltoallv"),"alltoallv");
584     mpi_coll_alltoallv_fun = (int (*)(void *, int *, int *, MPI_Datatype,
585                                       void *, int *, int *, MPI_Datatype,
586                                       MPI_Comm))
587         mpi_coll_alltoallv_description[alltoallv_id].coll;
588
589     int bcast_id = find_coll_description(mpi_coll_bcast_description,
590                                          sg_cfg_get_string("smpi/bcast"),"bcast");
591     mpi_coll_bcast_fun = (int (*)(void *buf, int count, MPI_Datatype datatype,
592                                   int root, MPI_Comm com))
593         mpi_coll_bcast_description[bcast_id].coll;
594
595     int reduce_id = find_coll_description(mpi_coll_reduce_description,
596                                           sg_cfg_get_string("smpi/reduce"),"reduce");
597     mpi_coll_reduce_fun = (int (*)(void *buf, void *rbuf, int count,
598                                    MPI_Datatype datatype, MPI_Op op,
599                                    int root, MPI_Comm comm))
600         mpi_coll_reduce_description[reduce_id].coll;
601
602     int reduce_scatter_id =
603         find_coll_description(mpi_coll_reduce_scatter_description,
604                               sg_cfg_get_string("smpi/reduce_scatter"),"reduce_scatter");
605     mpi_coll_reduce_scatter_fun = (int (*)(void *sbuf, void *rbuf, int *rcounts,
606                                            MPI_Datatype dtype, MPI_Op op,
607                                            MPI_Comm comm))
608         mpi_coll_reduce_scatter_description[reduce_scatter_id].coll;
609
610     int scatter_id = find_coll_description(mpi_coll_scatter_description,
611                                            sg_cfg_get_string("smpi/scatter"),"scatter");
612     mpi_coll_scatter_fun = (int (*)(void *sendbuf, int sendcount,
613                                     MPI_Datatype sendtype, void *recvbuf,
614                                     int recvcount, MPI_Datatype recvtype,
615                                     int root, MPI_Comm comm))
616         mpi_coll_scatter_description[scatter_id].coll;
617
618     int barrier_id = find_coll_description(mpi_coll_barrier_description,
619                                            sg_cfg_get_string("smpi/barrier"),"barrier");
620     mpi_coll_barrier_fun = (int (*)(MPI_Comm comm))
621         mpi_coll_barrier_description[barrier_id].coll;
622
623     smpi_cpu_threshold = sg_cfg_get_double("smpi/cpu_threshold");
624     smpi_running_power = sg_cfg_get_double("smpi/running_power");
625     smpi_privatize_global_variables = sg_cfg_get_boolean("smpi/privatize_global_variables");
626     if (smpi_cpu_threshold < 0)
627       smpi_cpu_threshold = DBL_MAX;
628
629 }
630
631 int smpi_main(int (*realmain) (int argc, char *argv[]), int argc, char *argv[])
632 {
633   srand(SMPI_RAND_SEED);
634
635   if (getenv("SMPI_PRETEND_CC") != NULL) {
636     /* Hack to ensure that smpicc can pretend to be a simple
637      * compiler. Particularly handy to pass it to the configuration tools */
638     return 0;
639   }
640
641   smpi_init_logs();
642
643   TRACE_global_init(&argc, argv);
644
645   TRACE_add_start_function(TRACE_smpi_alloc);
646   TRACE_add_end_function(TRACE_smpi_release);
647
648   SIMIX_global_init(&argc, argv);
649
650   smpi_init_options();
651
652   // parse the platform file: get the host list
653   SIMIX_create_environment(argv[1]);
654   SIMIX_comm_set_copy_data_callback(&smpi_comm_copy_buffer_callback);
655   SIMIX_function_register_default(realmain);
656   SIMIX_launch_application(argv[2]);
657
658   smpi_global_init();
659
660   smpi_check_options();
661
662   if(smpi_privatize_global_variables)
663     smpi_initialize_global_memory_segments();
664
665   /* Clean IO before the run */
666   fflush(stdout);
667   fflush(stderr);
668
669   if (MC_is_active()) {
670     MC_run();
671   } else {
672   
673     SIMIX_run();
674
675     xbt_os_walltimer_stop(global_timer);
676     if (sg_cfg_get_boolean("smpi/display_timing")){
677       double global_time = xbt_os_timer_elapsed(global_timer);
678       XBT_INFO("Simulated time: %g seconds. \n "
679           "The simulation took %g seconds (after parsing and platform setup)\n"
680           "%g seconds were actual computation of the application"
681           , SIMIX_get_clock(), global_time , smpi_total_benched_time);
682           
683       if (smpi_total_benched_time/global_time>=0.75)
684       XBT_INFO("More than 75%% of the time was spent inside the application code.\n"
685       "You may want to use sampling functions or trace replay to reduce this.");
686     }
687   }
688
689   smpi_global_destroy();
690
691   TRACE_end();
692
693   return 0;
694 }
695
696 // This function can be called from extern file, to initialize logs, options, and processes of smpi
697 // without the need of smpirun
698 void SMPI_init(){
699   smpi_init_logs();
700   smpi_init_options();
701   smpi_global_init();
702   smpi_check_options();
703   if (TRACE_is_enabled() && TRACE_is_configured())
704     TRACE_smpi_alloc();
705   if(smpi_privatize_global_variables)
706     smpi_initialize_global_memory_segments();
707 }
708
709 void SMPI_finalize(){
710   smpi_global_destroy();
711 }