OLD | NEW |
1 // Copyright 2012 the V8 project authors. All rights reserved. | 1 // Copyright 2012 the V8 project authors. All rights reserved. |
2 // Use of this source code is governed by a BSD-style license that can be | 2 // Use of this source code is governed by a BSD-style license that can be |
3 // found in the LICENSE file. | 3 // found in the LICENSE file. |
4 | 4 |
5 #ifndef V8_OBJECTS_VISITING_H_ | 5 #ifndef V8_OBJECTS_VISITING_H_ |
6 #define V8_OBJECTS_VISITING_H_ | 6 #define V8_OBJECTS_VISITING_H_ |
7 | 7 |
8 #include "src/allocation.h" | 8 #include "src/allocation.h" |
9 #include "src/heap/embedder-tracing.h" | 9 #include "src/heap/embedder-tracing.h" |
10 #include "src/heap/heap.h" | 10 #include "src/heap/heap.h" |
(...skipping 23 matching lines...) Expand all Loading... |
34 V(ShortcutCandidate) \ | 34 V(ShortcutCandidate) \ |
35 V(ByteArray) \ | 35 V(ByteArray) \ |
36 V(BytecodeArray) \ | 36 V(BytecodeArray) \ |
37 V(FreeSpace) \ | 37 V(FreeSpace) \ |
38 V(FixedArray) \ | 38 V(FixedArray) \ |
39 V(FixedDoubleArray) \ | 39 V(FixedDoubleArray) \ |
40 V(FixedTypedArray) \ | 40 V(FixedTypedArray) \ |
41 V(FixedFloat64Array) \ | 41 V(FixedFloat64Array) \ |
42 V(NativeContext) \ | 42 V(NativeContext) \ |
43 V(AllocationSite) \ | 43 V(AllocationSite) \ |
44 V(DataObject) \ | 44 V(DataObject2) \ |
45 V(JSObjectFast) \ | 45 V(DataObject3) \ |
46 V(JSObject) \ | 46 V(DataObject4) \ |
47 V(JSApiObject) \ | 47 V(DataObject5) \ |
48 V(Struct) \ | 48 V(DataObject6) \ |
| 49 V(DataObject7) \ |
| 50 V(DataObject8) \ |
| 51 V(DataObject9) \ |
| 52 V(DataObjectGeneric) \ |
| 53 V(JSObject2) \ |
| 54 V(JSObject3) \ |
| 55 V(JSObject4) \ |
| 56 V(JSObject5) \ |
| 57 V(JSObject6) \ |
| 58 V(JSObject7) \ |
| 59 V(JSObject8) \ |
| 60 V(JSObject9) \ |
| 61 V(JSObjectGeneric) \ |
| 62 V(JSApiObject2) \ |
| 63 V(JSApiObject3) \ |
| 64 V(JSApiObject4) \ |
| 65 V(JSApiObject5) \ |
| 66 V(JSApiObject6) \ |
| 67 V(JSApiObject7) \ |
| 68 V(JSApiObject8) \ |
| 69 V(JSApiObject9) \ |
| 70 V(JSApiObjectGeneric) \ |
| 71 V(Struct2) \ |
| 72 V(Struct3) \ |
| 73 V(Struct4) \ |
| 74 V(Struct5) \ |
| 75 V(Struct6) \ |
| 76 V(Struct7) \ |
| 77 V(Struct8) \ |
| 78 V(Struct9) \ |
| 79 V(StructGeneric) \ |
49 V(ConsString) \ | 80 V(ConsString) \ |
50 V(SlicedString) \ | 81 V(SlicedString) \ |
51 V(ThinString) \ | 82 V(ThinString) \ |
52 V(Symbol) \ | 83 V(Symbol) \ |
53 V(Oddball) \ | 84 V(Oddball) \ |
54 V(Code) \ | 85 V(Code) \ |
55 V(Map) \ | 86 V(Map) \ |
56 V(Cell) \ | 87 V(Cell) \ |
57 V(PropertyCell) \ | 88 V(PropertyCell) \ |
58 V(WeakCell) \ | 89 V(WeakCell) \ |
(...skipping 10 matching lines...) Expand all Loading... |
69 // Ids of specialized visitors are declared in a linear order (without | 100 // Ids of specialized visitors are declared in a linear order (without |
70 // holes) starting from the id of visitor specialized for 2 words objects | 101 // holes) starting from the id of visitor specialized for 2 words objects |
71 // (base visitor id) and ending with the id of generic visitor. | 102 // (base visitor id) and ending with the id of generic visitor. |
72 // Method GetVisitorIdForSize depends on this ordering to calculate visitor | 103 // Method GetVisitorIdForSize depends on this ordering to calculate visitor |
73 // id of specialized visitor from given instance size, base visitor id and | 104 // id of specialized visitor from given instance size, base visitor id and |
74 // generic visitor's id. | 105 // generic visitor's id. |
75 enum VisitorId { | 106 enum VisitorId { |
76 #define VISITOR_ID_ENUM_DECL(id) kVisit##id, | 107 #define VISITOR_ID_ENUM_DECL(id) kVisit##id, |
77 VISITOR_ID_LIST(VISITOR_ID_ENUM_DECL) | 108 VISITOR_ID_LIST(VISITOR_ID_ENUM_DECL) |
78 #undef VISITOR_ID_ENUM_DECL | 109 #undef VISITOR_ID_ENUM_DECL |
79 kVisitorIdCount | 110 kVisitorIdCount, |
| 111 kVisitDataObject = kVisitDataObject2, |
| 112 kVisitJSObject = kVisitJSObject2, |
| 113 kVisitJSApiObject = kVisitJSApiObject2, |
| 114 kVisitStruct = kVisitStruct2, |
80 }; | 115 }; |
81 | 116 |
82 // Visitor ID should fit in one byte. | 117 // Visitor ID should fit in one byte. |
83 STATIC_ASSERT(kVisitorIdCount <= 256); | 118 STATIC_ASSERT(kVisitorIdCount <= 256); |
84 | 119 |
85 // Determine which specialized visitor should be used for given instance type | 120 // Determine which specialized visitor should be used for given instance type |
86 // and instance type. | 121 // and instance type. |
87 static VisitorId GetVisitorId(int instance_type, int instance_size, | 122 static VisitorId GetVisitorId(int instance_type, int instance_size, |
88 bool has_unboxed_fields); | 123 bool has_unboxed_fields); |
89 | 124 |
90 // Determine which specialized visitor should be used for given map. | 125 // Determine which specialized visitor should be used for given map. |
91 static VisitorId GetVisitorId(Map* map); | 126 static VisitorId GetVisitorId(Map* map); |
| 127 |
| 128 // For visitors that allow specialization by size calculate VisitorId based |
| 129 // on size, base visitor id and generic visitor id. |
| 130 static VisitorId GetVisitorIdForSize(VisitorId base, VisitorId generic, |
| 131 int object_size, |
| 132 bool has_unboxed_fields) { |
| 133 DCHECK((base == kVisitDataObject) || (base == kVisitStruct) || |
| 134 (base == kVisitJSObject) || (base == kVisitJSApiObject)); |
| 135 DCHECK(IsAligned(object_size, kPointerSize)); |
| 136 DCHECK(Heap::kMinObjectSizeInWords * kPointerSize <= object_size); |
| 137 DCHECK(object_size <= kMaxRegularHeapObjectSize); |
| 138 DCHECK(!has_unboxed_fields || (base == kVisitJSObject) || |
| 139 (base == kVisitJSApiObject)); |
| 140 |
| 141 if (has_unboxed_fields) return generic; |
| 142 |
| 143 int visitor_id = Min( |
| 144 base + (object_size >> kPointerSizeLog2) - Heap::kMinObjectSizeInWords, |
| 145 static_cast<int>(generic)); |
| 146 |
| 147 return static_cast<VisitorId>(visitor_id); |
| 148 } |
92 }; | 149 }; |
93 | 150 |
94 | 151 |
95 template <typename Callback> | 152 template <typename Callback> |
96 class VisitorDispatchTable { | 153 class VisitorDispatchTable { |
97 public: | 154 public: |
98 void CopyFrom(VisitorDispatchTable* other) { | 155 void CopyFrom(VisitorDispatchTable* other) { |
99 // We are not using memcpy to guarantee that during update | 156 // We are not using memcpy to guarantee that during update |
100 // every element of callbacks_ array will remain correct | 157 // every element of callbacks_ array will remain correct |
101 // pointer (memcpy might be implemented as a byte copying loop). | 158 // pointer (memcpy might be implemented as a byte copying loop). |
102 for (int i = 0; i < StaticVisitorBase::kVisitorIdCount; i++) { | 159 for (int i = 0; i < StaticVisitorBase::kVisitorIdCount; i++) { |
103 base::NoBarrier_Store(&callbacks_[i], other->callbacks_[i]); | 160 base::NoBarrier_Store(&callbacks_[i], other->callbacks_[i]); |
104 } | 161 } |
105 } | 162 } |
106 | 163 |
107 inline Callback GetVisitor(Map* map); | 164 inline Callback GetVisitor(Map* map); |
108 | 165 |
109 inline Callback GetVisitorById(StaticVisitorBase::VisitorId id) { | 166 inline Callback GetVisitorById(StaticVisitorBase::VisitorId id) { |
110 return reinterpret_cast<Callback>(callbacks_[id]); | 167 return reinterpret_cast<Callback>(callbacks_[id]); |
111 } | 168 } |
112 | 169 |
113 void Register(StaticVisitorBase::VisitorId id, Callback callback) { | 170 void Register(StaticVisitorBase::VisitorId id, Callback callback) { |
114 DCHECK(id < StaticVisitorBase::kVisitorIdCount); // id is unsigned. | 171 DCHECK(id < StaticVisitorBase::kVisitorIdCount); // id is unsigned. |
115 callbacks_[id] = reinterpret_cast<base::AtomicWord>(callback); | 172 callbacks_[id] = reinterpret_cast<base::AtomicWord>(callback); |
116 } | 173 } |
117 | 174 |
| 175 template <typename Visitor, StaticVisitorBase::VisitorId base, |
| 176 StaticVisitorBase::VisitorId generic, int object_size_in_words> |
| 177 void RegisterSpecialization() { |
| 178 static const int size = object_size_in_words * kPointerSize; |
| 179 Register(StaticVisitorBase::GetVisitorIdForSize(base, generic, size, false), |
| 180 &Visitor::template VisitSpecialized<size>); |
| 181 } |
| 182 |
| 183 |
| 184 template <typename Visitor, StaticVisitorBase::VisitorId base, |
| 185 StaticVisitorBase::VisitorId generic> |
| 186 void RegisterSpecializations() { |
| 187 STATIC_ASSERT((generic - base + Heap::kMinObjectSizeInWords) == 10); |
| 188 RegisterSpecialization<Visitor, base, generic, 2>(); |
| 189 RegisterSpecialization<Visitor, base, generic, 3>(); |
| 190 RegisterSpecialization<Visitor, base, generic, 4>(); |
| 191 RegisterSpecialization<Visitor, base, generic, 5>(); |
| 192 RegisterSpecialization<Visitor, base, generic, 6>(); |
| 193 RegisterSpecialization<Visitor, base, generic, 7>(); |
| 194 RegisterSpecialization<Visitor, base, generic, 8>(); |
| 195 RegisterSpecialization<Visitor, base, generic, 9>(); |
| 196 Register(generic, &Visitor::Visit); |
| 197 } |
| 198 |
118 private: | 199 private: |
119 base::AtomicWord callbacks_[StaticVisitorBase::kVisitorIdCount]; | 200 base::AtomicWord callbacks_[StaticVisitorBase::kVisitorIdCount]; |
120 }; | 201 }; |
121 | 202 |
122 | 203 |
123 template <typename StaticVisitor, typename BodyDescriptor, typename ReturnType> | 204 template <typename StaticVisitor, typename BodyDescriptor, typename ReturnType> |
124 class FlexibleBodyVisitor : public AllStatic { | 205 class FlexibleBodyVisitor : public AllStatic { |
125 public: | 206 public: |
126 INLINE(static ReturnType Visit(Map* map, HeapObject* object)) { | 207 INLINE(static ReturnType Visit(Map* map, HeapObject* object)) { |
127 int object_size = BodyDescriptor::SizeOf(map, object); | 208 int object_size = BodyDescriptor::SizeOf(map, object); |
128 BodyDescriptor::template IterateBody<StaticVisitor>(object, object_size); | 209 BodyDescriptor::template IterateBody<StaticVisitor>(object, object_size); |
129 return static_cast<ReturnType>(object_size); | 210 return static_cast<ReturnType>(object_size); |
130 } | 211 } |
| 212 |
| 213 // This specialization is only suitable for objects containing pointer fields. |
| 214 template <int object_size> |
| 215 static inline ReturnType VisitSpecialized(Map* map, HeapObject* object) { |
| 216 DCHECK(BodyDescriptor::SizeOf(map, object) == object_size); |
| 217 DCHECK(!FLAG_unbox_double_fields || map->HasFastPointerLayout()); |
| 218 StaticVisitor::VisitPointers( |
| 219 object->GetHeap(), object, |
| 220 HeapObject::RawField(object, BodyDescriptor::kStartOffset), |
| 221 HeapObject::RawField(object, object_size)); |
| 222 return static_cast<ReturnType>(object_size); |
| 223 } |
131 }; | 224 }; |
132 | 225 |
133 | 226 |
134 template <typename StaticVisitor, typename BodyDescriptor, typename ReturnType> | 227 template <typename StaticVisitor, typename BodyDescriptor, typename ReturnType> |
135 class FixedBodyVisitor : public AllStatic { | 228 class FixedBodyVisitor : public AllStatic { |
136 public: | 229 public: |
137 INLINE(static ReturnType Visit(Map* map, HeapObject* object)) { | 230 INLINE(static ReturnType Visit(Map* map, HeapObject* object)) { |
138 BodyDescriptor::template IterateBody<StaticVisitor>(object); | 231 BodyDescriptor::template IterateBody<StaticVisitor>(object); |
139 return static_cast<ReturnType>(BodyDescriptor::kSize); | 232 return static_cast<ReturnType>(BodyDescriptor::kSize); |
140 } | 233 } |
(...skipping 48 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
189 | 282 |
190 INLINE(static int VisitByteArray(Map* map, HeapObject* object)) { | 283 INLINE(static int VisitByteArray(Map* map, HeapObject* object)) { |
191 return reinterpret_cast<ByteArray*>(object)->ByteArraySize(); | 284 return reinterpret_cast<ByteArray*>(object)->ByteArraySize(); |
192 } | 285 } |
193 | 286 |
194 INLINE(static int VisitFixedDoubleArray(Map* map, HeapObject* object)) { | 287 INLINE(static int VisitFixedDoubleArray(Map* map, HeapObject* object)) { |
195 int length = reinterpret_cast<FixedDoubleArray*>(object)->length(); | 288 int length = reinterpret_cast<FixedDoubleArray*>(object)->length(); |
196 return FixedDoubleArray::SizeFor(length); | 289 return FixedDoubleArray::SizeFor(length); |
197 } | 290 } |
198 | 291 |
| 292 INLINE(static int VisitJSObject(Map* map, HeapObject* object)) { |
| 293 return JSObjectVisitor::Visit(map, object); |
| 294 } |
| 295 |
199 INLINE(static int VisitSeqOneByteString(Map* map, HeapObject* object)) { | 296 INLINE(static int VisitSeqOneByteString(Map* map, HeapObject* object)) { |
200 return SeqOneByteString::cast(object) | 297 return SeqOneByteString::cast(object) |
201 ->SeqOneByteStringSize(map->instance_type()); | 298 ->SeqOneByteStringSize(map->instance_type()); |
202 } | 299 } |
203 | 300 |
204 INLINE(static int VisitSeqTwoByteString(Map* map, HeapObject* object)) { | 301 INLINE(static int VisitSeqTwoByteString(Map* map, HeapObject* object)) { |
205 return SeqTwoByteString::cast(object) | 302 return SeqTwoByteString::cast(object) |
206 ->SeqTwoByteStringSize(map->instance_type()); | 303 ->SeqTwoByteStringSize(map->instance_type()); |
207 } | 304 } |
208 | 305 |
(...skipping 12 matching lines...) Expand all Loading... |
221 return map->instance_size(); | 318 return map->instance_size(); |
222 } | 319 } |
223 }; | 320 }; |
224 | 321 |
225 typedef FlexibleBodyVisitor<StaticVisitor, StructBodyDescriptor, int> | 322 typedef FlexibleBodyVisitor<StaticVisitor, StructBodyDescriptor, int> |
226 StructVisitor; | 323 StructVisitor; |
227 | 324 |
228 typedef FlexibleBodyVisitor<StaticVisitor, JSObject::BodyDescriptor, int> | 325 typedef FlexibleBodyVisitor<StaticVisitor, JSObject::BodyDescriptor, int> |
229 JSObjectVisitor; | 326 JSObjectVisitor; |
230 | 327 |
231 // Visitor for JSObjects without unboxed double fields. | |
232 typedef FlexibleBodyVisitor<StaticVisitor, JSObject::FastBodyDescriptor, int> | |
233 JSObjectFastVisitor; | |
234 | |
235 typedef int (*Callback)(Map* map, HeapObject* object); | 328 typedef int (*Callback)(Map* map, HeapObject* object); |
236 | 329 |
237 static VisitorDispatchTable<Callback> table_; | 330 static VisitorDispatchTable<Callback> table_; |
238 }; | 331 }; |
239 | 332 |
240 | 333 |
241 template <typename StaticVisitor> | 334 template <typename StaticVisitor> |
242 VisitorDispatchTable<typename StaticNewSpaceVisitor<StaticVisitor>::Callback> | 335 VisitorDispatchTable<typename StaticNewSpaceVisitor<StaticVisitor>::Callback> |
243 StaticNewSpaceVisitor<StaticVisitor>::table_; | 336 StaticNewSpaceVisitor<StaticVisitor>::table_; |
244 | 337 |
(...skipping 63 matching lines...) Expand 10 before | Expand all | Expand 10 after Loading... |
308 public: | 401 public: |
309 template <int size> | 402 template <int size> |
310 static inline void VisitSpecialized(Map* map, HeapObject* object) {} | 403 static inline void VisitSpecialized(Map* map, HeapObject* object) {} |
311 | 404 |
312 INLINE(static void Visit(Map* map, HeapObject* object)) {} | 405 INLINE(static void Visit(Map* map, HeapObject* object)) {} |
313 }; | 406 }; |
314 | 407 |
315 typedef FlexibleBodyVisitor<StaticVisitor, FixedArray::BodyDescriptor, void> | 408 typedef FlexibleBodyVisitor<StaticVisitor, FixedArray::BodyDescriptor, void> |
316 FixedArrayVisitor; | 409 FixedArrayVisitor; |
317 | 410 |
318 typedef FlexibleBodyVisitor<StaticVisitor, JSObject::FastBodyDescriptor, void> | |
319 JSObjectFastVisitor; | |
320 typedef FlexibleBodyVisitor<StaticVisitor, JSObject::BodyDescriptor, void> | 411 typedef FlexibleBodyVisitor<StaticVisitor, JSObject::BodyDescriptor, void> |
321 JSObjectVisitor; | 412 JSObjectVisitor; |
322 | 413 |
323 class JSApiObjectVisitor : AllStatic { | 414 class JSApiObjectVisitor : AllStatic { |
324 public: | 415 public: |
| 416 template <int size> |
| 417 static inline void VisitSpecialized(Map* map, HeapObject* object) { |
| 418 TracePossibleWrapper(object); |
| 419 JSObjectVisitor::template VisitSpecialized<size>(map, object); |
| 420 } |
| 421 |
325 INLINE(static void Visit(Map* map, HeapObject* object)) { | 422 INLINE(static void Visit(Map* map, HeapObject* object)) { |
326 TracePossibleWrapper(object); | 423 TracePossibleWrapper(object); |
327 JSObjectVisitor::Visit(map, object); | 424 JSObjectVisitor::Visit(map, object); |
328 } | 425 } |
329 | 426 |
330 private: | 427 private: |
331 INLINE(static void TracePossibleWrapper(HeapObject* object)) { | 428 INLINE(static void TracePossibleWrapper(HeapObject* object)) { |
332 if (object->GetHeap()->local_embedder_heap_tracer()->InUse()) { | 429 if (object->GetHeap()->local_embedder_heap_tracer()->InUse()) { |
333 DCHECK(object->IsJSObject()); | 430 DCHECK(object->IsJSObject()); |
334 object->GetHeap()->TracePossibleWrapper(JSObject::cast(object)); | 431 object->GetHeap()->TracePossibleWrapper(JSObject::cast(object)); |
(...skipping 22 matching lines...) Expand all Loading... |
357 // the next element. Given the head of the list, this function removes dead | 454 // the next element. Given the head of the list, this function removes dead |
358 // elements from the list and if requested records slots for next-element | 455 // elements from the list and if requested records slots for next-element |
359 // pointers. The template parameter T is a WeakListVisitor that defines how to | 456 // pointers. The template parameter T is a WeakListVisitor that defines how to |
360 // access the next-element pointers. | 457 // access the next-element pointers. |
361 template <class T> | 458 template <class T> |
362 Object* VisitWeakList(Heap* heap, Object* list, WeakObjectRetainer* retainer); | 459 Object* VisitWeakList(Heap* heap, Object* list, WeakObjectRetainer* retainer); |
363 } // namespace internal | 460 } // namespace internal |
364 } // namespace v8 | 461 } // namespace v8 |
365 | 462 |
366 #endif // V8_OBJECTS_VISITING_H_ | 463 #endif // V8_OBJECTS_VISITING_H_ |
OLD | NEW |