blob: 44faf751ab6d8c9e5ed49b3eed3af75501e2708f [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"
36
kasperl@chromium.org71affb52009-05-26 05:44:31 +000037namespace v8 {
38namespace internal {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000039
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +000040void PromotionQueue::insert(HeapObject* target, int size) {
41 *(--rear_) = reinterpret_cast<intptr_t>(target);
42 *(--rear_) = size;
43 // Assert no overflow into live objects.
44 ASSERT(reinterpret_cast<Address>(rear_) >= HEAP->new_space()->top());
45}
46
47
ager@chromium.org5aa501c2009-06-23 07:57:28 +000048int Heap::MaxObjectSizeInPagedSpace() {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000049 return Page::kMaxHeapObjectSize;
50}
51
52
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +000053MaybeObject* Heap::AllocateStringFromUtf8(Vector<const char> str,
54 PretenureFlag pretenure) {
55 // Check for ASCII first since this is the common case.
56 if (String::IsAscii(str.start(), str.length())) {
57 // If the string is ASCII, we do not need to convert the characters
58 // since UTF8 is backwards compatible with ASCII.
59 return AllocateStringFromAscii(str, pretenure);
60 }
61 // Non-ASCII and we need to decode.
62 return AllocateStringFromUtf8Slow(str, pretenure);
63}
64
65
lrn@chromium.org303ada72010-10-27 09:33:13 +000066MaybeObject* Heap::AllocateSymbol(Vector<const char> str,
67 int chars,
68 uint32_t hash_field) {
ager@chromium.orga74f0da2008-12-03 16:05:52 +000069 unibrow::Utf8InputBuffer<> buffer(str.start(),
70 static_cast<unsigned>(str.length()));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +000071 return AllocateInternalSymbol(&buffer, chars, hash_field);
ager@chromium.orga74f0da2008-12-03 16:05:52 +000072}
73
74
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +000075MaybeObject* Heap::AllocateAsciiSymbol(Vector<const char> str,
76 uint32_t hash_field) {
77 if (str.length() > SeqAsciiString::kMaxLength) {
78 return Failure::OutOfMemoryException();
79 }
80 // Compute map and object size.
81 Map* map = ascii_symbol_map();
82 int size = SeqAsciiString::SizeFor(str.length());
83
84 // Allocate string.
85 Object* result;
86 { MaybeObject* maybe_result = (size > MaxObjectSizeInPagedSpace())
87 ? lo_space_->AllocateRaw(size)
88 : old_data_space_->AllocateRaw(size);
89 if (!maybe_result->ToObject(&result)) return maybe_result;
90 }
91
92 reinterpret_cast<HeapObject*>(result)->set_map(map);
93 // Set length and hash fields of the allocated string.
94 String* answer = String::cast(result);
95 answer->set_length(str.length());
96 answer->set_hash_field(hash_field);
97
98 ASSERT_EQ(size, answer->Size());
99
100 // Fill in the characters.
101 memcpy(answer->address() + SeqAsciiString::kHeaderSize,
102 str.start(), str.length());
103
104 return answer;
105}
106
107
108MaybeObject* Heap::AllocateTwoByteSymbol(Vector<const uc16> str,
109 uint32_t hash_field) {
110 if (str.length() > SeqTwoByteString::kMaxLength) {
111 return Failure::OutOfMemoryException();
112 }
113 // Compute map and object size.
114 Map* map = symbol_map();
115 int size = SeqTwoByteString::SizeFor(str.length());
116
117 // Allocate string.
118 Object* result;
119 { MaybeObject* maybe_result = (size > MaxObjectSizeInPagedSpace())
120 ? lo_space_->AllocateRaw(size)
121 : old_data_space_->AllocateRaw(size);
122 if (!maybe_result->ToObject(&result)) return maybe_result;
123 }
124
125 reinterpret_cast<HeapObject*>(result)->set_map(map);
126 // Set length and hash fields of the allocated string.
127 String* answer = String::cast(result);
128 answer->set_length(str.length());
129 answer->set_hash_field(hash_field);
130
131 ASSERT_EQ(size, answer->Size());
132
133 // Fill in the characters.
134 memcpy(answer->address() + SeqTwoByteString::kHeaderSize,
135 str.start(), str.length() * kUC16Size);
136
137 return answer;
138}
139
lrn@chromium.org303ada72010-10-27 09:33:13 +0000140MaybeObject* Heap::CopyFixedArray(FixedArray* src) {
whesse@chromium.org4a1fe7d2010-09-27 12:32:04 +0000141 return CopyFixedArrayWithMap(src, src->map());
142}
143
144
lrn@chromium.org303ada72010-10-27 09:33:13 +0000145MaybeObject* Heap::AllocateRaw(int size_in_bytes,
146 AllocationSpace space,
147 AllocationSpace retry_space) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000148 ASSERT(allocation_allowed_ && gc_state_ == NOT_IN_GC);
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000149 ASSERT(space != NEW_SPACE ||
150 retry_space == OLD_POINTER_SPACE ||
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000151 retry_space == OLD_DATA_SPACE ||
152 retry_space == LO_SPACE);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000153#ifdef DEBUG
154 if (FLAG_gc_interval >= 0 &&
155 !disallow_allocation_failure_ &&
156 Heap::allocation_timeout_-- <= 0) {
whesse@chromium.org4a5224e2010-10-20 12:37:07 +0000157 return Failure::RetryAfterGC(space);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000158 }
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000159 isolate_->counters()->objs_since_last_full()->Increment();
160 isolate_->counters()->objs_since_last_young()->Increment();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000161#endif
lrn@chromium.org303ada72010-10-27 09:33:13 +0000162 MaybeObject* result;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000163 if (NEW_SPACE == space) {
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000164 result = new_space_.AllocateRaw(size_in_bytes);
165 if (always_allocate() && result->IsFailure()) {
166 space = retry_space;
167 } else {
168 return result;
169 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000170 }
171
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000172 if (OLD_POINTER_SPACE == space) {
173 result = old_pointer_space_->AllocateRaw(size_in_bytes);
174 } else if (OLD_DATA_SPACE == space) {
175 result = old_data_space_->AllocateRaw(size_in_bytes);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000176 } else if (CODE_SPACE == space) {
177 result = code_space_->AllocateRaw(size_in_bytes);
178 } else if (LO_SPACE == space) {
179 result = lo_space_->AllocateRaw(size_in_bytes);
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000180 } else if (CELL_SPACE == space) {
181 result = cell_space_->AllocateRaw(size_in_bytes);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000182 } else {
183 ASSERT(MAP_SPACE == space);
184 result = map_space_->AllocateRaw(size_in_bytes);
185 }
186 if (result->IsFailure()) old_gen_exhausted_ = true;
187 return result;
188}
189
190
lrn@chromium.org303ada72010-10-27 09:33:13 +0000191MaybeObject* Heap::NumberFromInt32(int32_t value) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000192 if (Smi::IsValid(value)) return Smi::FromInt(value);
193 // Bypass NumberFromDouble to avoid various redundant checks.
194 return AllocateHeapNumber(FastI2D(value));
195}
196
197
lrn@chromium.org303ada72010-10-27 09:33:13 +0000198MaybeObject* Heap::NumberFromUint32(uint32_t value) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000199 if ((int32_t)value >= 0 && Smi::IsValid((int32_t)value)) {
200 return Smi::FromInt((int32_t)value);
201 }
202 // Bypass NumberFromDouble to avoid various redundant checks.
203 return AllocateHeapNumber(FastUI2D(value));
204}
205
206
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000207void Heap::FinalizeExternalString(String* string) {
208 ASSERT(string->IsExternalString());
209 v8::String::ExternalStringResourceBase** resource_addr =
210 reinterpret_cast<v8::String::ExternalStringResourceBase**>(
211 reinterpret_cast<byte*>(string) +
212 ExternalString::kResourceOffset -
213 kHeapObjectTag);
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000214
vegorov@chromium.org2356e6f2010-06-09 09:38:56 +0000215 // Dispose of the C++ object if it has not already been disposed.
216 if (*resource_addr != NULL) {
217 (*resource_addr)->Dispose();
lrn@chromium.org1af7e1b2010-06-07 11:12:01 +0000218 }
219
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000220 // Clear the resource pointer in the string.
221 *resource_addr = NULL;
222}
223
224
lrn@chromium.org303ada72010-10-27 09:33:13 +0000225MaybeObject* Heap::AllocateRawMap() {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000226#ifdef DEBUG
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000227 isolate_->counters()->objs_since_last_full()->Increment();
228 isolate_->counters()->objs_since_last_young()->Increment();
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000229#endif
lrn@chromium.org303ada72010-10-27 09:33:13 +0000230 MaybeObject* result = map_space_->AllocateRaw(Map::kSize);
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000231 if (result->IsFailure()) old_gen_exhausted_ = true;
sgjesse@chromium.org846fb742009-12-18 08:56:33 +0000232#ifdef DEBUG
233 if (!result->IsFailure()) {
234 // Maps have their own alignment.
fschneider@chromium.org086aac62010-03-17 13:18:24 +0000235 CHECK((reinterpret_cast<intptr_t>(result) & kMapAlignmentMask) ==
236 static_cast<intptr_t>(kHeapObjectTag));
sgjesse@chromium.org846fb742009-12-18 08:56:33 +0000237 }
238#endif
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000239 return result;
240}
241
242
lrn@chromium.org303ada72010-10-27 09:33:13 +0000243MaybeObject* Heap::AllocateRawCell() {
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000244#ifdef DEBUG
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000245 isolate_->counters()->objs_since_last_full()->Increment();
246 isolate_->counters()->objs_since_last_young()->Increment();
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000247#endif
lrn@chromium.org303ada72010-10-27 09:33:13 +0000248 MaybeObject* result = cell_space_->AllocateRaw(JSGlobalPropertyCell::kSize);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000249 if (result->IsFailure()) old_gen_exhausted_ = true;
250 return result;
251}
252
253
254bool Heap::InNewSpace(Object* object) {
sgjesse@chromium.orgb302e562010-02-03 11:26:59 +0000255 bool result = new_space_.Contains(object);
256 ASSERT(!result || // Either not in new space
257 gc_state_ != NOT_IN_GC || // ... or in the middle of GC
258 InToSpace(object)); // ... or in to-space (where we allocate).
259 return result;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000260}
261
262
263bool Heap::InFromSpace(Object* object) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000264 return new_space_.FromSpaceContains(object);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000265}
266
267
268bool Heap::InToSpace(Object* object) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000269 return new_space_.ToSpaceContains(object);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000270}
271
272
273bool Heap::ShouldBePromoted(Address old_address, int object_size) {
274 // An object should be promoted if:
275 // - the object has survived a scavenge operation or
276 // - to space is already 25% full.
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000277 return old_address < new_space_.age_mark()
278 || (new_space_.Size() + object_size) >= (new_space_.Capacity() >> 2);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000279}
280
281
282void Heap::RecordWrite(Address address, int offset) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000283 if (new_space_.Contains(address)) return;
284 ASSERT(!new_space_.FromSpaceContains(address));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000285 SLOW_ASSERT(Contains(address + offset));
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000286 Page::FromAddress(address)->MarkRegionDirty(address + offset);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000287}
288
289
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000290void Heap::RecordWrites(Address address, int start, int len) {
291 if (new_space_.Contains(address)) return;
292 ASSERT(!new_space_.FromSpaceContains(address));
ager@chromium.org2cc82ae2010-06-14 07:35:38 +0000293 Page* page = Page::FromAddress(address);
294 page->SetRegionMarks(page->GetRegionMarks() |
295 page->GetRegionMaskForSpan(address + start, len * kPointerSize));
ager@chromium.orgce5e87b2010-03-10 10:24:18 +0000296}
297
298
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000299OldSpace* Heap::TargetSpace(HeapObject* object) {
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000300 InstanceType type = object->map()->instance_type();
301 AllocationSpace space = TargetSpaceId(type);
302 return (space == OLD_POINTER_SPACE)
303 ? old_pointer_space_
304 : old_data_space_;
305}
306
307
308AllocationSpace Heap::TargetSpaceId(InstanceType type) {
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000309 // Heap numbers and sequential strings are promoted to old data space, all
310 // other object types are promoted to old pointer space. We do not use
kasper.lund7276f142008-07-30 08:49:36 +0000311 // object->IsHeapNumber() and object->IsSeqString() because we already
312 // know that object has the heap object tag.
fschneider@chromium.org0c20e672010-01-14 15:28:53 +0000313
314 // These objects are never allocated in new space.
315 ASSERT(type != MAP_TYPE);
316 ASSERT(type != CODE_TYPE);
317 ASSERT(type != ODDBALL_TYPE);
318 ASSERT(type != JS_GLOBAL_PROPERTY_CELL_TYPE);
319
320 if (type < FIRST_NONSTRING_TYPE) {
321 // There are three string representations: sequential strings, cons
322 // strings, and external strings. Only cons strings contain
323 // non-map-word pointers to heap objects.
324 return ((type & kStringRepresentationMask) == kConsStringTag)
325 ? OLD_POINTER_SPACE
326 : OLD_DATA_SPACE;
327 } else {
328 return (type <= LAST_DATA_TYPE) ? OLD_DATA_SPACE : OLD_POINTER_SPACE;
329 }
kasper.lund7276f142008-07-30 08:49:36 +0000330}
331
332
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000333void Heap::CopyBlock(Address dst, Address src, int byte_size) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000334 ASSERT(IsAligned(byte_size, kPointerSize));
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000335 CopyWords(reinterpret_cast<Object**>(dst),
336 reinterpret_cast<Object**>(src),
337 byte_size / kPointerSize);
lrn@chromium.org25156de2010-04-06 13:10:27 +0000338}
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000339
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000340
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000341void Heap::CopyBlockToOldSpaceAndUpdateRegionMarks(Address dst,
342 Address src,
343 int byte_size) {
344 ASSERT(IsAligned(byte_size, kPointerSize));
345
346 Page* page = Page::FromAddress(dst);
347 uint32_t marks = page->GetRegionMarks();
348
349 for (int remaining = byte_size / kPointerSize;
350 remaining > 0;
351 remaining--) {
352 Memory::Object_at(dst) = Memory::Object_at(src);
353
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000354 if (InNewSpace(Memory::Object_at(dst))) {
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000355 marks |= page->GetRegionMaskForAddress(dst);
356 }
357
358 dst += kPointerSize;
359 src += kPointerSize;
360 }
361
362 page->SetRegionMarks(marks);
363}
364
365
366void Heap::MoveBlock(Address dst, Address src, int byte_size) {
ricow@chromium.orgc9c80822010-04-21 08:22:37 +0000367 ASSERT(IsAligned(byte_size, kPointerSize));
whesse@chromium.orgb6e43bb2010-04-14 09:36:28 +0000368
369 int size_in_words = byte_size / kPointerSize;
370
371 if ((dst < src) || (dst >= (src + size_in_words))) {
372 ASSERT((dst >= (src + size_in_words)) ||
373 ((OffsetFrom(reinterpret_cast<Address>(src)) -
374 OffsetFrom(reinterpret_cast<Address>(dst))) >= kPointerSize));
375
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000376 Object** src_slot = reinterpret_cast<Object**>(src);
377 Object** dst_slot = reinterpret_cast<Object**>(dst);
378 Object** end_slot = src_slot + size_in_words;
whesse@chromium.orgb6e43bb2010-04-14 09:36:28 +0000379
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000380 while (src_slot != end_slot) {
381 *dst_slot++ = *src_slot++;
whesse@chromium.orgb6e43bb2010-04-14 09:36:28 +0000382 }
383 } else {
384 memmove(dst, src, byte_size);
385 }
386}
387
388
ricow@chromium.org30ce4112010-05-31 10:38:25 +0000389void Heap::MoveBlockToOldSpaceAndUpdateRegionMarks(Address dst,
390 Address src,
391 int byte_size) {
392 ASSERT(IsAligned(byte_size, kPointerSize));
393 ASSERT((dst >= (src + byte_size)) ||
394 ((OffsetFrom(src) - OffsetFrom(dst)) >= kPointerSize));
395
396 CopyBlockToOldSpaceAndUpdateRegionMarks(dst, src, byte_size);
397}
398
399
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000400void Heap::ScavengePointer(HeapObject** p) {
401 ScavengeObject(p, *p);
402}
403
404
kasperl@chromium.orgb3284ad2009-05-18 06:12:45 +0000405void Heap::ScavengeObject(HeapObject** p, HeapObject* object) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000406 ASSERT(HEAP->InFromSpace(object));
kasperl@chromium.orgb3284ad2009-05-18 06:12:45 +0000407
408 // We use the first word (where the map pointer usually is) of a heap
409 // object to record the forwarding pointer. A forwarding pointer can
410 // point to an old space, the code space, or the to space of the new
411 // generation.
412 MapWord first_word = object->map_word();
413
414 // If the first word is a forwarding address, the object has already been
415 // copied.
416 if (first_word.IsForwardingAddress()) {
417 *p = first_word.ToForwardingAddress();
418 return;
419 }
420
421 // Call the slow part of scavenge object.
422 return ScavengeObjectSlow(p, object);
423}
424
425
whesse@chromium.orgf0ac72d2010-11-08 12:47:26 +0000426bool Heap::CollectGarbage(AllocationSpace space) {
427 return CollectGarbage(space, SelectGarbageCollector(space));
428}
429
430
lrn@chromium.org303ada72010-10-27 09:33:13 +0000431MaybeObject* Heap::PrepareForCompare(String* str) {
fschneider@chromium.org086aac62010-03-17 13:18:24 +0000432 // Always flatten small strings and force flattening of long strings
433 // after we have accumulated a certain amount we failed to flatten.
434 static const int kMaxAlwaysFlattenLength = 32;
435 static const int kFlattenLongThreshold = 16*KB;
436
437 const int length = str->length();
lrn@chromium.org303ada72010-10-27 09:33:13 +0000438 MaybeObject* obj = str->TryFlatten();
fschneider@chromium.org086aac62010-03-17 13:18:24 +0000439 if (length <= kMaxAlwaysFlattenLength ||
kmillikin@chromium.org5d8f0e62010-03-24 08:21:20 +0000440 unflattened_strings_length_ >= kFlattenLongThreshold) {
fschneider@chromium.org086aac62010-03-17 13:18:24 +0000441 return obj;
442 }
443 if (obj->IsFailure()) {
kmillikin@chromium.org5d8f0e62010-03-24 08:21:20 +0000444 unflattened_strings_length_ += length;
fschneider@chromium.org086aac62010-03-17 13:18:24 +0000445 }
446 return str;
447}
448
449
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000450int Heap::AdjustAmountOfExternalAllocatedMemory(int change_in_bytes) {
451 ASSERT(HasBeenSetup());
452 int amount = amount_of_external_allocated_memory_ + change_in_bytes;
453 if (change_in_bytes >= 0) {
454 // Avoid overflow.
455 if (amount > amount_of_external_allocated_memory_) {
456 amount_of_external_allocated_memory_ = amount;
457 }
458 int amount_since_last_global_gc =
459 amount_of_external_allocated_memory_ -
460 amount_of_external_allocated_memory_at_last_global_gc_;
461 if (amount_since_last_global_gc > external_allocation_limit_) {
ager@chromium.orgab99eea2009-08-25 07:05:41 +0000462 CollectAllGarbage(false);
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000463 }
464 } else {
465 // Avoid underflow.
466 if (amount >= 0) {
467 amount_of_external_allocated_memory_ = amount;
468 }
469 }
470 ASSERT(amount_of_external_allocated_memory_ >= 0);
471 return amount_of_external_allocated_memory_;
472}
473
474
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000475void Heap::SetLastScriptId(Object* last_script_id) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000476 roots_[kLastScriptIdRootIndex] = last_script_id;
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000477}
478
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000479Isolate* Heap::isolate() {
480 return reinterpret_cast<Isolate*>(reinterpret_cast<intptr_t>(this) -
481 reinterpret_cast<size_t>(reinterpret_cast<Isolate*>(4)->heap()) + 4);
482}
483
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000484
whesse@chromium.org4a5224e2010-10-20 12:37:07 +0000485#ifdef DEBUG
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000486#define GC_GREEDY_CHECK() \
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000487 if (FLAG_gc_greedy) HEAP->GarbageCollectionGreedyCheck()
whesse@chromium.org4a5224e2010-10-20 12:37:07 +0000488#else
489#define GC_GREEDY_CHECK() { }
490#endif
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000491
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000492
493// Calls the FUNCTION_CALL function and retries it up to three times
494// to guarantee that any allocations performed during the call will
495// succeed if there's enough memory.
496
lrn@chromium.org303ada72010-10-27 09:33:13 +0000497// Warning: Do not use the identifiers __object__, __maybe_object__ or
498// __scope__ in a call to this macro.
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000499
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000500#define CALL_AND_RETRY(ISOLATE, FUNCTION_CALL, RETURN_VALUE, RETURN_EMPTY)\
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000501 do { \
502 GC_GREEDY_CHECK(); \
lrn@chromium.org303ada72010-10-27 09:33:13 +0000503 MaybeObject* __maybe_object__ = FUNCTION_CALL; \
504 Object* __object__ = NULL; \
505 if (__maybe_object__->ToObject(&__object__)) RETURN_VALUE; \
506 if (__maybe_object__->IsOutOfMemory()) { \
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000507 v8::internal::V8::FatalProcessOutOfMemory("CALL_AND_RETRY_0", true);\
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000508 } \
lrn@chromium.org303ada72010-10-27 09:33:13 +0000509 if (!__maybe_object__->IsRetryAfterGC()) RETURN_EMPTY; \
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000510 ISOLATE->heap()->CollectGarbage(Failure::cast(__maybe_object__)-> \
511 allocation_space()); \
lrn@chromium.org303ada72010-10-27 09:33:13 +0000512 __maybe_object__ = FUNCTION_CALL; \
513 if (__maybe_object__->ToObject(&__object__)) RETURN_VALUE; \
514 if (__maybe_object__->IsOutOfMemory()) { \
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000515 v8::internal::V8::FatalProcessOutOfMemory("CALL_AND_RETRY_1", true);\
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000516 } \
lrn@chromium.org303ada72010-10-27 09:33:13 +0000517 if (!__maybe_object__->IsRetryAfterGC()) RETURN_EMPTY; \
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000518 ISOLATE->counters()->gc_last_resort_from_handles()->Increment(); \
519 ISOLATE->heap()->CollectAllAvailableGarbage(); \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000520 { \
521 AlwaysAllocateScope __scope__; \
lrn@chromium.org303ada72010-10-27 09:33:13 +0000522 __maybe_object__ = FUNCTION_CALL; \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000523 } \
lrn@chromium.org303ada72010-10-27 09:33:13 +0000524 if (__maybe_object__->ToObject(&__object__)) RETURN_VALUE; \
525 if (__maybe_object__->IsOutOfMemory() || \
526 __maybe_object__->IsRetryAfterGC()) { \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000527 /* TODO(1181417): Fix this. */ \
lrn@chromium.orgc4e51ac2010-08-09 09:47:21 +0000528 v8::internal::V8::FatalProcessOutOfMemory("CALL_AND_RETRY_2", true);\
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000529 } \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000530 RETURN_EMPTY; \
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000531 } while (false)
532
533
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000534// TODO(isolates): cache isolate: either accept as a parameter or
535// set to some known symbol (__CUR_ISOLATE__?)
536#define CALL_HEAP_FUNCTION(ISOLATE, FUNCTION_CALL, TYPE) \
537 CALL_AND_RETRY(ISOLATE, \
538 FUNCTION_CALL, \
539 return Handle<TYPE>(TYPE::cast(__object__), ISOLATE), \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000540 return Handle<TYPE>())
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000541
542
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000543#define CALL_HEAP_FUNCTION_VOID(ISOLATE, FUNCTION_CALL) \
544 CALL_AND_RETRY(ISOLATE, FUNCTION_CALL, return, return)
kasperl@chromium.orgb9123622008-09-17 14:05:56 +0000545
546
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000547#ifdef DEBUG
548
549inline bool Heap::allow_allocation(bool new_state) {
550 bool old = allocation_allowed_;
551 allocation_allowed_ = new_state;
552 return old;
553}
554
555#endif
556
557
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000558void ExternalStringTable::AddString(String* string) {
559 ASSERT(string->IsExternalString());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000560 if (heap_->InNewSpace(string)) {
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000561 new_space_strings_.Add(string);
562 } else {
563 old_space_strings_.Add(string);
564 }
565}
566
567
568void ExternalStringTable::Iterate(ObjectVisitor* v) {
569 if (!new_space_strings_.is_empty()) {
570 Object** start = &new_space_strings_[0];
571 v->VisitPointers(start, start + new_space_strings_.length());
572 }
573 if (!old_space_strings_.is_empty()) {
574 Object** start = &old_space_strings_[0];
575 v->VisitPointers(start, start + old_space_strings_.length());
576 }
577}
578
579
580// Verify() is inline to avoid ifdef-s around its calls in release
581// mode.
582void ExternalStringTable::Verify() {
583#ifdef DEBUG
584 for (int i = 0; i < new_space_strings_.length(); ++i) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000585 ASSERT(heap_->InNewSpace(new_space_strings_[i]));
586 ASSERT(new_space_strings_[i] != HEAP->raw_unchecked_null_value());
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000587 }
588 for (int i = 0; i < old_space_strings_.length(); ++i) {
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000589 ASSERT(!heap_->InNewSpace(old_space_strings_[i]));
590 ASSERT(old_space_strings_[i] != HEAP->raw_unchecked_null_value());
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000591 }
592#endif
593}
594
595
596void ExternalStringTable::AddOldString(String* string) {
597 ASSERT(string->IsExternalString());
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000598 ASSERT(!heap_->InNewSpace(string));
kmillikin@chromium.org13bd2942009-12-16 15:36:05 +0000599 old_space_strings_.Add(string);
600}
601
602
603void ExternalStringTable::ShrinkNewStrings(int position) {
604 new_space_strings_.Rewind(position);
605 Verify();
606}
607
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000608
609void Heap::ClearInstanceofCache() {
610 set_instanceof_cache_function(the_hole_value());
611}
612
613
614Object* Heap::ToBoolean(bool condition) {
615 return condition ? true_value() : false_value();
616}
617
618
619void Heap::CompletelyClearInstanceofCache() {
620 set_instanceof_cache_map(the_hole_value());
621 set_instanceof_cache_function(the_hole_value());
622}
623
624
625MaybeObject* TranscendentalCache::Get(Type type, double input) {
626 SubCache* cache = caches_[type];
627 if (cache == NULL) {
628 caches_[type] = cache = new SubCache(type);
629 }
630 return cache->Get(input);
631}
632
633
634Address TranscendentalCache::cache_array_address() {
635 return reinterpret_cast<Address>(caches_);
636}
637
638
639double TranscendentalCache::SubCache::Calculate(double input) {
640 switch (type_) {
641 case ACOS:
642 return acos(input);
643 case ASIN:
644 return asin(input);
645 case ATAN:
646 return atan(input);
647 case COS:
648 return cos(input);
649 case EXP:
650 return exp(input);
651 case LOG:
652 return log(input);
653 case SIN:
654 return sin(input);
655 case TAN:
656 return tan(input);
657 default:
658 return 0.0; // Never happens.
659 }
660}
661
662
663MaybeObject* TranscendentalCache::SubCache::Get(double input) {
664 Converter c;
665 c.dbl = input;
666 int hash = Hash(c);
667 Element e = elements_[hash];
668 if (e.in[0] == c.integers[0] &&
669 e.in[1] == c.integers[1]) {
670 ASSERT(e.output != NULL);
671 isolate_->counters()->transcendental_cache_hit()->Increment();
672 return e.output;
673 }
674 double answer = Calculate(input);
675 isolate_->counters()->transcendental_cache_miss()->Increment();
676 Object* heap_number;
677 { MaybeObject* maybe_heap_number =
678 isolate_->heap()->AllocateHeapNumber(answer);
679 if (!maybe_heap_number->ToObject(&heap_number)) return maybe_heap_number;
680 }
681 elements_[hash].in[0] = c.integers[0];
682 elements_[hash].in[1] = c.integers[1];
683 elements_[hash].output = heap_number;
684 return heap_number;
685}
686
687
688Heap* _inline_get_heap_() {
689 return HEAP;
690}
691
692
693void MarkCompactCollector::SetMark(HeapObject* obj) {
694 tracer_->increment_marked_count();
695#ifdef DEBUG
696 UpdateLiveObjectCount(obj);
697#endif
698 obj->SetMark();
699}
700
701
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000702} } // namespace v8::internal
703
704#endif // V8_HEAP_INL_H_