]>
Commit | Line | Data |
---|---|---|
6fe7ccc8 A |
1 | /* |
2 | * Copyright (C) 2011 Apple Inc. All rights reserved. | |
3 | * | |
4 | * Redistribution and use in source and binary forms, with or without | |
5 | * modification, are permitted provided that the following conditions | |
6 | * are met: | |
7 | * 1. Redistributions of source code must retain the above copyright | |
8 | * notice, this list of conditions and the following disclaimer. | |
9 | * 2. Redistributions in binary form must reproduce the above copyright | |
10 | * notice, this list of conditions and the following disclaimer in the | |
11 | * documentation and/or other materials provided with the distribution. | |
12 | * | |
13 | * THIS SOFTWARE IS PROVIDED BY APPLE INC. ``AS IS'' AND ANY | |
14 | * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE | |
15 | * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR | |
16 | * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL APPLE INC. OR | |
17 | * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, | |
18 | * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, | |
19 | * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR | |
20 | * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY | |
21 | * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT | |
22 | * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE | |
23 | * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE. | |
24 | */ | |
25 | ||
26 | #include "config.h" | |
27 | #include "CopiedSpace.h" | |
28 | ||
93a37866 | 29 | #include "CopiedSpaceInlines.h" |
6fe7ccc8 | 30 | #include "GCActivityCallback.h" |
81345200 | 31 | #include "JSCInlines.h" |
93a37866 | 32 | #include "Options.h" |
6fe7ccc8 A |
33 | |
34 | namespace JSC { | |
35 | ||
36 | CopiedSpace::CopiedSpace(Heap* heap) | |
37 | : m_heap(heap) | |
6fe7ccc8 | 38 | , m_inCopyingPhase(false) |
93a37866 | 39 | , m_shouldDoCopyPhase(false) |
6fe7ccc8 | 40 | , m_numberOfLoanedBlocks(0) |
ed1e77d3 | 41 | , m_bytesRemovedFromOldSpaceDueToReallocation(0) |
6fe7ccc8 | 42 | { |
93a37866 A |
43 | } |
44 | ||
45 | CopiedSpace::~CopiedSpace() | |
46 | { | |
81345200 | 47 | while (!m_oldGen.toSpace->isEmpty()) |
ed1e77d3 | 48 | CopiedBlock::destroy(m_oldGen.toSpace->removeHead()); |
93a37866 | 49 | |
81345200 | 50 | while (!m_oldGen.fromSpace->isEmpty()) |
ed1e77d3 | 51 | CopiedBlock::destroy(m_oldGen.fromSpace->removeHead()); |
93a37866 | 52 | |
81345200 | 53 | while (!m_oldGen.oversizeBlocks.isEmpty()) |
ed1e77d3 | 54 | CopiedBlock::destroy(m_oldGen.oversizeBlocks.removeHead()); |
81345200 A |
55 | |
56 | while (!m_newGen.toSpace->isEmpty()) | |
ed1e77d3 | 57 | CopiedBlock::destroy(m_newGen.toSpace->removeHead()); |
81345200 A |
58 | |
59 | while (!m_newGen.fromSpace->isEmpty()) | |
ed1e77d3 | 60 | CopiedBlock::destroy(m_newGen.fromSpace->removeHead()); |
81345200 A |
61 | |
62 | while (!m_newGen.oversizeBlocks.isEmpty()) | |
ed1e77d3 | 63 | CopiedBlock::destroy(m_newGen.oversizeBlocks.removeHead()); |
81345200 A |
64 | |
65 | ASSERT(m_oldGen.toSpace->isEmpty()); | |
66 | ASSERT(m_oldGen.fromSpace->isEmpty()); | |
67 | ASSERT(m_oldGen.oversizeBlocks.isEmpty()); | |
68 | ASSERT(m_newGen.toSpace->isEmpty()); | |
69 | ASSERT(m_newGen.fromSpace->isEmpty()); | |
70 | ASSERT(m_newGen.oversizeBlocks.isEmpty()); | |
6fe7ccc8 A |
71 | } |
72 | ||
73 | void CopiedSpace::init() | |
74 | { | |
81345200 A |
75 | m_oldGen.toSpace = &m_oldGen.blocks1; |
76 | m_oldGen.fromSpace = &m_oldGen.blocks2; | |
6fe7ccc8 | 77 | |
81345200 A |
78 | m_newGen.toSpace = &m_newGen.blocks1; |
79 | m_newGen.fromSpace = &m_newGen.blocks2; | |
80 | ||
93a37866 | 81 | allocateBlock(); |
6fe7ccc8 A |
82 | } |
83 | ||
84 | CheckedBoolean CopiedSpace::tryAllocateSlowCase(size_t bytes, void** outPtr) | |
85 | { | |
86 | if (isOversize(bytes)) | |
87 | return tryAllocateOversize(bytes, outPtr); | |
88 | ||
81345200 | 89 | ASSERT(m_heap->vm()->currentThreadIsHoldingAPILock()); |
6fe7ccc8 A |
90 | m_heap->didAllocate(m_allocator.currentCapacity()); |
91 | ||
93a37866 A |
92 | allocateBlock(); |
93 | ||
94 | *outPtr = m_allocator.forceAllocate(bytes); | |
6fe7ccc8 A |
95 | return true; |
96 | } | |
97 | ||
98 | CheckedBoolean CopiedSpace::tryAllocateOversize(size_t bytes, void** outPtr) | |
99 | { | |
100 | ASSERT(isOversize(bytes)); | |
101 | ||
ed1e77d3 | 102 | CopiedBlock* block = CopiedBlock::create(WTF::roundUpToMultipleOf<sizeof(double)>(sizeof(CopiedBlock) + bytes)); |
81345200 A |
103 | m_newGen.oversizeBlocks.push(block); |
104 | m_newGen.blockFilter.add(reinterpret_cast<Bits>(block)); | |
93a37866 | 105 | m_blockSet.add(block); |
81345200 | 106 | ASSERT(!block->isOld()); |
6fe7ccc8 | 107 | |
93a37866 A |
108 | CopiedAllocator allocator; |
109 | allocator.setCurrentBlock(block); | |
110 | *outPtr = allocator.forceAllocate(bytes); | |
111 | allocator.resetCurrentBlock(); | |
6fe7ccc8 | 112 | |
ed1e77d3 | 113 | m_heap->didAllocate(block->capacity()); |
6fe7ccc8 A |
114 | |
115 | return true; | |
116 | } | |
117 | ||
118 | CheckedBoolean CopiedSpace::tryReallocate(void** ptr, size_t oldSize, size_t newSize) | |
119 | { | |
120 | if (oldSize >= newSize) | |
121 | return true; | |
122 | ||
123 | void* oldPtr = *ptr; | |
93a37866 A |
124 | ASSERT(!m_heap->vm()->isInitializingObject()); |
125 | ||
126 | if (CopiedSpace::blockFor(oldPtr)->isOversize() || isOversize(newSize)) | |
6fe7ccc8 | 127 | return tryReallocateOversize(ptr, oldSize, newSize); |
93a37866 A |
128 | |
129 | if (m_allocator.tryReallocate(oldPtr, oldSize, newSize)) | |
130 | return true; | |
6fe7ccc8 A |
131 | |
132 | void* result = 0; | |
133 | if (!tryAllocate(newSize, &result)) { | |
134 | *ptr = 0; | |
135 | return false; | |
136 | } | |
137 | memcpy(result, oldPtr, oldSize); | |
138 | *ptr = result; | |
139 | return true; | |
140 | } | |
141 | ||
142 | CheckedBoolean CopiedSpace::tryReallocateOversize(void** ptr, size_t oldSize, size_t newSize) | |
143 | { | |
144 | ASSERT(isOversize(oldSize) || isOversize(newSize)); | |
145 | ASSERT(newSize > oldSize); | |
146 | ||
147 | void* oldPtr = *ptr; | |
148 | ||
149 | void* newPtr = 0; | |
150 | if (!tryAllocateOversize(newSize, &newPtr)) { | |
151 | *ptr = 0; | |
152 | return false; | |
153 | } | |
154 | ||
155 | memcpy(newPtr, oldPtr, oldSize); | |
156 | ||
93a37866 A |
157 | CopiedBlock* oldBlock = CopiedSpace::blockFor(oldPtr); |
158 | if (oldBlock->isOversize()) { | |
ed1e77d3 A |
159 | // FIXME: Eagerly deallocating the old space block probably buys more confusion than |
160 | // value. | |
161 | // https://bugs.webkit.org/show_bug.cgi?id=144750 | |
162 | if (oldBlock->isOld()) { | |
163 | m_bytesRemovedFromOldSpaceDueToReallocation += oldBlock->size(); | |
81345200 | 164 | m_oldGen.oversizeBlocks.remove(oldBlock); |
ed1e77d3 | 165 | } else |
81345200 | 166 | m_newGen.oversizeBlocks.remove(oldBlock); |
93a37866 | 167 | m_blockSet.remove(oldBlock); |
ed1e77d3 | 168 | CopiedBlock::destroy(oldBlock); |
6fe7ccc8 A |
169 | } |
170 | ||
171 | *ptr = newPtr; | |
172 | return true; | |
173 | } | |
174 | ||
93a37866 | 175 | void CopiedSpace::doneFillingBlock(CopiedBlock* block, CopiedBlock** exchange) |
6fe7ccc8 | 176 | { |
6fe7ccc8 | 177 | ASSERT(m_inCopyingPhase); |
93a37866 A |
178 | |
179 | if (exchange) | |
180 | *exchange = allocateBlockForCopyingPhase(); | |
181 | ||
182 | if (!block) | |
183 | return; | |
6fe7ccc8 | 184 | |
93a37866 A |
185 | if (!block->dataSize()) { |
186 | recycleBorrowedBlock(block); | |
6fe7ccc8 A |
187 | return; |
188 | } | |
189 | ||
93a37866 A |
190 | block->zeroFillWilderness(); |
191 | ||
6fe7ccc8 | 192 | { |
81345200 | 193 | // Always put the block into the old gen because it's being promoted! |
93a37866 | 194 | SpinLockHolder locker(&m_toSpaceLock); |
81345200 | 195 | m_oldGen.toSpace->push(block); |
93a37866 | 196 | m_blockSet.add(block); |
81345200 | 197 | m_oldGen.blockFilter.add(reinterpret_cast<Bits>(block)); |
6fe7ccc8 A |
198 | } |
199 | ||
200 | { | |
201 | MutexLocker locker(m_loanedBlocksLock); | |
202 | ASSERT(m_numberOfLoanedBlocks > 0); | |
93a37866 | 203 | ASSERT(m_inCopyingPhase); |
6fe7ccc8 A |
204 | m_numberOfLoanedBlocks--; |
205 | if (!m_numberOfLoanedBlocks) | |
206 | m_loanedBlocksCondition.signal(); | |
207 | } | |
208 | } | |
209 | ||
81345200 | 210 | void CopiedSpace::didStartFullCollection() |
6fe7ccc8 | 211 | { |
81345200 A |
212 | ASSERT(heap()->operationInProgress() == FullCollection); |
213 | ASSERT(m_oldGen.fromSpace->isEmpty()); | |
214 | ASSERT(m_newGen.fromSpace->isEmpty()); | |
6fe7ccc8 | 215 | |
81345200 A |
216 | #ifndef NDEBUG |
217 | for (CopiedBlock* block = m_newGen.toSpace->head(); block; block = block->next()) | |
218 | ASSERT(!block->liveBytes()); | |
6fe7ccc8 | 219 | |
81345200 A |
220 | for (CopiedBlock* block = m_newGen.oversizeBlocks.head(); block; block = block->next()) |
221 | ASSERT(!block->liveBytes()); | |
222 | #endif | |
223 | ||
224 | for (CopiedBlock* block = m_oldGen.toSpace->head(); block; block = block->next()) | |
225 | block->didSurviveGC(); | |
93a37866 | 226 | |
81345200 A |
227 | for (CopiedBlock* block = m_oldGen.oversizeBlocks.head(); block; block = block->next()) |
228 | block->didSurviveGC(); | |
6fe7ccc8 A |
229 | } |
230 | ||
93a37866 | 231 | void CopiedSpace::doneCopying() |
6fe7ccc8 | 232 | { |
93a37866 A |
233 | { |
234 | MutexLocker locker(m_loanedBlocksLock); | |
235 | while (m_numberOfLoanedBlocks > 0) | |
236 | m_loanedBlocksCondition.wait(m_loanedBlocksLock); | |
6fe7ccc8 | 237 | } |
6fe7ccc8 | 238 | |
93a37866 A |
239 | ASSERT(m_inCopyingPhase == m_shouldDoCopyPhase); |
240 | m_inCopyingPhase = false; | |
6fe7ccc8 | 241 | |
81345200 A |
242 | DoublyLinkedList<CopiedBlock>* toSpace; |
243 | DoublyLinkedList<CopiedBlock>* fromSpace; | |
244 | TinyBloomFilter* blockFilter; | |
245 | if (heap()->operationInProgress() == FullCollection) { | |
246 | toSpace = m_oldGen.toSpace; | |
247 | fromSpace = m_oldGen.fromSpace; | |
248 | blockFilter = &m_oldGen.blockFilter; | |
249 | } else { | |
250 | toSpace = m_newGen.toSpace; | |
251 | fromSpace = m_newGen.fromSpace; | |
252 | blockFilter = &m_newGen.blockFilter; | |
253 | } | |
254 | ||
255 | while (!fromSpace->isEmpty()) { | |
256 | CopiedBlock* block = fromSpace->removeHead(); | |
93a37866 A |
257 | // We don't add the block to the blockSet because it was never removed. |
258 | ASSERT(m_blockSet.contains(block)); | |
81345200 A |
259 | blockFilter->add(reinterpret_cast<Bits>(block)); |
260 | block->didSurviveGC(); | |
261 | toSpace->push(block); | |
93a37866 | 262 | } |
6fe7ccc8 | 263 | |
81345200 A |
264 | if (heap()->operationInProgress() == EdenCollection) { |
265 | m_oldGen.toSpace->append(*m_newGen.toSpace); | |
266 | m_oldGen.oversizeBlocks.append(m_newGen.oversizeBlocks); | |
267 | m_oldGen.blockFilter.add(m_newGen.blockFilter); | |
268 | m_newGen.blockFilter.reset(); | |
269 | } | |
270 | ||
271 | ASSERT(m_newGen.toSpace->isEmpty()); | |
272 | ASSERT(m_newGen.fromSpace->isEmpty()); | |
273 | ASSERT(m_newGen.oversizeBlocks.isEmpty()); | |
274 | ||
275 | allocateBlock(); | |
93a37866 A |
276 | |
277 | m_shouldDoCopyPhase = false; | |
6fe7ccc8 A |
278 | } |
279 | ||
280 | size_t CopiedSpace::size() | |
281 | { | |
282 | size_t calculatedSize = 0; | |
283 | ||
81345200 A |
284 | for (CopiedBlock* block = m_oldGen.toSpace->head(); block; block = block->next()) |
285 | calculatedSize += block->size(); | |
286 | ||
287 | for (CopiedBlock* block = m_oldGen.fromSpace->head(); block; block = block->next()) | |
288 | calculatedSize += block->size(); | |
289 | ||
290 | for (CopiedBlock* block = m_oldGen.oversizeBlocks.head(); block; block = block->next()) | |
6fe7ccc8 A |
291 | calculatedSize += block->size(); |
292 | ||
81345200 | 293 | for (CopiedBlock* block = m_newGen.toSpace->head(); block; block = block->next()) |
6fe7ccc8 A |
294 | calculatedSize += block->size(); |
295 | ||
81345200 A |
296 | for (CopiedBlock* block = m_newGen.fromSpace->head(); block; block = block->next()) |
297 | calculatedSize += block->size(); | |
298 | ||
299 | for (CopiedBlock* block = m_newGen.oversizeBlocks.head(); block; block = block->next()) | |
6fe7ccc8 A |
300 | calculatedSize += block->size(); |
301 | ||
302 | return calculatedSize; | |
303 | } | |
304 | ||
305 | size_t CopiedSpace::capacity() | |
306 | { | |
307 | size_t calculatedCapacity = 0; | |
308 | ||
81345200 A |
309 | for (CopiedBlock* block = m_oldGen.toSpace->head(); block; block = block->next()) |
310 | calculatedCapacity += block->capacity(); | |
311 | ||
312 | for (CopiedBlock* block = m_oldGen.fromSpace->head(); block; block = block->next()) | |
313 | calculatedCapacity += block->capacity(); | |
314 | ||
315 | for (CopiedBlock* block = m_oldGen.oversizeBlocks.head(); block; block = block->next()) | |
316 | calculatedCapacity += block->capacity(); | |
317 | ||
318 | for (CopiedBlock* block = m_newGen.toSpace->head(); block; block = block->next()) | |
6fe7ccc8 A |
319 | calculatedCapacity += block->capacity(); |
320 | ||
81345200 | 321 | for (CopiedBlock* block = m_newGen.fromSpace->head(); block; block = block->next()) |
6fe7ccc8 A |
322 | calculatedCapacity += block->capacity(); |
323 | ||
81345200 | 324 | for (CopiedBlock* block = m_newGen.oversizeBlocks.head(); block; block = block->next()) |
6fe7ccc8 A |
325 | calculatedCapacity += block->capacity(); |
326 | ||
327 | return calculatedCapacity; | |
328 | } | |
329 | ||
93a37866 | 330 | static bool isBlockListPagedOut(double deadline, DoublyLinkedList<CopiedBlock>* list) |
6fe7ccc8 A |
331 | { |
332 | unsigned itersSinceLastTimeCheck = 0; | |
93a37866 | 333 | CopiedBlock* current = list->head(); |
6fe7ccc8 A |
334 | while (current) { |
335 | current = current->next(); | |
336 | ++itersSinceLastTimeCheck; | |
337 | if (itersSinceLastTimeCheck >= Heap::s_timeCheckResolution) { | |
338 | double currentTime = WTF::monotonicallyIncreasingTime(); | |
339 | if (currentTime > deadline) | |
340 | return true; | |
341 | itersSinceLastTimeCheck = 0; | |
342 | } | |
343 | } | |
344 | ||
345 | return false; | |
346 | } | |
347 | ||
348 | bool CopiedSpace::isPagedOut(double deadline) | |
349 | { | |
81345200 A |
350 | return isBlockListPagedOut(deadline, m_oldGen.toSpace) |
351 | || isBlockListPagedOut(deadline, m_oldGen.fromSpace) | |
352 | || isBlockListPagedOut(deadline, &m_oldGen.oversizeBlocks) | |
353 | || isBlockListPagedOut(deadline, m_newGen.toSpace) | |
354 | || isBlockListPagedOut(deadline, m_newGen.fromSpace) | |
355 | || isBlockListPagedOut(deadline, &m_newGen.oversizeBlocks); | |
6fe7ccc8 A |
356 | } |
357 | ||
358 | } // namespace JSC |