X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f783ed4680c6862a1b7543237e89d1221334bae0..fff99c2e390f3924dfc68006fbc5c214370df751:/src/xbt/mmalloc/mm_legacy.c diff --git a/src/xbt/mmalloc/mm_legacy.c b/src/xbt/mmalloc/mm_legacy.c index 2bced98dd1..216babd93c 100644 --- a/src/xbt/mmalloc/mm_legacy.c +++ b/src/xbt/mmalloc/mm_legacy.c @@ -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" @@ -164,3 +167,248 @@ 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){ + + struct mdesc* mdp; + + + 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"); + 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 ; + size_t i, j; + void *addr_block1, *addr_block2; + + + + /* 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[block_free1].free.size != mdp2->heapinfo[block_free2].free.size){ + XBT_DEBUG("Different size (in blocks) of the first free cluster"); + return 1; + } + + /* Check busy blocks (circular checking)*/ + + i = block_free1 + mdp1->heapinfo[block_free1].free.size; + next_block_free = mdp1->heapinfo[block_free1].free.next; + + if(next_block_free == 0) + next_block_free = mdp1->heaplimit; + + + while(i != first_block_free){ + + while(iheapinfo[i].busy.type != mdp2->heapinfo[i].busy.type){ + XBT_DEBUG("Different type of busy block"); + return 1; + }else{ + if(i == 0) + j++; + mdp = mdp1; + addr_block1 = ADDRESS(j); + mdp = mdp2; + addr_block2 = ADDRESS(j); + 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 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; + next_block_free = mdp1->heapinfo[block_free1].free.next; + if(i != first_block_free){ + if(block_free1 != 0) + i = block_free1 + mdp1->heapinfo[block_free1].free.size; + else + i = 0; + } + + } + + return 0; + + +} + + + + +