Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : change printf for size_t variables
[simgrid.git] / src / xbt / mmalloc / mm_legacy.c
index e9fcb20..6c72b25 100644 (file)
@@ -9,6 +9,9 @@
 #include "mmprivate.h"
 #include "gras_config.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. */
 
 #include "xbt_modinter.h"
@@ -93,9 +96,10 @@ void free(void *p)
 
 /* Make sure it works with md==NULL */
 
-#define HEAP_OFFSET   (128<<20)  /* Safety gap from the heap's break address.
-                                  * Try to increase this first if you experience
-                                  * strange errors under valgrind. */
+/* Safety gap from the heap's break address.
+ * Try to increase this first if you experience strange errors under
+ * valgrind. */
+#define HEAP_OFFSET   (128UL<<20)
 
 void *mmalloc_get_default_md(void)
 {
@@ -145,8 +149,9 @@ void mmalloc_preinit(void)
 {
   int res;
   if (!__mmalloc_default_mdp) {
-    __mmalloc_default_mdp =
-        mmalloc_attach(-1, (char *) sbrk(0) + HEAP_OFFSET);
+    unsigned long mask = ~((unsigned long)getpagesize() - 1);
+    void *addr = (void*)(((unsigned long)sbrk(0) + HEAP_OFFSET) & mask);
+    __mmalloc_default_mdp = mmalloc_attach(-1, addr);
     /* Fixme? only the default mdp in protected against forks */
     res = xbt_os_thread_atfork(mmalloc_fork_prepare,
                               mmalloc_fork_parent, mmalloc_fork_child);
@@ -162,3 +167,300 @@ 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.bytes_total !=  ms2.bytes_total){
+    XBT_DEBUG("Different total size of the heap");
+    return 1;
+  }
+
+  if(ms1.chunks_used !=  ms2.chunks_used){
+    XBT_DEBUG("Different chunks allocated by the user");
+    return 1;
+  }
+
+  if(ms1.bytes_used !=  ms2.bytes_used){
+    XBT_DEBUG("Different byte total of user-allocated chunks");
+    return 1;
+  }
+
+  if(ms1.bytes_free !=  ms2.bytes_free){
+    XBT_DEBUG("Different byte total of chunks in the free list");
+    return 1;
+  }
+
+  if(ms1.chunks_free !=  ms2.chunks_free){
+    XBT_DEBUG("Different chunks in the free list");
+    return 1;
+  }
+
+  struct mdesc *mdp1, *mdp2;
+  mdp1 = MD_TO_MDP(h1);
+  mdp2 = MD_TO_MDP(h2);
+  
+  if(mmalloc_compare_mdesc(mdp1, mdp2))
+    return 1;
+  
+
+  return 0;
+}
+
+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 : %d", 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");
+    return 1;
+  }
+
+  //XBT_DEBUG("Heap index : %d", 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 : %d", 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, start1, block_free2 , start2, block_busy1, block_busy2 ;
+  size_t i;
+  void *addr_block1, *addr_block2;
+  struct mdesc* mdp;
+
+  start1 = block_free1 = mdp1->heapindex; 
+  start2 = block_free2 = mdp2->heapindex;
+  block_busy1 = start1 + mdp1->heapinfo[start1].free.size;
+  block_busy2 = start2 + mdp2->heapinfo[start2].free.size;
+
+  XBT_DEBUG("Block busy : %Zu - %Zu", block_busy1, block_busy2);
+
+
+  if(mdp1->heapinfo[start1].free.size != mdp2->heapinfo[start2].free.size){ // <=> check block_busy
+    
+    XBT_DEBUG("Different size (in blocks) of a free cluster");
+    return 1;
+
+  }else{
+
+    if(mdp1->heapinfo[start1].free.next != mdp2->heapinfo[start1].free.next){
+
+      XBT_DEBUG("Different index of next free cluster");
+      return 1;
+
+    }else{
+   
+      i=block_busy1 ;
+
+      XBT_DEBUG("Next free : %Zu", mdp1->heapinfo[start1].free.next);
+
+
+      while(i<mdp1->heapinfo[start1].free.next){
+
+       XBT_DEBUG("i (block busy) : %Zu", i);
+
+       if(mdp1->heapinfo[i].busy.type != mdp2->heapinfo[i].busy.type){
+         XBT_DEBUG("Different type of busy block");
+         return 1;
+       }else{
+         mdp = mdp1;
+         addr_block1 = ADDRESS(i);
+         mdp = mdp2;
+         addr_block2 = ADDRESS(i); 
+         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{
+             XBT_DEBUG("Blocks %Zu : %p - %p / Data size : %Zu (%Zu blocks)", i, addr_block1, addr_block2, (mdp->heapinfo[i].busy.info.size * BLOCKSIZE),mdp->heapinfo[i].busy.info.size );    
+             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 a fragmented block");
+             return 1;
+           }else{
+             if(mdp1->heapinfo[i].busy.info.frag.first != mdp2->heapinfo[i].busy.info.frag.first){
+               XBT_DEBUG("Different first free fragments of the block");
+               return 1; 
+             }else{
+               if(memcmp(addr_block1, addr_block2, BLOCKSIZE) != 0){
+                 XBT_DEBUG("Different data in block %Zu", i);
+                 return 1;
+               } 
+             }
+           }
+           i++;
+           break;
+         }
+       } 
+      }
+
+
+      block_free1 = mdp1->heapinfo[start1].free.next;
+      block_free2 = mdp2->heapinfo[start2].free.next;
+
+      //XBT_DEBUG("Index of next free cluster : %d", block_free1);
+
+      while((block_free1 != start1) && (block_free2 != start2)){ 
+
+       block_busy1 = block_free1 + mdp1->heapinfo[block_free1].free.size;
+       block_busy2 = block_free2 + mdp2->heapinfo[block_free2].free.size;
+
+       if(block_busy1 != block_busy2){
+         XBT_DEBUG("Different index of busy block");
+         return 1;
+       }else{
+
+         XBT_DEBUG("Index of next busy block : %Zu - %Zu", block_busy1, block_busy2);
+         XBT_DEBUG("Index of next free cluster : %Zu", mdp1->heapinfo[block_free1].free.next);
+       
+         i = block_busy1;
+
+         while(i<mdp1->heapinfo[block_free1].free.next){
+
+           XBT_DEBUG("i (block busy) : %Zu", i);
+
+           if(mdp1->heapinfo[i].busy.type != mdp2->heapinfo[i].busy.type){
+             XBT_DEBUG("Different type of busy block");
+             return 1;
+           }else{
+             mdp = mdp1;
+             addr_block1 = ADDRESS(i);
+             mdp = mdp2;
+             addr_block2 = ADDRESS(i); 
+             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{
+                 XBT_DEBUG("Blocks %Zu : %p - %p / Data size : %Zu", i, addr_block1, addr_block2, (mdp->heapinfo[i].busy.info.size * BLOCKSIZE));              
+                 //XBT_DEBUG("Size of large cluster %d", mdp->heapinfo[i].busy.info.size);
+                 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 a fragmented block");
+                 return 1;
+               }else{
+                 if(mdp1->heapinfo[i].busy.info.frag.first != mdp2->heapinfo[i].busy.info.frag.first){
+                   XBT_DEBUG("Different first free fragments of the block");
+                   return 1; 
+                 }else{
+                   if(memcmp(addr_block1, addr_block2, BLOCKSIZE) != 0){
+                     XBT_DEBUG("Different data in fragmented block %Zu", i);
+                     return 1;
+                   } 
+                 }
+               }
+               i++;
+               break;
+             }
+           } 
+         }
+       }
+
+       block_free1 = mdp1->heapinfo[block_free1].free.next;
+       block_free2 = mdp2->heapinfo[block_free2].free.next;
+      
+      } 
+    
+    }
+  
+      }
+  return 0;   
+  
+  
+  
+}
+
+  
+  
+