/* * Copyright 2012 Google Inc. * * Use of this source code is governed by a BSD-style license that can be * found in the LICENSE file. */ #ifndef GrMemoryPool_DEFINED #define GrMemoryPool_DEFINED #include "GrTypes.h" #ifdef SK_DEBUG #include "SkTHash.h" #endif /** * Allocates memory in blocks and parcels out space in the blocks for allocation * requests. It is optimized for allocate / release speed over memory * efficiency. The interface is designed to be used to implement operator new * and delete overrides. All allocations are expected to be released before the * pool's destructor is called. Allocations will be 8-byte aligned. */ class GrMemoryPool { public: /** * Prealloc size is the amount of space to allocate at pool creation * time and keep around until pool destruction. The min alloc size is * the smallest allowed size of additional allocations. Both sizes are * adjusted to ensure that: * 1. they are are 8-byte aligned * 2. minAllocSize >= kSmallestMinAllocSize * 3. preallocSize >= minAllocSize * * Both sizes is what the pool will end up allocating from the system, and * portions of the allocated memory is used for internal bookkeeping. */ GrMemoryPool(size_t preallocSize, size_t minAllocSize); ~GrMemoryPool(); /** * Allocates memory. The memory must be freed with release(). */ void* allocate(size_t size); /** * p must have been returned by allocate() */ void release(void* p); /** * Returns true if there are no unreleased allocations. */ bool isEmpty() const { return fTail == fHead && !fHead->fLiveCount; } /** * Returns the total allocated size of the GrMemoryPool minus any preallocated amount */ size_t size() const { return fSize; } /** * Returns the preallocated size of the GrMemoryPool */ size_t preallocSize() const { return fHead->fSize; } /** * Minimum value of minAllocSize constructor argument. */ constexpr static size_t kSmallestMinAllocSize = 1 << 10; private: struct BlockHeader; static BlockHeader* CreateBlock(size_t size); static void DeleteBlock(BlockHeader* block); void validate(); struct BlockHeader { #ifdef SK_DEBUG uint32_t fBlockSentinal; ///< known value to check for bad back pointers to blocks #endif BlockHeader* fNext; ///< doubly-linked list of blocks. BlockHeader* fPrev; int fLiveCount; ///< number of outstanding allocations in the ///< block. intptr_t fCurrPtr; ///< ptr to the start of blocks free space. intptr_t fPrevPtr; ///< ptr to the last allocation made size_t fFreeSize; ///< amount of free space left in the block. size_t fSize; ///< total allocated size of the block }; static const uint32_t kAssignedMarker = 0xCDCDCDCD; static const uint32_t kFreedMarker = 0xEFEFEFEF; struct AllocHeader { #ifdef SK_DEBUG uint32_t fSentinal; ///< known value to check for memory stomping (e.g., (CD)*) int32_t fID; ///< ID that can be used to track down leaks by clients. #endif BlockHeader* fHeader; ///< pointer back to the block header in which an alloc resides }; size_t fSize; size_t fMinAllocSize; BlockHeader* fHead; BlockHeader* fTail; #ifdef SK_DEBUG int fAllocationCnt; int fAllocBlockCnt; SkTHashSet<int32_t> fAllocatedIDs; #endif protected: enum { // We assume this alignment is good enough for everybody. kAlignment = 8, kHeaderSize = GR_CT_ALIGN_UP(sizeof(BlockHeader), kAlignment), kPerAllocPad = GR_CT_ALIGN_UP(sizeof(AllocHeader), kAlignment), }; }; /** * Variant of GrMemoryPool that can only allocate objects of a single type. It is * not as flexible as GrMemoryPool, but it has more convenient allocate() method, * and more importantly, it guarantees number of objects that are preallocated at * construction or when adding a new memory block. I.e. * * GrMemoryPool pool(3 * sizeof(T), 1000 * sizeof(T)); * pool.allocate(sizeof(T)); * pool.allocate(sizeof(T)); * pool.allocate(sizeof(T)); * * will preallocate 3 * sizeof(T) bytes and use some of those bytes for internal * structures. Because of that, last allocate() call will end up allocating a new * block of 1000 * sizeof(T) bytes. In contrast, * * GrObjectMemoryPool<T> pool(3, 1000); * pool.allocate(); * pool.allocate(); * pool.allocate(); * * guarantees to preallocate enough memory for 3 objects of sizeof(T), so last * allocate() will use preallocated memory and won't cause allocation of a new block. * * Same thing is true for the second (minAlloc) ctor argument: this class guarantees * that a newly added block will have enough space for 1000 objects of sizeof(T), while * GrMemoryPool does not. */ template <class T> class GrObjectMemoryPool: public GrMemoryPool { public: /** * Preallocates memory for preallocCount objects, and sets new block size to be * enough to hold minAllocCount objects. */ GrObjectMemoryPool(size_t preallocCount, size_t minAllocCount) : GrMemoryPool(CountToSize(preallocCount), CountToSize(SkTMax(minAllocCount, kSmallestMinAllocCount))) { } /** * Allocates memory for an object, but doesn't construct or otherwise initialize it. * The memory must be freed with release(). */ T* allocate() { return static_cast<T*>(GrMemoryPool::allocate(sizeof(T))); } private: constexpr static size_t kTotalObjectSize = kPerAllocPad + GR_CT_ALIGN_UP(sizeof(T), kAlignment); constexpr static size_t CountToSize(size_t count) { return kHeaderSize + count * kTotalObjectSize; } public: /** * Minimum value of minAllocCount constructor argument. */ constexpr static size_t kSmallestMinAllocCount = (GrMemoryPool::kSmallestMinAllocSize - kHeaderSize + kTotalObjectSize - 1) / kTotalObjectSize; }; template <class T> constexpr size_t GrObjectMemoryPool<T>::kSmallestMinAllocCount; #endif