1 /* Functions to support a pool of allocatable objects.
2 Copyright (C) 1987-2014 Free Software Foundation, Inc.
3 Contributed by Daniel Berlin <dan@cgsoftware.com>
5 This file is part of GCC.
7 GCC is free software; you can redistribute it and/or modify it under
8 the terms of the GNU General Public License as published by the Free
9 Software Foundation; either version 3, or (at your option) any later
12 GCC is distributed in the hope that it will be useful, but WITHOUT ANY
13 WARRANTY; without even the implied warranty of MERCHANTABILITY or
14 FITNESS FOR A PARTICULAR PURPOSE. See the GNU General Public License
17 You should have received a copy of the GNU General Public License
18 along with GCC; see the file COPYING3. If not see
19 <http://www.gnu.org/licenses/>. */
23 #include "alloc-pool.h"
24 #include "hash-table.h"
27 #define align_eight(x) (((x+7) >> 3) << 3)
29 /* The internal allocation object. */
30 typedef struct allocation_object_def
32 #ifdef ENABLE_CHECKING
33 /* The ID of alloc pool which the object was allocated from. */
34 ALLOC_POOL_ID_TYPE id
;
39 /* The data of the object. */
42 /* Because we want any type of data to be well aligned after the ID,
43 the following elements are here. They are never accessed so
44 the allocated object may be even smaller than this structure.
45 We do not care about alignment for floating-point types. */
51 /* Convert a pointer to allocation_object from a pointer to user data. */
52 #define ALLOCATION_OBJECT_PTR_FROM_USER_PTR(X) \
53 ((allocation_object *) (((char *) (X)) \
54 - offsetof (allocation_object, u.data)))
56 /* Convert a pointer to user data from a pointer to allocation_object. */
57 #define USER_PTR_FROM_ALLOCATION_OBJECT_PTR(X) \
58 ((void *) (((allocation_object *) (X))->u.data))
60 #ifdef ENABLE_CHECKING
62 static ALLOC_POOL_ID_TYPE last_id
;
65 /* Store information about each particular alloc_pool. Note that this
66 will underestimate the amount the amount of storage used by a small amount:
67 1) The overhead in a pool is not accounted for.
68 2) The unallocated elements in a block are not accounted for. Note
69 that this can at worst case be one element smaller that the block
70 size for that pool. */
71 struct alloc_pool_descriptor
73 /* Number of pools allocated. */
74 unsigned long created
;
75 /* Gross allocated storage. */
76 unsigned long allocated
;
77 /* Amount of currently active storage. */
78 unsigned long current
;
79 /* Peak amount of storage used. */
81 /* Size of element in the pool. */
85 /* Hashtable mapping alloc_pool names to descriptors. */
86 static hash_map
<const char *, alloc_pool_descriptor
> *alloc_pool_hash
;
88 /* For given name, return descriptor, create new if needed. */
89 static struct alloc_pool_descriptor
*
90 allocate_pool_descriptor (const char *name
)
93 alloc_pool_hash
= new hash_map
<const char *, alloc_pool_descriptor
> (10);
95 return &alloc_pool_hash
->get_or_insert (name
);
98 /* Create a pool of things of size SIZE, with NUM in each block we
102 create_alloc_pool (const char *name
, size_t size
, size_t num
)
107 gcc_checking_assert (name
);
109 /* Make size large enough to store the list header. */
110 if (size
< sizeof (alloc_pool_list
))
111 size
= sizeof (alloc_pool_list
);
113 /* Now align the size to a multiple of 4. */
114 size
= align_eight (size
);
116 #ifdef ENABLE_CHECKING
117 /* Add the aligned size of ID. */
118 size
+= offsetof (allocation_object
, u
.data
);
121 /* Um, we can't really allocate 0 elements per block. */
122 gcc_checking_assert (num
);
124 /* Allocate memory for the pool structure. */
125 pool
= XNEW (struct alloc_pool_def
);
127 /* Now init the various pieces of our pool structure. */
128 pool
->name
= /*xstrdup (name)*/name
;
129 pool
->elt_size
= size
;
130 pool
->elts_per_block
= num
;
132 if (GATHER_STATISTICS
)
134 struct alloc_pool_descriptor
*desc
= allocate_pool_descriptor (name
);
135 desc
->elt_size
= size
;
139 /* List header size should be a multiple of 8. */
140 header_size
= align_eight (sizeof (struct alloc_pool_list_def
));
142 pool
->block_size
= (size
* num
) + header_size
;
143 pool
->returned_free_list
= NULL
;
144 pool
->virgin_free_list
= NULL
;
145 pool
->virgin_elts_remaining
= 0;
146 pool
->elts_allocated
= 0;
148 pool
->blocks_allocated
= 0;
149 pool
->block_list
= NULL
;
151 #ifdef ENABLE_CHECKING
152 /* Increase the last used ID and use it for this pool.
153 ID == 0 is used for free elements of pool so skip it. */
164 /* Free all memory allocated for the given memory pool. */
166 empty_alloc_pool (alloc_pool pool
)
168 alloc_pool_list block
, next_block
;
170 gcc_checking_assert (pool
);
172 /* Free each block allocated to the pool. */
173 for (block
= pool
->block_list
; block
!= NULL
; block
= next_block
)
175 next_block
= block
->next
;
179 if (GATHER_STATISTICS
)
181 struct alloc_pool_descriptor
*desc
= allocate_pool_descriptor (pool
->name
);
182 desc
->current
-= (pool
->elts_allocated
- pool
->elts_free
) * pool
->elt_size
;
185 pool
->returned_free_list
= NULL
;
186 pool
->virgin_free_list
= NULL
;
187 pool
->virgin_elts_remaining
= 0;
188 pool
->elts_allocated
= 0;
190 pool
->blocks_allocated
= 0;
191 pool
->block_list
= NULL
;
194 /* Free all memory allocated for the given memory pool and the pool itself. */
196 free_alloc_pool (alloc_pool pool
)
198 /* First empty the pool. */
199 empty_alloc_pool (pool
);
200 #ifdef ENABLE_CHECKING
201 memset (pool
, 0xaf, sizeof (*pool
));
203 /* Lastly, free the pool. */
207 /* Frees the alloc_pool, if it is empty and zero *POOL in this case. */
209 free_alloc_pool_if_empty (alloc_pool
*pool
)
211 if ((*pool
)->elts_free
== (*pool
)->elts_allocated
)
213 free_alloc_pool (*pool
);
218 /* Allocates one element from the pool specified. */
220 pool_alloc (alloc_pool pool
)
222 alloc_pool_list header
;
223 #ifdef ENABLE_VALGRIND_ANNOTATIONS
227 if (GATHER_STATISTICS
)
229 struct alloc_pool_descriptor
*desc
= allocate_pool_descriptor (pool
->name
);
231 desc
->allocated
+= pool
->elt_size
;
232 desc
->current
+= pool
->elt_size
;
233 if (desc
->peak
< desc
->current
)
234 desc
->peak
= desc
->current
;
237 gcc_checking_assert (pool
);
238 #ifdef ENABLE_VALGRIND_ANNOTATIONS
239 size
= pool
->elt_size
- offsetof (allocation_object
, u
.data
);
242 /* If there are no more free elements, make some more!. */
243 if (!pool
->returned_free_list
)
246 if (!pool
->virgin_elts_remaining
)
248 alloc_pool_list block_header
;
250 /* Make the block. */
251 block
= XNEWVEC (char, pool
->block_size
);
252 block_header
= (alloc_pool_list
) block
;
253 block
+= align_eight (sizeof (struct alloc_pool_list_def
));
255 /* Throw it on the block list. */
256 block_header
->next
= pool
->block_list
;
257 pool
->block_list
= block_header
;
259 /* Make the block available for allocation. */
260 pool
->virgin_free_list
= block
;
261 pool
->virgin_elts_remaining
= pool
->elts_per_block
;
263 /* Also update the number of elements we have free/allocated, and
264 increment the allocated block count. */
265 pool
->elts_allocated
+= pool
->elts_per_block
;
266 pool
->elts_free
+= pool
->elts_per_block
;
267 pool
->blocks_allocated
+= 1;
271 /* We now know that we can take the first elt off the virgin list and
272 put it on the returned list. */
273 block
= pool
->virgin_free_list
;
274 header
= (alloc_pool_list
) USER_PTR_FROM_ALLOCATION_OBJECT_PTR (block
);
276 #ifdef ENABLE_CHECKING
277 /* Mark the element to be free. */
278 ((allocation_object
*) block
)->id
= 0;
280 VALGRIND_DISCARD (VALGRIND_MAKE_MEM_NOACCESS (header
,size
));
281 pool
->returned_free_list
= header
;
282 pool
->virgin_free_list
+= pool
->elt_size
;
283 pool
->virgin_elts_remaining
--;
287 /* Pull the first free element from the free list, and return it. */
288 header
= pool
->returned_free_list
;
289 VALGRIND_DISCARD (VALGRIND_MAKE_MEM_DEFINED (header
, sizeof (*header
)));
290 pool
->returned_free_list
= header
->next
;
293 #ifdef ENABLE_CHECKING
294 /* Set the ID for element. */
295 ALLOCATION_OBJECT_PTR_FROM_USER_PTR (header
)->id
= pool
->id
;
297 VALGRIND_DISCARD (VALGRIND_MAKE_MEM_UNDEFINED (header
, size
));
299 return ((void *) header
);
302 /* Puts PTR back on POOL's free list. */
304 pool_free (alloc_pool pool
, void *ptr
)
306 alloc_pool_list header
;
307 #if defined(ENABLE_VALGRIND_ANNOTATIONS) || defined(ENABLE_CHECKING)
309 size
= pool
->elt_size
- offsetof (allocation_object
, u
.data
);
312 #ifdef ENABLE_CHECKING
314 /* Check if we free more than we allocated, which is Bad (TM). */
315 && pool
->elts_free
< pool
->elts_allocated
316 /* Check whether the PTR was allocated from POOL. */
317 && pool
->id
== ALLOCATION_OBJECT_PTR_FROM_USER_PTR (ptr
)->id
);
319 memset (ptr
, 0xaf, size
);
321 /* Mark the element to be free. */
322 ALLOCATION_OBJECT_PTR_FROM_USER_PTR (ptr
)->id
= 0;
325 header
= (alloc_pool_list
) ptr
;
326 header
->next
= pool
->returned_free_list
;
327 pool
->returned_free_list
= header
;
328 VALGRIND_DISCARD (VALGRIND_MAKE_MEM_NOACCESS (ptr
, size
));
331 if (GATHER_STATISTICS
)
333 struct alloc_pool_descriptor
*desc
= allocate_pool_descriptor (pool
->name
);
334 desc
->current
-= pool
->elt_size
;
338 /* Output per-alloc_pool statistics. */
340 /* Used to accumulate statistics about alloc_pool sizes. */
343 unsigned long total_created
;
344 unsigned long total_allocated
;
347 /* Called via hash_map.traverse. Output alloc_pool descriptor pointed out by
348 SLOT and update statistics. */
350 print_alloc_pool_statistics (const char *const &name
,
351 const alloc_pool_descriptor
&d
,
352 struct output_info
*i
)
357 "%-22s %6d %10lu %10lu(%10lu) %10lu(%10lu) %10lu(%10lu)\n",
358 name
, d
.elt_size
, d
.created
, d
.allocated
,
359 d
.allocated
/ d
.elt_size
, d
.peak
, d
.peak
/ d
.elt_size
,
360 d
.current
, d
.current
/ d
.elt_size
);
361 i
->total_allocated
+= d
.allocated
;
362 i
->total_created
+= d
.created
;
367 /* Output per-alloc_pool memory usage statistics. */
369 dump_alloc_pool_statistics (void)
371 struct output_info info
;
373 if (! GATHER_STATISTICS
)
376 if (!alloc_pool_hash
)
379 fprintf (stderr
, "\nAlloc-pool Kind Elt size Pools Allocated (elts) Peak (elts) Leak (elts)\n");
380 fprintf (stderr
, "--------------------------------------------------------------------------------------------------------------\n");
381 info
.total_created
= 0;
382 info
.total_allocated
= 0;
383 alloc_pool_hash
->traverse
<struct output_info
*,
384 print_alloc_pool_statistics
> (&info
);
385 fprintf (stderr
, "--------------------------------------------------------------------------------------------------------------\n");
386 fprintf (stderr
, "%-22s %7lu %10lu\n",
387 "Total", info
.total_created
, info
.total_allocated
);
388 fprintf (stderr
, "--------------------------------------------------------------------------------------------------------------\n");