blob: ef6e58ed0b80a3e0ec37336d72ac70ba7666730c [file] [log] [blame]
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +00001// Copyright 2011 the V8 project authors. All rights reserved.
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +00002// Redistribution and use in source and binary forms, with or without
3// modification, are permitted provided that the following conditions are
4// met:
5//
6// * Redistributions of source code must retain the above copyright
7// notice, this list of conditions and the following disclaimer.
8// * Redistributions in binary form must reproduce the above
9// copyright notice, this list of conditions and the following
10// disclaimer in the documentation and/or other materials provided
11// with the distribution.
12// * Neither the name of Google Inc. nor the names of its
13// contributors may be used to endorse or promote products derived
14// from this software without specific prior written permission.
15//
16// THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS AND CONTRIBUTORS
17// "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT
18// LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR
19// A PARTICULAR PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT
20// OWNER OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL,
21// SPECIAL, EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT
22// LIMITED TO, PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE,
23// DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY
24// THEORY OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
25// (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
26// OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
27
28#ifndef V8_HEAP_INL_H_
29#define V8_HEAP_INL_H_
30
ricow@chromium.orgd236f4d2010-09-01 06:52:08 +000031#include "heap.h"
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000032#include "isolate.h"
fschneider@chromium.orgfb144a02011-05-04 12:43:48 +000033#include "list-inl.h"
34#include "objects.h"
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000035#include "v8-counters.h"
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +000036#include "store-buffer.h"
37#include "store-buffer-inl.h"
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000038
kasperl@chromium.org71affb52009-05-26 05:44:31 +000039namespace v8 {
40namespace internal {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000041
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000042void PromotionQueue::insert(HeapObject* target, int size) {
danno@chromium.orgc612e022011-11-10 11:38:15 +000043 if (emergency_stack_ != NULL) {
44 emergency_stack_->Add(Entry(target, size));
45 return;
46 }
47
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +000048 if (NewSpacePage::IsAtStart(reinterpret_cast<Address>(rear_))) {
49 NewSpacePage* rear_page =
50 NewSpacePage::FromAddress(reinterpret_cast<Address>(rear_));
51 ASSERT(!rear_page->prev_page()->is_anchor());
52 rear_ = reinterpret_cast<intptr_t*>(rear_page->prev_page()->body_limit());
danno@chromium.orgc612e022011-11-10 11:38:15 +000053 ActivateGuardIfOnTheSamePage();
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +000054 }
danno@chromium.orgc612e022011-11-10 11:38:15 +000055
56 if (guard_) {
57 ASSERT(GetHeadPage() ==
58 Page::FromAllocationTop(reinterpret_cast<Address>(limit_)));
59
60 if ((rear_ - 2) < limit_) {
61 RelocateQueueHead();
62 emergency_stack_->Add(Entry(target, size));
63 return;
64 }
65 }
66
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000067 *(--rear_) = reinterpret_cast<intptr_t>(target);
68 *(--rear_) = size;
69 // Assert no overflow into live objects.
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +000070#ifdef DEBUG
71 SemiSpace::AssertValidRange(HEAP->new_space()->top(),
72 reinterpret_cast<Address>(rear_));
73#endif
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000074}
75
76
danno@chromium.orgc612e022011-11-10 11:38:15 +000077void PromotionQueue::ActivateGuardIfOnTheSamePage() {
78 guard_ = guard_ ||
79 heap_->new_space()->active_space()->current_page()->address() ==
80 GetHeadPage()->address();
81}
82
83
ager@chromium.org5aa501c2009-06-23 07:57:28 +000084int Heap::MaxObjectSizeInPagedSpace() {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000085 return Page::kMaxHeapObjectSize;
86}
87
88
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +000089MaybeObject* Heap::AllocateStringFromUtf8(Vector<const char> str,
90 PretenureFlag pretenure) {
91 // Check for ASCII first since this is the common case.
92 if (String::IsAscii(str.start(), str.length())) {
93 // If the string is ASCII, we do not need to convert the characters
94 // since UTF8 is backwards compatible with ASCII.
95 return AllocateStringFromAscii(str, pretenure);
96 }
97 // Non-ASCII and we need to decode.
98 return AllocateStringFromUtf8Slow(str, pretenure);
99}
100
101
lrn@chromium.org303ada72010-10-27 09:33:13 +0000102MaybeObject* Heap::AllocateSymbol(Vector<const char> str,
103 int chars,
104 uint32_t hash_field) {
ager@chromium.orga74f0da2008-12-03 16:05:52 +0000105 unibrow::Utf8InputBuffer<> buffer(str.start(),
106 static_cast<unsigned>(str.length()));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000107 return AllocateInternalSymbol(&buffer, chars, hash_field);
ager@chromium.orga74f0da2008-12-03 16:05:52 +0000108}
109
110
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +0000111MaybeObject* Heap::AllocateAsciiSymbol(Vector<const char> str,
112 uint32_t hash_field) {
113 if (str.length() > SeqAsciiString::kMaxLength) {
114 return Failure::OutOfMemoryException();
115 }
116 // Compute map and object size.
117 Map* map = ascii_symbol_map();
118 int size = SeqAsciiString::SizeFor(str.length());
119
120 // Allocate string.
121 Object* result;
122 { MaybeObject* maybe_result = (size > MaxObjectSizeInPagedSpace())
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000123 ? lo_space_->AllocateRaw(size, NOT_EXECUTABLE)
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +0000124 : old_data_space_->AllocateRaw(size);
125 if (!maybe_result->ToObject(&result)) return maybe_result;
126 }
127
ricow@chromium.org64e3a4b2011-12-13 08:07:27 +0000128 // String maps are all immortal immovable objects.
129 reinterpret_cast<HeapObject*>(result)->set_map_no_write_barrier(map);
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +0000130 // Set length and hash fields of the allocated string.
131 String* answer = String::cast(result);
132 answer->set_length(str.length());
133 answer->set_hash_field(hash_field);
134
135 ASSERT_EQ(size, answer->Size());
136
137 // Fill in the characters.
138 memcpy(answer->address() + SeqAsciiString::kHeaderSize,
139 str.start(), str.length());
140
141 return answer;
142}
143
144
145MaybeObject* Heap::AllocateTwoByteSymbol(Vector<const uc16> str,
146 uint32_t hash_field) {
147 if (str.length() > SeqTwoByteString::kMaxLength) {
148 return Failure::OutOfMemoryException();
149 }
150 // Compute map and object size.
151 Map* map = symbol_map();
152 int size = SeqTwoByteString::SizeFor(str.length());
153
154 // Allocate string.
155 Object* result;
156 { MaybeObject* maybe_result = (size > MaxObjectSizeInPagedSpace())
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000157 ? lo_space_->AllocateRaw(size, NOT_EXECUTABLE)
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +0000158 : old_data_space_->AllocateRaw(size);
159 if (!maybe_result->ToObject(&result)) return maybe_result;
160 }
161
162 reinterpret_cast<HeapObject*>(result)->set_map(map);
163 // Set length and hash fields of the allocated string.
164 String* answer = String::cast(result);
165 answer->set_length(str.length());
166 answer->set_hash_field(hash_field);
167
168 ASSERT_EQ(size, answer->Size());
169
170 // Fill in the characters.
171 memcpy(answer->address() + SeqTwoByteString::kHeaderSize,
172 str.start(), str.length() * kUC16Size);
173
174 return answer;
175}
176
lrn@chromium.org303ada72010-10-27 09:33:13 +0000177MaybeObject* Heap::CopyFixedArray(FixedArray* src) {
whesse@chromium.org4a1fe7d2010-09-27 12:32:04 +0000178 return CopyFixedArrayWithMap(src, src->map());
179}
180
181
ricow@chromium.org2c99e282011-07-28 09:15:17 +0000182MaybeObject* Heap::CopyFixedDoubleArray(FixedDoubleArray* src) {
183 return CopyFixedDoubleArrayWithMap(src, src->map());
184}
185
186
lrn@chromium.org303ada72010-10-27 09:33:13 +0000187MaybeObject* Heap::AllocateRaw(int size_in_bytes,
188 AllocationSpace space,
189 AllocationSpace retry_space) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000190 ASSERT(allocation_allowed_ && gc_state_ == NOT_IN_GC);
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000191 ASSERT(space != NEW_SPACE ||
192 retry_space == OLD_POINTER_SPACE ||
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000193 retry_space == OLD_DATA_SPACE ||
194 retry_space == LO_SPACE);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000195#ifdef DEBUG
196 if (FLAG_gc_interval >= 0 &&
197 !disallow_allocation_failure_ &&
198 Heap::allocation_timeout_-- <= 0) {
whesse@chromium.org4a5224e2010-10-20 12:37:07 +0000199 return Failure::RetryAfterGC(space);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000200 }
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000201 isolate_->counters()->objs_since_last_full()->Increment();
202 isolate_->counters()->objs_since_last_young()->Increment();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000203#endif
lrn@chromium.org303ada72010-10-27 09:33:13 +0000204 MaybeObject* result;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000205 if (NEW_SPACE == space) {
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000206 result = new_space_.AllocateRaw(size_in_bytes);
207 if (always_allocate() && result->IsFailure()) {
208 space = retry_space;
209 } else {
210 return result;
211 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000212 }
213
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000214 if (OLD_POINTER_SPACE == space) {
215 result = old_pointer_space_->AllocateRaw(size_in_bytes);
216 } else if (OLD_DATA_SPACE == space) {
217 result = old_data_space_->AllocateRaw(size_in_bytes);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000218 } else if (CODE_SPACE == space) {
219 result = code_space_->AllocateRaw(size_in_bytes);
220 } else if (LO_SPACE == space) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000221 result = lo_space_->AllocateRaw(size_in_bytes, NOT_EXECUTABLE);
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000222 } else if (CELL_SPACE == space) {
223 result = cell_space_->AllocateRaw(size_in_bytes);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000224 } else {
225 ASSERT(MAP_SPACE == space);
226 result = map_space_->AllocateRaw(size_in_bytes);
227 }
228 if (result->IsFailure()) old_gen_exhausted_ = true;
229 return result;
230}
231
232
erikcorry0ad885c2011-11-21 13:51:57 +0000233MaybeObject* Heap::NumberFromInt32(
234 int32_t value, PretenureFlag pretenure) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000235 if (Smi::IsValid(value)) return Smi::FromInt(value);
236 // Bypass NumberFromDouble to avoid various redundant checks.
erikcorry0ad885c2011-11-21 13:51:57 +0000237 return AllocateHeapNumber(FastI2D(value), pretenure);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000238}
239
240
erikcorry0ad885c2011-11-21 13:51:57 +0000241MaybeObject* Heap::NumberFromUint32(
242 uint32_t value, PretenureFlag pretenure) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000243 if ((int32_t)value >= 0 && Smi::IsValid((int32_t)value)) {
244 return Smi::FromInt((int32_t)value);
245 }
246 // Bypass NumberFromDouble to avoid various redundant checks.
erikcorry0ad885c2011-11-21 13:51:57 +0000247 return AllocateHeapNumber(FastUI2D(value), pretenure);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000248}
249
250
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000251void Heap::FinalizeExternalString(String* string) {
252 ASSERT(string->IsExternalString());
253 v8::String::ExternalStringResourceBase** resource_addr =
254 reinterpret_cast<v8::String::ExternalStringResourceBase**>(
255 reinterpret_cast<byte*>(string) +
256 ExternalString::kResourceOffset -
257 kHeapObjectTag);
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000258
vegorov@chromium.org2356e6f2010-06-09 09:38:56 +0000259 // Dispose of the C++ object if it has not already been disposed.
260 if (*resource_addr != NULL) {
261 (*resource_addr)->Dispose();
mstarzinger@chromium.org1b3afd12011-11-29 14:28:56 +0000262 *resource_addr = NULL;
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000263 }
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000264}
265
266
lrn@chromium.org303ada72010-10-27 09:33:13 +0000267MaybeObject* Heap::AllocateRawMap() {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000268#ifdef DEBUG
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000269 isolate_->counters()->objs_since_last_full()->Increment();
270 isolate_->counters()->objs_since_last_young()->Increment();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000271#endif
lrn@chromium.org303ada72010-10-27 09:33:13 +0000272 MaybeObject* result = map_space_->AllocateRaw(Map::kSize);
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000273 if (result->IsFailure()) old_gen_exhausted_ = true;
sgjesse@chromium.org846fb742009-12-18 08:56:33 +0000274#ifdef DEBUG
275 if (!result->IsFailure()) {
276 // Maps have their own alignment.
fschneider@chromium.org086aac62010-03-17 13:18:24 +0000277 CHECK((reinterpret_cast<intptr_t>(result) & kMapAlignmentMask) ==
278 static_cast<intptr_t>(kHeapObjectTag));
sgjesse@chromium.org846fb742009-12-18 08:56:33 +0000279 }
280#endif
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000281 return result;
282}
283
284
lrn@chromium.org303ada72010-10-27 09:33:13 +0000285MaybeObject* Heap::AllocateRawCell() {
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000286#ifdef DEBUG
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000287 isolate_->counters()->objs_since_last_full()->Increment();
288 isolate_->counters()->objs_since_last_young()->Increment();
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000289#endif
lrn@chromium.org303ada72010-10-27 09:33:13 +0000290 MaybeObject* result = cell_space_->AllocateRaw(JSGlobalPropertyCell::kSize);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000291 if (result->IsFailure()) old_gen_exhausted_ = true;
292 return result;
293}
294
295
296bool Heap::InNewSpace(Object* object) {
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000297 bool result = new_space_.Contains(object);
298 ASSERT(!result || // Either not in new space
299 gc_state_ != NOT_IN_GC || // ... or in the middle of GC
300 InToSpace(object)); // ... or in to-space (where we allocate).
301 return result;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000302}
303
304
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000305bool Heap::InNewSpace(Address addr) {
306 return new_space_.Contains(addr);
307}
308
309
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000310bool Heap::InFromSpace(Object* object) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000311 return new_space_.FromSpaceContains(object);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000312}
313
314
315bool Heap::InToSpace(Object* object) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000316 return new_space_.ToSpaceContains(object);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000317}
318
319
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000320bool Heap::OldGenerationAllocationLimitReached() {
321 if (!incremental_marking()->IsStopped()) return false;
322 return OldGenerationSpaceAvailable() < 0;
323}
324
325
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000326bool Heap::ShouldBePromoted(Address old_address, int object_size) {
327 // An object should be promoted if:
328 // - the object has survived a scavenge operation or
329 // - to space is already 25% full.
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000330 NewSpacePage* page = NewSpacePage::FromAddress(old_address);
331 Address age_mark = new_space_.age_mark();
332 bool below_mark = page->IsFlagSet(MemoryChunk::NEW_SPACE_BELOW_AGE_MARK) &&
333 (!page->ContainsLimit(age_mark) || old_address < age_mark);
334 return below_mark || (new_space_.Size() + object_size) >=
335 (new_space_.EffectiveCapacity() >> 2);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000336}
337
338
339void Heap::RecordWrite(Address address, int offset) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000340 if (!InNewSpace(address)) store_buffer_.Mark(address + offset);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000341}
342
343
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000344void Heap::RecordWrites(Address address, int start, int len) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000345 if (!InNewSpace(address)) {
346 for (int i = 0; i < len; i++) {
347 store_buffer_.Mark(address + start + i * kPointerSize);
348 }
349 }
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000350}
351
352
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000353OldSpace* Heap::TargetSpace(HeapObject* object) {
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000354 InstanceType type = object->map()->instance_type();
355 AllocationSpace space = TargetSpaceId(type);
356 return (space == OLD_POINTER_SPACE)
357 ? old_pointer_space_
358 : old_data_space_;
359}
360
361
362AllocationSpace Heap::TargetSpaceId(InstanceType type) {
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000363 // Heap numbers and sequential strings are promoted to old data space, all
364 // other object types are promoted to old pointer space. We do not use
kasper.lund7276f142008-07-30 08:49:36 +0000365 // object->IsHeapNumber() and object->IsSeqString() because we already
366 // know that object has the heap object tag.
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000367
368 // These objects are never allocated in new space.
369 ASSERT(type != MAP_TYPE);
370 ASSERT(type != CODE_TYPE);
371 ASSERT(type != ODDBALL_TYPE);
372 ASSERT(type != JS_GLOBAL_PROPERTY_CELL_TYPE);
373
374 if (type < FIRST_NONSTRING_TYPE) {
ricow@chromium.org4668a2c2011-08-29 10:41:00 +0000375 // There are four string representations: sequential strings, external
376 // strings, cons strings, and sliced strings.
377 // Only the latter two contain non-map-word pointers to heap objects.
378 return ((type & kIsIndirectStringMask) == kIsIndirectStringTag)
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000379 ? OLD_POINTER_SPACE
380 : OLD_DATA_SPACE;
381 } else {
382 return (type <= LAST_DATA_TYPE) ? OLD_DATA_SPACE : OLD_POINTER_SPACE;
383 }
kasper.lund7276f142008-07-30 08:49:36 +0000384}
385
386
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000387void Heap::CopyBlock(Address dst, Address src, int byte_size) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000388 CopyWords(reinterpret_cast<Object**>(dst),
389 reinterpret_cast<Object**>(src),
390 byte_size / kPointerSize);
lrn@chromium.org25156de2010-04-06 13:10:27 +0000391}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000392
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000393
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000394void Heap::MoveBlock(Address dst, Address src, int byte_size) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000395 ASSERT(IsAligned(byte_size, kPointerSize));
whesse@chromium.orgb6e43bb2010-04-14 09:36:28 +0000396
397 int size_in_words = byte_size / kPointerSize;
398
ricow@chromium.org9fa09672011-07-25 11:05:35 +0000399 if ((dst < src) || (dst >= (src + byte_size))) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000400 Object** src_slot = reinterpret_cast<Object**>(src);
401 Object** dst_slot = reinterpret_cast<Object**>(dst);
402 Object** end_slot = src_slot + size_in_words;
whesse@chromium.orgb6e43bb2010-04-14 09:36:28 +0000403
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000404 while (src_slot != end_slot) {
405 *dst_slot++ = *src_slot++;
whesse@chromium.orgb6e43bb2010-04-14 09:36:28 +0000406 }
407 } else {
408 memmove(dst, src, byte_size);
409 }
410}
411
412
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000413void Heap::ScavengePointer(HeapObject** p) {
414 ScavengeObject(p, *p);
415}
416
417
kasperl@chromium.orgb3284ad2009-05-18 06:12:45 +0000418void Heap::ScavengeObject(HeapObject** p, HeapObject* object) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000419 ASSERT(HEAP->InFromSpace(object));
kasperl@chromium.orgb3284ad2009-05-18 06:12:45 +0000420
421 // We use the first word (where the map pointer usually is) of a heap
422 // object to record the forwarding pointer. A forwarding pointer can
423 // point to an old space, the code space, or the to space of the new
424 // generation.
425 MapWord first_word = object->map_word();
426
427 // If the first word is a forwarding address, the object has already been
428 // copied.
429 if (first_word.IsForwardingAddress()) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000430 HeapObject* dest = first_word.ToForwardingAddress();
431 ASSERT(HEAP->InFromSpace(*p));
432 *p = dest;
kasperl@chromium.orgb3284ad2009-05-18 06:12:45 +0000433 return;
434 }
435
436 // Call the slow part of scavenge object.
437 return ScavengeObjectSlow(p, object);
438}
439
440
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000441bool Heap::CollectGarbage(AllocationSpace space) {
442 return CollectGarbage(space, SelectGarbageCollector(space));
443}
444
445
lrn@chromium.org303ada72010-10-27 09:33:13 +0000446MaybeObject* Heap::PrepareForCompare(String* str) {
fschneider@chromium.org086aac62010-03-17 13:18:24 +0000447 // Always flatten small strings and force flattening of long strings
448 // after we have accumulated a certain amount we failed to flatten.
449 static const int kMaxAlwaysFlattenLength = 32;
450 static const int kFlattenLongThreshold = 16*KB;
451
452 const int length = str->length();
lrn@chromium.org303ada72010-10-27 09:33:13 +0000453 MaybeObject* obj = str->TryFlatten();
fschneider@chromium.org086aac62010-03-17 13:18:24 +0000454 if (length <= kMaxAlwaysFlattenLength ||
kmillikin@chromium.org5d8f0e62010-03-24 08:21:20 +0000455 unflattened_strings_length_ >= kFlattenLongThreshold) {
fschneider@chromium.org086aac62010-03-17 13:18:24 +0000456 return obj;
457 }
458 if (obj->IsFailure()) {
kmillikin@chromium.org5d8f0e62010-03-24 08:21:20 +0000459 unflattened_strings_length_ += length;
fschneider@chromium.org086aac62010-03-17 13:18:24 +0000460 }
461 return str;
462}
463
464
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000465int Heap::AdjustAmountOfExternalAllocatedMemory(int change_in_bytes) {
466 ASSERT(HasBeenSetup());
467 int amount = amount_of_external_allocated_memory_ + change_in_bytes;
468 if (change_in_bytes >= 0) {
469 // Avoid overflow.
470 if (amount > amount_of_external_allocated_memory_) {
471 amount_of_external_allocated_memory_ = amount;
472 }
473 int amount_since_last_global_gc =
474 amount_of_external_allocated_memory_ -
475 amount_of_external_allocated_memory_at_last_global_gc_;
476 if (amount_since_last_global_gc > external_allocation_limit_) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000477 CollectAllGarbage(kNoGCFlags);
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000478 }
479 } else {
480 // Avoid underflow.
481 if (amount >= 0) {
482 amount_of_external_allocated_memory_ = amount;
483 }
484 }
485 ASSERT(amount_of_external_allocated_memory_ >= 0);
486 return amount_of_external_allocated_memory_;
487}
488
489
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000490void Heap::SetLastScriptId(Object* last_script_id) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000491 roots_[kLastScriptIdRootIndex] = last_script_id;
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000492}
493
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000494
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000495Isolate* Heap::isolate() {
496 return reinterpret_cast<Isolate*>(reinterpret_cast<intptr_t>(this) -
497 reinterpret_cast<size_t>(reinterpret_cast<Isolate*>(4)->heap()) + 4);
498}
499
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000500
whesse@chromium.org4a5224e2010-10-20 12:37:07 +0000501#ifdef DEBUG
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000502#define GC_GREEDY_CHECK() \
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000503 if (FLAG_gc_greedy) HEAP->GarbageCollectionGreedyCheck()
whesse@chromium.org4a5224e2010-10-20 12:37:07 +0000504#else
505#define GC_GREEDY_CHECK() { }
506#endif
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000507
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000508
509// Calls the FUNCTION_CALL function and retries it up to three times
510// to guarantee that any allocations performed during the call will
511// succeed if there's enough memory.
512
lrn@chromium.org303ada72010-10-27 09:33:13 +0000513// Warning: Do not use the identifiers __object__, __maybe_object__ or
514// __scope__ in a call to this macro.
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000515
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000516#define CALL_AND_RETRY(ISOLATE, FUNCTION_CALL, RETURN_VALUE, RETURN_EMPTY)\
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000517 do { \
518 GC_GREEDY_CHECK(); \
lrn@chromium.org303ada72010-10-27 09:33:13 +0000519 MaybeObject* __maybe_object__ = FUNCTION_CALL; \
520 Object* __object__ = NULL; \
521 if (__maybe_object__->ToObject(&__object__)) RETURN_VALUE; \
522 if (__maybe_object__->IsOutOfMemory()) { \
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000523 v8::internal::V8::FatalProcessOutOfMemory("CALL_AND_RETRY_0", true);\
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000524 } \
lrn@chromium.org303ada72010-10-27 09:33:13 +0000525 if (!__maybe_object__->IsRetryAfterGC()) RETURN_EMPTY; \
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000526 ISOLATE->heap()->CollectGarbage(Failure::cast(__maybe_object__)-> \
527 allocation_space()); \
lrn@chromium.org303ada72010-10-27 09:33:13 +0000528 __maybe_object__ = FUNCTION_CALL; \
529 if (__maybe_object__->ToObject(&__object__)) RETURN_VALUE; \
530 if (__maybe_object__->IsOutOfMemory()) { \
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000531 v8::internal::V8::FatalProcessOutOfMemory("CALL_AND_RETRY_1", true);\
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000532 } \
lrn@chromium.org303ada72010-10-27 09:33:13 +0000533 if (!__maybe_object__->IsRetryAfterGC()) RETURN_EMPTY; \
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000534 ISOLATE->counters()->gc_last_resort_from_handles()->Increment(); \
535 ISOLATE->heap()->CollectAllAvailableGarbage(); \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000536 { \
537 AlwaysAllocateScope __scope__; \
lrn@chromium.org303ada72010-10-27 09:33:13 +0000538 __maybe_object__ = FUNCTION_CALL; \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000539 } \
lrn@chromium.org303ada72010-10-27 09:33:13 +0000540 if (__maybe_object__->ToObject(&__object__)) RETURN_VALUE; \
541 if (__maybe_object__->IsOutOfMemory() || \
542 __maybe_object__->IsRetryAfterGC()) { \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000543 /* TODO(1181417): Fix this. */ \
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000544 v8::internal::V8::FatalProcessOutOfMemory("CALL_AND_RETRY_2", true);\
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000545 } \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000546 RETURN_EMPTY; \
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000547 } while (false)
548
549
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000550#define CALL_HEAP_FUNCTION(ISOLATE, FUNCTION_CALL, TYPE) \
551 CALL_AND_RETRY(ISOLATE, \
552 FUNCTION_CALL, \
553 return Handle<TYPE>(TYPE::cast(__object__), ISOLATE), \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000554 return Handle<TYPE>())
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000555
556
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000557#define CALL_HEAP_FUNCTION_VOID(ISOLATE, FUNCTION_CALL) \
558 CALL_AND_RETRY(ISOLATE, FUNCTION_CALL, return, return)
kasperl@chromium.orgb9123622008-09-17 14:05:56 +0000559
560
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000561#ifdef DEBUG
562
563inline bool Heap::allow_allocation(bool new_state) {
564 bool old = allocation_allowed_;
565 allocation_allowed_ = new_state;
566 return old;
567}
568
569#endif
570
571
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000572void ExternalStringTable::AddString(String* string) {
573 ASSERT(string->IsExternalString());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000574 if (heap_->InNewSpace(string)) {
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000575 new_space_strings_.Add(string);
576 } else {
577 old_space_strings_.Add(string);
578 }
579}
580
581
582void ExternalStringTable::Iterate(ObjectVisitor* v) {
583 if (!new_space_strings_.is_empty()) {
584 Object** start = &new_space_strings_[0];
585 v->VisitPointers(start, start + new_space_strings_.length());
586 }
587 if (!old_space_strings_.is_empty()) {
588 Object** start = &old_space_strings_[0];
589 v->VisitPointers(start, start + old_space_strings_.length());
590 }
591}
592
593
594// Verify() is inline to avoid ifdef-s around its calls in release
595// mode.
596void ExternalStringTable::Verify() {
597#ifdef DEBUG
598 for (int i = 0; i < new_space_strings_.length(); ++i) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000599 ASSERT(heap_->InNewSpace(new_space_strings_[i]));
jkummerow@chromium.orgc3b37122011-11-07 10:14:12 +0000600 ASSERT(new_space_strings_[i] != HEAP->raw_unchecked_the_hole_value());
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000601 }
602 for (int i = 0; i < old_space_strings_.length(); ++i) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000603 ASSERT(!heap_->InNewSpace(old_space_strings_[i]));
jkummerow@chromium.orgc3b37122011-11-07 10:14:12 +0000604 ASSERT(old_space_strings_[i] != HEAP->raw_unchecked_the_hole_value());
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000605 }
606#endif
607}
608
609
610void ExternalStringTable::AddOldString(String* string) {
611 ASSERT(string->IsExternalString());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000612 ASSERT(!heap_->InNewSpace(string));
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000613 old_space_strings_.Add(string);
614}
615
616
617void ExternalStringTable::ShrinkNewStrings(int position) {
618 new_space_strings_.Rewind(position);
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000619 if (FLAG_verify_heap) {
620 Verify();
621 }
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000622}
623
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000624
625void Heap::ClearInstanceofCache() {
626 set_instanceof_cache_function(the_hole_value());
627}
628
629
630Object* Heap::ToBoolean(bool condition) {
631 return condition ? true_value() : false_value();
632}
633
634
635void Heap::CompletelyClearInstanceofCache() {
636 set_instanceof_cache_map(the_hole_value());
637 set_instanceof_cache_function(the_hole_value());
638}
639
640
641MaybeObject* TranscendentalCache::Get(Type type, double input) {
642 SubCache* cache = caches_[type];
643 if (cache == NULL) {
644 caches_[type] = cache = new SubCache(type);
645 }
646 return cache->Get(input);
647}
648
649
650Address TranscendentalCache::cache_array_address() {
651 return reinterpret_cast<Address>(caches_);
652}
653
654
655double TranscendentalCache::SubCache::Calculate(double input) {
656 switch (type_) {
657 case ACOS:
658 return acos(input);
659 case ASIN:
660 return asin(input);
661 case ATAN:
662 return atan(input);
663 case COS:
664 return cos(input);
665 case EXP:
666 return exp(input);
667 case LOG:
668 return log(input);
669 case SIN:
670 return sin(input);
671 case TAN:
672 return tan(input);
673 default:
674 return 0.0; // Never happens.
675 }
676}
677
678
679MaybeObject* TranscendentalCache::SubCache::Get(double input) {
680 Converter c;
681 c.dbl = input;
682 int hash = Hash(c);
683 Element e = elements_[hash];
684 if (e.in[0] == c.integers[0] &&
685 e.in[1] == c.integers[1]) {
686 ASSERT(e.output != NULL);
687 isolate_->counters()->transcendental_cache_hit()->Increment();
688 return e.output;
689 }
690 double answer = Calculate(input);
691 isolate_->counters()->transcendental_cache_miss()->Increment();
692 Object* heap_number;
693 { MaybeObject* maybe_heap_number =
694 isolate_->heap()->AllocateHeapNumber(answer);
695 if (!maybe_heap_number->ToObject(&heap_number)) return maybe_heap_number;
696 }
697 elements_[hash].in[0] = c.integers[0];
698 elements_[hash].in[1] = c.integers[1];
699 elements_[hash].output = heap_number;
700 return heap_number;
701}
702
703
704Heap* _inline_get_heap_() {
705 return HEAP;
706}
707
708
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000709} } // namespace v8::internal
710
711#endif // V8_HEAP_INL_H_