1 /* Functions to support a pool of allocatable objects
2 Copyright (C) 1997-2016 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
8 it under the terms of the GNU General Public License as published by
9 the Free Software Foundation; either version 3, or (at your option)
12 GCC is distributed in the hope that it will be useful,
13 but WITHOUT ANY WARRANTY; without even the implied warranty of
14 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 GNU General Public License for more details.
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 "memory-block.h"
24 #include "options.h" // for flag_checking
26 extern void dump_alloc_pool_statistics (void);
28 /* Flag indicates whether memory statistics are gathered any longer. */
29 extern bool after_memory_report
;
31 typedef unsigned long ALLOC_POOL_ID_TYPE
;
34 extern ALLOC_POOL_ID_TYPE last_id
;
36 /* Pool allocator memory usage. */
37 struct pool_usage
: public mem_usage
39 /* Default contructor. */
40 pool_usage (): m_element_size (0), m_pool_name ("") {}
42 pool_usage (size_t allocated
, size_t times
, size_t peak
,
43 size_t instances
, size_t element_size
,
44 const char *pool_name
)
45 : mem_usage (allocated
, times
, peak
, instances
),
46 m_element_size (element_size
),
47 m_pool_name (pool_name
) {}
49 /* Sum the usage with SECOND usage. */
51 operator+ (const pool_usage
&second
)
53 return pool_usage (m_allocated
+ second
.m_allocated
,
54 m_times
+ second
.m_times
,
55 m_peak
+ second
.m_peak
,
56 m_instances
+ second
.m_instances
,
57 m_element_size
, m_pool_name
);
60 /* Dump usage coupled to LOC location, where TOTAL is sum of all rows. */
62 dump (mem_location
*loc
, mem_usage
&total
) const
64 char *location_string
= loc
->to_string ();
66 fprintf (stderr
, "%-32s%-48s %6li%10li:%5.1f%%%10li%10li:%5.1f%%%12li\n",
67 m_pool_name
, location_string
, (long)m_instances
,
68 (long)m_allocated
, get_percent (m_allocated
, total
.m_allocated
),
69 (long)m_peak
, (long)m_times
,
70 get_percent (m_times
, total
.m_times
),
71 (long)m_element_size
);
73 free (location_string
);
76 /* Dump header with NAME. */
78 dump_header (const char *name
)
80 fprintf (stderr
, "%-32s%-48s %6s%11s%16s%17s%12s\n", "Pool name", name
,
81 "Pools", "Leak", "Peak", "Times", "Elt size");
90 fprintf (stderr
, "%s%82li%10li\n", "Total", (long)m_instances
,
96 size_t m_element_size
;
98 const char *m_pool_name
;
101 extern mem_alloc_description
<pool_usage
> pool_allocator_usage
;
104 /* If a pool with custom block size is needed, one might use the following
105 template. An instance of this template can be used as a parameter for
106 instantiating base_pool_allocator template:
108 typedef custom_block_allocator <128*1024> huge_block_allocator;
110 static base_pool_allocator <huge_block_allocator>
111 value_pool ("value", 16384);
113 Right now it's not used anywhere in the code, and is given here as an
116 template <size_t BlockSize
>
117 class custom_block_allocator
120 static const size_t block_size
= BlockSize
;
123 allocate () ATTRIBUTE_MALLOC
125 return XNEWVEC (char, BlockSize
);
129 release (void *block
)
136 /* Generic pool allocator. */
138 template <typename TBlockAllocator
>
139 class base_pool_allocator
142 /* Default constructor for pool allocator called NAME. */
143 base_pool_allocator (const char *name
, size_t size CXX_MEM_STAT_INFO
);
144 ~base_pool_allocator ();
146 void release_if_empty ();
147 void *allocate () ATTRIBUTE_MALLOC
;
148 void remove (void *object
);
149 size_t num_elts_current ();
152 struct allocation_pool_list
154 allocation_pool_list
*next
;
157 /* Initialize a pool allocator. */
160 struct allocation_object
163 /* The ID of alloc pool which the object was allocated from. */
164 ALLOC_POOL_ID_TYPE id
;
169 /* The data of the object. */
172 /* Because we want any type of data to be well aligned after the ID,
173 the following elements are here. They are never accessed so
174 the allocated object may be even smaller than this structure.
175 We do not care about alignment for floating-point types. */
181 static inline allocation_object
*
182 get_instance (void *data_ptr
)
184 return (allocation_object
*)(((char *)(data_ptr
))
185 - offsetof (allocation_object
,
191 get_data (void *instance_ptr
)
193 return (void*)(((allocation_object
*) instance_ptr
)->u
.data
);
199 align_eight (size_t x
)
201 return (((x
+7) >> 3) << 3);
205 ALLOC_POOL_ID_TYPE m_id
;
206 size_t m_elts_per_block
;
208 /* These are the elements that have been allocated at least once
210 allocation_pool_list
*m_returned_free_list
;
212 /* These are the elements that have not yet been allocated out of
213 the last block obtained from XNEWVEC. */
214 char* m_virgin_free_list
;
216 /* The number of elements in the virgin_free_list that can be
217 allocated before needing another block. */
218 size_t m_virgin_elts_remaining
;
219 /* The number of elements that are allocated. */
220 size_t m_elts_allocated
;
221 /* The number of elements that are released. */
223 /* The number of allocated blocks. */
224 size_t m_blocks_allocated
;
225 /* List of blocks that are used to allocate new objects. */
226 allocation_pool_list
*m_block_list
;
227 /* Size of a pool elements in bytes. */
229 /* Size in bytes that should be allocated for each element. */
231 /* Flag if a pool allocator is initialized. */
233 /* Memory allocation location. */
234 mem_location m_location
;
237 template <typename TBlockAllocator
>
239 base_pool_allocator
<TBlockAllocator
>::base_pool_allocator (
240 const char *name
, size_t size MEM_STAT_DECL
):
241 m_name (name
), m_id (0), m_elts_per_block (0), m_returned_free_list (NULL
),
242 m_virgin_free_list (NULL
), m_virgin_elts_remaining (0), m_elts_allocated (0),
243 m_elts_free (0), m_blocks_allocated (0), m_block_list (NULL
), m_size (size
),
244 m_initialized (false), m_location (ALLOC_POOL_ORIGIN
, false PASS_MEM_STAT
) {}
246 /* Initialize a pool allocator. */
248 template <typename TBlockAllocator
>
250 base_pool_allocator
<TBlockAllocator
>::initialize ()
252 gcc_checking_assert (!m_initialized
);
253 m_initialized
= true;
255 size_t size
= m_size
;
257 gcc_checking_assert (m_name
);
259 /* Make size large enough to store the list header. */
260 if (size
< sizeof (allocation_pool_list
*))
261 size
= sizeof (allocation_pool_list
*);
263 /* Now align the size to a multiple of 8. */
264 size
= align_eight (size
);
266 /* Add the aligned size of ID. */
267 size
+= offsetof (allocation_object
, u
.data
);
271 if (GATHER_STATISTICS
)
273 pool_usage
*u
= pool_allocator_usage
.register_descriptor
274 (this, new mem_location (m_location
));
276 u
->m_element_size
= m_elt_size
;
277 u
->m_pool_name
= m_name
;
280 /* List header size should be a multiple of 8. */
281 size_t header_size
= align_eight (sizeof (allocation_pool_list
));
283 m_elts_per_block
= (TBlockAllocator::block_size
- header_size
) / size
;
284 gcc_checking_assert (m_elts_per_block
!= 0);
286 /* Increase the last used ID and use it for this pool.
287 ID == 0 is used for free elements of pool so skip it. */
295 /* Free all memory allocated for the given memory pool. */
296 template <typename TBlockAllocator
>
298 base_pool_allocator
<TBlockAllocator
>::release ()
303 allocation_pool_list
*block
, *next_block
;
305 /* Free each block allocated to the pool. */
306 for (block
= m_block_list
; block
!= NULL
; block
= next_block
)
308 next_block
= block
->next
;
309 TBlockAllocator::release (block
);
312 if (GATHER_STATISTICS
&& !after_memory_report
)
314 pool_allocator_usage
.release_instance_overhead
315 (this, (m_elts_allocated
- m_elts_free
) * m_elt_size
);
318 m_returned_free_list
= NULL
;
319 m_virgin_free_list
= NULL
;
320 m_virgin_elts_remaining
= 0;
321 m_elts_allocated
= 0;
323 m_blocks_allocated
= 0;
327 template <typename TBlockAllocator
>
329 base_pool_allocator
<TBlockAllocator
>::release_if_empty ()
331 if (m_elts_free
== m_elts_allocated
)
335 template <typename TBlockAllocator
>
336 inline base_pool_allocator
<TBlockAllocator
>::~base_pool_allocator ()
341 /* Allocates one element from the pool specified. */
342 template <typename TBlockAllocator
>
344 base_pool_allocator
<TBlockAllocator
>::allocate ()
349 allocation_pool_list
*header
;
350 #ifdef ENABLE_VALGRIND_ANNOTATIONS
354 if (GATHER_STATISTICS
)
356 pool_allocator_usage
.register_instance_overhead (m_elt_size
, this);
359 #ifdef ENABLE_VALGRIND_ANNOTATIONS
360 size
= m_elt_size
- offsetof (allocation_object
, u
.data
);
363 /* If there are no more free elements, make some more!. */
364 if (!m_returned_free_list
)
367 if (!m_virgin_elts_remaining
)
369 allocation_pool_list
*block_header
;
371 /* Make the block. */
372 block
= reinterpret_cast<char *> (TBlockAllocator::allocate ());
373 block_header
= new (block
) allocation_pool_list
;
374 block
+= align_eight (sizeof (allocation_pool_list
));
376 /* Throw it on the block list. */
377 block_header
->next
= m_block_list
;
378 m_block_list
= block_header
;
380 /* Make the block available for allocation. */
381 m_virgin_free_list
= block
;
382 m_virgin_elts_remaining
= m_elts_per_block
;
384 /* Also update the number of elements we have free/allocated, and
385 increment the allocated block count. */
386 m_elts_allocated
+= m_elts_per_block
;
387 m_elts_free
+= m_elts_per_block
;
388 m_blocks_allocated
+= 1;
391 /* We now know that we can take the first elt off the virgin list and
392 put it on the returned list. */
393 block
= m_virgin_free_list
;
394 header
= (allocation_pool_list
*) allocation_object::get_data (block
);
397 /* Mark the element to be free. */
399 ((allocation_object
*) block
)->id
= 0;
401 VALGRIND_DISCARD (VALGRIND_MAKE_MEM_NOACCESS (header
,size
));
402 m_returned_free_list
= header
;
403 m_virgin_free_list
+= m_elt_size
;
404 m_virgin_elts_remaining
--;
408 /* Pull the first free element from the free list, and return it. */
409 header
= m_returned_free_list
;
410 VALGRIND_DISCARD (VALGRIND_MAKE_MEM_DEFINED (header
, sizeof (*header
)));
411 m_returned_free_list
= header
->next
;
414 /* Set the ID for element. */
416 allocation_object::get_instance (header
)->id
= m_id
;
418 VALGRIND_DISCARD (VALGRIND_MAKE_MEM_UNDEFINED (header
, size
));
420 return (void *)(header
);
423 /* Puts PTR back on POOL's free list. */
424 template <typename TBlockAllocator
>
426 base_pool_allocator
<TBlockAllocator
>::remove (void *object
)
428 int size
= m_elt_size
- offsetof (allocation_object
, u
.data
);
432 gcc_assert (m_initialized
);
434 /* Check if we free more than we allocated. */
435 && m_elts_free
< m_elts_allocated
);
437 /* Check whether the PTR was allocated from POOL. */
438 gcc_assert (m_id
== allocation_object::get_instance (object
)->id
);
441 memset (object
, 0xaf, size
);
445 /* Mark the element to be free. */
446 allocation_object::get_instance (object
)->id
= 0;
449 allocation_pool_list
*header
= new (object
) allocation_pool_list
;
450 header
->next
= m_returned_free_list
;
451 m_returned_free_list
= header
;
452 VALGRIND_DISCARD (VALGRIND_MAKE_MEM_NOACCESS (object
, size
));
455 if (GATHER_STATISTICS
)
457 pool_allocator_usage
.release_instance_overhead (this, m_elt_size
);
461 /* Number of elements currently active (not returned to pool). Used for cheap
462 consistency checks. */
463 template <typename TBlockAllocator
>
465 base_pool_allocator
<TBlockAllocator
>::num_elts_current ()
467 return m_elts_allocated
- m_elts_free
;
470 /* Specialization of base_pool_allocator which should be used in most cases.
471 Another specialization may be needed, if object size is greater than
472 memory_block_pool::block_size (64 KB). */
473 typedef base_pool_allocator
<memory_block_pool
> pool_allocator
;
475 /* Type based memory pool allocator. */
476 template <typename T
>
477 class object_allocator
480 /* Default constructor for pool allocator called NAME. */
481 object_allocator (const char *name CXX_MEM_STAT_INFO
):
482 m_allocator (name
, sizeof (T
) PASS_MEM_STAT
) {}
487 m_allocator
.release ();
490 inline void release_if_empty ()
492 m_allocator
.release_if_empty ();
496 /* Allocate memory for instance of type T and call a default constructor. */
499 allocate () ATTRIBUTE_MALLOC
501 return ::new (m_allocator
.allocate ()) T
;
504 /* Allocate memory for instance of type T and return void * that
505 could be used in situations where a default constructor is not provided
509 allocate_raw () ATTRIBUTE_MALLOC
511 return m_allocator
.allocate ();
517 /* Call destructor. */
520 m_allocator
.remove (object
);
526 return m_allocator
.num_elts_current ();
530 pool_allocator m_allocator
;
533 /* Store information about each particular alloc_pool. Note that this
534 will underestimate the amount the amount of storage used by a small amount:
535 1) The overhead in a pool is not accounted for.
536 2) The unallocated elements in a block are not accounted for. Note
537 that this can at worst case be one element smaller that the block
538 size for that pool. */
539 struct alloc_pool_descriptor
541 /* Number of pools allocated. */
542 unsigned long created
;
543 /* Gross allocated storage. */
544 unsigned long allocated
;
545 /* Amount of currently active storage. */
546 unsigned long current
;
547 /* Peak amount of storage used. */
549 /* Size of element in the pool. */
553 /* Helper for classes that do not provide default ctor. */
555 template <typename T
>
557 operator new (size_t, object_allocator
<T
> &a
)
559 return a
.allocate_raw ();
562 /* Hashtable mapping alloc_pool names to descriptors. */
563 extern hash_map
<const char *, alloc_pool_descriptor
> *alloc_pool_hash
;