Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
merge conflicts resolved
[simgrid.git] / src / xbt / mmalloc / mm_legacy.c
index a780f13..9cde992 100644 (file)
@@ -8,6 +8,10 @@
 
 #include "mmprivate.h"
 #include "gras_config.h"
+#include <math.h>
+
+XBT_LOG_NEW_DEFAULT_SUBCATEGORY(xbt_mm_legacy, xbt,
+                                "Logging specific to mm_legacy in mmalloc");
 
 static void *__mmalloc_current_heap = NULL;     /* The heap we are currently using. */
 
@@ -163,3 +167,254 @@ void mmalloc_postexit(void)
   //  mmalloc_detach(__mmalloc_default_mdp);
   mmalloc_pre_detach(__mmalloc_default_mdp);
 }
+
+int mmalloc_compare_heap(void *h1, void *h2){
+
+  if(h1 == NULL && h2 == NULL){
+    XBT_DEBUG("Malloc descriptors null");
+    return 0;
+  }
+
+  /* Heapstats */
+
+  struct mstats ms1 = mmstats(h1);
+  struct mstats ms2 = mmstats(h2);
+
+  if(ms1.chunks_used !=  ms2.chunks_used){
+    XBT_DEBUG("Different chunks allocated by the user : %zu - %zu", ms1.chunks_used, ms2.chunks_used);
+    return 1;
+  }
+
+  if(ms1.bytes_used !=  ms2.bytes_used){
+    XBT_DEBUG("Different byte total of user-allocated chunks : %zu - %zu", ms1.bytes_used, ms2.bytes_used);
+    return 1;
+  }
+
+  if(ms1.bytes_free !=  ms2.bytes_free){
+    XBT_DEBUG("Different byte total of chunks in the free list : %zu - %zu", ms1.bytes_free, ms2.bytes_free);
+    return 1;
+  }
+
+  if(ms1.chunks_free !=  ms2.chunks_free){
+    XBT_DEBUG("Different chunks in the free list : %zu - %zu", ms1.chunks_free, ms2.chunks_free);
+    return 1;
+  }
+
+  struct mdesc *mdp1, *mdp2;
+  mdp1 = MD_TO_MDP(h1);
+  mdp2 = MD_TO_MDP(h2);
+
+  return mmalloc_compare_mdesc(mdp1, mdp2);
+
+}
+
+int mmalloc_compare_mdesc(struct mdesc *mdp1, struct mdesc *mdp2){
+
+  if(mdp1->headersize != mdp2->headersize){
+    XBT_DEBUG("Different size of the file header for the mapped files");
+    return 1;
+  }
+
+  if(mdp1->refcount != mdp2->refcount){
+    XBT_DEBUG("Different number of processes that attached the heap");
+    return 1;
+  }
+  if(strcmp(mdp1->magic, mdp2->magic) != 0){
+    XBT_DEBUG("Different magic number");
+    return 1;
+  }
+
+  if(mdp1->flags != mdp2->flags){
+    XBT_DEBUG("Different flags");
+    return 1;
+  }
+
+  if(mdp1->heapsize != mdp2->heapsize){
+    XBT_DEBUG("Different number of info entries");
+    return 1;
+  }
+
+  //XBT_DEBUG("Heap size : %zu", mdp1->heapsize);
+
+  if(mdp1->heapbase != mdp2->heapbase){
+    XBT_DEBUG("Different first block of the heap");
+    return 1;
+  }
+
+
+  if(mdp1->heapindex != mdp2->heapindex){
+    XBT_DEBUG("Different index for the heap table : %zu - %zu", mdp1->heapindex, mdp2->heapindex);
+    return 1;
+  }
+
+  //XBT_DEBUG("Heap index : %zu", mdp1->heapindex);
+
+  if(mdp1->base != mdp2->base){
+    XBT_DEBUG("Different base address of the memory region");
+    return 1;
+  }
+
+  if(mdp1->breakval != mdp2->breakval){
+    XBT_DEBUG("Different current location in the memory region");
+    return 1;
+  }
+
+  if(mdp1->top != mdp2->top){
+    XBT_DEBUG("Different end of the current location in the memory region");
+    return 1;
+  }
+  
+  if(mdp1->heaplimit != mdp2->heaplimit){
+    XBT_DEBUG("Different limit of valid info table indices");
+    return 1;
+  }
+
+  //XBT_DEBUG("Heap limit : %zu", mdp1->heaplimit);
+
+
+  if(mdp1->fd != mdp2->fd){
+    XBT_DEBUG("Different file descriptor for the file to which this malloc heap is mapped");
+    return 1;
+  }
+
+  if(mdp1->saved_errno != mdp2->saved_errno){
+    XBT_DEBUG("Different errno");
+    return 1;
+  }
+
+  if(mdp1->version != mdp2->version){
+    XBT_DEBUG("Different version of the mmalloc package");
+    return 1;
+  }
+
+  size_t block_free1, block_free2 , next_block_free, first_block_free, block_free ;
+  size_t i, j;
+  void *addr_block1, *addr_block2;
+  size_t frag_size;
+
+  /* Search index of the first free block */
+
+  block_free1 = mdp1->heapindex; 
+  block_free2 = mdp2->heapindex;
+
+  while(mdp1->heapinfo[block_free1].free.prev != 0){
+    block_free1 = mdp1->heapinfo[block_free1].free.prev;
+  }
+
+  while(mdp2->heapinfo[block_free2].free.prev != 0){
+    block_free2 = mdp1->heapinfo[block_free2].free.prev;
+  }
+
+  if(block_free1 !=  block_free2){
+    XBT_DEBUG("Different first free block");
+    return 1;
+  }
+
+  first_block_free = block_free1;
+
+  if(mdp1->heapinfo[first_block_free].free.size != mdp2->heapinfo[first_block_free].free.size){ 
+    XBT_DEBUG("Different size (in blocks) of the first free cluster");
+    return 1;
+  }
+
+  /* Check busy blocks (circular checking)*/
+
+  i = first_block_free + mdp1->heapinfo[first_block_free].free.size;
+
+  if(mdp1->heapinfo[first_block_free].free.next != mdp2->heapinfo[first_block_free].free.next){
+    XBT_DEBUG("Different next block free");
+    return 1;
+  }
+  
+  block_free = first_block_free;
+  next_block_free = mdp1->heapinfo[first_block_free].free.next;
+
+  //XBT_DEBUG("First block free : %zu (size=%zu), Next block free : %zu", first_block_free, mdp1->heapinfo[block_free1].free.size, next_block_free);
+
+  if(next_block_free == 0)
+    next_block_free = mdp1->heaplimit;
+
+
+  while(i != first_block_free){
+
+    while(i<next_block_free){
+
+      if(mdp1->heapinfo[i].busy.type != mdp2->heapinfo[i].busy.type){
+       XBT_DEBUG("Different type of busy block");
+       return 1;
+      }else{
+
+       addr_block1 = (char *)mdp1 + sizeof(struct mdesc) + ((i-1) * BLOCKSIZE); 
+       addr_block2 = (char *)mdp2 + sizeof(struct mdesc) + ((i-1) * BLOCKSIZE); 
+       
+       switch(mdp1->heapinfo[i].busy.type){
+       case 0 :
+         if(mdp1->heapinfo[i].busy.info.size != mdp2->heapinfo[i].busy.info.size){
+           XBT_DEBUG("Different size of a large cluster");
+           return 1;
+         }else{
+           if(memcmp(addr_block1, addr_block2, (mdp1->heapinfo[i].busy.info.size * BLOCKSIZE)) != 0){
+             XBT_DEBUG("Different data in block %zu", i);
+             return 1;
+           } 
+         }
+         i = i+mdp1->heapinfo[i].busy.info.size;
+         break;
+       default :         
+         if(mdp1->heapinfo[i].busy.info.frag.nfree != mdp2->heapinfo[i].busy.info.frag.nfree){
+           XBT_DEBUG("Different free fragments in the fragmented block %zu", i);
+           return 1;
+         }else{
+           if(mdp1->heapinfo[i].busy.info.frag.first != mdp2->heapinfo[i].busy.info.frag.first){
+             XBT_DEBUG("Different first free fragments in the block %zu", i);
+             return 1; 
+           }else{
+             frag_size = pow(2,mdp1->heapinfo[i].busy.type);
+             for(j=0 ; j< (BLOCKSIZE/frag_size); j++){
+               if(memcmp((char *)addr_block1 + (j * frag_size), (char *)addr_block2 + (j * frag_size), frag_size) != 0){
+                 XBT_DEBUG("Different data in fragment %Zu of block %Zu", j + 1, i);
+                 return 1;
+               } 
+             }
+           }
+         }
+         i++;
+         break;
+       }
+
+      }
+    }
+
+    if(mdp1->heapinfo[block_free].free.next != mdp2->heapinfo[block_free].free.next){
+      XBT_DEBUG("Different next block free");
+      return 1;
+    }
+     
+    block_free = mdp1->heapinfo[block_free].free.next;
+    next_block_free = mdp1->heapinfo[block_free].free.next;
+    if(i != first_block_free){
+      if(block_free != 0){
+       if(mdp1->heapinfo[block_free].free.size != mdp2->heapinfo[block_free].free.size){
+         XBT_DEBUG("Different size of block free");
+         return 1;
+       }
+       i = block_free + mdp1->heapinfo[block_free].free.size;
+      }else{
+       i = 1;
+      }
+    }
+      
+  }
+  
+  return 0;   
+  
+  
+}
+
+  
+  
+