blob: a84c51225b53c706afb06d895b5de218bc74f880 [file] [log] [blame]
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +00001// Copyright 2011 the V8 project authors. All rights reserved.
ager@chromium.orgea4f62e2010-08-16 16:28:43 +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
ricow@chromium.orgeb7c1442010-10-04 08:54:21 +000028#ifndef V8_OBJECTS_VISITING_H_
29#define V8_OBJECTS_VISITING_H_
ager@chromium.orgea4f62e2010-08-16 16:28:43 +000030
lrn@chromium.org1c092762011-05-09 09:42:16 +000031#include "allocation.h"
32
ager@chromium.orgea4f62e2010-08-16 16:28:43 +000033// This file provides base classes and auxiliary methods for defining
34// static object visitors used during GC.
35// Visiting HeapObject body with a normal ObjectVisitor requires performing
36// two switches on object's instance type to determine object size and layout
37// and one or more virtual method calls on visitor itself.
38// Static visitor is different: it provides a dispatch table which contains
39// pointers to specialized visit functions. Each map has the visitor_id
40// field which contains an index of specialized visitor to use.
41
42namespace v8 {
43namespace internal {
44
45
46// Base class for all static visitors.
47class StaticVisitorBase : public AllStatic {
48 public:
jkummerow@chromium.org28583c92012-07-16 11:31:55 +000049#define VISITOR_ID_LIST(V) \
50 V(SeqAsciiString) \
51 V(SeqTwoByteString) \
52 V(ShortcutCandidate) \
53 V(ByteArray) \
54 V(FreeSpace) \
55 V(FixedArray) \
56 V(FixedDoubleArray) \
57 V(GlobalContext) \
58 V(DataObject2) \
59 V(DataObject3) \
60 V(DataObject4) \
61 V(DataObject5) \
62 V(DataObject6) \
63 V(DataObject7) \
64 V(DataObject8) \
65 V(DataObject9) \
66 V(DataObjectGeneric) \
67 V(JSObject2) \
68 V(JSObject3) \
69 V(JSObject4) \
70 V(JSObject5) \
71 V(JSObject6) \
72 V(JSObject7) \
73 V(JSObject8) \
74 V(JSObject9) \
75 V(JSObjectGeneric) \
76 V(Struct2) \
77 V(Struct3) \
78 V(Struct4) \
79 V(Struct5) \
80 V(Struct6) \
81 V(Struct7) \
82 V(Struct8) \
83 V(Struct9) \
84 V(StructGeneric) \
85 V(ConsString) \
86 V(SlicedString) \
87 V(Oddball) \
88 V(Code) \
89 V(Map) \
90 V(PropertyCell) \
91 V(SharedFunctionInfo) \
92 V(JSFunction) \
93 V(JSWeakMap) \
94 V(JSRegExp)
95
96 // For data objects, JS objects and structs along with generic visitor which
97 // can visit object of any size we provide visitors specialized by
98 // object size in words.
99 // Ids of specialized visitors are declared in a linear order (without
100 // holes) starting from the id of visitor specialized for 2 words objects
101 // (base visitor id) and ending with the id of generic visitor.
102 // Method GetVisitorIdForSize depends on this ordering to calculate visitor
103 // id of specialized visitor from given instance size, base visitor id and
104 // generic visitor's id.
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000105 enum VisitorId {
jkummerow@chromium.org28583c92012-07-16 11:31:55 +0000106#define VISITOR_ID_ENUM_DECL(id) kVisit##id,
107 VISITOR_ID_LIST(VISITOR_ID_ENUM_DECL)
108#undef VISITOR_ID_ENUM_DECL
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000109 kVisitorIdCount,
jkummerow@chromium.org28583c92012-07-16 11:31:55 +0000110 kVisitDataObject = kVisitDataObject2,
111 kVisitJSObject = kVisitJSObject2,
112 kVisitStruct = kVisitStruct2,
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000113 kMinObjectSizeInWords = 2
114 };
115
ager@chromium.org5b2fbee2010-09-08 06:38:15 +0000116 // Visitor ID should fit in one byte.
117 STATIC_ASSERT(kVisitorIdCount <= 256);
118
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000119 // Determine which specialized visitor should be used for given instance type
120 // and instance type.
121 static VisitorId GetVisitorId(int instance_type, int instance_size);
122
123 static VisitorId GetVisitorId(Map* map) {
124 return GetVisitorId(map->instance_type(), map->instance_size());
125 }
126
127 // For visitors that allow specialization by size calculate VisitorId based
128 // on size, base visitor id and generic visitor id.
129 static VisitorId GetVisitorIdForSize(VisitorId base,
130 VisitorId generic,
131 int object_size) {
132 ASSERT((base == kVisitDataObject) ||
133 (base == kVisitStruct) ||
134 (base == kVisitJSObject));
135 ASSERT(IsAligned(object_size, kPointerSize));
136 ASSERT(kMinObjectSizeInWords * kPointerSize <= object_size);
yangguo@chromium.orgab30bb82012-02-24 14:41:46 +0000137 ASSERT(object_size < Page::kMaxNonCodeHeapObjectSize);
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000138
139 const VisitorId specialization = static_cast<VisitorId>(
140 base + (object_size >> kPointerSizeLog2) - kMinObjectSizeInWords);
141
142 return Min(specialization, generic);
143 }
144};
145
146
147template<typename Callback>
148class VisitorDispatchTable {
149 public:
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +0000150 void CopyFrom(VisitorDispatchTable* other) {
151 // We are not using memcpy to guarantee that during update
152 // every element of callbacks_ array will remain correct
153 // pointer (memcpy might be implemented as a byte copying loop).
154 for (int i = 0; i < StaticVisitorBase::kVisitorIdCount; i++) {
155 NoBarrier_Store(&callbacks_[i], other->callbacks_[i]);
156 }
157 }
158
svenpanne@chromium.orga8bb4d92011-10-10 13:20:40 +0000159 inline Callback GetVisitorById(StaticVisitorBase::VisitorId id) {
160 return reinterpret_cast<Callback>(callbacks_[id]);
161 }
162
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000163 inline Callback GetVisitor(Map* map) {
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +0000164 return reinterpret_cast<Callback>(callbacks_[map->visitor_id()]);
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000165 }
166
167 void Register(StaticVisitorBase::VisitorId id, Callback callback) {
sgjesse@chromium.orgc6c57182011-01-17 12:24:25 +0000168 ASSERT(id < StaticVisitorBase::kVisitorIdCount); // id is unsigned.
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +0000169 callbacks_[id] = reinterpret_cast<AtomicWord>(callback);
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000170 }
171
172 template<typename Visitor,
173 StaticVisitorBase::VisitorId base,
174 StaticVisitorBase::VisitorId generic,
175 int object_size_in_words>
176 void RegisterSpecialization() {
177 static const int size = object_size_in_words * kPointerSize;
178 Register(StaticVisitorBase::GetVisitorIdForSize(base, generic, size),
179 &Visitor::template VisitSpecialized<size>);
180 }
181
182
183 template<typename Visitor,
184 StaticVisitorBase::VisitorId base,
185 StaticVisitorBase::VisitorId generic>
186 void RegisterSpecializations() {
187 STATIC_ASSERT(
188 (generic - base + StaticVisitorBase::kMinObjectSizeInWords) == 10);
189 RegisterSpecialization<Visitor, base, generic, 2>();
190 RegisterSpecialization<Visitor, base, generic, 3>();
191 RegisterSpecialization<Visitor, base, generic, 4>();
192 RegisterSpecialization<Visitor, base, generic, 5>();
193 RegisterSpecialization<Visitor, base, generic, 6>();
194 RegisterSpecialization<Visitor, base, generic, 7>();
195 RegisterSpecialization<Visitor, base, generic, 8>();
196 RegisterSpecialization<Visitor, base, generic, 9>();
197 Register(generic, &Visitor::Visit);
198 }
199
200 private:
kmillikin@chromium.orgc36ce6e2011-04-04 08:25:31 +0000201 AtomicWord callbacks_[StaticVisitorBase::kVisitorIdCount];
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000202};
203
204
205template<typename StaticVisitor>
206class BodyVisitorBase : public AllStatic {
207 public:
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000208 INLINE(static void IteratePointers(Heap* heap,
209 HeapObject* object,
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000210 int start_offset,
fschneider@chromium.org9e3e0b62011-01-03 10:16:46 +0000211 int end_offset)) {
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000212 Object** start_slot = reinterpret_cast<Object**>(object->address() +
213 start_offset);
214 Object** end_slot = reinterpret_cast<Object**>(object->address() +
215 end_offset);
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000216 StaticVisitor::VisitPointers(heap, start_slot, end_slot);
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000217 }
218};
219
220
221template<typename StaticVisitor, typename BodyDescriptor, typename ReturnType>
222class FlexibleBodyVisitor : public BodyVisitorBase<StaticVisitor> {
223 public:
224 static inline ReturnType Visit(Map* map, HeapObject* object) {
225 int object_size = BodyDescriptor::SizeOf(map, object);
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000226 BodyVisitorBase<StaticVisitor>::IteratePointers(
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000227 map->GetHeap(),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000228 object,
229 BodyDescriptor::kStartOffset,
230 object_size);
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000231 return static_cast<ReturnType>(object_size);
232 }
233
234 template<int object_size>
235 static inline ReturnType VisitSpecialized(Map* map, HeapObject* object) {
ricow@chromium.org0b9f8502010-08-18 07:45:01 +0000236 ASSERT(BodyDescriptor::SizeOf(map, object) == object_size);
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000237 BodyVisitorBase<StaticVisitor>::IteratePointers(
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000238 map->GetHeap(),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000239 object,
240 BodyDescriptor::kStartOffset,
241 object_size);
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000242 return static_cast<ReturnType>(object_size);
243 }
244};
245
246
247template<typename StaticVisitor, typename BodyDescriptor, typename ReturnType>
248class FixedBodyVisitor : public BodyVisitorBase<StaticVisitor> {
249 public:
250 static inline ReturnType Visit(Map* map, HeapObject* object) {
erik.corry@gmail.com145eff52010-08-23 11:36:18 +0000251 BodyVisitorBase<StaticVisitor>::IteratePointers(
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000252 map->GetHeap(),
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000253 object,
254 BodyDescriptor::kStartOffset,
255 BodyDescriptor::kEndOffset);
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000256 return static_cast<ReturnType>(BodyDescriptor::kSize);
257 }
258};
259
260
261// Base class for visitors used for a linear new space iteration.
262// IterateBody returns size of visited object.
263// Certain types of objects (i.e. Code objects) are not handled
264// by dispatch table of this visitor because they cannot appear
265// in the new space.
266//
267// This class is intended to be used in the following way:
268//
269// class SomeVisitor : public StaticNewSpaceVisitor<SomeVisitor> {
270// ...
271// }
272//
273// This is an example of Curiously recurring template pattern
274// (see http://en.wikipedia.org/wiki/Curiously_recurring_template_pattern).
275// We use CRTP to guarantee aggressive compile time optimizations (i.e.
276// inlining and specialization of StaticVisitor::VisitPointers methods).
277template<typename StaticVisitor>
278class StaticNewSpaceVisitor : public StaticVisitorBase {
279 public:
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000280 static void Initialize();
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000281
282 static inline int IterateBody(Map* map, HeapObject* obj) {
283 return table_.GetVisitor(map)(map, obj);
284 }
285
sgjesse@chromium.orgea88ce92011-03-23 11:19:56 +0000286 static inline void VisitPointers(Heap* heap, Object** start, Object** end) {
287 for (Object** p = start; p < end; p++) StaticVisitor::VisitPointer(heap, p);
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000288 }
289
290 private:
erik.corry@gmail.comed49e962012-04-17 11:57:53 +0000291 static inline int VisitJSFunction(Map* map, HeapObject* object) {
292 Heap* heap = map->GetHeap();
293 VisitPointers(heap,
294 HeapObject::RawField(object, JSFunction::kPropertiesOffset),
295 HeapObject::RawField(object, JSFunction::kCodeEntryOffset));
296
297 // Don't visit code entry. We are using this visitor only during scavenges.
298
299 VisitPointers(
300 heap,
301 HeapObject::RawField(object,
302 JSFunction::kCodeEntryOffset + kPointerSize),
303 HeapObject::RawField(object,
304 JSFunction::kNonWeakFieldsEndOffset));
305 return JSFunction::kSize;
306 }
307
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000308 static inline int VisitByteArray(Map* map, HeapObject* object) {
309 return reinterpret_cast<ByteArray*>(object)->ByteArraySize();
310 }
311
svenpanne@chromium.org6d786c92011-06-15 10:58:27 +0000312 static inline int VisitFixedDoubleArray(Map* map, HeapObject* object) {
313 int length = reinterpret_cast<FixedDoubleArray*>(object)->length();
314 return FixedDoubleArray::SizeFor(length);
315 }
316
kmillikin@chromium.org7c2628c2011-08-10 11:27:35 +0000317 static inline int VisitJSObject(Map* map, HeapObject* object) {
318 return JSObjectVisitor::Visit(map, object);
319 }
320
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000321 static inline int VisitSeqAsciiString(Map* map, HeapObject* object) {
322 return SeqAsciiString::cast(object)->
323 SeqAsciiStringSize(map->instance_type());
324 }
325
326 static inline int VisitSeqTwoByteString(Map* map, HeapObject* object) {
327 return SeqTwoByteString::cast(object)->
328 SeqTwoByteStringSize(map->instance_type());
329 }
330
erik.corry@gmail.comc3b670f2011-10-05 21:44:48 +0000331 static inline int VisitFreeSpace(Map* map, HeapObject* object) {
332 return FreeSpace::cast(object)->Size();
333 }
334
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000335 class DataObjectVisitor {
336 public:
337 template<int object_size>
338 static inline int VisitSpecialized(Map* map, HeapObject* object) {
339 return object_size;
340 }
341
342 static inline int Visit(Map* map, HeapObject* object) {
343 return map->instance_size();
344 }
345 };
346
347 typedef FlexibleBodyVisitor<StaticVisitor,
348 StructBodyDescriptor,
349 int> StructVisitor;
350
351 typedef FlexibleBodyVisitor<StaticVisitor,
352 JSObject::BodyDescriptor,
353 int> JSObjectVisitor;
354
355 typedef int (*Callback)(Map* map, HeapObject* object);
356
357 static VisitorDispatchTable<Callback> table_;
358};
359
360
361template<typename StaticVisitor>
362VisitorDispatchTable<typename StaticNewSpaceVisitor<StaticVisitor>::Callback>
363 StaticNewSpaceVisitor<StaticVisitor>::table_;
364
365
ager@chromium.orgea4f62e2010-08-16 16:28:43 +0000366} } // namespace v8::internal
367
ricow@chromium.orgeb7c1442010-10-04 08:54:21 +0000368#endif // V8_OBJECTS_VISITING_H_