Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : new heap comparison algorithm
[simgrid.git] / src / xbt / mmalloc / mmprivate.h
1 /* Declarations for `mmalloc' and friends.
2    Copyright 1990, 1991, 1992 Free Software Foundation
3
4    Written May 1989 by Mike Haertel.
5    Heavily modified Mar 1992 by Fred Fish. (fnf@cygnus.com) */
6
7 /* Copyright (c) 2010. The SimGrid Team.
8  * All rights reserved.                                                     */
9
10 /* This program is free software; you can redistribute it and/or modify it
11  * under the terms of the license (GNU LGPL) which comes with this package. */
12
13 #ifndef __MMPRIVATE_H
14 #define __MMPRIVATE_H 1
15
16 #include "portable.h"
17 #include "xbt/xbt_os_thread.h"
18 #include "xbt/mmalloc.h"
19 #include "xbt/ex.h"
20 #include "xbt/dynar.h"
21 #include <semaphore.h>
22 #include <stdint.h>
23
24 #ifdef HAVE_LIMITS_H
25 #  include <limits.h>
26 #else
27 #  ifndef CHAR_BIT
28 #    define CHAR_BIT 8
29 #  endif
30 #endif
31
32 #define MMALLOC_MAGIC    "mmalloc"       /* Mapped file magic number */
33 #define MMALLOC_MAGIC_SIZE  8       /* Size of magic number buf */
34 #define MMALLOC_VERSION    2       /* Current mmalloc version */
35
36 /* The allocator divides the heap into blocks of fixed size; large
37    requests receive one or more whole blocks, and small requests
38    receive a fragment of a block.  Fragment sizes are powers of two,
39    and all fragments of a block are the same size.  When all the
40    fragments in a block have been freed, the block itself is freed.
41
42    FIXME: we are not targeting 16bits machines anymore; update values */
43
44 #define INT_BIT    (CHAR_BIT * sizeof(int))
45 #define BLOCKLOG  (INT_BIT > 16 ? 12 : 9)
46 #define BLOCKSIZE  ((unsigned int) 1 << BLOCKLOG)
47 #define BLOCKIFY(SIZE)  (((SIZE) + BLOCKSIZE - 1) / BLOCKSIZE)
48
49 /* We keep fragment-specific meta-data for introspection purposes, and these
50  * information are kept in fixed lenght arrays. Here is the computation of
51  * that size.
52  *
53  * Never make SMALLEST_POSSIBLE_MALLOC smaller than sizeof(list) because we
54  * need to enlist the free fragments.
55  */
56
57 //#define SMALLEST_POSSIBLE_MALLOC (sizeof(struct list))
58 #define SMALLEST_POSSIBLE_MALLOC (16*sizeof(struct list))
59 #define MAX_FRAGMENT_PER_BLOCK (BLOCKSIZE / SMALLEST_POSSIBLE_MALLOC)
60
61 /* The difference between two pointers is a signed int.  On machines where
62    the data addresses have the high bit set, we need to ensure that the
63    difference becomes an unsigned int when we are using the address as an
64    integral value.  In addition, when using with the '%' operator, the
65    sign of the result is machine dependent for negative values, so force
66    it to be treated as an unsigned int. */
67
68 #define ADDR2UINT(addr)  ((uintptr_t) ((char*) (addr) - (char*) NULL))
69 #define RESIDUAL(addr,bsize) ((uintptr_t) (ADDR2UINT (addr) % (bsize)))
70
71 /* Determine the amount of memory spanned by the initial heap table
72    (not an absolute limit).  */
73
74 #define HEAP    (INT_BIT > 16 ? 4194304 : 65536)
75
76 /* Number of contiguous free blocks allowed to build up at the end of
77    memory before they will be returned to the system.
78    FIXME: this is not used anymore: we never return memory to the system. */
79 #define FINAL_FREE_BLOCKS  8
80
81 /* Where to start searching the free list when looking for new memory.
82    The two possible values are 0 and heapindex.  Starting at 0 seems
83    to reduce total memory usage, while starting at heapindex seems to
84    run faster.  */
85
86 #define MALLOC_SEARCH_START  mdp -> heapindex
87
88 /* Address to block number and vice versa.  */
89
90 #define BLOCK(A) (((char*) (A) - (char*) mdp -> heapbase) / BLOCKSIZE + 1)
91
92 #define ADDRESS(B) ((void*) (((ADDR2UINT(B)) - 1) * BLOCKSIZE + (char*) mdp -> heapbase))
93
94 /* Doubly linked lists of free fragments.  */
95 struct list {
96   struct list *next;
97   struct list *prev;
98 };
99
100 /* Statistics available to the user. */
101 struct mstats
102 {
103   size_t bytes_total;    /* Total size of the heap. */
104   size_t chunks_used;    /* Chunks allocated by the user. */
105   size_t bytes_used;    /* Byte total of user-allocated chunks. */
106   size_t chunks_free;    /* Chunks in the free list. */
107   size_t bytes_free;    /* Byte total of chunks in the free list. */
108 };
109
110 typedef struct s_heap_area_pair{
111   int block1;
112   int fragment1;
113   int block2;
114   int fragment2;
115 }s_heap_area_pair_t, *heap_area_pair_t;
116
117 /* Data structure giving per-block information.
118  *
119  * There is one such structure in the mdp->heapinfo array per block used in that heap,
120  *    the array index is the block number.
121  *
122  * There is several types of blocks in memory:
123  *  - full busy blocks: used when we are asked to malloc a block which size is > BLOCKSIZE/2
124  *    In this situation, the full block is given to the malloc.
125  *
126  *  - fragmented busy blocks: when asked for smaller amount of memory.
127  *    Fragment sizes are only power of 2. When looking for such a free fragment,
128  *    we get one from mdp->fraghead (that contains a linked list of blocks fragmented at that
129  *    size and containing a free fragment), or we get a fresh block that we fragment.
130  *
131  *  - free blocks are grouped by clusters, that are chained together.
132  *    When looking for free blocks, we traverse the mdp->heapinfo looking
133  *    for a cluster of free blocks that would be large enough.
134  *
135  *    The size of the cluster is only to be trusted in the first block of the cluster, not in the middle blocks.
136  *
137  * The type field is consistently updated for every blocks, even within clusters of blocks.
138  * You can crawl the array and rely on that value.
139  *
140  */
141 typedef struct {
142   int type; /*  0: busy large block
143                 >0: busy fragmented (fragments of size 2^type bytes)
144                 <0: free block */
145   
146   union {
147     /* Heap information for a busy block.  */
148     struct {
149       size_t nfree;           /* Free fragments in a fragmented block.  */
150       size_t first;           /* First free fragment of the block.  */
151       unsigned short frag_size[MAX_FRAGMENT_PER_BLOCK];
152       void *bt[MAX_FRAGMENT_PER_BLOCK][XBT_BACKTRACE_SIZE]; /* Where it was malloced (or realloced lastly) */
153       int equal_to[MAX_FRAGMENT_PER_BLOCK];
154     } busy_frag;
155     struct {
156       size_t size; /* Size (in blocks) of a large cluster.  */
157       size_t busy_size; /* Actually used space, in bytes */
158       void *bt[XBT_BACKTRACE_SIZE]; /* Where it was malloced (or realloced lastly) */
159       int bt_size;
160       int equal_to;
161     } busy_block;
162     /* Heap information for a free block (that may be the first of a free cluster).  */
163     struct {
164       size_t size;                /* Size (in blocks) of a free cluster.  */
165       size_t next;                /* Index of next free cluster.  */
166       size_t prev;                /* Index of previous free cluster.  */
167     } free_block;
168   };
169 } malloc_info;
170
171 /* Internal structure that defines the format of the malloc-descriptor.
172    This gets written to the base address of the region that mmalloc is
173    managing, and thus also becomes the file header for the mapped file,
174    if such a file exists. */
175
176 struct mdesc {
177
178   /* Semaphore locking the access to the heap */
179   sem_t sem;
180
181   /* Number of processes that attached the heap */
182   unsigned int refcount;
183
184   /* Chained lists of mdescs */
185   struct mdesc *next_mdesc;
186
187   /* The "magic number" for an mmalloc file. */
188   char magic[MMALLOC_MAGIC_SIZE];
189
190   /* The size in bytes of this structure, used as a sanity check when reusing
191      a previously created mapped file. */
192   unsigned int headersize;
193
194   /* The version number of the mmalloc package that created this file. */
195   unsigned char version;
196
197   /* Some flag bits to keep track of various internal things. */
198   unsigned int flags;
199
200   /* Number of info entries.  */
201   size_t heapsize;
202
203   /* Pointer to first block of the heap (base of the first block).  */
204   void *heapbase;
205
206   /* Current search index for the heap table.  */
207   /* Search index in the info table.  */
208   size_t heapindex;
209
210   /* Limit of valid info table indices.  */
211   size_t heaplimit;
212
213   /* Block information table.
214      Allocated with malign/mfree (not mmalloc/mfree).  */
215   /* Table indexed by block number giving per-block information.  */
216   malloc_info *heapinfo;
217
218   /* List of all blocks containing free fragments of this size. The array indice is the log2 of requested size */
219   struct list fraghead[BLOCKLOG];
220
221   /* The base address of the memory region for this malloc heap.  This
222      is the location where the bookkeeping data for mmap and for malloc
223      begins. */
224
225   void *base;
226
227   /* The current location in the memory region for this malloc heap which
228      represents the end of memory in use. */
229
230   void *breakval;
231
232   /* The end of the current memory region for this malloc heap.  This is
233      the first location past the end of mapped memory. */
234
235   void *top;
236
237   /* Open file descriptor for the file to which this malloc heap is mapped.
238      This will always be a valid file descriptor, since /dev/zero is used
239      by default if no open file is supplied by the client.  Also note that
240      it may change each time the region is mapped and unmapped. */
241
242   int fd;
243
244   /* Instrumentation.  */
245
246   struct mstats heapstats;
247
248 };
249
250 /* Bits to look at in the malloc descriptor flags word */
251
252 #define MMALLOC_DEVZERO    (1 << 0)        /* Have mapped to /dev/zero */
253 #define MMALLOC_ANONYMOUS (1 << 1)      /* Use anonymous mapping */
254 #define MMALLOC_INITIALIZED  (1 << 2)        /* Initialized mmalloc */
255
256 /* A default malloc descriptor for the single sbrk() managed region. */
257
258 extern struct mdesc *__mmalloc_default_mdp;
259
260 /* Remap a mmalloc region that was previously mapped. */
261
262 extern void *__mmalloc_remap_core(xbt_mheap_t mdp);
263
264 /*  Get core for the memory region specified by MDP, using SIZE as the
265     amount to either add to or subtract from the existing region.  Works
266     like sbrk(), but using mmap(). */
267 extern void *mmorecore(struct mdesc *mdp, int size);
268
269 /* Thread-safety (if the sem is already created)
270  *
271  * This is mandatory in the case where the user runs a parallel simulation
272  * in a model-checking enabled tree. Without this protection, our malloc
273  * implementation will not like multi-threading AT ALL.
274  */
275 #define LOCK(mdp) sem_wait(&mdp->sem)
276 #define UNLOCK(mdp) sem_post(&mdp->sem)
277
278 #endif                          /* __MMPRIVATE_H */