blob: eccd5ee2d3ddd461505ddb1984c677da92d4237d [file] [log] [blame]
ager@chromium.org9258b6b2008-09-11 09:11:10 +00001// Copyright 2006-2008 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
31#include "log.h"
32#include "v8-counters.h"
33
kasperl@chromium.org71affb52009-05-26 05:44:31 +000034namespace v8 {
35namespace internal {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000036
ager@chromium.org5aa501c2009-06-23 07:57:28 +000037int Heap::MaxObjectSizeInPagedSpace() {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000038 return Page::kMaxHeapObjectSize;
39}
40
41
ager@chromium.orga74f0da2008-12-03 16:05:52 +000042Object* Heap::AllocateSymbol(Vector<const char> str,
43 int chars,
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +000044 uint32_t hash_field) {
ager@chromium.orga74f0da2008-12-03 16:05:52 +000045 unibrow::Utf8InputBuffer<> buffer(str.start(),
46 static_cast<unsigned>(str.length()));
sgjesse@chromium.orgac6aa172009-12-04 12:29:05 +000047 return AllocateInternalSymbol(&buffer, chars, hash_field);
ager@chromium.orga74f0da2008-12-03 16:05:52 +000048}
49
50
ager@chromium.org9258b6b2008-09-11 09:11:10 +000051Object* Heap::AllocateRaw(int size_in_bytes,
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +000052 AllocationSpace space,
53 AllocationSpace retry_space) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000054 ASSERT(allocation_allowed_ && gc_state_ == NOT_IN_GC);
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +000055 ASSERT(space != NEW_SPACE ||
56 retry_space == OLD_POINTER_SPACE ||
57 retry_space == OLD_DATA_SPACE);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000058#ifdef DEBUG
59 if (FLAG_gc_interval >= 0 &&
60 !disallow_allocation_failure_ &&
61 Heap::allocation_timeout_-- <= 0) {
62 return Failure::RetryAfterGC(size_in_bytes, space);
63 }
64 Counters::objs_since_last_full.Increment();
65 Counters::objs_since_last_young.Increment();
66#endif
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +000067 Object* result;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000068 if (NEW_SPACE == space) {
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +000069 result = new_space_.AllocateRaw(size_in_bytes);
70 if (always_allocate() && result->IsFailure()) {
71 space = retry_space;
72 } else {
73 return result;
74 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000075 }
76
ager@chromium.org9258b6b2008-09-11 09:11:10 +000077 if (OLD_POINTER_SPACE == space) {
78 result = old_pointer_space_->AllocateRaw(size_in_bytes);
79 } else if (OLD_DATA_SPACE == space) {
80 result = old_data_space_->AllocateRaw(size_in_bytes);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000081 } else if (CODE_SPACE == space) {
82 result = code_space_->AllocateRaw(size_in_bytes);
83 } else if (LO_SPACE == space) {
84 result = lo_space_->AllocateRaw(size_in_bytes);
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +000085 } else if (CELL_SPACE == space) {
86 result = cell_space_->AllocateRaw(size_in_bytes);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000087 } else {
88 ASSERT(MAP_SPACE == space);
89 result = map_space_->AllocateRaw(size_in_bytes);
90 }
91 if (result->IsFailure()) old_gen_exhausted_ = true;
92 return result;
93}
94
95
96Object* Heap::NumberFromInt32(int32_t value) {
97 if (Smi::IsValid(value)) return Smi::FromInt(value);
98 // Bypass NumberFromDouble to avoid various redundant checks.
99 return AllocateHeapNumber(FastI2D(value));
100}
101
102
103Object* Heap::NumberFromUint32(uint32_t value) {
104 if ((int32_t)value >= 0 && Smi::IsValid((int32_t)value)) {
105 return Smi::FromInt((int32_t)value);
106 }
107 // Bypass NumberFromDouble to avoid various redundant checks.
108 return AllocateHeapNumber(FastUI2D(value));
109}
110
111
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000112Object* Heap::AllocateRawMap() {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000113#ifdef DEBUG
114 Counters::objs_since_last_full.Increment();
115 Counters::objs_since_last_young.Increment();
116#endif
kasperl@chromium.orgdefbd102009-07-13 14:04:26 +0000117 Object* result = map_space_->AllocateRaw(Map::kSize);
118 if (result->IsFailure()) old_gen_exhausted_ = true;
119 return result;
120}
121
122
123Object* Heap::AllocateRawCell() {
124#ifdef DEBUG
125 Counters::objs_since_last_full.Increment();
126 Counters::objs_since_last_young.Increment();
127#endif
128 Object* result = cell_space_->AllocateRaw(JSGlobalPropertyCell::kSize);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000129 if (result->IsFailure()) old_gen_exhausted_ = true;
130 return result;
131}
132
133
134bool Heap::InNewSpace(Object* object) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000135 return new_space_.Contains(object);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000136}
137
138
139bool Heap::InFromSpace(Object* object) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000140 return new_space_.FromSpaceContains(object);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000141}
142
143
144bool Heap::InToSpace(Object* object) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000145 return new_space_.ToSpaceContains(object);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000146}
147
148
149bool Heap::ShouldBePromoted(Address old_address, int object_size) {
150 // An object should be promoted if:
151 // - the object has survived a scavenge operation or
152 // - to space is already 25% full.
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000153 return old_address < new_space_.age_mark()
154 || (new_space_.Size() + object_size) >= (new_space_.Capacity() >> 2);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000155}
156
157
158void Heap::RecordWrite(Address address, int offset) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000159 if (new_space_.Contains(address)) return;
160 ASSERT(!new_space_.FromSpaceContains(address));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000161 SLOW_ASSERT(Contains(address + offset));
162 Page::SetRSet(address, offset);
163}
164
165
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000166OldSpace* Heap::TargetSpace(HeapObject* object) {
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000167 InstanceType type = object->map()->instance_type();
168 AllocationSpace space = TargetSpaceId(type);
169 return (space == OLD_POINTER_SPACE)
170 ? old_pointer_space_
171 : old_data_space_;
172}
173
174
175AllocationSpace Heap::TargetSpaceId(InstanceType type) {
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000176 // Heap numbers and sequential strings are promoted to old data space, all
177 // other object types are promoted to old pointer space. We do not use
kasper.lund7276f142008-07-30 08:49:36 +0000178 // object->IsHeapNumber() and object->IsSeqString() because we already
179 // know that object has the heap object tag.
kasper.lund7276f142008-07-30 08:49:36 +0000180 ASSERT((type != CODE_TYPE) && (type != MAP_TYPE));
181 bool has_pointers =
182 type != HEAP_NUMBER_TYPE &&
183 (type >= FIRST_NONSTRING_TYPE ||
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000184 (type & kStringRepresentationMask) != kSeqStringTag);
185 return has_pointers ? OLD_POINTER_SPACE : OLD_DATA_SPACE;
kasper.lund7276f142008-07-30 08:49:36 +0000186}
187
188
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000189void Heap::CopyBlock(Object** dst, Object** src, int byte_size) {
190 ASSERT(IsAligned(byte_size, kPointerSize));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000191
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000192 // Use block copying memcpy if the segment we're copying is
193 // enough to justify the extra call/setup overhead.
194 static const int kBlockCopyLimit = 16 * kPointerSize;
195
196 if (byte_size >= kBlockCopyLimit) {
197 memcpy(dst, src, byte_size);
198 } else {
199 int remaining = byte_size / kPointerSize;
200 do {
201 remaining--;
202 *dst++ = *src++;
203 } while (remaining > 0);
204 }
205}
206
207
kasperl@chromium.orgb3284ad2009-05-18 06:12:45 +0000208void Heap::ScavengeObject(HeapObject** p, HeapObject* object) {
209 ASSERT(InFromSpace(object));
210
211 // We use the first word (where the map pointer usually is) of a heap
212 // object to record the forwarding pointer. A forwarding pointer can
213 // point to an old space, the code space, or the to space of the new
214 // generation.
215 MapWord first_word = object->map_word();
216
217 // If the first word is a forwarding address, the object has already been
218 // copied.
219 if (first_word.IsForwardingAddress()) {
220 *p = first_word.ToForwardingAddress();
221 return;
222 }
223
224 // Call the slow part of scavenge object.
225 return ScavengeObjectSlow(p, object);
226}
227
228
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000229int Heap::AdjustAmountOfExternalAllocatedMemory(int change_in_bytes) {
230 ASSERT(HasBeenSetup());
231 int amount = amount_of_external_allocated_memory_ + change_in_bytes;
232 if (change_in_bytes >= 0) {
233 // Avoid overflow.
234 if (amount > amount_of_external_allocated_memory_) {
235 amount_of_external_allocated_memory_ = amount;
236 }
237 int amount_since_last_global_gc =
238 amount_of_external_allocated_memory_ -
239 amount_of_external_allocated_memory_at_last_global_gc_;
240 if (amount_since_last_global_gc > external_allocation_limit_) {
ager@chromium.orgab99eea2009-08-25 07:05:41 +0000241 CollectAllGarbage(false);
kasperl@chromium.orge959c182009-07-27 08:59:04 +0000242 }
243 } else {
244 // Avoid underflow.
245 if (amount >= 0) {
246 amount_of_external_allocated_memory_ = amount;
247 }
248 }
249 ASSERT(amount_of_external_allocated_memory_ >= 0);
250 return amount_of_external_allocated_memory_;
251}
252
253
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000254void Heap::SetLastScriptId(Object* last_script_id) {
kasperl@chromium.org68ac0092009-07-09 06:00:35 +0000255 roots_[kLastScriptIdRootIndex] = last_script_id;
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000256}
257
258
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000259#define GC_GREEDY_CHECK() \
260 ASSERT(!FLAG_gc_greedy || v8::internal::Heap::GarbageCollectionGreedyCheck())
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000261
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000262
263// Calls the FUNCTION_CALL function and retries it up to three times
264// to guarantee that any allocations performed during the call will
265// succeed if there's enough memory.
266
267// Warning: Do not use the identifiers __object__ or __scope__ in a
268// call to this macro.
269
270#define CALL_AND_RETRY(FUNCTION_CALL, RETURN_VALUE, RETURN_EMPTY) \
271 do { \
272 GC_GREEDY_CHECK(); \
273 Object* __object__ = FUNCTION_CALL; \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000274 if (!__object__->IsFailure()) RETURN_VALUE; \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000275 if (__object__->IsOutOfMemoryFailure()) { \
276 v8::internal::V8::FatalProcessOutOfMemory("CALL_AND_RETRY_0"); \
277 } \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000278 if (!__object__->IsRetryAfterGC()) RETURN_EMPTY; \
kasperl@chromium.org58870952008-10-30 14:34:19 +0000279 Heap::CollectGarbage(Failure::cast(__object__)->requested(), \
280 Failure::cast(__object__)->allocation_space()); \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000281 __object__ = FUNCTION_CALL; \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000282 if (!__object__->IsFailure()) RETURN_VALUE; \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000283 if (__object__->IsOutOfMemoryFailure()) { \
kasperl@chromium.org58870952008-10-30 14:34:19 +0000284 v8::internal::V8::FatalProcessOutOfMemory("CALL_AND_RETRY_1"); \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000285 } \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000286 if (!__object__->IsRetryAfterGC()) RETURN_EMPTY; \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000287 Counters::gc_last_resort_from_handles.Increment(); \
ager@chromium.orgab99eea2009-08-25 07:05:41 +0000288 Heap::CollectAllGarbage(false); \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000289 { \
290 AlwaysAllocateScope __scope__; \
291 __object__ = FUNCTION_CALL; \
292 } \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000293 if (!__object__->IsFailure()) RETURN_VALUE; \
ager@chromium.org9085a012009-05-11 19:22:57 +0000294 if (__object__->IsOutOfMemoryFailure() || \
295 __object__->IsRetryAfterGC()) { \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000296 /* TODO(1181417): Fix this. */ \
kasperl@chromium.org58870952008-10-30 14:34:19 +0000297 v8::internal::V8::FatalProcessOutOfMemory("CALL_AND_RETRY_2"); \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000298 } \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000299 RETURN_EMPTY; \
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000300 } while (false)
301
302
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000303#define CALL_HEAP_FUNCTION(FUNCTION_CALL, TYPE) \
304 CALL_AND_RETRY(FUNCTION_CALL, \
305 return Handle<TYPE>(TYPE::cast(__object__)), \
306 return Handle<TYPE>())
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000307
308
309#define CALL_HEAP_FUNCTION_VOID(FUNCTION_CALL) \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000310 CALL_AND_RETRY(FUNCTION_CALL, return, return)
kasperl@chromium.orgb9123622008-09-17 14:05:56 +0000311
312
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000313#ifdef DEBUG
314
315inline bool Heap::allow_allocation(bool new_state) {
316 bool old = allocation_allowed_;
317 allocation_allowed_ = new_state;
318 return old;
319}
320
321#endif
322
323
324} } // namespace v8::internal
325
326#endif // V8_HEAP_INL_H_