Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
this type name is usable as is, so add _t postfix (s_name is only for stuff that...
authorMartin Quinson <martin.quinson@loria.fr>
Mon, 30 Jan 2012 14:44:46 +0000 (15:44 +0100)
committerMartin Quinson <martin.quinson@loria.fr>
Mon, 30 Jan 2012 14:44:46 +0000 (15:44 +0100)
src/mc/mc_checkpoint.c
src/mc/mc_private.h
src/mc/memory_map.c

index 1ab97ea..0c611ed 100644 (file)
@@ -37,7 +37,7 @@ static void MC_region_restore(mc_mem_region_t reg)
     memory_map_t maps = get_memory_map();
     MC_UNSET_RAW_MEM;
     unsigned int i=0;
-    s_map_region r;
+    s_map_region_t r;
     while(i < maps->mapsize){
       r = maps->regions[i];
       if (maps->regions[i].pathname != NULL){
@@ -90,7 +90,7 @@ static void MC_snapshot_add_region(mc_snapshot_t snapshot, int type, void *start
 void MC_take_snapshot(mc_snapshot_t snapshot)
 {
   unsigned int i = 0;
-  s_map_region reg;
+  s_map_region_t reg;
   memory_map_t maps = get_memory_map();
 
   /* Save the std heap and the writable mapped pages of libsimgrid */
@@ -117,7 +117,7 @@ void MC_take_snapshot(mc_snapshot_t snapshot)
 void MC_take_snapshot_liveness(mc_snapshot_t snapshot)
 {
   unsigned int i = 0;
-  s_map_region reg;
+  s_map_region_t reg;
   memory_map_t maps = get_memory_map();
 
   for(i=0; i< snapshot->num_reg; i++){
@@ -151,7 +151,7 @@ void MC_take_snapshot_liveness(mc_snapshot_t snapshot)
 void MC_take_snapshot_to_restore_liveness(mc_snapshot_t snapshot)
 {
   unsigned int i = 0;
-  s_map_region reg;
+  s_map_region_t reg;
   memory_map_t maps = get_memory_map();
 
   for(i=0; i< snapshot->num_reg; i++){
index 89ff690..eb0f614 100644 (file)
@@ -174,11 +174,11 @@ typedef struct s_map_region {
   unsigned long inode;          /* Inode in the device */
   char *pathname;               /* Path name of the mapped file */
 
-} s_map_region;
+} s_map_region_t;
 
 typedef struct s_memory_map {
 
-  s_map_region *regions;        /* Pointer to an array of regions */
+  s_map_region_t *regions;      /* Pointer to an array of regions */
   int mapsize;                  /* Number of regions in the memory */
 
 } s_memory_map_t, *memory_map_t;
index 934dab8..b971a47 100644 (file)
@@ -19,7 +19,7 @@ memory_map_t get_memory_map(void)
   memory_map_t ret = NULL;      /* The memory map to return */
 
 /* The following variables are used during the parsing of the file "maps" */
-  s_map_region memreg;          /* temporal map region used for creating the map */
+  s_map_region_t memreg;          /* temporal map region used for creating the map */
   char *lfields[6], *tok, *endptr;
   int i;