Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge pull request #177 from Takishipp/sd_exit
authorMartin Quinson <martin.quinson@ens-rennes.fr>
Fri, 2 Jun 2017 08:56:33 +0000 (10:56 +0200)
committerGitHub <noreply@github.com>
Fri, 2 Jun 2017 08:56:33 +0000 (10:56 +0200)
Use automated call to sd_exit

37 files changed:
examples/simdag/availability/sd_availability.c
examples/simdag/dag-dotload/sd_dag-dotload.c
examples/simdag/daxload/sd_daxload.c
examples/simdag/fail/sd_fail.c
examples/simdag/goal/goal_test.c
examples/simdag/properties/sd_properties.c
examples/simdag/ptg-dotload/sd_ptg-dotload.c
examples/simdag/schedule-dotload/sd_schedule-dotload.c
examples/simdag/scheduling/sd_scheduling.c
examples/simdag/test/sd_test.cpp
examples/simdag/throttling/sd_throttling.c
examples/simdag/typed_tasks/sd_typed_tasks.c
include/simgrid/simdag.h
src/simdag/sd_global.cpp
teshsuite/simdag/availability/availability.c
teshsuite/simdag/basic-link-test/basic-link-test.c
teshsuite/simdag/basic-parsing-test/basic-parsing-test.c
teshsuite/simdag/basic0/basic0.c
teshsuite/simdag/basic1/basic1.c
teshsuite/simdag/basic3/basic3.c
teshsuite/simdag/basic4/basic4.c
teshsuite/simdag/basic5/basic5.c
teshsuite/simdag/basic6/basic6.c
teshsuite/simdag/comm-mxn-all2all/comm-mxn-all2all.c
teshsuite/simdag/comm-mxn-independent/comm-mxn-independent.c
teshsuite/simdag/comm-mxn-scatter/comm-mxn-scatter.c
teshsuite/simdag/comm-p2p-latency-1/comm-p2p-latency-1.c
teshsuite/simdag/comm-p2p-latency-2/comm-p2p-latency-2.c
teshsuite/simdag/comm-p2p-latency-3/comm-p2p-latency-3.c
teshsuite/simdag/comm-p2p-latency-bound/comm-p2p-latency-bound.c
teshsuite/simdag/comp-only-par/comp-only-par.c
teshsuite/simdag/comp-only-seq/comp-only-seq.c
teshsuite/simdag/evaluate-get-route-time/evaluate-get-route-time.c
teshsuite/simdag/evaluate-parse-time/evaluate-parse-time.c
teshsuite/simdag/flatifier/flatifier.cpp
teshsuite/simdag/incomplete/incomplete.c
teshsuite/simdag/is-router/is-router.cpp

index b85738c..1d9c75c 100644 (file)
@@ -94,7 +94,6 @@ int main(int argc, char **argv)
     }
     xbt_dynar_reset(changed_tasks);
   }
-  SD_exit();
   xbt_free(hosts);
   xbt_dynar_free(&changed_tasks);
   return 0;
index 11260d9..6baccb0 100644 (file)
@@ -33,7 +33,6 @@ int main(int argc, char **argv)
   dot = SD_dotload(argv[2]);
   if(dot == NULL){
     XBT_CRITICAL("No dot loaded. Do you have a cycle in your graph?");
-    SD_exit();
     exit(2);
   }
 
@@ -104,6 +103,5 @@ int main(int argc, char **argv)
   fclose(out);
 
   /* exit */
-  SD_exit();
   return 0;
 }
index 45cbd05..e3af541 100644 (file)
@@ -42,7 +42,7 @@ int main(int argc, char **argv)
   if (!dax){
     XBT_ERROR("A problem occurred during DAX parsing (cycle or syntax). Do not continue this test");
     free(tracefilename);
-    SD_exit();
+  
     exit(255);
   }
 
@@ -108,6 +108,5 @@ int main(int argc, char **argv)
   fclose(out);
   xbt_dynar_free_container(&dax);
 
-  SD_exit();
   return 0;
 }
index 1cc34e7..2d3c9f6 100644 (file)
@@ -85,6 +85,5 @@ int main(int argc, char **argv)
            SD_task_get_finish_time(task));
 
   SD_task_destroy(task);
-  SD_exit();
   return 0;
 }
index 290e5f3..6dfc394 100644 (file)
@@ -99,7 +99,6 @@ int main(int argc, char **argv) {
   xbt_dynar_free(&done);
   xbt_dynar_free(&reclaimed);
 
-  SD_exit();
   XBT_INFO("Done. Bailing out");
   return 0;
 }
index 94186bd..697c10c 100644 (file)
@@ -72,6 +72,5 @@ int main(int argc, char **argv)
   /* Test if properties are displayed by sg_host_dump */
   sg_host_dump(h2);
 
-  SD_exit();
   return 0;
 }
index 4104475..e6b45de 100644 (file)
@@ -27,7 +27,6 @@ int main(int argc, char **argv){
   /* load the DOT file */
   dot = SD_PTG_dotload(argv[2]);
   if(dot == NULL){
-    SD_exit();
     xbt_die("No dot load may be you have a cycle in your graph");
   }
 
@@ -56,7 +55,5 @@ int main(int argc, char **argv){
   }
   xbt_dynar_free_container(&dot);
 
-  /* exit */
-  SD_exit();
   return 0;
 }
index 67a2793..aa77528 100644 (file)
@@ -34,7 +34,6 @@ int main(int argc, char **argv)
   if(!dot){
     XBT_CRITICAL("The dot file with the provided scheduling is wrong,"
                  " more information with the option : --log=sd_dotparse.thres:verbose");
-    SD_exit();
     exit(2);
   }
 
@@ -81,7 +80,5 @@ int main(int argc, char **argv)
   fclose(out);
   xbt_dynar_free_container(&dot);
 
-  /* exit */
-  SD_exit();
   return 0;
 }
index a949e73..8705836 100644 (file)
@@ -250,7 +250,5 @@ int main(int argc, char **argv)
   }
 
   xbt_free(hosts);
-  /* exit */
-  SD_exit();
   return 0;
 }
index bef939b..0a698f8 100644 (file)
@@ -140,7 +140,6 @@ int main(int argc, char **argv)
   SD_task_destroy(taskD);
 
   XBT_DEBUG("Tasks destroyed. Exiting SimDag...");
-  SD_exit();
   xbt_free((sg_host_t*)hosts);
   return 0;
 }
index cbef569..dd9e0a4 100644 (file)
@@ -74,7 +74,6 @@ int main(int argc, char **argv)
   SD_task_destroy(taskE);
 
   XBT_DEBUG("Tasks destroyed. Exiting SimDag...");
-  SD_exit();
   xbt_free(hosts);
   return 0;
 }
index f74df77..f86c64a 100644 (file)
@@ -74,6 +74,5 @@ int main(int argc, char **argv)
   xbt_dynar_free_container(&changed_tasks);
 
   xbt_free(hosts);
-  SD_exit();
   return 0;
 }
index 25d8009..d817665 100644 (file)
@@ -140,7 +140,13 @@ XBT_PUBLIC(int) SD_task_dependency_exists(SD_task_t src, SD_task_t dst);
  *
  *  @{
  */
-XBT_PUBLIC(void) SD_init(int *argc, char **argv);
+
+#define SD_init(argc,argv)  do {                                                          \
+  sg_version_check(SIMGRID_VERSION_MAJOR,SIMGRID_VERSION_MINOR,SIMGRID_VERSION_PATCH);\
+    SD_init_nocheck(argc,argv);                                                        \
+} while (0) 
+
+XBT_PUBLIC(void) SD_init_nocheck(int *argc, char **argv);
 XBT_PUBLIC(void) SD_config(const char *key, const char *value);
 XBT_PUBLIC(void) SD_create_environment(const char *platform_file);
 XBT_PUBLIC(void) SD_simulate(double how_long);
@@ -151,6 +157,7 @@ XBT_PUBLIC(xbt_dynar_t) SD_daxload(const char *filename);
 XBT_PUBLIC(xbt_dynar_t) SD_dotload(const char *filename);
 XBT_PUBLIC(xbt_dynar_t) SD_dotload_with_sched(const char *filename);
 XBT_PUBLIC(xbt_dynar_t) SD_PTG_dotload(const char *filename);
+XBT_PUBLIC(void) SD_init_check(int *argc, char **argv);
 #ifdef __cplusplus
 namespace simgrid {
 namespace sd {
index f44d4ad..61fdcf5 100644 (file)
@@ -152,7 +152,7 @@ const char *__get_state_name(e_SD_task_state_t state){
  * \param argv argument list
  * \see SD_create_environment(), SD_exit()
  */
-void SD_init(int *argc, char **argv)
+void SD_init_nocheck(int *argc, char **argv)
 {
   xbt_assert(sd_global == nullptr, "SD_init() already called");
 
@@ -161,9 +161,9 @@ void SD_init(int *argc, char **argv)
   surf_init(argc, argv);
 
   xbt_cfg_setdefault_string("host/model", "ptask_L07");
-
+  if(xbt_cfg_get_boolean("clean-atexit"))
+    atexit(SD_exit);
   if (_sg_cfg_exit_asap) {
-    SD_exit();
     exit(0);
   }
 }
index ed79a93..73c9e99 100644 (file)
@@ -60,6 +60,5 @@ int main(int argc, char *argv[])
     SD_task_destroy(task);
   }
   xbt_dynar_free(&dax);
-  SD_exit();
   return 0;
 }
index 36971c3..e3a01ad 100644 (file)
@@ -34,6 +34,5 @@ int main(int argc, char **argv)
     xbt_assert(!strcmp(user_data, (const char*)sg_link_data(links[i])),"User data was corrupted.");
   }
   xbt_free(links);
-  SD_exit();
   return 0;
 }
index 04c1e09..0115af3 100644 (file)
@@ -54,6 +54,5 @@ int main(int argc, char **argv)
 
   XBT_INFO("Simulation time: %f", SD_get_clock());
 
-  SD_exit();
   return 0;
 }
index 318911f..5f0cdfa 100644 (file)
@@ -53,6 +53,5 @@ int main(int argc, char **argv)
 
   XBT_INFO("Simulation time: %f", SD_get_clock());
 
-  SD_exit();
   return 0;
 }
index ab44e3e..01467e7 100644 (file)
@@ -47,6 +47,5 @@ int main(int argc, char **argv)
 
   XBT_INFO("Simulation time: %f", SD_get_clock());
 
-  SD_exit();
   return 0;
 }
index c061e6a..3d3ea05 100644 (file)
@@ -50,6 +50,5 @@ int main(int argc, char **argv)
 
   XBT_INFO("Simulation time: %f", SD_get_clock());
 
-  SD_exit();
   return 0;
 }
index 485cdcb..1382e36 100644 (file)
@@ -53,6 +53,5 @@ int main(int argc, char **argv)
 
   XBT_INFO("Simulation time: %f", SD_get_clock());
 
-  SD_exit();
   return 0;
 }
index c9adf72..50886ba 100644 (file)
@@ -46,6 +46,5 @@ int main(int argc, char **argv)
 
   XBT_INFO("Simulation time: %f", SD_get_clock());
 
-  SD_exit();
   return 0;
 }
index 5ba3320..45e8e62 100644 (file)
@@ -40,6 +40,5 @@ int main(int argc, char **argv)
 
   SD_task_destroy(task);
 
-  SD_exit();
   return 0;
 }
index e55fadf..6116df4 100644 (file)
@@ -42,6 +42,5 @@ int main(int argc, char **argv)
 
   SD_task_destroy(task);
 
-  SD_exit();
   return 0;
 }
index ed3557a..e4bce55 100644 (file)
@@ -37,6 +37,5 @@ int main(int argc, char **argv)
 
   SD_task_destroy(task);
 
-  SD_exit();
   return 0;
 }
index dd845e1..95f3491 100644 (file)
@@ -46,7 +46,6 @@ int main(int argc, char **argv)
   SD_task_destroy(task1);
   SD_task_destroy(task2);
 
-  SD_exit();
 
   return 0;
 }
index 74aaca0..abdfb6e 100644 (file)
@@ -48,6 +48,5 @@ int main(int argc, char **argv)
   SD_task_destroy(task1);
   SD_task_destroy(task2);
 
-  SD_exit();
   return 0;
 }
index 6ce8ddb..9968151 100644 (file)
@@ -27,6 +27,5 @@ int main(int argc, char **argv)
 
   SD_task_destroy(task);
 
-  SD_exit();
   return 0;
 }
index a0908e2..012a960 100644 (file)
@@ -30,6 +30,5 @@ int main(int argc, char **argv)
 
   SD_task_destroy(task);
 
-  SD_exit();
   return 0;
 }
index c8bf42a..7dd4dd6 100644 (file)
@@ -47,7 +47,6 @@ int main(int argc, char **argv)
   printf("%f\n", xbt_os_timer_elapsed(timer) );
 
   xbt_free(hosts);
-  SD_exit();
 
   return 0;
 }
index f21cb3a..9bce26c 100644 (file)
@@ -34,7 +34,6 @@ int main(int argc, char **argv)
     sleep(atoi(argv[2]));
   }
 
-  SD_exit();
 
   free(timer);
   return 0;
index e434b5b..66d88d9 100644 (file)
@@ -202,7 +202,6 @@ int main(int argc, char** argv)
     dump_platform();
   }
 
-  SD_exit();
   xbt_os_timer_free(parse_time);
 
   return 0;
index 593b934..538a383 100644 (file)
@@ -59,6 +59,6 @@ int main(int argc, char **argv)
 
   XBT_INFO("Simulation time: %f", SD_get_clock());
 
-  SD_exit();
+
   return 0;
 }
index 4a4d891..523080c 100644 (file)
@@ -44,6 +44,5 @@ int main(int argc, char **argv)
     std::printf("   - Seen: \"%s\". Type: %s\n", nc->cname(),
                 nc->isRouter() ? "router" : (nc->isNetZone() ? "netzone" : (nc->isHost() ? "host" : "buggy")));
 
-  SD_exit();
   return 0;
 }