alloc-pool.h 15 KB
Newer Older
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>
4

5 6 7 8
This file is part of GCC.

GCC is free software; you can redistribute it and/or modify
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)
10 11 12 13 14 15 16 17
any later version.

GCC is distributed in the hope that it will be useful,
but WITHOUT ANY WARRANTY; without even the implied warranty of
MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
GNU General Public License for more details.

You should have received a copy of the GNU General Public License
18 19
along with GCC; see the file COPYING3.  If not see
<http://www.gnu.org/licenses/>.  */
20 21 22
#ifndef ALLOC_POOL_H
#define ALLOC_POOL_H

23
#include "memory-block.h"
24
#include "options.h"	    // for flag_checking
25

26
extern void dump_alloc_pool_statistics (void);
27

28 29 30
/* Flag indicates whether memory statistics are gathered any longer.  */
extern bool after_memory_report;

31 32
typedef unsigned long ALLOC_POOL_ID_TYPE;

33 34 35
/* Last used ID.  */
extern ALLOC_POOL_ID_TYPE last_id;

36 37 38 39 40 41 42 43 44 45 46 47 48 49
/* Pool allocator memory usage.  */
struct pool_usage: public mem_usage
{
  /* Default contructor.  */
  pool_usage (): m_element_size (0), m_pool_name ("") {}
  /* Constructor.  */
  pool_usage (size_t allocated, size_t times, size_t peak,
	      size_t instances, size_t element_size,
	      const char *pool_name)
    : mem_usage (allocated, times, peak, instances),
      m_element_size (element_size),
      m_pool_name (pool_name) {}

  /* Sum the usage with SECOND usage.  */
50 51
  pool_usage
  operator+ (const pool_usage &second)
52 53 54 55 56 57 58 59 60
  {
    return pool_usage (m_allocated + second.m_allocated,
			     m_times + second.m_times,
			     m_peak + second.m_peak,
			     m_instances + second.m_instances,
			     m_element_size, m_pool_name);
  }

  /* Dump usage coupled to LOC location, where TOTAL is sum of all rows.  */
61 62
  inline void
  dump (mem_location *loc, mem_usage &total) const
63 64 65 66 67 68 69 70 71 72 73 74 75 76
  {
    char *location_string = loc->to_string ();

    fprintf (stderr, "%-32s%-48s %6li%10li:%5.1f%%%10li%10li:%5.1f%%%12li\n",
	     m_pool_name, location_string, (long)m_instances,
	     (long)m_allocated, get_percent (m_allocated, total.m_allocated),
	     (long)m_peak, (long)m_times,
	     get_percent (m_times, total.m_times),
	     (long)m_element_size);

    free (location_string);
  }

  /* Dump header with NAME.  */
77 78
  static inline void
  dump_header (const char *name)
79 80 81 82 83 84 85
  {
    fprintf (stderr, "%-32s%-48s %6s%11s%16s%17s%12s\n", "Pool name", name,
	     "Pools", "Leak", "Peak", "Times", "Elt size");
    print_dash_line ();
  }

  /* Dump footer.  */
86 87
  inline void
  dump_footer ()
88 89
  {
    print_dash_line ();
90
    fprintf (stderr, "%s%82li%10li\n", "Total", (long)m_instances,
91 92 93 94 95 96 97 98 99 100 101 102
	     (long)m_allocated);
    print_dash_line ();
  }

  /* Element size.  */
  size_t m_element_size;
  /* Pool name.  */
  const char *m_pool_name;
};

extern mem_alloc_description<pool_usage> pool_allocator_usage;

103 104 105 106 107 108 109 110 111 112 113 114 115 116 117 118 119 120 121 122 123 124 125 126 127 128 129 130 131 132 133 134 135
#if 0
/* If a pool with custom block size is needed, one might use the following
   template.  An instance of this template can be used as a parameter for
   instantiating base_pool_allocator template:

	typedef custom_block_allocator <128*1024> huge_block_allocator;
	...
	static base_pool_allocator <huge_block_allocator>
						value_pool ("value", 16384);

   Right now it's not used anywhere in the code, and is given here as an
   example).  */

template <size_t BlockSize>
class custom_block_allocator
{
public:
  static const size_t block_size = BlockSize;

  static inline void *
  allocate () ATTRIBUTE_MALLOC
  {
    return XNEWVEC (char, BlockSize);
  }

  static inline void
  release (void *block)
  {
    XDELETEVEC (block);
  }
};
#endif

136
/* Generic pool allocator.  */
137 138 139

template <typename TBlockAllocator>
class base_pool_allocator
140 141
{
public:
142 143 144
  /* Default constructor for pool allocator called NAME.  */
  base_pool_allocator (const char *name, size_t size CXX_MEM_STAT_INFO);
  ~base_pool_allocator ();
145 146
  void release ();
  void release_if_empty ();
147 148
  void *allocate () ATTRIBUTE_MALLOC;
  void remove (void *object);
149
  size_t num_elts_current ();
150 151 152 153 154 155 156 157 158 159 160 161

private:
  struct allocation_pool_list
  {
    allocation_pool_list *next;
  };

  /* Initialize a pool allocator.  */
  void initialize ();

  struct allocation_object
  {
162
#if CHECKING_P
163 164
    /* The ID of alloc pool which the object was allocated from.  */
    ALLOC_POOL_ID_TYPE id;
165
#endif
166 167 168 169 170 171 172 173 174 175 176 177 178 179

    union
      {
	/* The data of the object.  */
	char data[1];

	/* Because we want any type of data to be well aligned after the ID,
	   the following elements are here.  They are never accessed so
	   the allocated object may be even smaller than this structure.
	   We do not care about alignment for floating-point types.  */
	char *align_p;
	int64_t align_i;
      } u;

180
#if CHECKING_P
181
    static inline allocation_object*
182
    get_instance (void *data_ptr)
183
    {
184 185
      return (allocation_object *)(((char *)(data_ptr))
				      - offsetof (allocation_object,
186 187
						  u.data));
    }
188
#endif
189

190
    static inline void*
191
    get_data (void *instance_ptr)
192
    {
193
      return (void*)(((allocation_object *) instance_ptr)->u.data);
194 195 196 197
    }
  };

  /* Align X to 8.  */
198
  static inline size_t
199
  align_eight (size_t x)
200 201 202 203 204 205 206 207 208 209 210 211 212 213 214 215 216 217 218 219 220 221 222 223 224 225 226 227 228
  {
    return (((x+7) >> 3) << 3);
  }

  const char *m_name;
  ALLOC_POOL_ID_TYPE m_id;
  size_t m_elts_per_block;

  /* These are the elements that have been allocated at least once
     and freed.  */
  allocation_pool_list *m_returned_free_list;

  /* These are the elements that have not yet been allocated out of
     the last block obtained from XNEWVEC.  */
  char* m_virgin_free_list;

  /* The number of elements in the virgin_free_list that can be
     allocated before needing another block.  */
  size_t m_virgin_elts_remaining;
  /* The number of elements that are allocated.  */
  size_t m_elts_allocated;
  /* The number of elements that are released.  */
  size_t m_elts_free;
  /* The number of allocated blocks.  */
  size_t m_blocks_allocated;
  /* List of blocks that are used to allocate new objects.  */
  allocation_pool_list *m_block_list;
  /* Size of a pool elements in bytes.  */
  size_t m_elt_size;
229 230
  /* Size in bytes that should be allocated for each element.  */
  size_t m_size;
231 232
  /* Flag if a pool allocator is initialized.  */
  bool m_initialized;
233 234
  /* Memory allocation location.  */
  mem_location m_location;
235 236
};

237
template <typename TBlockAllocator>
238
inline
239 240 241
base_pool_allocator <TBlockAllocator>::base_pool_allocator (
				const char *name, size_t size MEM_STAT_DECL):
  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 244
  m_elts_free (0), m_blocks_allocated (0), m_block_list (NULL), m_size (size),
  m_initialized (false), m_location (ALLOC_POOL_ORIGIN, false PASS_MEM_STAT) {}
245 246 247

/* Initialize a pool allocator.  */

248
template <typename TBlockAllocator>
249
inline void
250
base_pool_allocator <TBlockAllocator>::initialize ()
251 252 253 254
{
  gcc_checking_assert (!m_initialized);
  m_initialized = true;

255
  size_t size = m_size;
256 257 258 259 260 261 262

  gcc_checking_assert (m_name);

  /* Make size large enough to store the list header.  */
  if (size < sizeof (allocation_pool_list*))
    size = sizeof (allocation_pool_list*);

263
  /* Now align the size to a multiple of 8.  */
264 265 266
  size = align_eight (size);

  /* Add the aligned size of ID.  */
267
  size += offsetof (allocation_object, u.data);
268 269 270 271 272

  m_elt_size = size;

  if (GATHER_STATISTICS)
    {
273 274 275 276 277
      pool_usage *u = pool_allocator_usage.register_descriptor
	(this, new mem_location (m_location));

      u->m_element_size = m_elt_size;
      u->m_pool_name = m_name;
278 279 280
    }

  /* List header size should be a multiple of 8.  */
281
  size_t header_size = align_eight (sizeof (allocation_pool_list));
282

283 284
  m_elts_per_block = (TBlockAllocator::block_size - header_size) / size;
  gcc_checking_assert (m_elts_per_block != 0);
285 286 287 288 289 290 291 292 293 294 295

  /* Increase the last used ID and use it for this pool.
     ID == 0 is used for free elements of pool so skip it.  */
  last_id++;
  if (last_id == 0)
    last_id++;

  m_id = last_id;
}

/* Free all memory allocated for the given memory pool.  */
296
template <typename TBlockAllocator>
297
inline void
298
base_pool_allocator <TBlockAllocator>::release ()
299 300 301 302 303 304 305 306 307 308
{
  if (!m_initialized)
    return;

  allocation_pool_list *block, *next_block;

  /* Free each block allocated to the pool.  */
  for (block = m_block_list; block != NULL; block = next_block)
    {
      next_block = block->next;
309
      TBlockAllocator::release (block);
310 311
    }

312
  if (GATHER_STATISTICS && !after_memory_report)
313
    {
314 315
      pool_allocator_usage.release_instance_overhead
	(this, (m_elts_allocated - m_elts_free) * m_elt_size);
316 317 318 319 320 321 322 323 324 325 326
    }

  m_returned_free_list = NULL;
  m_virgin_free_list = NULL;
  m_virgin_elts_remaining = 0;
  m_elts_allocated = 0;
  m_elts_free = 0;
  m_blocks_allocated = 0;
  m_block_list = NULL;
}

327 328 329
template <typename TBlockAllocator>
inline void
base_pool_allocator <TBlockAllocator>::release_if_empty ()
330 331 332 333 334
{
  if (m_elts_free == m_elts_allocated)
    release ();
}

335 336
template <typename TBlockAllocator>
inline base_pool_allocator <TBlockAllocator>::~base_pool_allocator ()
337 338 339 340 341
{
  release ();
}

/* Allocates one element from the pool specified.  */
342
template <typename TBlockAllocator>
343
inline void*
344
base_pool_allocator <TBlockAllocator>::allocate ()
345 346 347 348 349 350 351 352 353 354 355
{
  if (!m_initialized)
    initialize ();

  allocation_pool_list *header;
#ifdef ENABLE_VALGRIND_ANNOTATIONS
  int size;
#endif

  if (GATHER_STATISTICS)
    {
356
      pool_allocator_usage.register_instance_overhead (m_elt_size, this);
357 358 359
    }

#ifdef ENABLE_VALGRIND_ANNOTATIONS
360
  size = m_elt_size - offsetof (allocation_object, u.data);
361 362 363 364 365 366 367 368 369 370 371
#endif

  /* If there are no more free elements, make some more!.  */
  if (!m_returned_free_list)
    {
      char *block;
      if (!m_virgin_elts_remaining)
	{
	  allocation_pool_list *block_header;

	  /* Make the block.  */
372
	  block = reinterpret_cast<char *> (TBlockAllocator::allocate ());
373
	  block_header = new (block) allocation_pool_list;
374 375 376 377 378 379 380 381 382 383 384 385 386 387 388 389 390 391 392 393
	  block += align_eight (sizeof (allocation_pool_list));

	  /* Throw it on the block list.  */
	  block_header->next = m_block_list;
	  m_block_list = block_header;

	  /* Make the block available for allocation.  */
	  m_virgin_free_list = block;
	  m_virgin_elts_remaining = m_elts_per_block;

	  /* Also update the number of elements we have free/allocated, and
	     increment the allocated block count.  */
	  m_elts_allocated += m_elts_per_block;
	  m_elts_free += m_elts_per_block;
	  m_blocks_allocated += 1;
	}

      /* We now know that we can take the first elt off the virgin list and
	 put it on the returned list.  */
      block = m_virgin_free_list;
394
      header = (allocation_pool_list*) allocation_object::get_data (block);
395
      header->next = NULL;
396

397
      /* Mark the element to be free.  */
398
#if CHECKING_P
399
      ((allocation_object*) block)->id = 0;
400
#endif
401 402 403 404 405 406 407 408 409 410 411 412 413 414
      VALGRIND_DISCARD (VALGRIND_MAKE_MEM_NOACCESS (header,size));
      m_returned_free_list = header;
      m_virgin_free_list += m_elt_size;
      m_virgin_elts_remaining--;

    }

  /* Pull the first free element from the free list, and return it.  */
  header = m_returned_free_list;
  VALGRIND_DISCARD (VALGRIND_MAKE_MEM_DEFINED (header, sizeof (*header)));
  m_returned_free_list = header->next;
  m_elts_free--;

  /* Set the ID for element.  */
415
#if CHECKING_P
416
  allocation_object::get_instance (header)->id = m_id;
417
#endif
418 419
  VALGRIND_DISCARD (VALGRIND_MAKE_MEM_UNDEFINED (header, size));

420
  return (void *)(header);
421 422 423
}

/* Puts PTR back on POOL's free list.  */
424
template <typename TBlockAllocator>
425
inline void
426
base_pool_allocator <TBlockAllocator>::remove (void *object)
427
{
428 429
  int size = m_elt_size - offsetof (allocation_object, u.data);

430 431 432 433
  if (flag_checking)
    {
      gcc_assert (m_initialized);
      gcc_assert (object
434 435 436 437 438 439
		  /* Check if we free more than we allocated.  */
		  && m_elts_free < m_elts_allocated);
#if CHECKING_P
      /* Check whether the PTR was allocated from POOL.  */
      gcc_assert (m_id == allocation_object::get_instance (object)->id);
#endif
440

441 442
      memset (object, 0xaf, size);
    }
443

444
#if CHECKING_P 
445
  /* Mark the element to be free.  */
446
  allocation_object::get_instance (object)->id = 0;
447
#endif
448

449
  allocation_pool_list *header = new (object) allocation_pool_list;
450 451 452 453 454 455 456
  header->next = m_returned_free_list;
  m_returned_free_list = header;
  VALGRIND_DISCARD (VALGRIND_MAKE_MEM_NOACCESS (object, size));
  m_elts_free++;

  if (GATHER_STATISTICS)
    {
457
      pool_allocator_usage.release_instance_overhead (this, m_elt_size);
458 459 460
    }
}

461 462 463 464 465 466 467 468 469 470 471 472 473 474
/* Number of elements currently active (not returned to pool).  Used for cheap
   consistency checks.  */
template <typename TBlockAllocator>
inline size_t
base_pool_allocator <TBlockAllocator>::num_elts_current ()
{
  return m_elts_allocated - m_elts_free;
}

/* Specialization of base_pool_allocator which should be used in most cases.
   Another specialization may be needed, if object size is greater than
   memory_block_pool::block_size (64 KB).  */
typedef base_pool_allocator <memory_block_pool> pool_allocator;

475 476 477 478 479
/* Type based memory pool allocator.  */
template <typename T>
class object_allocator
{
public:
480 481 482
  /* Default constructor for pool allocator called NAME.  */
  object_allocator (const char *name CXX_MEM_STAT_INFO):
    m_allocator (name, sizeof (T) PASS_MEM_STAT) {}
483 484 485 486 487 488 489 490 491 492 493 494

  inline void
  release ()
  {
    m_allocator.release ();
  }

  inline void release_if_empty ()
  {
    m_allocator.release_if_empty ();
  }

Martin Liska committed
495 496 497

  /* Allocate memory for instance of type T and call a default constructor.  */

498 499 500
  inline T *
  allocate () ATTRIBUTE_MALLOC
  {
501
    return ::new (m_allocator.allocate ()) T;
502 503
  }

Martin Liska committed
504 505 506 507 508 509 510 511 512 513
  /* Allocate memory for instance of type T and return void * that
     could be used in situations where a default constructor is not provided
     by the class T.  */

  inline void *
  allocate_raw () ATTRIBUTE_MALLOC
  {
    return m_allocator.allocate ();
  }

514 515 516 517 518 519 520 521 522
  inline void
  remove (T *object)
  {
    /* Call destructor.  */
    object->~T ();

    m_allocator.remove (object);
  }

523 524 525 526 527 528
  inline size_t
  num_elts_current ()
  {
    return m_allocator.num_elts_current ();
  }

529 530 531 532 533 534 535 536 537 538 539 540 541 542 543 544 545 546 547 548 549 550 551 552 553 554 555 556 557 558
private:
  pool_allocator m_allocator;
};

/* Store information about each particular alloc_pool.  Note that this
   will underestimate the amount the amount of storage used by a small amount:
   1) The overhead in a pool is not accounted for.
   2) The unallocated elements in a block are not accounted for.  Note
   that this can at worst case be one element smaller that the block
   size for that pool.  */
struct alloc_pool_descriptor
{
  /* Number of pools allocated.  */
  unsigned long created;
  /* Gross allocated storage.  */
  unsigned long allocated;
  /* Amount of currently active storage.  */
  unsigned long current;
  /* Peak amount of storage used.  */
  unsigned long peak;
  /* Size of element in the pool.  */
  int elt_size;
};

/* Helper for classes that do not provide default ctor.  */

template <typename T>
inline void *
operator new (size_t, object_allocator<T> &a)
{
Martin Liska committed
559
  return a.allocate_raw ();
560 561 562 563 564 565
}

/* Hashtable mapping alloc_pool names to descriptors.  */
extern hash_map<const char *, alloc_pool_descriptor> *alloc_pool_hash;


566
#endif