blob: 3d734e94dfeb1728190712f8b18099290d871e87 [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
34namespace v8 { namespace internal {
35
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000036int Heap::MaxHeapObjectSize() {
37 return Page::kMaxHeapObjectSize;
38}
39
40
ager@chromium.orga74f0da2008-12-03 16:05:52 +000041Object* Heap::AllocateSymbol(Vector<const char> str,
42 int chars,
43 uint32_t length_field) {
ager@chromium.orga74f0da2008-12-03 16:05:52 +000044 unibrow::Utf8InputBuffer<> buffer(str.start(),
45 static_cast<unsigned>(str.length()));
46 return AllocateInternalSymbol(&buffer, chars, length_field);
47}
48
49
ager@chromium.org9258b6b2008-09-11 09:11:10 +000050Object* Heap::AllocateRaw(int size_in_bytes,
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +000051 AllocationSpace space,
52 AllocationSpace retry_space) {
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000053 ASSERT(allocation_allowed_ && gc_state_ == NOT_IN_GC);
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +000054 ASSERT(space != NEW_SPACE ||
55 retry_space == OLD_POINTER_SPACE ||
56 retry_space == OLD_DATA_SPACE);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000057#ifdef DEBUG
58 if (FLAG_gc_interval >= 0 &&
59 !disallow_allocation_failure_ &&
60 Heap::allocation_timeout_-- <= 0) {
61 return Failure::RetryAfterGC(size_in_bytes, space);
62 }
63 Counters::objs_since_last_full.Increment();
64 Counters::objs_since_last_young.Increment();
65#endif
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +000066 Object* result;
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000067 if (NEW_SPACE == space) {
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +000068 result = new_space_.AllocateRaw(size_in_bytes);
69 if (always_allocate() && result->IsFailure()) {
70 space = retry_space;
71 } else {
72 return result;
73 }
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000074 }
75
ager@chromium.org9258b6b2008-09-11 09:11:10 +000076 if (OLD_POINTER_SPACE == space) {
77 result = old_pointer_space_->AllocateRaw(size_in_bytes);
78 } else if (OLD_DATA_SPACE == space) {
79 result = old_data_space_->AllocateRaw(size_in_bytes);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +000080 } else if (CODE_SPACE == space) {
81 result = code_space_->AllocateRaw(size_in_bytes);
82 } else if (LO_SPACE == space) {
83 result = lo_space_->AllocateRaw(size_in_bytes);
84 } else {
85 ASSERT(MAP_SPACE == space);
86 result = map_space_->AllocateRaw(size_in_bytes);
87 }
88 if (result->IsFailure()) old_gen_exhausted_ = true;
89 return result;
90}
91
92
93Object* Heap::NumberFromInt32(int32_t value) {
94 if (Smi::IsValid(value)) return Smi::FromInt(value);
95 // Bypass NumberFromDouble to avoid various redundant checks.
96 return AllocateHeapNumber(FastI2D(value));
97}
98
99
100Object* Heap::NumberFromUint32(uint32_t value) {
101 if ((int32_t)value >= 0 && Smi::IsValid((int32_t)value)) {
102 return Smi::FromInt((int32_t)value);
103 }
104 // Bypass NumberFromDouble to avoid various redundant checks.
105 return AllocateHeapNumber(FastUI2D(value));
106}
107
108
109Object* Heap::AllocateRawMap(int size_in_bytes) {
110#ifdef DEBUG
111 Counters::objs_since_last_full.Increment();
112 Counters::objs_since_last_young.Increment();
113#endif
114 Object* result = map_space_->AllocateRaw(size_in_bytes);
115 if (result->IsFailure()) old_gen_exhausted_ = true;
116 return result;
117}
118
119
120bool Heap::InNewSpace(Object* object) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000121 return new_space_.Contains(object);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000122}
123
124
125bool Heap::InFromSpace(Object* object) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000126 return new_space_.FromSpaceContains(object);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000127}
128
129
130bool Heap::InToSpace(Object* object) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000131 return new_space_.ToSpaceContains(object);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000132}
133
134
135bool Heap::ShouldBePromoted(Address old_address, int object_size) {
136 // An object should be promoted if:
137 // - the object has survived a scavenge operation or
138 // - to space is already 25% full.
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000139 return old_address < new_space_.age_mark()
140 || (new_space_.Size() + object_size) >= (new_space_.Capacity() >> 2);
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000141}
142
143
144void Heap::RecordWrite(Address address, int offset) {
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000145 if (new_space_.Contains(address)) return;
146 ASSERT(!new_space_.FromSpaceContains(address));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000147 SLOW_ASSERT(Contains(address + offset));
148 Page::SetRSet(address, offset);
149}
150
151
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000152OldSpace* Heap::TargetSpace(HeapObject* object) {
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000153 InstanceType type = object->map()->instance_type();
154 AllocationSpace space = TargetSpaceId(type);
155 return (space == OLD_POINTER_SPACE)
156 ? old_pointer_space_
157 : old_data_space_;
158}
159
160
161AllocationSpace Heap::TargetSpaceId(InstanceType type) {
ager@chromium.org9258b6b2008-09-11 09:11:10 +0000162 // Heap numbers and sequential strings are promoted to old data space, all
163 // other object types are promoted to old pointer space. We do not use
kasper.lund7276f142008-07-30 08:49:36 +0000164 // object->IsHeapNumber() and object->IsSeqString() because we already
165 // know that object has the heap object tag.
kasper.lund7276f142008-07-30 08:49:36 +0000166 ASSERT((type != CODE_TYPE) && (type != MAP_TYPE));
167 bool has_pointers =
168 type != HEAP_NUMBER_TYPE &&
169 (type >= FIRST_NONSTRING_TYPE ||
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000170 (type & kStringRepresentationMask) != kSeqStringTag);
171 return has_pointers ? OLD_POINTER_SPACE : OLD_DATA_SPACE;
kasper.lund7276f142008-07-30 08:49:36 +0000172}
173
174
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000175void Heap::CopyBlock(Object** dst, Object** src, int byte_size) {
176 ASSERT(IsAligned(byte_size, kPointerSize));
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000177
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000178 // Use block copying memcpy if the segment we're copying is
179 // enough to justify the extra call/setup overhead.
180 static const int kBlockCopyLimit = 16 * kPointerSize;
181
182 if (byte_size >= kBlockCopyLimit) {
183 memcpy(dst, src, byte_size);
184 } else {
185 int remaining = byte_size / kPointerSize;
186 do {
187 remaining--;
188 *dst++ = *src++;
189 } while (remaining > 0);
190 }
191}
192
193
kasperl@chromium.orgb3284ad2009-05-18 06:12:45 +0000194void Heap::ScavengeObject(HeapObject** p, HeapObject* object) {
195 ASSERT(InFromSpace(object));
196
197 // We use the first word (where the map pointer usually is) of a heap
198 // object to record the forwarding pointer. A forwarding pointer can
199 // point to an old space, the code space, or the to space of the new
200 // generation.
201 MapWord first_word = object->map_word();
202
203 // If the first word is a forwarding address, the object has already been
204 // copied.
205 if (first_word.IsForwardingAddress()) {
206 *p = first_word.ToForwardingAddress();
207 return;
208 }
209
210 // Call the slow part of scavenge object.
211 return ScavengeObjectSlow(p, object);
212}
213
214
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000215Object* Heap::GetKeyedLookupCache() {
216 if (keyed_lookup_cache()->IsUndefined()) {
217 Object* obj = LookupCache::Allocate(4);
218 if (obj->IsFailure()) return obj;
219 keyed_lookup_cache_ = obj;
220 }
221 return keyed_lookup_cache();
222}
223
224
225void Heap::SetKeyedLookupCache(LookupCache* cache) {
226 keyed_lookup_cache_ = cache;
227}
228
229
230void Heap::ClearKeyedLookupCache() {
231 keyed_lookup_cache_ = undefined_value();
232}
233
234
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000235void Heap::SetLastScriptId(Object* last_script_id) {
236 last_script_id_ = last_script_id;
237}
238
239
kasperl@chromium.org5a8ca6c2008-10-23 13:57:19 +0000240#define GC_GREEDY_CHECK() \
241 ASSERT(!FLAG_gc_greedy || v8::internal::Heap::GarbageCollectionGreedyCheck())
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000242
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000243
244// Calls the FUNCTION_CALL function and retries it up to three times
245// to guarantee that any allocations performed during the call will
246// succeed if there's enough memory.
247
248// Warning: Do not use the identifiers __object__ or __scope__ in a
249// call to this macro.
250
251#define CALL_AND_RETRY(FUNCTION_CALL, RETURN_VALUE, RETURN_EMPTY) \
252 do { \
253 GC_GREEDY_CHECK(); \
254 Object* __object__ = FUNCTION_CALL; \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000255 if (!__object__->IsFailure()) RETURN_VALUE; \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000256 if (__object__->IsOutOfMemoryFailure()) { \
257 v8::internal::V8::FatalProcessOutOfMemory("CALL_AND_RETRY_0"); \
258 } \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000259 if (!__object__->IsRetryAfterGC()) RETURN_EMPTY; \
kasperl@chromium.org58870952008-10-30 14:34:19 +0000260 Heap::CollectGarbage(Failure::cast(__object__)->requested(), \
261 Failure::cast(__object__)->allocation_space()); \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000262 __object__ = FUNCTION_CALL; \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000263 if (!__object__->IsFailure()) RETURN_VALUE; \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000264 if (__object__->IsOutOfMemoryFailure()) { \
kasperl@chromium.org58870952008-10-30 14:34:19 +0000265 v8::internal::V8::FatalProcessOutOfMemory("CALL_AND_RETRY_1"); \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000266 } \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000267 if (!__object__->IsRetryAfterGC()) RETURN_EMPTY; \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000268 Counters::gc_last_resort_from_handles.Increment(); \
269 Heap::CollectAllGarbage(); \
270 { \
271 AlwaysAllocateScope __scope__; \
272 __object__ = FUNCTION_CALL; \
273 } \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000274 if (!__object__->IsFailure()) RETURN_VALUE; \
ager@chromium.org9085a012009-05-11 19:22:57 +0000275 if (__object__->IsOutOfMemoryFailure() || \
276 __object__->IsRetryAfterGC()) { \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000277 /* TODO(1181417): Fix this. */ \
kasperl@chromium.org58870952008-10-30 14:34:19 +0000278 v8::internal::V8::FatalProcessOutOfMemory("CALL_AND_RETRY_2"); \
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000279 } \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000280 RETURN_EMPTY; \
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000281 } while (false)
282
283
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000284#define CALL_HEAP_FUNCTION(FUNCTION_CALL, TYPE) \
285 CALL_AND_RETRY(FUNCTION_CALL, \
286 return Handle<TYPE>(TYPE::cast(__object__)), \
287 return Handle<TYPE>())
kasperl@chromium.org9bbf9682008-10-30 11:53:07 +0000288
289
290#define CALL_HEAP_FUNCTION_VOID(FUNCTION_CALL) \
kasperl@chromium.org7be3c992009-03-12 07:19:55 +0000291 CALL_AND_RETRY(FUNCTION_CALL, return, return)
kasperl@chromium.orgb9123622008-09-17 14:05:56 +0000292
293
christian.plesner.hansen43d26ec2008-07-03 15:10:15 +0000294#ifdef DEBUG
295
296inline bool Heap::allow_allocation(bool new_state) {
297 bool old = allocation_allowed_;
298 allocation_allowed_ = new_state;
299 return old;
300}
301
302#endif
303
304
305} } // namespace v8::internal
306
307#endif // V8_HEAP_INL_H_