blob: bace902d4dce87cc3b33c242e774c713acc08a27 [file] [log] [blame]
danno@chromium.orgfa458e42012-02-01 10:48:36 +00001// Copyright 2012 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"
ulan@chromium.org9a21ec42012-03-06 08:42:24 +000035#include "platform.h"
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000036#include "v8-counters.h"
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +000037#include "store-buffer.h"
38#include "store-buffer-inl.h"
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000039
kasperl@chromium.org71affb52009-05-26 05:44:31 +000040namespace v8 {
41namespace internal {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000042
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000043void PromotionQueue::insert(HeapObject* target, int size) {
danno@chromium.orgc612e022011-11-10 11:38:15 +000044 if (emergency_stack_ != NULL) {
45 emergency_stack_->Add(Entry(target, size));
46 return;
47 }
48
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +000049 if (NewSpacePage::IsAtStart(reinterpret_cast<Address>(rear_))) {
50 NewSpacePage* rear_page =
51 NewSpacePage::FromAddress(reinterpret_cast<Address>(rear_));
52 ASSERT(!rear_page->prev_page()->is_anchor());
yangguo@chromium.orgab30bb82012-02-24 14:41:46 +000053 rear_ = reinterpret_cast<intptr_t*>(rear_page->prev_page()->area_end());
danno@chromium.orgc612e022011-11-10 11:38:15 +000054 ActivateGuardIfOnTheSamePage();
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +000055 }
danno@chromium.orgc612e022011-11-10 11:38:15 +000056
57 if (guard_) {
58 ASSERT(GetHeadPage() ==
59 Page::FromAllocationTop(reinterpret_cast<Address>(limit_)));
60
61 if ((rear_ - 2) < limit_) {
62 RelocateQueueHead();
63 emergency_stack_->Add(Entry(target, size));
64 return;
65 }
66 }
67
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000068 *(--rear_) = reinterpret_cast<intptr_t>(target);
69 *(--rear_) = size;
70 // Assert no overflow into live objects.
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +000071#ifdef DEBUG
72 SemiSpace::AssertValidRange(HEAP->new_space()->top(),
73 reinterpret_cast<Address>(rear_));
74#endif
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000075}
76
77
danno@chromium.orgc612e022011-11-10 11:38:15 +000078void PromotionQueue::ActivateGuardIfOnTheSamePage() {
79 guard_ = guard_ ||
80 heap_->new_space()->active_space()->current_page()->address() ==
81 GetHeadPage()->address();
82}
83
84
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +000085MaybeObject* Heap::AllocateStringFromUtf8(Vector<const char> str,
86 PretenureFlag pretenure) {
87 // Check for ASCII first since this is the common case.
rossberg@chromium.org89e18f52012-10-22 13:09:53 +000088 const char* start = str.start();
89 int length = str.length();
90 int non_ascii_start = String::NonAsciiStart(start, length);
91 if (non_ascii_start >= length) {
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +000092 // If the string is ASCII, we do not need to convert the characters
93 // since UTF8 is backwards compatible with ASCII.
94 return AllocateStringFromAscii(str, pretenure);
95 }
96 // Non-ASCII and we need to decode.
rossberg@chromium.org89e18f52012-10-22 13:09:53 +000097 return AllocateStringFromUtf8Slow(str, non_ascii_start, pretenure);
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +000098}
99
100
lrn@chromium.org303ada72010-10-27 09:33:13 +0000101MaybeObject* Heap::AllocateSymbol(Vector<const char> str,
102 int chars,
103 uint32_t hash_field) {
ager@chromium.orga74f0da2008-12-03 16:05:52 +0000104 unibrow::Utf8InputBuffer<> buffer(str.start(),
105 static_cast<unsigned>(str.length()));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +0000106 return AllocateInternalSymbol(&buffer, chars, hash_field);
ager@chromium.orga74f0da2008-12-03 16:05:52 +0000107}
108
109
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +0000110MaybeObject* Heap::AllocateAsciiSymbol(Vector<const char> str,
111 uint32_t hash_field) {
112 if (str.length() > SeqAsciiString::kMaxLength) {
113 return Failure::OutOfMemoryException();
114 }
115 // Compute map and object size.
116 Map* map = ascii_symbol_map();
117 int size = SeqAsciiString::SizeFor(str.length());
118
119 // Allocate string.
120 Object* result;
yangguo@chromium.orgab30bb82012-02-24 14:41:46 +0000121 { MaybeObject* maybe_result = (size > Page::kMaxNonCodeHeapObjectSize)
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000122 ? lo_space_->AllocateRaw(size, NOT_EXECUTABLE)
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +0000123 : old_data_space_->AllocateRaw(size);
124 if (!maybe_result->ToObject(&result)) return maybe_result;
125 }
126
ricow@chromium.org64e3a4b2011-12-13 08:07:27 +0000127 // String maps are all immortal immovable objects.
128 reinterpret_cast<HeapObject*>(result)->set_map_no_write_barrier(map);
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +0000129 // Set length and hash fields of the allocated string.
130 String* answer = String::cast(result);
131 answer->set_length(str.length());
132 answer->set_hash_field(hash_field);
133
134 ASSERT_EQ(size, answer->Size());
135
136 // Fill in the characters.
137 memcpy(answer->address() + SeqAsciiString::kHeaderSize,
138 str.start(), str.length());
139
140 return answer;
141}
142
143
144MaybeObject* Heap::AllocateTwoByteSymbol(Vector<const uc16> str,
145 uint32_t hash_field) {
146 if (str.length() > SeqTwoByteString::kMaxLength) {
147 return Failure::OutOfMemoryException();
148 }
149 // Compute map and object size.
150 Map* map = symbol_map();
151 int size = SeqTwoByteString::SizeFor(str.length());
152
153 // Allocate string.
154 Object* result;
yangguo@chromium.orgab30bb82012-02-24 14:41:46 +0000155 { MaybeObject* maybe_result = (size > Page::kMaxNonCodeHeapObjectSize)
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000156 ? lo_space_->AllocateRaw(size, NOT_EXECUTABLE)
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +0000157 : old_data_space_->AllocateRaw(size);
158 if (!maybe_result->ToObject(&result)) return maybe_result;
159 }
160
161 reinterpret_cast<HeapObject*>(result)->set_map(map);
162 // Set length and hash fields of the allocated string.
163 String* answer = String::cast(result);
164 answer->set_length(str.length());
165 answer->set_hash_field(hash_field);
166
167 ASSERT_EQ(size, answer->Size());
168
169 // Fill in the characters.
170 memcpy(answer->address() + SeqTwoByteString::kHeaderSize,
171 str.start(), str.length() * kUC16Size);
172
173 return answer;
174}
175
lrn@chromium.org303ada72010-10-27 09:33:13 +0000176MaybeObject* Heap::CopyFixedArray(FixedArray* src) {
whesse@chromium.org4a1fe7d2010-09-27 12:32:04 +0000177 return CopyFixedArrayWithMap(src, src->map());
178}
179
180
ricow@chromium.org2c99e282011-07-28 09:15:17 +0000181MaybeObject* Heap::CopyFixedDoubleArray(FixedDoubleArray* src) {
182 return CopyFixedDoubleArrayWithMap(src, src->map());
183}
184
185
lrn@chromium.org303ada72010-10-27 09:33:13 +0000186MaybeObject* Heap::AllocateRaw(int size_in_bytes,
187 AllocationSpace space,
188 AllocationSpace retry_space) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000189 ASSERT(allocation_allowed_ && gc_state_ == NOT_IN_GC);
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000190 ASSERT(space != NEW_SPACE ||
191 retry_space == OLD_POINTER_SPACE ||
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000192 retry_space == OLD_DATA_SPACE ||
193 retry_space == LO_SPACE);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000194#ifdef DEBUG
195 if (FLAG_gc_interval >= 0 &&
196 !disallow_allocation_failure_ &&
197 Heap::allocation_timeout_-- <= 0) {
whesse@chromium.org4a5224e2010-10-20 12:37:07 +0000198 return Failure::RetryAfterGC(space);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000199 }
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000200 isolate_->counters()->objs_since_last_full()->Increment();
201 isolate_->counters()->objs_since_last_young()->Increment();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000202#endif
lrn@chromium.org303ada72010-10-27 09:33:13 +0000203 MaybeObject* result;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000204 if (NEW_SPACE == space) {
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000205 result = new_space_.AllocateRaw(size_in_bytes);
206 if (always_allocate() && result->IsFailure()) {
207 space = retry_space;
208 } else {
209 return result;
210 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000211 }
212
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000213 if (OLD_POINTER_SPACE == space) {
214 result = old_pointer_space_->AllocateRaw(size_in_bytes);
215 } else if (OLD_DATA_SPACE == space) {
216 result = old_data_space_->AllocateRaw(size_in_bytes);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000217 } else if (CODE_SPACE == space) {
218 result = code_space_->AllocateRaw(size_in_bytes);
219 } else if (LO_SPACE == space) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000220 result = lo_space_->AllocateRaw(size_in_bytes, NOT_EXECUTABLE);
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000221 } else if (CELL_SPACE == space) {
222 result = cell_space_->AllocateRaw(size_in_bytes);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000223 } else {
224 ASSERT(MAP_SPACE == space);
225 result = map_space_->AllocateRaw(size_in_bytes);
226 }
227 if (result->IsFailure()) old_gen_exhausted_ = true;
228 return result;
229}
230
231
erikcorry0ad885c2011-11-21 13:51:57 +0000232MaybeObject* Heap::NumberFromInt32(
233 int32_t value, PretenureFlag pretenure) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000234 if (Smi::IsValid(value)) return Smi::FromInt(value);
235 // Bypass NumberFromDouble to avoid various redundant checks.
erikcorry0ad885c2011-11-21 13:51:57 +0000236 return AllocateHeapNumber(FastI2D(value), pretenure);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000237}
238
239
erikcorry0ad885c2011-11-21 13:51:57 +0000240MaybeObject* Heap::NumberFromUint32(
241 uint32_t value, PretenureFlag pretenure) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000242 if ((int32_t)value >= 0 && Smi::IsValid((int32_t)value)) {
243 return Smi::FromInt((int32_t)value);
244 }
245 // Bypass NumberFromDouble to avoid various redundant checks.
erikcorry0ad885c2011-11-21 13:51:57 +0000246 return AllocateHeapNumber(FastUI2D(value), pretenure);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000247}
248
249
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000250void Heap::FinalizeExternalString(String* string) {
251 ASSERT(string->IsExternalString());
252 v8::String::ExternalStringResourceBase** resource_addr =
253 reinterpret_cast<v8::String::ExternalStringResourceBase**>(
254 reinterpret_cast<byte*>(string) +
255 ExternalString::kResourceOffset -
256 kHeapObjectTag);
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000257
vegorov@chromium.org2356e6f2010-06-09 09:38:56 +0000258 // Dispose of the C++ object if it has not already been disposed.
259 if (*resource_addr != NULL) {
260 (*resource_addr)->Dispose();
mstarzinger@chromium.org1b3afd12011-11-29 14:28:56 +0000261 *resource_addr = NULL;
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000262 }
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000263}
264
265
lrn@chromium.org303ada72010-10-27 09:33:13 +0000266MaybeObject* Heap::AllocateRawMap() {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000267#ifdef DEBUG
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000268 isolate_->counters()->objs_since_last_full()->Increment();
269 isolate_->counters()->objs_since_last_young()->Increment();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000270#endif
lrn@chromium.org303ada72010-10-27 09:33:13 +0000271 MaybeObject* result = map_space_->AllocateRaw(Map::kSize);
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000272 if (result->IsFailure()) old_gen_exhausted_ = true;
273 return result;
274}
275
276
lrn@chromium.org303ada72010-10-27 09:33:13 +0000277MaybeObject* Heap::AllocateRawCell() {
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000278#ifdef DEBUG
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000279 isolate_->counters()->objs_since_last_full()->Increment();
280 isolate_->counters()->objs_since_last_young()->Increment();
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000281#endif
lrn@chromium.org303ada72010-10-27 09:33:13 +0000282 MaybeObject* result = cell_space_->AllocateRaw(JSGlobalPropertyCell::kSize);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000283 if (result->IsFailure()) old_gen_exhausted_ = true;
284 return result;
285}
286
287
288bool Heap::InNewSpace(Object* object) {
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000289 bool result = new_space_.Contains(object);
290 ASSERT(!result || // Either not in new space
291 gc_state_ != NOT_IN_GC || // ... or in the middle of GC
292 InToSpace(object)); // ... or in to-space (where we allocate).
293 return result;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000294}
295
296
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000297bool Heap::InNewSpace(Address addr) {
298 return new_space_.Contains(addr);
299}
300
301
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000302bool Heap::InFromSpace(Object* object) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000303 return new_space_.FromSpaceContains(object);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000304}
305
306
307bool Heap::InToSpace(Object* object) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000308 return new_space_.ToSpaceContains(object);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000309}
310
311
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000312bool Heap::OldGenerationAllocationLimitReached() {
313 if (!incremental_marking()->IsStopped()) return false;
314 return OldGenerationSpaceAvailable() < 0;
315}
316
317
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000318bool Heap::ShouldBePromoted(Address old_address, int object_size) {
319 // An object should be promoted if:
320 // - the object has survived a scavenge operation or
321 // - to space is already 25% full.
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000322 NewSpacePage* page = NewSpacePage::FromAddress(old_address);
323 Address age_mark = new_space_.age_mark();
324 bool below_mark = page->IsFlagSet(MemoryChunk::NEW_SPACE_BELOW_AGE_MARK) &&
325 (!page->ContainsLimit(age_mark) || old_address < age_mark);
326 return below_mark || (new_space_.Size() + object_size) >=
327 (new_space_.EffectiveCapacity() >> 2);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000328}
329
330
331void Heap::RecordWrite(Address address, int offset) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000332 if (!InNewSpace(address)) store_buffer_.Mark(address + offset);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000333}
334
335
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000336void Heap::RecordWrites(Address address, int start, int len) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000337 if (!InNewSpace(address)) {
338 for (int i = 0; i < len; i++) {
339 store_buffer_.Mark(address + start + i * kPointerSize);
340 }
341 }
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000342}
343
344
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000345OldSpace* Heap::TargetSpace(HeapObject* object) {
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000346 InstanceType type = object->map()->instance_type();
347 AllocationSpace space = TargetSpaceId(type);
348 return (space == OLD_POINTER_SPACE)
349 ? old_pointer_space_
350 : old_data_space_;
351}
352
353
354AllocationSpace Heap::TargetSpaceId(InstanceType type) {
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000355 // Heap numbers and sequential strings are promoted to old data space, all
356 // other object types are promoted to old pointer space. We do not use
kasper.lund7276f142008-07-30 08:49:36 +0000357 // object->IsHeapNumber() and object->IsSeqString() because we already
358 // know that object has the heap object tag.
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000359
360 // These objects are never allocated in new space.
361 ASSERT(type != MAP_TYPE);
362 ASSERT(type != CODE_TYPE);
363 ASSERT(type != ODDBALL_TYPE);
364 ASSERT(type != JS_GLOBAL_PROPERTY_CELL_TYPE);
365
366 if (type < FIRST_NONSTRING_TYPE) {
ricow@chromium.org4668a2c2011-08-29 10:41:00 +0000367 // There are four string representations: sequential strings, external
368 // strings, cons strings, and sliced strings.
369 // Only the latter two contain non-map-word pointers to heap objects.
370 return ((type & kIsIndirectStringMask) == kIsIndirectStringTag)
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000371 ? OLD_POINTER_SPACE
372 : OLD_DATA_SPACE;
373 } else {
374 return (type <= LAST_DATA_TYPE) ? OLD_DATA_SPACE : OLD_POINTER_SPACE;
375 }
kasper.lund7276f142008-07-30 08:49:36 +0000376}
377
378
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000379void Heap::CopyBlock(Address dst, Address src, int byte_size) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000380 CopyWords(reinterpret_cast<Object**>(dst),
381 reinterpret_cast<Object**>(src),
382 byte_size / kPointerSize);
lrn@chromium.org25156de2010-04-06 13:10:27 +0000383}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000384
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000385
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000386void Heap::MoveBlock(Address dst, Address src, int byte_size) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000387 ASSERT(IsAligned(byte_size, kPointerSize));
whesse@chromium.orgb6e43bb2010-04-14 09:36:28 +0000388
389 int size_in_words = byte_size / kPointerSize;
390
ricow@chromium.org9fa09672011-07-25 11:05:35 +0000391 if ((dst < src) || (dst >= (src + byte_size))) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000392 Object** src_slot = reinterpret_cast<Object**>(src);
393 Object** dst_slot = reinterpret_cast<Object**>(dst);
394 Object** end_slot = src_slot + size_in_words;
whesse@chromium.orgb6e43bb2010-04-14 09:36:28 +0000395
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000396 while (src_slot != end_slot) {
397 *dst_slot++ = *src_slot++;
whesse@chromium.orgb6e43bb2010-04-14 09:36:28 +0000398 }
399 } else {
400 memmove(dst, src, byte_size);
401 }
402}
403
404
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000405void Heap::ScavengePointer(HeapObject** p) {
406 ScavengeObject(p, *p);
407}
408
409
kasperl@chromium.orgb3284ad2009-05-18 06:12:45 +0000410void Heap::ScavengeObject(HeapObject** p, HeapObject* object) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000411 ASSERT(HEAP->InFromSpace(object));
kasperl@chromium.orgb3284ad2009-05-18 06:12:45 +0000412
413 // We use the first word (where the map pointer usually is) of a heap
414 // object to record the forwarding pointer. A forwarding pointer can
415 // point to an old space, the code space, or the to space of the new
416 // generation.
417 MapWord first_word = object->map_word();
418
419 // If the first word is a forwarding address, the object has already been
420 // copied.
421 if (first_word.IsForwardingAddress()) {
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000422 HeapObject* dest = first_word.ToForwardingAddress();
423 ASSERT(HEAP->InFromSpace(*p));
424 *p = dest;
kasperl@chromium.orgb3284ad2009-05-18 06:12:45 +0000425 return;
426 }
427
428 // Call the slow part of scavenge object.
429 return ScavengeObjectSlow(p, object);
430}
431
432
rossberg@chromium.org994edf62012-02-06 10:12:55 +0000433bool Heap::CollectGarbage(AllocationSpace space, const char* gc_reason) {
434 const char* collector_reason = NULL;
435 GarbageCollector collector = SelectGarbageCollector(space, &collector_reason);
436 return CollectGarbage(space, collector, gc_reason, collector_reason);
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000437}
438
439
lrn@chromium.org303ada72010-10-27 09:33:13 +0000440MaybeObject* Heap::PrepareForCompare(String* str) {
fschneider@chromium.org086aac62010-03-17 13:18:24 +0000441 // Always flatten small strings and force flattening of long strings
442 // after we have accumulated a certain amount we failed to flatten.
443 static const int kMaxAlwaysFlattenLength = 32;
444 static const int kFlattenLongThreshold = 16*KB;
445
446 const int length = str->length();
lrn@chromium.org303ada72010-10-27 09:33:13 +0000447 MaybeObject* obj = str->TryFlatten();
fschneider@chromium.org086aac62010-03-17 13:18:24 +0000448 if (length <= kMaxAlwaysFlattenLength ||
kmillikin@chromium.org5d8f0e62010-03-24 08:21:20 +0000449 unflattened_strings_length_ >= kFlattenLongThreshold) {
fschneider@chromium.org086aac62010-03-17 13:18:24 +0000450 return obj;
451 }
452 if (obj->IsFailure()) {
kmillikin@chromium.org5d8f0e62010-03-24 08:21:20 +0000453 unflattened_strings_length_ += length;
fschneider@chromium.org086aac62010-03-17 13:18:24 +0000454 }
455 return str;
456}
457
458
jkummerow@chromium.org28faa982012-04-13 09:58:30 +0000459intptr_t Heap::AdjustAmountOfExternalAllocatedMemory(
460 intptr_t change_in_bytes) {
erik.corry@gmail.comf2038fb2012-01-16 11:42:08 +0000461 ASSERT(HasBeenSetUp());
jkummerow@chromium.org28faa982012-04-13 09:58:30 +0000462 intptr_t amount = amount_of_external_allocated_memory_ + change_in_bytes;
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000463 if (change_in_bytes >= 0) {
464 // Avoid overflow.
465 if (amount > amount_of_external_allocated_memory_) {
466 amount_of_external_allocated_memory_ = amount;
mstarzinger@chromium.org471f2f12012-08-10 14:46:33 +0000467 } else {
468 // Give up and reset the counters in case of an overflow.
469 amount_of_external_allocated_memory_ = 0;
470 amount_of_external_allocated_memory_at_last_global_gc_ = 0;
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000471 }
mstarzinger@chromium.org471f2f12012-08-10 14:46:33 +0000472 intptr_t amount_since_last_global_gc = PromotedExternalMemorySize();
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000473 if (amount_since_last_global_gc > external_allocation_limit_) {
rossberg@chromium.org994edf62012-02-06 10:12:55 +0000474 CollectAllGarbage(kNoGCFlags, "external memory allocation limit reached");
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000475 }
476 } else {
477 // Avoid underflow.
478 if (amount >= 0) {
479 amount_of_external_allocated_memory_ = amount;
mstarzinger@chromium.org471f2f12012-08-10 14:46:33 +0000480 } else {
481 // Give up and reset the counters in case of an overflow.
482 amount_of_external_allocated_memory_ = 0;
483 amount_of_external_allocated_memory_at_last_global_gc_ = 0;
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000484 }
485 }
mstarzinger@chromium.org471f2f12012-08-10 14:46:33 +0000486 if (FLAG_trace_external_memory) {
487 PrintPID("%8.0f ms: ", isolate()->time_millis_since_init());
488 PrintF("Adjust amount of external memory: delta=%6" V8_PTR_PREFIX "d KB, "
489 " amount=%6" V8_PTR_PREFIX "d KB, isolate=0x%08" V8PRIxPTR ".\n",
490 change_in_bytes / 1024, amount_of_external_allocated_memory_ / 1024,
491 reinterpret_cast<intptr_t>(isolate()));
492 }
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000493 ASSERT(amount_of_external_allocated_memory_ >= 0);
494 return amount_of_external_allocated_memory_;
495}
496
497
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000498void Heap::SetLastScriptId(Object* last_script_id) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000499 roots_[kLastScriptIdRootIndex] = last_script_id;
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000500}
501
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000502
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000503Isolate* Heap::isolate() {
504 return reinterpret_cast<Isolate*>(reinterpret_cast<intptr_t>(this) -
505 reinterpret_cast<size_t>(reinterpret_cast<Isolate*>(4)->heap()) + 4);
506}
507
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000508
whesse@chromium.org4a5224e2010-10-20 12:37:07 +0000509#ifdef DEBUG
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000510#define GC_GREEDY_CHECK() \
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000511 if (FLAG_gc_greedy) HEAP->GarbageCollectionGreedyCheck()
whesse@chromium.org4a5224e2010-10-20 12:37:07 +0000512#else
513#define GC_GREEDY_CHECK() { }
514#endif
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000515
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000516// Calls the FUNCTION_CALL function and retries it up to three times
517// to guarantee that any allocations performed during the call will
518// succeed if there's enough memory.
519
lrn@chromium.org303ada72010-10-27 09:33:13 +0000520// Warning: Do not use the identifiers __object__, __maybe_object__ or
521// __scope__ in a call to this macro.
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000522
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000523#define CALL_AND_RETRY(ISOLATE, FUNCTION_CALL, RETURN_VALUE, RETURN_EMPTY)\
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000524 do { \
525 GC_GREEDY_CHECK(); \
lrn@chromium.org303ada72010-10-27 09:33:13 +0000526 MaybeObject* __maybe_object__ = FUNCTION_CALL; \
527 Object* __object__ = NULL; \
528 if (__maybe_object__->ToObject(&__object__)) RETURN_VALUE; \
529 if (__maybe_object__->IsOutOfMemory()) { \
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000530 v8::internal::V8::FatalProcessOutOfMemory("CALL_AND_RETRY_0", true);\
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000531 } \
lrn@chromium.org303ada72010-10-27 09:33:13 +0000532 if (!__maybe_object__->IsRetryAfterGC()) RETURN_EMPTY; \
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000533 ISOLATE->heap()->CollectGarbage(Failure::cast(__maybe_object__)-> \
rossberg@chromium.org994edf62012-02-06 10:12:55 +0000534 allocation_space(), \
535 "allocation failure"); \
lrn@chromium.org303ada72010-10-27 09:33:13 +0000536 __maybe_object__ = FUNCTION_CALL; \
537 if (__maybe_object__->ToObject(&__object__)) RETURN_VALUE; \
538 if (__maybe_object__->IsOutOfMemory()) { \
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000539 v8::internal::V8::FatalProcessOutOfMemory("CALL_AND_RETRY_1", true);\
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000540 } \
lrn@chromium.org303ada72010-10-27 09:33:13 +0000541 if (!__maybe_object__->IsRetryAfterGC()) RETURN_EMPTY; \
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000542 ISOLATE->counters()->gc_last_resort_from_handles()->Increment(); \
rossberg@chromium.org994edf62012-02-06 10:12:55 +0000543 ISOLATE->heap()->CollectAllAvailableGarbage("last resort gc"); \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000544 { \
545 AlwaysAllocateScope __scope__; \
lrn@chromium.org303ada72010-10-27 09:33:13 +0000546 __maybe_object__ = FUNCTION_CALL; \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000547 } \
lrn@chromium.org303ada72010-10-27 09:33:13 +0000548 if (__maybe_object__->ToObject(&__object__)) RETURN_VALUE; \
549 if (__maybe_object__->IsOutOfMemory() || \
550 __maybe_object__->IsRetryAfterGC()) { \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000551 /* TODO(1181417): Fix this. */ \
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000552 v8::internal::V8::FatalProcessOutOfMemory("CALL_AND_RETRY_2", true);\
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000553 } \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000554 RETURN_EMPTY; \
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000555 } while (false)
556
557
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000558#define CALL_HEAP_FUNCTION(ISOLATE, FUNCTION_CALL, TYPE) \
559 CALL_AND_RETRY(ISOLATE, \
560 FUNCTION_CALL, \
561 return Handle<TYPE>(TYPE::cast(__object__), ISOLATE), \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000562 return Handle<TYPE>())
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000563
564
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000565#define CALL_HEAP_FUNCTION_VOID(ISOLATE, FUNCTION_CALL) \
566 CALL_AND_RETRY(ISOLATE, FUNCTION_CALL, return, return)
kasperl@chromium.orgb9123622008-09-17 14:05:56 +0000567
568
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000569#ifdef DEBUG
570
571inline bool Heap::allow_allocation(bool new_state) {
572 bool old = allocation_allowed_;
573 allocation_allowed_ = new_state;
574 return old;
575}
576
577#endif
578
579
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000580void ExternalStringTable::AddString(String* string) {
581 ASSERT(string->IsExternalString());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000582 if (heap_->InNewSpace(string)) {
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000583 new_space_strings_.Add(string);
584 } else {
585 old_space_strings_.Add(string);
586 }
587}
588
589
590void ExternalStringTable::Iterate(ObjectVisitor* v) {
591 if (!new_space_strings_.is_empty()) {
592 Object** start = &new_space_strings_[0];
593 v->VisitPointers(start, start + new_space_strings_.length());
594 }
595 if (!old_space_strings_.is_empty()) {
596 Object** start = &old_space_strings_[0];
597 v->VisitPointers(start, start + old_space_strings_.length());
598 }
599}
600
601
602// Verify() is inline to avoid ifdef-s around its calls in release
603// mode.
604void ExternalStringTable::Verify() {
605#ifdef DEBUG
606 for (int i = 0; i < new_space_strings_.length(); ++i) {
mstarzinger@chromium.org15613d02012-05-23 12:04:37 +0000607 Object* obj = Object::cast(new_space_strings_[i]);
608 // TODO(yangguo): check that the object is indeed an external string.
609 ASSERT(heap_->InNewSpace(obj));
610 ASSERT(obj != HEAP->raw_unchecked_the_hole_value());
611 if (obj->IsExternalAsciiString()) {
612 ExternalAsciiString* string = ExternalAsciiString::cast(obj);
613 ASSERT(String::IsAscii(string->GetChars(), string->length()));
614 }
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000615 }
616 for (int i = 0; i < old_space_strings_.length(); ++i) {
mstarzinger@chromium.org15613d02012-05-23 12:04:37 +0000617 Object* obj = Object::cast(old_space_strings_[i]);
618 // TODO(yangguo): check that the object is indeed an external string.
619 ASSERT(!heap_->InNewSpace(obj));
620 ASSERT(obj != HEAP->raw_unchecked_the_hole_value());
621 if (obj->IsExternalAsciiString()) {
622 ExternalAsciiString* string = ExternalAsciiString::cast(obj);
623 ASSERT(String::IsAscii(string->GetChars(), string->length()));
624 }
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000625 }
626#endif
627}
628
629
630void ExternalStringTable::AddOldString(String* string) {
631 ASSERT(string->IsExternalString());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000632 ASSERT(!heap_->InNewSpace(string));
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000633 old_space_strings_.Add(string);
634}
635
636
637void ExternalStringTable::ShrinkNewStrings(int position) {
638 new_space_strings_.Rewind(position);
svenpanne@chromium.orgc859c4f2012-10-15 11:51:39 +0000639#ifdef VERIFY_HEAP
erik.corry@gmail.com394dbcf2011-10-27 07:38:48 +0000640 if (FLAG_verify_heap) {
641 Verify();
642 }
svenpanne@chromium.orgc859c4f2012-10-15 11:51:39 +0000643#endif
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000644}
645
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000646
647void Heap::ClearInstanceofCache() {
648 set_instanceof_cache_function(the_hole_value());
649}
650
651
652Object* Heap::ToBoolean(bool condition) {
653 return condition ? true_value() : false_value();
654}
655
656
657void Heap::CompletelyClearInstanceofCache() {
658 set_instanceof_cache_map(the_hole_value());
659 set_instanceof_cache_function(the_hole_value());
660}
661
662
663MaybeObject* TranscendentalCache::Get(Type type, double input) {
664 SubCache* cache = caches_[type];
665 if (cache == NULL) {
666 caches_[type] = cache = new SubCache(type);
667 }
668 return cache->Get(input);
669}
670
671
672Address TranscendentalCache::cache_array_address() {
673 return reinterpret_cast<Address>(caches_);
674}
675
676
677double TranscendentalCache::SubCache::Calculate(double input) {
678 switch (type_) {
679 case ACOS:
680 return acos(input);
681 case ASIN:
682 return asin(input);
683 case ATAN:
684 return atan(input);
685 case COS:
ulan@chromium.org9a21ec42012-03-06 08:42:24 +0000686 return fast_cos(input);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000687 case EXP:
688 return exp(input);
689 case LOG:
ulan@chromium.org9a21ec42012-03-06 08:42:24 +0000690 return fast_log(input);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000691 case SIN:
ulan@chromium.org9a21ec42012-03-06 08:42:24 +0000692 return fast_sin(input);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000693 case TAN:
ulan@chromium.org9a21ec42012-03-06 08:42:24 +0000694 return fast_tan(input);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000695 default:
696 return 0.0; // Never happens.
697 }
698}
699
700
701MaybeObject* TranscendentalCache::SubCache::Get(double input) {
702 Converter c;
703 c.dbl = input;
704 int hash = Hash(c);
705 Element e = elements_[hash];
706 if (e.in[0] == c.integers[0] &&
707 e.in[1] == c.integers[1]) {
708 ASSERT(e.output != NULL);
709 isolate_->counters()->transcendental_cache_hit()->Increment();
710 return e.output;
711 }
712 double answer = Calculate(input);
713 isolate_->counters()->transcendental_cache_miss()->Increment();
714 Object* heap_number;
715 { MaybeObject* maybe_heap_number =
716 isolate_->heap()->AllocateHeapNumber(answer);
717 if (!maybe_heap_number->ToObject(&heap_number)) return maybe_heap_number;
718 }
719 elements_[hash].in[0] = c.integers[0];
720 elements_[hash].in[1] = c.integers[1];
721 elements_[hash].output = heap_number;
722 return heap_number;
723}
724
725
danno@chromium.orgfa458e42012-02-01 10:48:36 +0000726AlwaysAllocateScope::AlwaysAllocateScope() {
727 // We shouldn't hit any nested scopes, because that requires
728 // non-handle code to call handle code. The code still works but
729 // performance will degrade, so we want to catch this situation
730 // in debug mode.
731 ASSERT(HEAP->always_allocate_scope_depth_ == 0);
732 HEAP->always_allocate_scope_depth_++;
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000733}
734
735
danno@chromium.orgfa458e42012-02-01 10:48:36 +0000736AlwaysAllocateScope::~AlwaysAllocateScope() {
737 HEAP->always_allocate_scope_depth_--;
738 ASSERT(HEAP->always_allocate_scope_depth_ == 0);
739}
740
741
danno@chromium.orgfa458e42012-02-01 10:48:36 +0000742void VerifyPointersVisitor::VisitPointers(Object** start, Object** end) {
743 for (Object** current = start; current < end; current++) {
744 if ((*current)->IsHeapObject()) {
745 HeapObject* object = HeapObject::cast(*current);
svenpanne@chromium.orgc859c4f2012-10-15 11:51:39 +0000746 CHECK(HEAP->Contains(object));
747 CHECK(object->map()->IsMap());
danno@chromium.orgfa458e42012-02-01 10:48:36 +0000748 }
749 }
750}
danno@chromium.orgfa458e42012-02-01 10:48:36 +0000751
752
753double GCTracer::SizeOfHeapObjects() {
754 return (static_cast<double>(HEAP->SizeOfObjects())) / MB;
755}
756
757
danno@chromium.orgfa458e42012-02-01 10:48:36 +0000758DisallowAllocationFailure::DisallowAllocationFailure() {
jkummerow@chromium.org000f7fb2012-08-01 11:14:42 +0000759#ifdef DEBUG
danno@chromium.orgfa458e42012-02-01 10:48:36 +0000760 old_state_ = HEAP->disallow_allocation_failure_;
761 HEAP->disallow_allocation_failure_ = true;
jkummerow@chromium.org000f7fb2012-08-01 11:14:42 +0000762#endif
danno@chromium.orgfa458e42012-02-01 10:48:36 +0000763}
764
765
766DisallowAllocationFailure::~DisallowAllocationFailure() {
jkummerow@chromium.org000f7fb2012-08-01 11:14:42 +0000767#ifdef DEBUG
danno@chromium.orgfa458e42012-02-01 10:48:36 +0000768 HEAP->disallow_allocation_failure_ = old_state_;
danno@chromium.orgfa458e42012-02-01 10:48:36 +0000769#endif
jkummerow@chromium.org000f7fb2012-08-01 11:14:42 +0000770}
danno@chromium.orgfa458e42012-02-01 10:48:36 +0000771
772
773#ifdef DEBUG
774AssertNoAllocation::AssertNoAllocation() {
yangguo@chromium.org304cc332012-07-24 07:59:48 +0000775 Isolate* isolate = ISOLATE;
776 active_ = !isolate->optimizing_compiler_thread()->IsOptimizerThread();
777 if (active_) {
778 old_state_ = isolate->heap()->allow_allocation(false);
779 }
danno@chromium.orgfa458e42012-02-01 10:48:36 +0000780}
781
782
783AssertNoAllocation::~AssertNoAllocation() {
yangguo@chromium.org304cc332012-07-24 07:59:48 +0000784 if (active_) HEAP->allow_allocation(old_state_);
danno@chromium.orgfa458e42012-02-01 10:48:36 +0000785}
786
787
788DisableAssertNoAllocation::DisableAssertNoAllocation() {
yangguo@chromium.org304cc332012-07-24 07:59:48 +0000789 Isolate* isolate = ISOLATE;
790 active_ = !isolate->optimizing_compiler_thread()->IsOptimizerThread();
791 if (active_) {
792 old_state_ = isolate->heap()->allow_allocation(true);
793 }
danno@chromium.orgfa458e42012-02-01 10:48:36 +0000794}
795
796
797DisableAssertNoAllocation::~DisableAssertNoAllocation() {
yangguo@chromium.org304cc332012-07-24 07:59:48 +0000798 if (active_) HEAP->allow_allocation(old_state_);
danno@chromium.orgfa458e42012-02-01 10:48:36 +0000799}
800
801#else
802
803AssertNoAllocation::AssertNoAllocation() { }
804AssertNoAllocation::~AssertNoAllocation() { }
805DisableAssertNoAllocation::DisableAssertNoAllocation() { }
806DisableAssertNoAllocation::~DisableAssertNoAllocation() { }
807
808#endif
809
810
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000811} } // namespace v8::internal
812
813#endif // V8_HEAP_INL_H_