Mercurial > hg > Gears > Gears
comparison src/parallel_execution/ModelChecking/memory.c @ 910:03ae5db3dbe9
add memory dump
| author | Shinji KONO <kono@ie.u-ryukyu.ac.jp> |
|---|---|
| date | Wed, 27 Jan 2021 23:40:36 +0900 |
| parents | 187d7172c951 |
| children | 0111b0f68c4d |
comparison
equal
deleted
inserted
replaced
| 908:90c0ea7811ea | 910:03ae5db3dbe9 |
|---|---|
| 337 } | 337 } |
| 338 /* !NOT REACHED */ | 338 /* !NOT REACHED */ |
| 339 } | 339 } |
| 340 | 340 |
| 341 /* | 341 /* |
| 342 dump memory | |
| 343 */ | |
| 344 | |
| 345 void | |
| 346 dump_memory(MemoryPtr m) | |
| 347 { | |
| 348 while (m) { | |
| 349 // memcpy(m->adr,m->body,m->length); | |
| 350 printf("\n%p : ",m->adr); | |
| 351 unsigned char *p = (unsigned char *)m->adr; | |
| 352 for(int i=0; i<m->length ;i++) { | |
| 353 printf("%02x : ",p[i]); | |
| 354 if ((i+1)%4==0) putchar(' '); | |
| 355 } | |
| 356 if (m->left) dump_memory(m->left); | |
| 357 m = m->right; | |
| 358 } | |
| 359 printf("\nend\n"); | |
| 360 } | |
| 361 | |
| 362 | |
| 363 /* | |
| 342 */ | 364 */ |
| 343 | 365 |
| 344 void | 366 void |
| 345 memory_usage() | 367 memory_usage() |
| 346 { | 368 { |