src/mc/mc_compare.c

   1 /* Copyright (c) 2008-2012 Da SimGrid Team. All rights reserved.            */
   2
   3 /* This program is free software; you can redistribute it and/or modify it
   4  * under the terms of the license (GNU LGPL) which comes with this package. */
   5
   6 #include "mc_private.h"
   7
   8 #include "xbt/mmalloc.h"
   9
  10 XBT_LOG_NEW_DEFAULT_SUBCATEGORY(mc_compare, mc,
  11                                 "Logging specific to mc_compare");
  12
  13 static int data_program_region_compare(void *d1, void *d2, size_t size);
  14 static int data_libsimgrid_region_compare(void *d1, void *d2, size_t size);
  15 static int heap_region_compare(void *d1, void *d2, size_t size);
  16
  17 static int compare_local_variables(xbt_strbuff_t s1, xbt_strbuff_t s2);
  18 static int compare_stack(stack_region_t s1, stack_region_t s2, void *sp1, void *sp2, void *heap1, void *heap2, xbt_dynar_t equals);
  19 static int is_heap_equality(xbt_dynar_t equals, void *a1, void *a2);
  20 static size_t ignore(void *address);
  21
  22 static size_t ignore(void *address){
  23   unsigned int cursor = 0;
  24   int start = 0;
  25   int end = xbt_dynar_length(mc_comparison_ignore) - 1;
  26   mc_ignore_region_t region;
  27
  28   while(start <= end){
  29     cursor = (start + end) / 2;
  30     region = (mc_ignore_region_t)xbt_dynar_get_as(mc_comparison_ignore, cursor, mc_ignore_region_t);
  31     if(region->address == address)
  32       return region->size;
  33     if(region->address < address)
  34       start = cursor + 1;
  35     if(region->address > address)
  36       end = cursor - 1;
  37   }
  38
  39   return 0;
  40 }
  41
  42 static int data_program_region_compare(void *d1, void *d2, size_t size){
  43   int distance = 0;
  44   size_t i = 0;
  45
  46   for(i=0; i<size; i++){
  47     if(memcmp(((char *)d1) + i, ((char *)d2) + i, 1) != 0){
  48       XBT_DEBUG("Different byte (offset=%zu) (%p - %p) in data program region", i, (char *)d1 + i, (char *)d2 + i);
  49       distance++;
  50     }
  51   }
  52
  53   XBT_DEBUG("Hamming distance between data program regions : %d", distance);
  54
  55   return distance;
  56 }
  57
  58 static int data_libsimgrid_region_compare(void *d1, void *d2, size_t size){
  59   int distance = 0;
  60   size_t i = 0, ignore_size = 0;
  61   int pointer_align;
  62   void *addr_pointed1 = NULL, *addr_pointed2 = NULL;
  63
  64   for(i=0; i<size; i++){
  65     if(memcmp(((char *)d1) + i, ((char *)d2) + i, 1) != 0){
  66       if((ignore_size = ignore((char *)start_data_libsimgrid+i)) > 0){
  67         i = i + ignore_size;
  68         continue;
  69       }
  70       pointer_align = (i / sizeof(void*)) * sizeof(void*);
  71       addr_pointed1 = *((void **)((char *)d1 + pointer_align));
  72       addr_pointed2 = *((void **)((char *)d2 + pointer_align));
  73       if((addr_pointed1 > start_plt && addr_pointed1 < end_plt) || (addr_pointed2 > start_plt && addr_pointed2 < end_plt)){
  74         continue;
  75       }else{
  76         XBT_DEBUG("Different byte (offset=%zu) (%p - %p) in data libsimgrid region", i, (char *)d1 + i, (char *)d2 + i);
  77         XBT_DEBUG("Addresses pointed : %p - %p\n", addr_pointed1, addr_pointed2);
  78         distance++;
  79       }
  80     }
  81   }
  82
  83   XBT_DEBUG("Hamming distance between data libsimgrid regions : %d", distance); fflush(NULL);
  84
  85   return distance;
  86 }
  87
  88 static int heap_region_compare(void *d1, void *d2, size_t size){
  89
  90   int distance = 0;
  91   size_t i = 0;
  92
  93   for(i=0; i<size; i++){
  94     if(memcmp(((char *)d1) + i, ((char *)d2) + i, 1) != 0){
  95       XBT_DEBUG("Different byte (offset=%zu) (%p - %p) in heap region", i, (char *)d1 + i, (char *)d2 + i);
  96       distance++;
  97     }
  98   }
  99
 100   XBT_DEBUG("Hamming distance between heap regions : %d (total size : %zu)", distance, size);
 101
 102   return distance;
 103 }
 104
 105 int snapshot_compare(mc_snapshot_t s1, mc_snapshot_t s2){
 106
 107   int errors = 0, i;
 108   xbt_dynar_t stacks1 = xbt_dynar_new(sizeof(stack_region_t), NULL);
 109   xbt_dynar_t stacks2 = xbt_dynar_new(sizeof(stack_region_t), NULL);
 110   xbt_dynar_t equals = xbt_dynar_new(sizeof(heap_equality_t), NULL);
 111
 112   void *heap1 = NULL, *heap2 = NULL;
 113
 114   if(s1->num_reg != s2->num_reg){
 115     XBT_DEBUG("Different num_reg (s1 = %u, s2 = %u)", s1->num_reg, s2->num_reg);
 116     return 1;
 117   }
 118
 119   for(i=0 ; i< s1->num_reg ; i++){
 120
 121     if(s1->regions[i]->type != s2->regions[i]->type){
 122       XBT_INFO("Different type of region");
 123       errors++;
 124     }
 125
 126     switch(s1->regions[i]->type){
 127     case 0 :
 128       /* Compare heapregion */
 129       if(s1->regions[i]->size != s2->regions[i]->size){
 130         XBT_DEBUG("Different size of heap (s1 = %zu, s2 = %zu)", s1->regions[i]->size, s2->regions[i]->size);
 131         return 1;
 132       }
 133       if(s1->regions[i]->start_addr != s2->regions[i]->start_addr){
 134         XBT_DEBUG("Different start addr of heap (s1 = %p, s2 = %p)", s1->regions[i]->start_addr, s2->regions[i]->start_addr);
 135         return 1;
 136       }
 137       if(mmalloc_compare_heap((xbt_mheap_t)s1->regions[i]->data, (xbt_mheap_t)s2->regions[i]->data, &stacks1, &stacks2, &equals)){
 138         XBT_DEBUG("Different heap (mmalloc_compare)");
 139         return 1;
 140       }
 141       heap1 = s1->regions[i]->data;
 142       heap2 = s2->regions[i]->data;
 143       break;
 144     case 1 :
 145       /* Compare data libsimgrid region */
 146       if(s1->regions[i]->size != s2->regions[i]->size){
 147         XBT_DEBUG("Different size of libsimgrid (data) (s1 = %zu, s2 = %zu)", s1->regions[i]->size, s2->regions[i]->size);
 148         return 1;
 149       }
 150       if(s1->regions[i]->start_addr != s2->regions[i]->start_addr){
 151         XBT_DEBUG("Different start addr of libsimgrid (data) (s1 = %p, s2 = %p)", s1->regions[i]->start_addr, s2->regions[i]->start_addr);
 152         return 1;
 153       }
 154       if(data_libsimgrid_region_compare(s1->regions[i]->data, s2->regions[i]->data, s1->regions[i]->size) != 0){
 155         XBT_DEBUG("Different memcmp for data in libsimgrid");
 156         return 1;
 157       }
 158       break;
 159
 160     case 2 :
 161       /* Compare data program region */
 162       if(s1->regions[i]->size != s2->regions[i]->size){
 163         XBT_DEBUG("Different size of data program (s1 = %zu, s2 = %zu)", s1->regions[i]->size, s2->regions[i]->size);
 164         return 1;
 165       }
 166       if(s1->regions[i]->start_addr != s2->regions[i]->start_addr){
 167         XBT_DEBUG("Different start addr of data program (s1 = %p, s2 = %p)", s1->regions[i]->start_addr, s2->regions[i]->start_addr);
 168         return 1;
 169       }
 170       if(data_program_region_compare(s1->regions[i]->data, s2->regions[i]->data, s1->regions[i]->size) != 0){
 171         XBT_DEBUG("Different memcmp for data in program");
 172         return 1;
 173       }
 174       break;
 175
 176     }
 177
 178   }
 179
 180   /* Stacks comparison */
 181   unsigned int cursor = 1;
 182   stack_region_t stack_region1, stack_region2;
 183   void *sp1, *sp2;
 184   int diff = 0;
 185
 186   while(cursor < xbt_dynar_length(stacks1)){
 187     XBT_DEBUG("Stack %d", cursor + 1);
 188     stack_region1 = (stack_region_t)(xbt_dynar_get_as(stacks1, cursor, stack_region_t));
 189     stack_region2 = (stack_region_t)(xbt_dynar_get_as(stacks2, cursor, stack_region_t));
 190     sp1 = ((mc_snapshot_stack_t)xbt_dynar_get_as(s1->stacks, cursor, mc_snapshot_stack_t))->stack_pointer;
 191     sp2 = ((mc_snapshot_stack_t)xbt_dynar_get_as(s2->stacks, cursor, mc_snapshot_stack_t))->stack_pointer;
 192     diff += compare_stack(stack_region1, stack_region2, sp1, sp2, heap1, heap2, equals);
 193     cursor++;
 194   }
 195
 196   XBT_DEBUG("Hamming distance between stacks : %d", diff);
 197   if(diff>0)
 198     return 1;
 199
 200   return 0;
 201
 202 }
 203
 204 static int is_heap_equality(xbt_dynar_t equals, void *a1, void *a2){
 205
 206   unsigned int cursor = 0;
 207   int start = 0;
 208   int end = xbt_dynar_length(equals) - 1;
 209   heap_equality_t current_equality;
 210
 211   while(start <= end){
 212     cursor = (start + end) / 2;
 213     current_equality = (heap_equality_t)xbt_dynar_get_as(equals, cursor, heap_equality_t);
 214     if(current_equality->address1 == a1){
 215       if(current_equality->address2 == a2)
 216         return 1;
 217       if(current_equality->address2 < a2)
 218         start = cursor + 1;
 219       if(current_equality->address2 > a2)
 220         end = cursor - 1;
 221     }
 222     if(current_equality->address1 < a1)
 223       start = cursor + 1;
 224     if(current_equality->address1 > a1)
 225       end = cursor - 1;
 226   }
 227
 228   return 0;
 229
 230 }
 231
 232
 233 static int compare_stack(stack_region_t s1, stack_region_t s2, void *sp1, void *sp2, void *heap1, void *heap2, xbt_dynar_t equals){
 234
 235   int k = 0, nb_diff = 0;
 236   long size_used1 = (long)s1->size - (long)((char*)sp1 - (char*)s1->address);
 237   long size_used2 = (long)s2->size - (long)((char*)sp2 - (char*)s2->address);
 238
 239   int pointer_align;
 240   void *addr_pointed1 = NULL, *addr_pointed2 = NULL;
 241
 242   if(size_used1 == size_used2){
 243
 244     while(k < size_used1){
 245       if(memcmp((char *)s1->address + s1->size - k, (char *)s2->address + s2->size - k, 1) != 0){
 246         pointer_align = ((size_used1 - k) / sizeof(void*)) * sizeof(void*);
 247         addr_pointed1 = *((void **)(((char*)s1->address + (s1->size - size_used1)) + pointer_align));
 248         addr_pointed2 = *((void **)(((char*)s2->address + (s2->size - size_used2)) + pointer_align));
 249         if(is_heap_equality(equals, addr_pointed1, addr_pointed2) == 0){
 250           if((addr_pointed1 > std_heap) && (addr_pointed1 < (void *)((char *)std_heap + STD_HEAP_SIZE)) && (addr_pointed2 > std_heap) && (addr_pointed2 < (void *)((char *)std_heap + STD_HEAP_SIZE))){
 251             if(is_free_area(addr_pointed1, (xbt_mheap_t)heap1) == 0 || is_free_area(addr_pointed2, (xbt_mheap_t)heap2) == 0){
 252               XBT_DEBUG("Difference at offset %d (%p - %p)", k, (char *)s1->address + s1->size - k, (char *)s2->address + s2->size - k);
 253               nb_diff++;
 254             }
 255           }else{
 256             XBT_DEBUG("Difference at offset %d (%p - %p)", k, (char *)s1->address + s1->size - k, (char *)s2->address + s2->size - k);
 257             nb_diff++;
 258           }
 259         }
 260       }
 261       k++;
 262     }
 263
 264   }else{
 265     XBT_DEBUG("Different size used between stacks");
 266     return 1;
 267   }
 268
 269   return nb_diff;
 270 }
 271
 272 static int compare_local_variables(xbt_strbuff_t s1, xbt_strbuff_t s2){
 273
 274   if(strcmp(s1->data, s2->data) != 0){
 275     XBT_DEBUG("%s", s1->data);
 276     XBT_DEBUG("%s", s2->data);
 277     return 1;
 278   }
 279
 280   return 0;
 281 }