A
lgorithmique
N
umérique
D
istribuée
Public GIT Repository
projects
/
simgrid.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
model-checker : need to switch between raw heap and std heap to remove ignore region
[simgrid.git]
/
include
/
xbt
/
mmalloc.h
diff --git
a/include/xbt/mmalloc.h
b/include/xbt/mmalloc.h
index
aa6eeaa
..
c259bf6
100644
(file)
--- a/
include/xbt/mmalloc.h
+++ b/
include/xbt/mmalloc.h
@@
-29,41
+29,50
@@
*/
typedef struct mdesc *xbt_mheap_t;
*/
typedef struct mdesc *xbt_mheap_t;
-/* Allocate SIZE bytes of memory. */
-extern void *mmalloc(xbt_mheap_t md, size_t size);
+/* Allocate SIZE bytes of memory (and memset it to 0). */
+XBT_PUBLIC( void ) *mmalloc(xbt_mheap_t md, size_t size);
+
+/* Allocate SIZE bytes of memory (and don't mess with it) */
+void *mmalloc_no_memset(xbt_mheap_t mdp, size_t size);
/* Re-allocate the previously allocated block in void*, making the new block
SIZE bytes long. */
/* Re-allocate the previously allocated block in void*, making the new block
SIZE bytes long. */
-
extern void
*mrealloc(xbt_mheap_t md, void *ptr, size_t size);
+
XBT_PUBLIC( void )
*mrealloc(xbt_mheap_t md, void *ptr, size_t size);
/* Free a block allocated by `mmalloc', `mrealloc' or `mcalloc'. */
/* Free a block allocated by `mmalloc', `mrealloc' or `mcalloc'. */
-
extern void
mfree(xbt_mheap_t md, void *ptr);
+
XBT_PUBLIC( void )
mfree(xbt_mheap_t md, void *ptr);
/* Allocate SIZE bytes allocated to ALIGNMENT bytes. */
/* Allocate SIZE bytes allocated to ALIGNMENT bytes. */
-
extern void
*mmemalign(xbt_mheap_t md, size_t alignment, size_t size);
+
XBT_PUBLIC( void )
*mmemalign(xbt_mheap_t md, size_t alignment, size_t size);
/* Allocate SIZE bytes on a page boundary. */
/* Allocate SIZE bytes on a page boundary. */
-
extern void
*mvalloc(xbt_mheap_t md, size_t size);
+
XBT_PUBLIC( void )
*mvalloc(xbt_mheap_t md, size_t size);
-
extern xbt_mheap_t
xbt_mheap_new(int fd, void *baseaddr);
+
XBT_PUBLIC( xbt_mheap_t )
xbt_mheap_new(int fd, void *baseaddr);
-
extern void
xbt_mheap_destroy_no_free(xbt_mheap_t md);
+
XBT_PUBLIC( void )
xbt_mheap_destroy_no_free(xbt_mheap_t md);
-
extern void
*xbt_mheap_destroy(xbt_mheap_t md);
+
XBT_PUBLIC( void )
*xbt_mheap_destroy(xbt_mheap_t md);
/* return the heap used when NULL is passed as first argument to any mm* function */
/* return the heap used when NULL is passed as first argument to any mm* function */
-
extern xbt_mheap_t
mmalloc_get_default_md(void);
+
XBT_PUBLIC( xbt_mheap_t )
mmalloc_get_default_md(void);
/* To change the heap used when using the legacy version malloc/free/realloc and such */
void mmalloc_set_current_heap(xbt_mheap_t new_heap);
xbt_mheap_t mmalloc_get_current_heap(void);
/* To change the heap used when using the legacy version malloc/free/realloc and such */
void mmalloc_set_current_heap(xbt_mheap_t new_heap);
xbt_mheap_t mmalloc_get_current_heap(void);
-int mmalloc_compare_heap(xbt_mheap_t heap1, xbt_mheap_t heap2, xbt_dynar_t *stacks1, xbt_dynar_t *stacks2);
+int mmalloc_compare_heap(xbt_mheap_t heap1, xbt_mheap_t heap2, xbt_dynar_t *stacks1, xbt_dynar_t *stacks2
, xbt_dynar_t equals
);
int mmalloc_linear_compare_heap(xbt_mheap_t heap1, xbt_mheap_t heap2);
int mmalloc_linear_compare_heap(xbt_mheap_t heap1, xbt_mheap_t heap2);
+void init_heap_information(xbt_mheap_t heap1, xbt_mheap_t heap2);
+void match_equals(xbt_dynar_t list, xbt_dynar_t equals);
+int compare_area(void *area1, void* area2, xbt_dynar_t previous, xbt_dynar_t equals);
void mmalloc_backtrace_block_display(void* heapinfo, int block);
void mmalloc_backtrace_fragment_display(void* heapinfo, int block, int frag);
void mmalloc_backtrace_block_display(void* heapinfo, int block);
void mmalloc_backtrace_fragment_display(void* heapinfo, int block, int frag);
+void mmalloc_backtrace_display(void *addr);
+int is_free_area(void *area, xbt_mheap_t heap);
+size_t mmalloc_get_chunks_used(xbt_mheap_t);
#endif /* MMALLOC_H */
#endif /* MMALLOC_H */