1 /* Functions to support a pool of allocatable objects.
2 Copyright (C) 1987-2015 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 "coretypes.h"
24 #include "alloc-pool.h"
25 #include "hash-table.h"
28 #define align_eight(x) (((x+7) >> 3) << 3)
30 /* The internal allocation object. */
31 typedef struct allocation_object_def
33 #ifdef ENABLE_CHECKING
34 /* The ID of alloc pool which the object was allocated from. */
35 ALLOC_POOL_ID_TYPE id
;
40 /* The data of the object. */
43 /* Because we want any type of data to be well aligned after the ID,
44 the following elements are here. They are never accessed so
45 the allocated object may be even smaller than this structure.
46 We do not care about alignment for floating-point types. */
52 /* Convert a pointer to allocation_object from a pointer to user data. */
53 #define ALLOCATION_OBJECT_PTR_FROM_USER_PTR(X) \
54 ((allocation_object *) (((char *) (X)) \
55 - offsetof (allocation_object, u.data)))
57 /* Convert a pointer to user data from a pointer to allocation_object. */
58 #define USER_PTR_FROM_ALLOCATION_OBJECT_PTR(X) \
59 ((void *) (((allocation_object *) (X))->u.data))
61 #ifdef ENABLE_CHECKING
63 static ALLOC_POOL_ID_TYPE last_id
;
66 /* Store information about each particular alloc_pool. Note that this
67 will underestimate the amount the amount of storage used by a small amount:
68 1) The overhead in a pool is not accounted for.
69 2) The unallocated elements in a block are not accounted for. Note
70 that this can at worst case be one element smaller that the block
71 size for that pool. */
72 struct alloc_pool_descriptor
74 /* Number of pools allocated. */
75 unsigned long created
;
76 /* Gross allocated storage. */
77 unsigned long allocated
;
78 /* Amount of currently active storage. */
79 unsigned long current
;
80 /* Peak amount of storage used. */
82 /* Size of element in the pool. */
86 /* Hashtable mapping alloc_pool names to descriptors. */
87 static hash_map
<const char *, alloc_pool_descriptor
> *alloc_pool_hash
;
89 /* For given name, return descriptor, create new if needed. */
90 static struct alloc_pool_descriptor
*
91 allocate_pool_descriptor (const char *name
)
94 alloc_pool_hash
= new hash_map
<const char *, alloc_pool_descriptor
> (10);
96 return &alloc_pool_hash
->get_or_insert (name
);
99 /* Create a pool of things of size SIZE, with NUM in each block we
103 create_alloc_pool (const char *name
, size_t size
, size_t num
)
108 gcc_checking_assert (name
);
110 /* Make size large enough to store the list header. */
111 if (size
< sizeof (alloc_pool_list
))
112 size
= sizeof (alloc_pool_list
);
114 /* Now align the size to a multiple of 4. */
115 size
= align_eight (size
);
117 #ifdef ENABLE_CHECKING
118 /* Add the aligned size of ID. */
119 size
+= offsetof (allocation_object
, u
.data
);
122 /* Um, we can't really allocate 0 elements per block. */
123 gcc_checking_assert (num
);
125 /* Allocate memory for the pool structure. */
126 pool
= XNEW (struct alloc_pool_def
);
128 /* Now init the various pieces of our pool structure. */
129 pool
->name
= /*xstrdup (name)*/name
;
130 pool
->elt_size
= size
;
131 pool
->elts_per_block
= num
;
133 if (GATHER_STATISTICS
)
135 struct alloc_pool_descriptor
*desc
= allocate_pool_descriptor (name
);
136 desc
->elt_size
= size
;
140 /* List header size should be a multiple of 8. */
141 header_size
= align_eight (sizeof (struct alloc_pool_list_def
));
143 pool
->block_size
= (size
* num
) + header_size
;
144 pool
->returned_free_list
= NULL
;
145 pool
->virgin_free_list
= NULL
;
146 pool
->virgin_elts_remaining
= 0;
147 pool
->elts_allocated
= 0;
149 pool
->blocks_allocated
= 0;
150 pool
->block_list
= NULL
;
152 #ifdef ENABLE_CHECKING
153 /* Increase the last used ID and use it for this pool.
154 ID == 0 is used for free elements of pool so skip it. */
165 /* Free all memory allocated for the given memory pool. */
167 empty_alloc_pool (alloc_pool pool
)
169 alloc_pool_list block
, next_block
;
171 gcc_checking_assert (pool
);
173 /* Free each block allocated to the pool. */
174 for (block
= pool
->block_list
; block
!= NULL
; block
= next_block
)
176 next_block
= block
->next
;
180 if (GATHER_STATISTICS
)
182 struct alloc_pool_descriptor
*desc
= allocate_pool_descriptor (pool
->name
);
183 desc
->current
-= (pool
->elts_allocated
- pool
->elts_free
) * pool
->elt_size
;
186 pool
->returned_free_list
= NULL
;
187 pool
->virgin_free_list
= NULL
;
188 pool
->virgin_elts_remaining
= 0;
189 pool
->elts_allocated
= 0;
191 pool
->blocks_allocated
= 0;
192 pool
->block_list
= NULL
;
195 /* Free all memory allocated for the given memory pool and the pool itself. */
197 free_alloc_pool (alloc_pool pool
)
199 /* First empty the pool. */
200 empty_alloc_pool (pool
);
201 #ifdef ENABLE_CHECKING
202 memset (pool
, 0xaf, sizeof (*pool
));
204 /* Lastly, free the pool. */
208 /* Frees the alloc_pool, if it is empty and zero *POOL in this case. */
210 free_alloc_pool_if_empty (alloc_pool
*pool
)
212 if ((*pool
)->elts_free
== (*pool
)->elts_allocated
)
214 free_alloc_pool (*pool
);
219 /* Allocates one element from the pool specified. */
221 pool_alloc (alloc_pool pool
)
223 alloc_pool_list header
;
224 #ifdef ENABLE_VALGRIND_ANNOTATIONS
228 if (GATHER_STATISTICS
)
230 struct alloc_pool_descriptor
*desc
= allocate_pool_descriptor (pool
->name
);
232 desc
->allocated
+= pool
->elt_size
;
233 desc
->current
+= pool
->elt_size
;
234 if (desc
->peak
< desc
->current
)
235 desc
->peak
= desc
->current
;
238 gcc_checking_assert (pool
);
239 #ifdef ENABLE_VALGRIND_ANNOTATIONS
240 size
= pool
->elt_size
- offsetof (allocation_object
, u
.data
);
243 /* If there are no more free elements, make some more!. */
244 if (!pool
->returned_free_list
)
247 if (!pool
->virgin_elts_remaining
)
249 alloc_pool_list block_header
;
251 /* Make the block. */
252 block
= XNEWVEC (char, pool
->block_size
);
253 block_header
= (alloc_pool_list
) block
;
254 block
+= align_eight (sizeof (struct alloc_pool_list_def
));
256 /* Throw it on the block list. */
257 block_header
->next
= pool
->block_list
;
258 pool
->block_list
= block_header
;
260 /* Make the block available for allocation. */
261 pool
->virgin_free_list
= block
;
262 pool
->virgin_elts_remaining
= pool
->elts_per_block
;
264 /* Also update the number of elements we have free/allocated, and
265 increment the allocated block count. */
266 pool
->elts_allocated
+= pool
->elts_per_block
;
267 pool
->elts_free
+= pool
->elts_per_block
;
268 pool
->blocks_allocated
+= 1;
272 /* We now know that we can take the first elt off the virgin list and
273 put it on the returned list. */
274 block
= pool
->virgin_free_list
;
275 header
= (alloc_pool_list
) USER_PTR_FROM_ALLOCATION_OBJECT_PTR (block
);
277 #ifdef ENABLE_CHECKING
278 /* Mark the element to be free. */
279 ((allocation_object
*) block
)->id
= 0;
281 VALGRIND_DISCARD (VALGRIND_MAKE_MEM_NOACCESS (header
,size
));
282 pool
->returned_free_list
= header
;
283 pool
->virgin_free_list
+= pool
->elt_size
;
284 pool
->virgin_elts_remaining
--;
288 /* Pull the first free element from the free list, and return it. */
289 header
= pool
->returned_free_list
;
290 VALGRIND_DISCARD (VALGRIND_MAKE_MEM_DEFINED (header
, sizeof (*header
)));
291 pool
->returned_free_list
= header
->next
;
294 #ifdef ENABLE_CHECKING
295 /* Set the ID for element. */
296 ALLOCATION_OBJECT_PTR_FROM_USER_PTR (header
)->id
= pool
->id
;
298 VALGRIND_DISCARD (VALGRIND_MAKE_MEM_UNDEFINED (header
, size
));
300 return ((void *) header
);
303 /* Puts PTR back on POOL's free list. */
305 pool_free (alloc_pool pool
, void *ptr
)
307 alloc_pool_list header
;
308 #if defined(ENABLE_VALGRIND_ANNOTATIONS) || defined(ENABLE_CHECKING)
310 size
= pool
->elt_size
- offsetof (allocation_object
, u
.data
);
313 #ifdef ENABLE_CHECKING
315 /* Check if we free more than we allocated, which is Bad (TM). */
316 && pool
->elts_free
< pool
->elts_allocated
317 /* Check whether the PTR was allocated from POOL. */
318 && pool
->id
== ALLOCATION_OBJECT_PTR_FROM_USER_PTR (ptr
)->id
);
320 memset (ptr
, 0xaf, size
);
322 /* Mark the element to be free. */
323 ALLOCATION_OBJECT_PTR_FROM_USER_PTR (ptr
)->id
= 0;
326 header
= (alloc_pool_list
) ptr
;
327 header
->next
= pool
->returned_free_list
;
328 pool
->returned_free_list
= header
;
329 VALGRIND_DISCARD (VALGRIND_MAKE_MEM_NOACCESS (ptr
, size
));
332 if (GATHER_STATISTICS
)
334 struct alloc_pool_descriptor
*desc
= allocate_pool_descriptor (pool
->name
);
335 desc
->current
-= pool
->elt_size
;
339 /* Output per-alloc_pool statistics. */
341 /* Used to accumulate statistics about alloc_pool sizes. */
342 struct pool_output_info
344 unsigned long total_created
;
345 unsigned long total_allocated
;
348 /* Called via hash_map.traverse. Output alloc_pool descriptor pointed out by
349 SLOT and update statistics. */
351 print_alloc_pool_statistics (const char *const &name
,
352 const alloc_pool_descriptor
&d
,
353 struct pool_output_info
*i
)
358 "%-22s %6d %10lu %10lu(%10lu) %10lu(%10lu) %10lu(%10lu)\n",
359 name
, d
.elt_size
, d
.created
, d
.allocated
,
360 d
.allocated
/ d
.elt_size
, d
.peak
, d
.peak
/ d
.elt_size
,
361 d
.current
, d
.current
/ d
.elt_size
);
362 i
->total_allocated
+= d
.allocated
;
363 i
->total_created
+= d
.created
;
368 /* Output per-alloc_pool memory usage statistics. */
370 dump_alloc_pool_statistics (void)
372 struct pool_output_info info
;
374 if (! GATHER_STATISTICS
)
377 if (!alloc_pool_hash
)
380 fprintf (stderr
, "\nAlloc-pool Kind Elt size Pools Allocated (elts) Peak (elts) Leak (elts)\n");
381 fprintf (stderr
, "--------------------------------------------------------------------------------------------------------------\n");
382 info
.total_created
= 0;
383 info
.total_allocated
= 0;
384 alloc_pool_hash
->traverse
<struct pool_output_info
*,
385 print_alloc_pool_statistics
> (&info
);
386 fprintf (stderr
, "--------------------------------------------------------------------------------------------------------------\n");
387 fprintf (stderr
, "%-22s %7lu %10lu\n",
388 "Total", info
.total_created
, info
.total_allocated
);
389 fprintf (stderr
, "--------------------------------------------------------------------------------------------------------------\n");