bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 1 | /* |
| 2 | * Copyright 2012 Google Inc. |
| 3 | * |
| 4 | * Use of this source code is governed by a BSD-style license that can be |
| 5 | * found in the LICENSE file. |
| 6 | */ |
| 7 | |
| 8 | #include "GrMemoryPool.h" |
Herb Derby | b549cc3 | 2017-03-27 13:35:15 -0400 | [diff] [blame] | 9 | #include "SkMalloc.h" |
Robert Phillips | 7c525e6 | 2018-06-12 10:11:12 -0400 | [diff] [blame] | 10 | #include "ops/GrOp.h" |
Mike Klein | 0ec1c57 | 2018-12-04 11:52:51 -0500 | [diff] [blame] | 11 | #ifdef SK_DEBUG |
| 12 | #include <atomic> |
| 13 | #endif |
Herb Derby | d7b34a5 | 2017-03-20 11:19:23 -0400 | [diff] [blame] | 14 | |
commit-bot@chromium.org | 515dcd3 | 2013-08-28 14:17:03 +0000 | [diff] [blame] | 15 | #ifdef SK_DEBUG |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 16 | #define VALIDATE this->validate() |
| 17 | #else |
| 18 | #define VALIDATE |
| 19 | #endif |
| 20 | |
Robert Phillips | 7c525e6 | 2018-06-12 10:11:12 -0400 | [diff] [blame] | 21 | void GrOpMemoryPool::release(std::unique_ptr<GrOp> op) { |
| 22 | GrOp* tmp = op.release(); |
| 23 | SkASSERT(tmp); |
| 24 | tmp->~GrOp(); |
| 25 | fMemoryPool.release(tmp); |
| 26 | } |
| 27 | |
dskiba | e4cd006 | 2016-11-29 06:50:35 -0800 | [diff] [blame] | 28 | constexpr size_t GrMemoryPool::kSmallestMinAllocSize; |
| 29 | |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 30 | GrMemoryPool::GrMemoryPool(size_t preallocSize, size_t minAllocSize) { |
commit-bot@chromium.org | 1acc3d7 | 2013-09-06 23:13:05 +0000 | [diff] [blame] | 31 | SkDEBUGCODE(fAllocationCnt = 0); |
joshualitt | b7133be | 2015-04-08 09:08:31 -0700 | [diff] [blame] | 32 | SkDEBUGCODE(fAllocBlockCnt = 0); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 33 | |
dskiba | e4cd006 | 2016-11-29 06:50:35 -0800 | [diff] [blame] | 34 | minAllocSize = SkTMax<size_t>(GrSizeAlignUp(minAllocSize, kAlignment), kSmallestMinAllocSize); |
| 35 | preallocSize = SkTMax<size_t>(GrSizeAlignUp(preallocSize, kAlignment), minAllocSize); |
| 36 | |
| 37 | fMinAllocSize = minAllocSize; |
joshualitt | 22c6f5c | 2016-01-05 08:07:18 -0800 | [diff] [blame] | 38 | fSize = 0; |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 39 | |
dskiba | e4cd006 | 2016-11-29 06:50:35 -0800 | [diff] [blame] | 40 | fHead = CreateBlock(preallocSize); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 41 | fTail = fHead; |
halcanary | 96fcdcc | 2015-08-27 07:41:13 -0700 | [diff] [blame] | 42 | fHead->fNext = nullptr; |
| 43 | fHead->fPrev = nullptr; |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 44 | VALIDATE; |
| 45 | }; |
| 46 | |
| 47 | GrMemoryPool::~GrMemoryPool() { |
| 48 | VALIDATE; |
Brian Salomon | a5002c3 | 2017-03-28 16:51:02 -0400 | [diff] [blame] | 49 | #ifdef SK_DEBUG |
| 50 | int i = 0; |
| 51 | int n = fAllocatedIDs.count(); |
| 52 | fAllocatedIDs.foreach([&i, n] (int32_t id) { |
| 53 | if (++i == 1) { |
| 54 | SkDebugf("Leaked IDs (in no particular order): %d", id); |
| 55 | } else if (i < 11) { |
| 56 | SkDebugf(", %d%s", id, (n == i ? "\n" : "")); |
| 57 | } else if (i == 11) { |
| 58 | SkDebugf(", ...\n"); |
| 59 | } |
| 60 | }); |
| 61 | #endif |
tfarina@chromium.org | f6de475 | 2013-08-17 00:02:59 +0000 | [diff] [blame] | 62 | SkASSERT(0 == fAllocationCnt); |
| 63 | SkASSERT(fHead == fTail); |
| 64 | SkASSERT(0 == fHead->fLiveCount); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 65 | DeleteBlock(fHead); |
| 66 | }; |
| 67 | |
| 68 | void* GrMemoryPool::allocate(size_t size) { |
| 69 | VALIDATE; |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 70 | size += kPerAllocPad; |
robertphillips | 19c6250 | 2016-01-06 07:04:46 -0800 | [diff] [blame] | 71 | size = GrSizeAlignUp(size, kAlignment); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 72 | if (fTail->fFreeSize < size) { |
dskiba | e4cd006 | 2016-11-29 06:50:35 -0800 | [diff] [blame] | 73 | size_t blockSize = size + kHeaderSize; |
commit-bot@chromium.org | 972f9cd | 2014-03-28 17:58:28 +0000 | [diff] [blame] | 74 | blockSize = SkTMax<size_t>(blockSize, fMinAllocSize); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 75 | BlockHeader* block = CreateBlock(blockSize); |
| 76 | |
| 77 | block->fPrev = fTail; |
halcanary | 96fcdcc | 2015-08-27 07:41:13 -0700 | [diff] [blame] | 78 | block->fNext = nullptr; |
| 79 | SkASSERT(nullptr == fTail->fNext); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 80 | fTail->fNext = block; |
| 81 | fTail = block; |
joshualitt | b7133be | 2015-04-08 09:08:31 -0700 | [diff] [blame] | 82 | fSize += block->fSize; |
| 83 | SkDEBUGCODE(++fAllocBlockCnt); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 84 | } |
robertphillips | b7f4b8e | 2016-01-07 10:12:16 -0800 | [diff] [blame] | 85 | SkASSERT(kAssignedMarker == fTail->fBlockSentinal); |
tfarina@chromium.org | f6de475 | 2013-08-17 00:02:59 +0000 | [diff] [blame] | 86 | SkASSERT(fTail->fFreeSize >= size); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 87 | intptr_t ptr = fTail->fCurrPtr; |
| 88 | // We stash a pointer to the block header, just before the allocated space, |
| 89 | // so that we can decrement the live count on delete in constant time. |
robertphillips | 19c6250 | 2016-01-06 07:04:46 -0800 | [diff] [blame] | 90 | AllocHeader* allocData = reinterpret_cast<AllocHeader*>(ptr); |
| 91 | SkDEBUGCODE(allocData->fSentinal = kAssignedMarker); |
Mike Klein | 0ec1c57 | 2018-12-04 11:52:51 -0500 | [diff] [blame] | 92 | SkDEBUGCODE(allocData->fID = []{ |
| 93 | static std::atomic<int32_t> nextID{1}; |
| 94 | return nextID++; |
| 95 | }()); |
Brian Salomon | a5002c3 | 2017-03-28 16:51:02 -0400 | [diff] [blame] | 96 | // You can set a breakpoint here when a leaked ID is allocated to see the stack frame. |
| 97 | SkDEBUGCODE(fAllocatedIDs.add(allocData->fID)); |
robertphillips | 19c6250 | 2016-01-06 07:04:46 -0800 | [diff] [blame] | 98 | allocData->fHeader = fTail; |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 99 | ptr += kPerAllocPad; |
tomhudson@google.com | dcba4c2 | 2012-07-24 21:36:16 +0000 | [diff] [blame] | 100 | fTail->fPrevPtr = fTail->fCurrPtr; |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 101 | fTail->fCurrPtr += size; |
| 102 | fTail->fFreeSize -= size; |
| 103 | fTail->fLiveCount += 1; |
commit-bot@chromium.org | 1acc3d7 | 2013-09-06 23:13:05 +0000 | [diff] [blame] | 104 | SkDEBUGCODE(++fAllocationCnt); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 105 | VALIDATE; |
| 106 | return reinterpret_cast<void*>(ptr); |
| 107 | } |
| 108 | |
| 109 | void GrMemoryPool::release(void* p) { |
| 110 | VALIDATE; |
| 111 | intptr_t ptr = reinterpret_cast<intptr_t>(p) - kPerAllocPad; |
robertphillips | 19c6250 | 2016-01-06 07:04:46 -0800 | [diff] [blame] | 112 | AllocHeader* allocData = reinterpret_cast<AllocHeader*>(ptr); |
| 113 | SkASSERT(kAssignedMarker == allocData->fSentinal); |
| 114 | SkDEBUGCODE(allocData->fSentinal = kFreedMarker); |
Brian Salomon | a5002c3 | 2017-03-28 16:51:02 -0400 | [diff] [blame] | 115 | SkDEBUGCODE(fAllocatedIDs.remove(allocData->fID)); |
robertphillips | 19c6250 | 2016-01-06 07:04:46 -0800 | [diff] [blame] | 116 | BlockHeader* block = allocData->fHeader; |
robertphillips | b7f4b8e | 2016-01-07 10:12:16 -0800 | [diff] [blame] | 117 | SkASSERT(kAssignedMarker == block->fBlockSentinal); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 118 | if (1 == block->fLiveCount) { |
| 119 | // the head block is special, it is reset rather than deleted |
| 120 | if (fHead == block) { |
joshualitt | b7133be | 2015-04-08 09:08:31 -0700 | [diff] [blame] | 121 | fHead->fCurrPtr = reinterpret_cast<intptr_t>(fHead) + kHeaderSize; |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 122 | fHead->fLiveCount = 0; |
dskiba | e4cd006 | 2016-11-29 06:50:35 -0800 | [diff] [blame] | 123 | fHead->fFreeSize = fHead->fSize - kHeaderSize; |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 124 | } else { |
| 125 | BlockHeader* prev = block->fPrev; |
| 126 | BlockHeader* next = block->fNext; |
tfarina@chromium.org | f6de475 | 2013-08-17 00:02:59 +0000 | [diff] [blame] | 127 | SkASSERT(prev); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 128 | prev->fNext = next; |
| 129 | if (next) { |
| 130 | next->fPrev = prev; |
| 131 | } else { |
tfarina@chromium.org | f6de475 | 2013-08-17 00:02:59 +0000 | [diff] [blame] | 132 | SkASSERT(fTail == block); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 133 | fTail = prev; |
| 134 | } |
joshualitt | b7133be | 2015-04-08 09:08:31 -0700 | [diff] [blame] | 135 | fSize -= block->fSize; |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 136 | DeleteBlock(block); |
joshualitt | b7133be | 2015-04-08 09:08:31 -0700 | [diff] [blame] | 137 | SkDEBUGCODE(fAllocBlockCnt--); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 138 | } |
| 139 | } else { |
| 140 | --block->fLiveCount; |
tomhudson@google.com | dcba4c2 | 2012-07-24 21:36:16 +0000 | [diff] [blame] | 141 | // Trivial reclaim: if we're releasing the most recent allocation, reuse it |
| 142 | if (block->fPrevPtr == ptr) { |
| 143 | block->fFreeSize += (block->fCurrPtr - block->fPrevPtr); |
| 144 | block->fCurrPtr = block->fPrevPtr; |
| 145 | } |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 146 | } |
commit-bot@chromium.org | 1acc3d7 | 2013-09-06 23:13:05 +0000 | [diff] [blame] | 147 | SkDEBUGCODE(--fAllocationCnt); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 148 | VALIDATE; |
| 149 | } |
| 150 | |
dskiba | e4cd006 | 2016-11-29 06:50:35 -0800 | [diff] [blame] | 151 | GrMemoryPool::BlockHeader* GrMemoryPool::CreateBlock(size_t blockSize) { |
| 152 | blockSize = SkTMax<size_t>(blockSize, kHeaderSize); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 153 | BlockHeader* block = |
dskiba | e4cd006 | 2016-11-29 06:50:35 -0800 | [diff] [blame] | 154 | reinterpret_cast<BlockHeader*>(sk_malloc_throw(blockSize)); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 155 | // we assume malloc gives us aligned memory |
tfarina@chromium.org | f6de475 | 2013-08-17 00:02:59 +0000 | [diff] [blame] | 156 | SkASSERT(!(reinterpret_cast<intptr_t>(block) % kAlignment)); |
robertphillips | b7f4b8e | 2016-01-07 10:12:16 -0800 | [diff] [blame] | 157 | SkDEBUGCODE(block->fBlockSentinal = kAssignedMarker); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 158 | block->fLiveCount = 0; |
dskiba | e4cd006 | 2016-11-29 06:50:35 -0800 | [diff] [blame] | 159 | block->fFreeSize = blockSize - kHeaderSize; |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 160 | block->fCurrPtr = reinterpret_cast<intptr_t>(block) + kHeaderSize; |
halcanary | 96fcdcc | 2015-08-27 07:41:13 -0700 | [diff] [blame] | 161 | block->fPrevPtr = 0; // gcc warns on assigning nullptr to an intptr_t. |
dskiba | e4cd006 | 2016-11-29 06:50:35 -0800 | [diff] [blame] | 162 | block->fSize = blockSize; |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 163 | return block; |
| 164 | } |
| 165 | |
| 166 | void GrMemoryPool::DeleteBlock(BlockHeader* block) { |
robertphillips | b7f4b8e | 2016-01-07 10:12:16 -0800 | [diff] [blame] | 167 | SkASSERT(kAssignedMarker == block->fBlockSentinal); |
| 168 | SkDEBUGCODE(block->fBlockSentinal = kFreedMarker); // FWIW |
reed@google.com | 939ca7c | 2013-09-26 19:56:51 +0000 | [diff] [blame] | 169 | sk_free(block); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 170 | } |
| 171 | |
| 172 | void GrMemoryPool::validate() { |
humper@google.com | 0e51577 | 2013-01-07 19:54:40 +0000 | [diff] [blame] | 173 | #ifdef SK_DEBUG |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 174 | BlockHeader* block = fHead; |
halcanary | 96fcdcc | 2015-08-27 07:41:13 -0700 | [diff] [blame] | 175 | BlockHeader* prev = nullptr; |
tfarina@chromium.org | f6de475 | 2013-08-17 00:02:59 +0000 | [diff] [blame] | 176 | SkASSERT(block); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 177 | int allocCount = 0; |
| 178 | do { |
robertphillips | b7f4b8e | 2016-01-07 10:12:16 -0800 | [diff] [blame] | 179 | SkASSERT(kAssignedMarker == block->fBlockSentinal); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 180 | allocCount += block->fLiveCount; |
tfarina@chromium.org | f6de475 | 2013-08-17 00:02:59 +0000 | [diff] [blame] | 181 | SkASSERT(prev == block->fPrev); |
bsalomon | 49f085d | 2014-09-05 13:34:00 -0700 | [diff] [blame] | 182 | if (prev) { |
tfarina@chromium.org | f6de475 | 2013-08-17 00:02:59 +0000 | [diff] [blame] | 183 | SkASSERT(prev->fNext == block); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 184 | } |
| 185 | |
| 186 | intptr_t b = reinterpret_cast<intptr_t>(block); |
| 187 | size_t ptrOffset = block->fCurrPtr - b; |
| 188 | size_t totalSize = ptrOffset + block->fFreeSize; |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 189 | intptr_t userStart = b + kHeaderSize; |
| 190 | |
tfarina@chromium.org | f6de475 | 2013-08-17 00:02:59 +0000 | [diff] [blame] | 191 | SkASSERT(!(b % kAlignment)); |
| 192 | SkASSERT(!(totalSize % kAlignment)); |
tfarina@chromium.org | f6de475 | 2013-08-17 00:02:59 +0000 | [diff] [blame] | 193 | SkASSERT(!(block->fCurrPtr % kAlignment)); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 194 | if (fHead != block) { |
tfarina@chromium.org | f6de475 | 2013-08-17 00:02:59 +0000 | [diff] [blame] | 195 | SkASSERT(block->fLiveCount); |
dskiba | e4cd006 | 2016-11-29 06:50:35 -0800 | [diff] [blame] | 196 | SkASSERT(totalSize >= fMinAllocSize); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 197 | } else { |
dskiba | e4cd006 | 2016-11-29 06:50:35 -0800 | [diff] [blame] | 198 | SkASSERT(totalSize == block->fSize); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 199 | } |
| 200 | if (!block->fLiveCount) { |
tfarina@chromium.org | f6de475 | 2013-08-17 00:02:59 +0000 | [diff] [blame] | 201 | SkASSERT(ptrOffset == kHeaderSize); |
| 202 | SkASSERT(userStart == block->fCurrPtr); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 203 | } else { |
robertphillips | 19c6250 | 2016-01-06 07:04:46 -0800 | [diff] [blame] | 204 | AllocHeader* allocData = reinterpret_cast<AllocHeader*>(userStart); |
halcanary | 9d524f2 | 2016-03-29 09:03:52 -0700 | [diff] [blame] | 205 | SkASSERT(allocData->fSentinal == kAssignedMarker || |
robertphillips | 19c6250 | 2016-01-06 07:04:46 -0800 | [diff] [blame] | 206 | allocData->fSentinal == kFreedMarker); |
| 207 | SkASSERT(block == allocData->fHeader); |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 208 | } |
robertphillips | 19c6250 | 2016-01-06 07:04:46 -0800 | [diff] [blame] | 209 | |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 210 | prev = block; |
| 211 | } while ((block = block->fNext)); |
tfarina@chromium.org | f6de475 | 2013-08-17 00:02:59 +0000 | [diff] [blame] | 212 | SkASSERT(allocCount == fAllocationCnt); |
Brian Salomon | a5002c3 | 2017-03-28 16:51:02 -0400 | [diff] [blame] | 213 | SkASSERT(fAllocationCnt == fAllocatedIDs.count()); |
tfarina@chromium.org | f6de475 | 2013-08-17 00:02:59 +0000 | [diff] [blame] | 214 | SkASSERT(prev == fTail); |
joshualitt | 22c6f5c | 2016-01-05 08:07:18 -0800 | [diff] [blame] | 215 | SkASSERT(fAllocBlockCnt != 0 || fSize == 0); |
humper@google.com | 0e51577 | 2013-01-07 19:54:40 +0000 | [diff] [blame] | 216 | #endif |
bsalomon@google.com | 4da34e3 | 2012-06-19 15:40:27 +0000 | [diff] [blame] | 217 | } |