# Boost.Pool C++ Reference

Provides a template type boost::object_pool<T, UserAllocator> that can be used for fast and efficient memory allocation of objects of type T. It also provides automatic destruction of non-deallocated objects.

boost::pool< UserAllocator >
A template class that can be used for fast and efficient memory allocation of objects. It also provides automatic destruction of non-deallocated objects.

T The type of object to allocate/deallocate. T must have a non-throwing destructor.

UserAllocator Defines the allocator that the underlying Pool will use to allocate memory from the system. See User Allocators for details.

Class `object_pool` is a template class that can be used for fast and efficient memory allocation of objects. It also provides automatic destruction of non-deallocated objects.

When the object pool is destroyed, then the destructor for type T is called for each allocated T that has not yet been deallocated. O(N).

Whenever an object of type ObjectPool needs memory from the system, it will request it from its UserAllocator template parameter. The amount requested is determined using a doubling algorithm; that is, each time more system memory is allocated, the amount of system memory requested is doubled. Users may control the doubling algorithm by the parameters passed to the `object_pool`'s constructor.

ElementType.
T
User allocator.
UserAllocator
pool<UserAllocator>::size_type
`pool`< UserAllocator >::size_type
pool<UserAllocator>::difference_type
`pool`< UserAllocator >::difference_type
`pool`< UserAllocator > &

The underlying boost:: `pool` storage used by *this.

const `pool`< UserAllocator > &

The underlying boost:: `pool` storage used by *this.

void *& `void *const`

The next memory block after ptr (for the sake of code readability :)

element_type *

Allocates memory that can hold one object of type ElementType.

If out of memory, returns 0.

Amortized O(1).

void `element_type *const`

De-Allocates memory that holds a chunk of type ElementType.

Note that p may not be 0.

Note that the destructor for p is not called. O(N).

bool `element_type *const`

Returns false if chunk was allocated from some other pool or may be returned as the result of a future allocation from some other pool.

Otherwise, the return value is meaningless.

This function may NOT be used to reliably test random pointer values!

true if chunk was allocated from *this or may be returned as the result of a future allocation from *this.

element_type *

A pointer to an object of type T, allocated in memory from the underlying pool and default constructed. The returned objected can be freed by a call to destroy. Otherwise the returned object will be automatically destroyed when *this is destroyed.

element_type * ...class `Arg1 &` `...ArgN &`

Since the number and type of arguments to this function is totally arbitrary, a simple system has been set up to automatically generate template construct functions. This system is based on the macro preprocessor m4, which is standard on UNIX systems and also available for Win32 systems. detail/pool_construct.m4, when run with m4, will create the file detail/pool_construct.ipp, which only defines the construct functions for the proper number of arguments. The number of arguments may be passed into the file as an m4 macro, NumberOfArguments; if not provided, it will default to 3. For each different number of arguments (1 to NumberOfArguments), a template function is generated. There are the same number of template parameters as there are arguments, and each argument's type is a reference to that (possibly cv-qualified) template argument. Each possible permutation of the cv-qualifications is also generated. Because each permutation is generated for each possible number of arguments, the included file size grows exponentially in terms of the number of constructor arguments, not linearly. For the sake of rational compile times, only use as many arguments as you need. detail/pool_construct.bat and detail/pool_construct.sh are also provided to call m4, defining NumberOfArguments to be their command-line parameter. See these files for more details.

A pointer to an object of type T, allocated in memory from the underlying pool and constructed from arguments Arg1 to ArgN. The returned objected can be freed by a call to destroy. Otherwise the returned object will be automatically destroyed when *this is destroyed.

void `element_type *const`

Destroys an object allocated with construct.

Equivalent to:

p->~ElementType(); this->free(p);

p must have been previously allocated from *this via a call to construct.

size_type

The number of chunks that will be allocated next time we run out of memory.

void `const size_type

wanted next_size (must not be zero).

`

Set a new number of chunks to allocate the next time we run out of memory.

const size_type
32
const size_type
0

Constructs a new (empty by default) ObjectPool.

next_size != 0.

Provides class pool: a fast memory allocator that guarantees proper alignment of all allocated chunks, and which extends and generalizes the framework provided by the simple segregated storage solution. Also provides two UserAllocator classes which can be used in conjuction with pool.

Allocator used as the default template parameter for a UserAllocator template parameter. Uses new and delete.
An unsigned integral type that can represent the size of the largest object to be allocated.
std::size_t
A signed integral type that can represent the difference of any two pointers.
std::ptrdiff_t
char * `const size_type`

Attempts to allocate n bytes from the system. Returns 0 if out-of-memory

void `char *const`

Attempts to de-allocate block.

Block must have been previously returned from a call to UserAllocator::malloc.

UserAllocator used as template parameter for `pool` and `object_pool`. Uses malloc and free internally.
An unsigned integral type that can represent the size of the largest object to be allocated.
std::size_t
A signed integral type that can represent the difference of any two pointers.
std::ptrdiff_t
char * `const size_type`
void `char *const`
boost::simple_segregated_storage< UserAllocator::size_type >
A fast memory allocator that guarantees proper alignment of all allocated chunks.

Whenever an object of type pool needs memory from the system, it will request it from its UserAllocator template parameter. The amount requested is determined using a doubling algorithm; that is, each time more system memory is allocated, the amount of system memory requested is doubled.

Users may control the doubling algorithm by using the following extensions:

Users may pass an additional constructor parameter to pool. This parameter is of type size_type, and is the number of chunks to request from the system the first time that object needs to allocate system memory. The default is 32. This parameter may not be 0.

Users may also pass an optional third parameter to pool's constructor. This parameter is of type size_type, and sets a maximum size for allocated chunks. When this parameter takes the default value of 0, then there is no upper limit on chunk size.

Finally, if the doubling algorithm results in no memory being allocated, the pool will backtrack just once, halving the chunk size and trying again.

UserAllocator type - the method that the Pool will use to allocate memory from the system.

There are essentially two ways to use class pool: the client can call malloc() and free() to allocate and free single chunks of memory, this is the most efficient way to use a pool, but does not allow for the efficient allocation of arrays of chunks. Alternatively, the client may call ordered_malloc() and ordered_free(), in which case the free list is maintained in an ordered state, and efficient allocation of arrays of chunks are possible. However, this latter option can suffer from poor performance when large numbers of allocations are performed.

User allocator.
UserAllocator
An unsigned integral type that can represent the size of the largest object to be allocated.
UserAllocator::size_type
A signed integral type that can represent the difference of any two pointers.
UserAllocator::difference_type
void *

No memory in any of our storages; make a new storage, Allocates chunk in newly malloc aftert resize.

0 if out-of-memory. Called if malloc/ordered_malloc needs to resize the free list.

pointer to chunk.

void * Called if malloc needs to resize the free list.

No memory in any of our storages; make a new storage,

pointer to new chunk.

`simple_segregated_storage`< size_type > &

pointer to store.

const `simple_segregated_storage`< size_type > &

pointer to store.

`details::PODptr`< size_type > `void *const` finds which POD in the list 'chunk' was allocated from.

find which PODptr storage memory that this chunk is from.

the PODptr that holds this chunk.

size_type

Calculated size of the memory chunks that will be allocated by this Pool.

allocated size.

bool `void *const

chunk to check if is from this pool.

` `char *const

memory chunk at i with element sizeof_i.

` `const size_type

element size (size of the chunk area of that block, not the total size of that block).

`

Returns false if chunk was allocated from some other pool, or may be returned as the result of a future allocation from some other pool. Otherwise, the return value is meaningless.

Note that this function may not be used to reliably test random pointer values.

true if chunk was allocated or may be returned. as the result of a future allocation.

void *& `void *const`

Pointer dereferenced. (Provided and used for the sake of code readability :)

bool

pool must be ordered. Frees every memory block that doesn't have any allocated chunks.

true if at least one memory block was freed.

bool

pool must be ordered. Frees every memory block.

This function invalidates any pointers previously returned by allocation functions of t.

true if at least one memory block was freed.

size_type

Number of chunks to request from the system the next time that object needs to allocate system memory. This value should never be 0.

next_size;

void `const size_type`

Set number of chunks to request from the system the next time that object needs to allocate system memory. This value should never be set to 0.

nnext_size.

size_type

max_size.

void `const size_type`

Set max_size.

size_type

the requested size passed into the constructor. (This value will not change during the lifetime of a Pool object).

void *

Allocates a chunk of memory. Searches in the list of memory blocks for a block that has a free chunk, and returns that free chunk if found. Otherwise, creates a new memory block, adds its free list to pool's free list,

a free chunk from that block. If a new memory block cannot be allocated, returns 0. Amortized O(1).

void *

Same as malloc, only merges the free lists, to preserve order. Amortized O(1).

a free chunk from that block. If a new memory block cannot be allocated, returns 0. Amortized O(1).

void * `size_type`

Gets address of a chunk n, allocating new memory if not already available.

Address of chunk n if allocated ok.

0 if not enough memory for n chunks.

void `void *const`

Same as malloc, only allocates enough contiguous chunks to cover n * requested_size bytes. Amortized O(n).

Deallocates a chunk of memory. Note that chunk may not be 0. O(1).

Chunk must have been previously returned by t.malloc() or t.ordered_malloc(). Assumes that chunk actually refers to a block of chunks spanning n * partition_sz bytes. deallocates each chunk in that block. Note that chunk may not be 0. O(n).

a free chunk from that block. If a new memory block cannot be allocated, returns 0. Amortized O(1).

void `void *const`

Same as above, but is order-preserving.

Note that chunk may not be 0. O(N) with respect to the size of the free list. chunk must have been previously returned by t.malloc() or t.ordered_malloc().

void `void *const` `const size_type`

Assumes that chunk actually refers to a block of chunks.

chunk must have been previously returned by t.ordered_malloc(n) spanning n * partition_sz bytes. Deallocates each chunk in that block. Note that chunk may not be 0. O(n).

void `void *const` `const size_type`

Assumes that chunk actually refers to a block of chunks spanning n * partition_sz bytes; deallocates each chunk in that block.

Note that chunk may not be 0. Order-preserving. O(N + n) where N is the size of the free list. chunk must have been previously returned by t.malloc() or t.ordered_malloc().

bool `void *const`

Returns true if chunk was allocated from u or may be returned as the result of a future allocation from u. Returns false if chunk was allocated from some other pool or may be returned as the result of a future allocation from some other pool. Otherwise, the return value is meaningless. Note that this function may not be used to reliably test random pointer values.

const size_type

Requested chunk size

const size_type
32

parameter is of type size_type, is the number of chunks to request from the system the first time that object needs to allocate system memory. The default is 32. This parameter may not be 0.

const size_type
0

is the maximum number of chunks to allocate in one block.

Constructs a new empty Pool that can be used to allocate chunks of size RequestedSize.

Destructs the Pool, freeing its list of memory blocks.

C++ Standard Library compatible pool-based allocators.

This header provides two template types - pool_allocator and fast_pool_allocator - that can be used for fast and efficient memory allocation in conjunction with the C++ Standard Library containers.

These types both satisfy the Standard Allocator requirements [20.1.5] and the additional requirements in [20.1.5/4], so they can be used with either Standard or user-supplied containers.

In addition, the fast_pool_allocator also provides an additional allocation and an additional deallocation function:

Expression | Return Type | Semantic Equivalence |
`PoolAlloc::allocate()` | `T *` | `PoolAlloc::allocate(1)`
`PoolAlloc::deallocate(p)` | void | `PoolAlloc::deallocate(p, 1)`

The typedef user_allocator publishes the value of the UserAllocator template parameter.

Notes

If the allocation functions run out of memory, they will throw `std::bad_alloc`.

The underlying Pool type used by the allocators is accessible through the Singleton Pool Interface. The identifying tag used for pool_allocator is pool_allocator_tag, and the tag used for fast_pool_allocator is fast_pool_allocator_tag. All template parameters of the allocators (including implementation-specific ones) determine the type of the underlying Pool, with the exception of the first parameter T, whose size is used instead.

Since the size of T is used to determine the type of the underlying Pool, each allocator for different types of the same size will share the same underlying pool. The tag class prevents pools from being shared between pool_allocator and fast_pool_allocator. For example, on a system where `sizeof(int) == sizeof(void *)`, `pool_allocator<int>` and `pool_allocator<void *>` will both allocate/deallocate from/to the same pool.

If there is only one thread running before main() starts and after main() ends, then both allocators are completely thread-safe.

Compiler and STL Notes

A number of common STL libraries contain bugs in their using of allocators. Specifically, they pass null pointers to the deallocate function, which is explicitly forbidden by the Standard [20.1.5 Table 32]. PoolAlloc will work around these libraries if it detects them; currently, workarounds are in place for: Borland C++ (Builder and command-line compiler) with default (RogueWave) library, ver. 5 and earlier, STLport (with any compiler), ver. 4.0 and earlier.

Simple tag type used by `pool_allocator` as an argument to the underlying `singleton_pool`.

unsigned
unsigned
A C++ Standard Library conforming allocator, based on an underlying pool.

Template parameters for `pool_allocator` are defined as follows:

T Type of object to allocate/deallocate.

UserAllocator. Defines the method that the underlying Pool will use to allocate memory from the system. See User Allocators for details.

Mutex Allows the user to determine the type of synchronization to be used on the underlying `singleton_pool`.

NextSize The value of this parameter is passed to the underlying `singleton_pool` when it is created.

MaxSize Limit on the maximum size used.

The underlying `singleton_pool` used by the this allocator constructs a pool instance that is never freed. This means that memory allocated by the allocator can be still used after main() has completed, but may mean that some memory checking programs will complain about leaks.

Nested class rebind allows for transformation from pool_allocator<T> to pool_allocator<U>.

Nested class rebind allows for transformation from pool_allocator<T> to pool_allocator<U> via the member typedef other.

`pool_allocator`< U, UserAllocator, Mutex, NextSize, MaxSize >
value_type of template parameter T.
T
allocator that defines the method that the underlying Pool will use to allocate memory from the system.
UserAllocator
typedef mutex publishes the value of the template parameter Mutex.
Mutex
value_type *
const value_type *
value_type &
const value_type &
`pool`< UserAllocator >::size_type
`pool`< UserAllocator >::difference_type
const unsigned next_size publishes the values of the template parameter NextSize.
bool `const `pool_allocator` &`
bool `const `pool_allocator` &`

Results in default construction of the underlying `singleton_pool` IFF an instance of this allocator is constructed during global initialization ( required to ensure construction of `singleton_pool` IFF an instance of this allocator is constructed during global initialization. See ticket #2359 for a complete explanation at http://svn.boost.org/trac/boost/ticket/2359) .

const `pool_allocator`< U, UserAllocator, Mutex, NextSize, MaxSize > &

Results in the default construction of the underlying `singleton_pool`, this is required to ensure construction of `singleton_pool` IFF an instance of this allocator is constructed during global initialization. See ticket #2359 for a complete explanation at http://svn.boost.org/trac/boost/ticket/2359 .

pointer `reference`
const_pointer `const_reference`
size_type
void `const pointer` `const value_type &`
void `const pointer`
pointer `const size_type`
pointer `const size_type

bytes to allocate.

` `const void *`

allocate n bytes

void `const pointer

location to deallocate from.

` `const size_type

number of bytes to deallocate.

`

Deallocate n bytes from ptr

unsigned
unsigned
void
UserAllocator
Mutex
NextSize
MaxSize
Specialization of pool_allocator<void>.

Specialization of `pool_allocator` for type void: required by the standard to make this a conforming allocator type.

Nested class rebind allows for transformation from pool_allocator<T> to pool_allocator<U>.

Nested class rebind allows for transformation from pool_allocator<T> to pool_allocator<U> via the member typedef other.

`pool_allocator`< U, UserAllocator, Mutex, NextSize, MaxSize >
void *
const void *
void
Simple tag type used by `fast_pool_allocator` as a template parameter to the underlying `singleton_pool`.
unsigned
unsigned
A C++ Standard Library conforming allocator geared towards allocating single chunks.

While class template ``pool_allocator`` is a more general-purpose solution geared towards efficiently servicing requests for any number of contiguous chunks, ``fast_pool_allocator`` is also a general-purpose solution, but is geared towards efficiently servicing requests for one chunk at a time; it will work for contiguous chunks, but not as well as ``pool_allocator``.

If you are seriously concerned about performance, use ``fast_pool_allocator`` when dealing with containers such as `std::list`, and use ``pool_allocator`` when dealing with containers such as `std::vector`.

The template parameters are defined as follows:

T Type of object to allocate/deallocate.

UserAllocator. Defines the method that the underlying Pool will use to allocate memory from the system. See User Allocators for details.

Mutex Allows the user to determine the type of synchronization to be used on the underlying ``singleton_pool``.

NextSize The value of this parameter is passed to the underlying Pool when it is created.

MaxSize Limit on the maximum size used.

The underlying `singleton_pool` used by the this allocator constructs a pool instance that is never freed. This means that memory allocated by the allocator can be still used after main() has completed, but may mean that some memory checking programs will complain about leaks.

Nested class rebind allows for transformation from fast_pool_allocator<T> to fast_pool_allocator<U>.

Nested class rebind allows for transformation from fast_pool_allocator<T> to fast_pool_allocator<U> via the member typedef other.

`fast_pool_allocator`< U, UserAllocator, Mutex, NextSize, MaxSize >
T
UserAllocator
Mutex
value_type *
const value_type *
value_type &
const value_type &
`pool`< UserAllocator >::size_type
`pool`< UserAllocator >::difference_type
const unsigned
void `const pointer` `const value_type &`
void `const pointer`

Destroy ptr using destructor.

bool `const `fast_pool_allocator` &`
bool `const `fast_pool_allocator` &`

Ensures construction of the underlying `singleton_pool` IFF an instance of this allocator is constructed during global initialization. See ticket #2359 for a complete explanation at http://svn.boost.org/trac/boost/ticket/2359 .

const `fast_pool_allocator`< U, UserAllocator, Mutex, NextSize, MaxSize > &

Ensures construction of the underlying `singleton_pool` IFF an instance of this allocator is constructed during global initialization. See ticket #2359 for a complete explanation at http://svn.boost.org/trac/boost/ticket/2359 .

pointer `reference`
const_pointer `const_reference`
size_type
pointer `const size_type`
pointer `const size_type` `const void *`

Allocate memory .

pointer

Allocate memory.

void `const pointer` `const size_type`

Deallocate memory.

void `const pointer`

deallocate/free

unsigned
unsigned
void
UserAllocator
Mutex
NextSize
MaxSize
Specialization of fast_pool_allocator<void>.

Specialization of fast_pool_allocator<void> required to make the allocator standard-conforming.

Nested class rebind allows for transformation from fast_pool_allocator<T> to fast_pool_allocator<U>.

Nested class rebind allows for transformation from fast_pool_allocator<T> to fast_pool_allocator<U> via the member typedef other.

`fast_pool_allocator`< U, UserAllocator, Mutex, NextSize, MaxSize >
void *
const void *
void

Forward declarations of all public (non-implemention) classes.

Simple Segregated Storage.

A simple segregated storage implementation: simple segregated storage is the basic idea behind the Boost Pool library. Simple segregated storage is the simplest, and probably the fastest, memory allocation/deallocation algorithm. It begins by partitioning a memory block into fixed-size chunks. Where the block comes from is not important until implementation time. A Pool is some object that uses Simple Segregated Storage in this fashion.

Simple Segregated Storage is the simplest, and probably the fastest, memory allocation/deallocation algorithm. It is responsible for partitioning a memory block into fixed-size chunks: where the block comes from is determined by the client of the class.

Template class `simple_segregated_storage` controls access to a free list of memory chunks. Please note that this is a very simple class, with preconditions on almost all its functions. It is intended to be the fastest and smallest possible quick memory allocator - e.g., something to use in embedded systems. This class delegates many difficult preconditions to the user (i.e., alignment issues).

An object of type simple_segregated_storage<SizeType> is empty if its free list is empty. If it is not empty, then it is ordered if its free list is ordered. A free list is ordered if repeated calls to `malloc()` will result in a constantly-increasing sequence of values, as determined by `std::less<void *>`. A member function is order-preserving if the free list maintains its order orientation (that is, an ordered free list is still ordered after the member function call).

SizeType
const `simple_segregated_storage` &
void `const `simple_segregated_storage` &`
void * `void *&` `size_type` `size_type`

(n > 0), (start != 0), (nextof(start) != 0)

(start != 0) The function attempts to find n contiguous chunks of size partition_size in the free list, starting at start. If it succeds, it returns the last chunk in that contiguous sequence, so that the sequence is known by [start, {retval}] If it fails, it does do either because it's at the end of the free list or hits a non-contiguous chunk. In either case, it will return 0, and set start to the last considered chunk. You are at the end of the free list if nextof(start) == 0. Otherwise, start points to the last chunk in the contiguous sequence, and nextof(start) points to the first chunk in the next contiguous sequence (assuming an ordered free list).

void * `void *`

Traverses the free list referred to by "first", and returns the iterator previous to where "ptr" would go if it was in the free list. Returns 0 if "ptr" would go at the beginning of the free list (i.e., before "first").

Note that this function finds the location previous to where ptr would go if it was in the free list. It does not find the entry in the free list before ptr (unless ptr is already in the free list). Specifically, find_prev(0) will return 0, not the last entry in the free list.

location previous to where ptr would go if it was in the free list.

void *& `void *const`

The return value is just *ptr cast to the appropriate type. ptr must not be 0. (For the sake of code readability :)

As an example, let us assume that we want to truncate the free list after the first chunk. That is, we want to set *first to 0; this will result in a free list with only one entry. The normal way to do this is to first cast first to a pointer to a pointer to void, and then dereference and assign (*static_cast<void **>(first) = 0;). This can be done more easily through the use of this convenience function (nextof(first) = 0;).

dereferenced pointer.

void `void *const` `const size_type` `const size_type`

Add block Segregate this block and merge its free list into the free list referred to by "first".

Same as segregate.

!empty()

void `void *const` `const size_type` `const size_type`

add block (ordered into list) This (slower) version of add_block segregates the block and merges its free list into our free list in the proper order.

bool

true only if `simple_segregated_storage` is empty.

void *

Create a chunk.

!empty() Increment the "first" pointer to point to the next chunk.

void `void *const`

Free a chunk.

chunk was previously returned from a malloc() referring to the same free list.

!empty()

void `void *const`

This (slower) implementation of 'free' places the memory back in the list in its proper order.

chunk was previously returned from a malloc() referring to the same free list

!empty().

void * `size_type` `size_type`

Attempts to find a contiguous sequence of n partition_sz-sized chunks. If found, removes them all from the free list and returns a pointer to the first. If not found, returns 0. It is strongly recommended (but not required) that the free list be ordered, as this algorithm will fail to find a contiguous sequence unless it is contiguous in the free list as well. Order-preserving. O(N) with respect to the size of the free list.

void `void *const` `const size_type` `const size_type`

If you're allocating/deallocating n a lot, you should be using an ordered pool.

chunks was previously allocated from *this with the same values for n and partition_size.

!empty()

void `void *const` `const size_type` `const size_type`

Free n chunks from order list.

chunks was previously allocated from *this with the same values for n and partition_size.

n should not be zero (n == 0 has no effect).

Construct empty storage area.

empty()

void * `void *` `size_type` `size_type` `void *0`

Segregate block into chunks.

npartition_sz >= sizeof(void *)

npartition_sz = sizeof(void *) * i, for some integer i

nsz >= npartition_sz

Block is properly aligned for an array of object of size npartition_sz and array of void *. The requirements above guarantee that any pointer to a chunk (which is a pointer to an element in an array of npartition_sz) may be cast to void **.

The `singleton_pool` class allows other pool interfaces for types of the same size to share the same underlying pool.

Header singleton_pool.hpp provides a template class `singleton_pool`, which provides access to a pool as a singleton object.

unsigned
unsigned
unsigned

The `singleton_pool` class allows other pool interfaces for types of the same size to share the same pool. Template parameters are as follows:

Tag User-specified type to uniquely identify this pool: allows different unbounded sets of singleton pools to exist.

RequestedSize The size of each chunk returned by member function `malloc()`.

UserAllocator User allocator, default = `default_user_allocator_new_delete`.

Mutex This class is the type of mutex to use to protect simultaneous access to the underlying Pool. Can be any Boost.Thread Mutex type or `boost::details::pool::null_mutex`. It is exposed so that users may declare some singleton pools normally (i.e., with synchronization), but some singleton pools without synchronization (by specifying `boost::details::pool::null_mutex`) for efficiency reasons. The member typedef `mutex` exposes the value of this template parameter. The default for this parameter is boost::details::pool::default_mutex which is a synonym for either `boost::details::pool::null_mutex` (when threading support is turned off in the compiler (so BOOST_HAS_THREADS is not set), or threading support has ben explicitly disabled with BOOST_DISABLE_THREADS (Boost-wide disabling of threads) or BOOST_POOL_NO_MT (this library only)) or for `boost::mutex` (when threading support is enabled in the compiler).

NextSize The value of this parameter is passed to the underlying Pool when it is created and specifies the number of chunks to allocate in the first allocation request (defaults to 32). The member typedef `static const value next_size` exposes the value of this template parameter.

MaxSizeThe value of this parameter is passed to the underlying Pool when it is created and specifies the maximum number of chunks to allocate in any single allocation request (defaults to 0).

Notes:

The underlying pool p referenced by the static functions in `singleton_pool` is actually declared in a way that is:

1 Thread-safe if there is only one thread running before main() begins and after main() ends -- all of the static functions of `singleton_pool` synchronize their access to p.

2 Guaranteed to be constructed before it is used -- thus, the simple static object in the synopsis above would actually be an incorrect implementation. The actual implementation to guarantee this is considerably more complicated.

3 Note too that a different underlying pool p exists for each different set of template parameters, including implementation-specific ones.

4 The underlying pool is constructed "as if" by:

pool<UserAllocator> p(RequestedSize, NextSize, MaxSize);

The underlying pool constructed by the singleton is never freed. This means that memory allocated by a `singleton_pool` can be still used after main() has completed, but may mean that some memory checking programs will complain about leaks from `singleton_pool`.

void

The Tag template parameter uniquely identifies this pool and allows different unbounded sets of singleton pools to exist. For example, the pool allocators use two tag classes to ensure that the two different allocator types never share the same underlying singleton pool. Tag is never actually used by `singleton_pool`.

Tag
The type of mutex used to synchonise access to this pool (default `details::pool::default_mutex`).
Mutex
The user-allocator used by this pool, default = ``default_user_allocator_new_delete``.
UserAllocator
size_type of user allocator.
`pool`< UserAllocator >::size_type
difference_type of user allocator.
`pool`< UserAllocator >::difference_type
const unsigned The size of each chunk allocated by this pool.
const unsigned The number of chunks to allocate on the first allocation.
`pool`< UserAllocator > For exposition only!
void *

Equivalent to SingletonPool::p.malloc(); synchronized.

void *

Equivalent to SingletonPool::p.ordered_malloc(); synchronized.

void * `const size_type`

Equivalent to SingletonPool::p.ordered_malloc(n); synchronized.

bool `void *const`

Equivalent to SingletonPool::p.is_from(chunk); synchronized.

true if chunk is from SingletonPool::is_from(chunk)

void `void *const`

Equivalent to SingletonPool::p.free(chunk); synchronized.

void `void *const`

Equivalent to SingletonPool::p.ordered_free(chunk); synchronized.

void `void *const` `const size_type`

Equivalent to SingletonPool::p.free(chunk, n); synchronized.

void `void *const` `const size_type`

Equivalent to SingletonPool::p.ordered_free(chunk, n); synchronized.

bool

Equivalent to SingletonPool::p.release_memory(); synchronized.

bool

Equivalent to SingletonPool::p.purge_memory(); synchronized.

pool_type &