1 /* Copyright (c) 2007-2014. The SimGrid Team.
2 * All rights reserved. */
4 /* This program is free software; you can redistribute it and/or modify it
5 * under the terms of the license (GNU LGPL) which comes with this package. */
7 #ifndef SIMGRID_MC_MMALLOC_H
8 #define SIMGRID_MC_MMALLOC_H
11 #include <xbt/mmalloc.h>
14 * Support for seperate heaps.
16 * The possible memory modes for the modelchecker are standard and raw.
17 * Normally the system should operate in std, for switching to raw mode
18 * you must wrap the code between MC_SET_RAW_MODE and MC_UNSET_RAW_MODE.
23 /* FIXME: Horrible hack! because the mmalloc library doesn't provide yet of */
24 /* an API to query about the status of a heap, we simply call mmstats and */
25 /* because I now how does structure looks like, then I redefine it here */
28 /* size_t bytes_total; /\* Total size of the heap. *\/ */
29 /* size_t chunks_used; /\* Chunks allocated by the user. *\/ */
30 /* size_t bytes_used; /\* Byte total of user-allocated chunks. *\/ */
31 /* size_t chunks_free; /\* Chunks in the free list. *\/ */
32 /* size_t bytes_free; /\* Byte total of chunks in the free list. *\/ */